Orlando Ferrante

Publication Activity (10 Years)

Years Active: 2012-2018
Publications (10 Years): 2

Top Topics

Embedded Real Time Systems

Electrical Power Systems

Top Venues

SAFECOMP Workshops

IEEE Trans. Ind. Informatics

Publications

Loris Dal Lago, Orlando Ferrante, Roberto Passerone, Alberto Ferrari
Dependability Assessment of SOA-Based CPS With Contracts and Model-Based Fault Injection. IEEE Trans. Ind. Informatics 14 (1) (2018)
Orlando Ferrante, Luigi Di Guglielmo, Valerio Senni, Alberto Ferrari
Application of Model-Based Safety Assessment to the Validation of Avionic Electrical Power Systems. IMBSA (2017)
Marco Carloni, Orlando Ferrante, Alberto Ferrari, Gianpaolo Massaroli, Antonio Orazzo, Luigi Velardi
Contract Modeling and Verification with FormalSpecs Verifier Tool-Suite - Application to Ansaldo STS Rapid Transit Metro System Use Case. SAFECOMP Workshops (2015)
Orlando Ferrante, Roberto Passerone, Alberto Ferrari, Leonardo Mangeruca, Christos Sofronis
BCL: A compositional contract language for embedded systems. ETFA (2014)
Marco Marazza, Francesco Menichelli, Mauro Olivieri, Orlando Ferrante, Alberto Ferrari
A Model-Based Methodology to Generate Code for Timer Units. ApplePies (2014)
Marco Carloni, Orlando Ferrante, Alberto Ferrari, Gianpaolo Massaroli, Antonio Orazzo, Ida Petrone, Luigi Velardi
Contract-Based Analysis for Verification of Communication-Based Train Control (CBTC) System. SAFECOMP Workshops (2014)
Orlando Ferrante, Alberto Ferrari, Marco Marazza
Model based generation of high coverage test suites for embedded systems. ETS (2014)
Leonardo Mangeruca, Orlando Ferrante, Alberto Ferrari
Formalization and completeness of evolving requirements using Contracts. SIES (2013)
Orlando Ferrante, Luca Benvenuti, Leonardo Mangeruca, Christos Sofronis, Alberto Ferrari
Parallel NuSMV: A NuSMV Extension for the Verification of Complex Embedded Systems. SAFECOMP Workshops (2012)