Parallel NuSMV: a NuSMV extension for the verification of complex embedded systems O Ferrante, L Benvenuti, L Mangeruca, C Sofronis, A Ferrari Computer Safety, Reliability, and Security: SAFECOMP 2012 Workshops: Sassur …, 2012 | 28 | 2012 |
Dependability assessment of SOA-based CPS with contracts and model-based fault injection L Dal Lago, O Ferrante, R Passerone, A Ferrari IEEE Transactions on Industrial Informatics 14 (1), 360-369, 2017 | 24 | 2017 |
BCL: A compositional contract language for embedded systems O Ferrante, R Passerone, A Ferrari, L Mangeruca, C Sofronis Proceedings of the 2014 IEEE Emerging Technology and Factory Automation …, 2014 | 17 | 2014 |
Formalization and completeness of evolving requirements using contracts L Mangeruca, O Ferrante, A Ferrari 2013 8th IEEE International Symposium on Industrial Embedded Systems (SIES …, 2013 | 16 | 2013 |
Desyreml: a sysml profile for heterogeneous embedded systems A Ferrari, L Mangeruca, O Ferrante, A Mignogna Embedded Real Time Software and Systems, ERTSS 2012, 2012 | 14 | 2012 |
Monitor-based run-time contract verification of distributed systems O Ferrante, R Passerone, A Ferrari, L Mangeruca, C Sofronis, M D'Angelo Proceedings of the 9th IEEE International Symposium on Industrial Embedded …, 2014 | 8 | 2014 |
Model based generation of high coverage test suites for embedded systems O Ferrante, A Ferrari, M Marazza 2014 19th IEEE European Test Symposium (ETS), 1-2, 2014 | 7 | 2014 |
Contract modeling and verification with FormalSpecs verifier tool-suite-application to Ansaldo STS rapid transit metro system use case M Carloni, O Ferrante, A Ferrari, G Massaroli, A Orazzo, L Velardi Computer Safety, Reliability, and Security: SAFECOMP 2015 Workshops, ASSURE …, 2015 | 6 | 2015 |
Formal specs verifier ATG: a tool for model-based generation of high coverage test suites O Ferrante, M Marazza, A Ferrari 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), 2016 | 5 | 2016 |
Contract-based analysis for verification of communication-based train control (CBTC) system M Carloni, O Ferrante, A Ferrari, G Massaroli, A Orazzo, I Petrone, ... Computer Safety, Reliability, and Security: SAFECOMP 2014 Workshops: ASCoMS …, 2014 | 5 | 2014 |
Online prediction for safe human-robot collaboration: a model of the human arm J Binchi, L Mangeruca, M Rucco, O Ferrante, A Minissale, FF Abbà Procedia CIRP 97, 533-538, 2021 | 4 | 2021 |
Application of model-based safety assessment to the validation of avionic electrical power systems O Ferrante, L Di Guglielmo, V Senni, A Ferrari Model-Based Safety and Assessment: 5th International Symposium, IMBSA 2017 …, 2017 | 4 | 2017 |
A methodology for increasing the efficiency and coverage of model checking and its application to aerospace systems O Ferrante, E Scholte, C Pinello, A Ferrari, L Mangeruca, C Liu, ... SAE International Journal of Aerospace 9 (2016-01-2053), 140-150, 2016 | 4 | 2016 |
Contract based design chain integration: An automotive domain case study O Ferrante, A Mignogna, C Sofronis, L Mangeruca, A Ferrari Applied Simulation and Modelling. ACTA Press, 2011 | 4 | 2011 |
A methodology for formal requirements validation and automatic test generation and application to aerospace systems O Ferrante, E Scholte, S Rollini, R North, L Manica, V Senni SAE Technical Paper, 2018 | 3 | 2018 |
Automatic Generation of Failure Scenarios for SoC M Marazza, O Ferrante, A Ferrari Embedded Real Time Software and Systems, ERTSS 2014, 2014 | 3 | 2014 |
Dependability assessment of SOA-based cyber-physical systems with contracts and model-based fault injection L Dal Lago, O Ferrante, R Passerone Dipartimento di Ingegneria e Scienza dell’Informazione, Univ. Trento, Trento …, 2017 | 2 | 2017 |
An Application of Parallel Satisfiability Solving to the Verification of Complex Embedded Systems O Ferrante, A Ferrari, C Sofronis, L Mangeruca, L Benvenuti Handbook of Parallel Constraint Reasoning, 617-632, 2018 | 1 | 2018 |
Dependability Assessment of SOA-Based CPS With Contracts and L Dal Lago, O Ferrante, R Passerone | | 2018 |
Dependability Assessment of SOA-based Cyber-Physical Systems with Contracts and Model-Based Fault Injection R Passerone, O Ferrante Università degli Studi di Trento, 2017 | | 2017 |