Antonio Orazzo
According to our database1,
Antonio Orazzo
authored at least 9 papers
between 2003 and 2015.
Collaborative distances:
Collaborative distances:
Timeline
2004
2006
2008
2010
2012
2014
0
1
2
1
1
1
1
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
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
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
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
Proceedings of the Computer Safety, 2004
2003
Proceedings of the 22nd Symposium on Reliable Distributed Systems (SRDS 2003), 2003