Antonio Orazzo

Publication Activity (10 Years)

Years Active: 2003-2015
Publications (10 Years): 0

Top Topics

Design Requirements

Modeling Method

Top Venues

SAFECOMP Workshops

Publications

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)
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)
Francesco Flammini, Nicola Mazzocca, Antonio Orazzo
Automatic instantiation of abstract tests on specific configurations for large critical control systems CoRR (2013)
Stefano Marrone, Roberto Nardone, Antonio Orazzo, Ida Petrone, Luigi Velardi
Improving Verification Process in Driverless Metro Systems: The MBAT Project. ISoLA (2) (2012)
Giuseppe Bonifacio, Pietro Marmo, Antonio Orazzo, Ida Petrone, Luigi Velardi, Alessio Venticinque
Improvement of Processes and Methods in Testing Activities for Safety-Critical Embedded Systems. SAFECOMP (2011)
Francesco Flammini, Nicola Mazzocca, Antonio Orazzo
Automatic instantiation of abstract tests on specific configurations for large critical control systems. Softw. Test. Verification Reliab. 19 (2) (2009)
Renato Donini, Stefano Marrone, Nicola Mazzocca, Antonio Orazzo, Domenico Papa, Salvatore Venticinque
Testing Complex Safety-Critical Systems in SOA Context. CISIS (2008)
Giuseppe De Nicola, Pasquale di Tommaso, Rosaria Esposito, Francesco Flammini, Pietro Marmo, Antonio Orazzo
A Grey-Box Approach to the Functional Testing of Complex Automatic Train Protection Systems. EDCC (2005)
Giuseppe De Nicola, Pasquale di Tommaso, Rosaria Esposito, Francesco Flammini, Antonio Orazzo
A Hybrid Testing Methodology for Railway Control Systems. SAFECOMP (2004)
Pasquale di Tommaso, Rosaria Esposito, Pietro Marmo, Antonio Orazzo
Hazard Analysis of Complex Distributed Railway Systems. SRDS (2003)