Antonio Orazzo

According to our database1, Antonio Orazzo authored at least 9 papers between 2003 and 2015.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2015
Contract Modeling and Verification with FormalSpecs Verifier Tool-Suite - Application to Ansaldo STS Rapid Transit Metro System Use Case.
Proceedings of the Computer Safety, Reliability, and Security, 2015

2014
Contract-Based Analysis for Verification of Communication-Based Train Control (CBTC) System.
Proceedings of the Computer Safety, Reliability, and Security, 2014

2012
Improving Verification Process in Driverless Metro Systems: The MBAT Project.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies, 2012

2011
Improvement of Processes and Methods in Testing Activities for Safety-Critical Embedded Systems.
Proceedings of the Computer Safety, Reliability, and Security, 2011

2009
Automatic instantiation of abstract tests on specific configurations for large critical control systems.
Softw. Test. Verification Reliab., 2009

2008
Testing Complex Safety-Critical Systems in SOA Context.
Proceedings of the Second International Conference on Complex, 2008

2005
A Grey-Box Approach to the Functional Testing of Complex Automatic Train Protection Systems.
Proceedings of the Dependable Computing, 2005

2004
A Hybrid Testing Methodology for Railway Control Systems.
Proceedings of the Computer Safety, 2004

2003
Hazard Analysis of Complex Distributed Railway Systems.
Proceedings of the 22nd Symposium on Reliable Distributed Systems (SRDS 2003), 2003


  Loading...