Parallel NuSMV: A NuSMV Extension for the Verification of Complex Embedded Systems. - Orlando Ferrante; Luca Benvenuti; Leonardo Mangeruca; Christos Sofronis; Alberto Ferrari (SAFECOMP Workshops, 2012)

Formalization and completeness of evolving requirements using Contracts. - Leonardo Mangeruca; Orlando Ferrante; Alberto Ferrari (SIES, 2013)

A Model-Based Methodology to Generate Code for Timer Units. - Marco Marazza; Francesco Menichelli; Mauro Olivieri; Orlando Ferrante; Alberto Ferrari (ApplePies, 2014)

BCL: A compositional contract language for embedded systems. - Orlando Ferrante; Roberto Passerone; Alberto Ferrari; Leonardo Mangeruca; Christos Sofronis (ETFA, 2014)

Model based generation of high coverage test suites for embedded systems. - Orlando Ferrante; Alberto Ferrari; Marco Marazza (ETS, 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 (SAFECOMP Workshops, 2014)

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 (SAFECOMP Workshops, 2015)

Application of Model-Based Safety Assessment to the Validation of Avionic Electrical Power Systems. - Orlando Ferrante; Luigi Di Guglielmo; Valerio Senni; Alberto Ferrari (IMBSA, 2017)

An Application of Parallel Satisfiability Solving to the Verification of Complex Embedded Systems. - Orlando Ferrante; Alberto Ferrari; Christos Sofronis; Leonardo Mangeruca; Luca Benvenuti (Handbook of Parallel Constraint Reasoning, 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)