Cited By
View all- Avritzer ACusick JJanes ACamilli MRusso BTrubiani Cvan Hoorn A(2024)Dependability Modeling in an Industrial Environment2024 IEEE 35th International Symposium on Software Reliability Engineering Workshops (ISSREW)10.1109/ISSREW63542.2024.00045(43-48)Online publication date: 28-Oct-2024
- Incerto ETrubiani C(2024)Flocks of Birds: A Quantitative EvaluationLeveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola10.1007/978-3-031-73709-1_17(271-286)Online publication date: 9-Oct-2024
- Dave SNowatzki TShrivastava AAamodt TSwift MJerger N(2023)Explainable-DSE: An Agile and Explainable Exploration of Efficient HW/SW Codesigns of Deep Learning Accelerators Using Bottleneck AnalysisProceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 410.1145/3623278.3624772(87-107)Online publication date: 25-Mar-2023
- Show More Cited By