Cited By
View all- Cucinotta TAmory AAra GPaladino FNatale M(2024)Multi-criteria Optimization of Real-time DAGs on Heterogeneous Platforms under P-EDFACM Transactions on Embedded Computing Systems10.1145/359260923:1(1-35)Online publication date: 10-Jan-2024
- Zafar AAzam FLatif AAnwar MSafdar A(2024)Exploring the Effectiveness and Trends of Domain-Specific Model Driven Engineering: A Systematic Literature Review (SLR)IEEE Access10.1109/ACCESS.2024.341450312(86809-86830)Online publication date: 2024
- Griggio AJonáš M(2023)Kratos2: An SMT-Based Model Checker for Imperative ProgramsComputer Aided Verification10.1007/978-3-031-37709-9_20(423-436)Online publication date: 17-Jul-2023