Orlando Ferrante

According to our database, Orlando Ferrante authored at least 10 papers between 2012 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Dependability Assessment of SOA-Based CPS With Contracts and Model-Based Fault Injection.

Loris Dal Lago, Orlando Ferrante, Roberto Passerone, Alberto Ferrari

IEEE Trans. Ind. Informatics, 2018

An Application of Parallel Satisfiability Solving to the Verification of Complex Embedded Systems.

Orlando Ferrante, Alberto Ferrari, Christos Sofronis, Leonardo Mangeruca, Luca Benvenuti

Proceedings of the Handbook of Parallel Constraint Reasoning., 2018

2017

Application of Model-Based Safety Assessment to the Validation of Avionic Electrical Power Systems.

Orlando Ferrante, Luigi Di Guglielmo, Valerio Senni, Alberto Ferrari

Proceedings of the Model-Based Safety and Assessment - 5th International Symposium, 2017

2015

Contract Modeling and Verification with FormalSpecs Verifier Tool-Suite - Application to Ansaldo STS Rapid Transit Metro System Use Case.

Marco Carloni, Orlando Ferrante, Alberto Ferrari, Gianpaolo Massaroli, Antonio Orazzo, Luigi Velardi

Proceedings of the Computer Safety, Reliability, and Security, 2015

2014

Contract-Based Analysis for Verification of Communication-Based Train Control (CBTC) System.

Marco Carloni, Orlando Ferrante, Alberto Ferrari, Gianpaolo Massaroli, Antonio Orazzo, Ida Petrone, Luigi Velardi

Proceedings of the Computer Safety, Reliability, and Security, 2014

Model based generation of high coverage test suites for embedded systems.

Orlando Ferrante, Alberto Ferrari, Marco Marazza

Proceedings of the 19th IEEE European Test Symposium, 2014

BCL: A compositional contract language for embedded systems.

Orlando Ferrante, Roberto Passerone, Alberto Ferrari, Leonardo Mangeruca, Christos Sofronis

Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

A Model-Based Methodology to Generate Code for Timer Units.

Marco Marazza, Francesco Menichelli, Mauro Olivieri, Orlando Ferrante, Alberto Ferrari

Proceedings of the Applications in Electronics Pervading Industry, Environment and Society, 2014

2013

Formalization and completeness of evolving requirements using Contracts.

Leonardo Mangeruca, Orlando Ferrante, Alberto Ferrari

Proceedings of the 8th IEEE International Symposium on Industrial Embedded Systems, 2013

2012

Parallel NuSMV: A NuSMV Extension for the Verification of Complex Embedded Systems.

Orlando Ferrante, Luca Benvenuti, Leonardo Mangeruca, Christos Sofronis, Alberto Ferrari

Proceedings of the Computer Safety, Reliability, and Security, 2012