Luigi Velardi
According to our database1,
Luigi Velardi
authored at least 8 papers
between 2011 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
0
1
2
3
4
1
1
1
3
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2020
An OSLC-based environment for system-level functional testing of ERTMS/ETCS controllers.
J. Syst. Softw., 2020
2017
Sci. Comput. Program., 2017
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
Proceedings of the Computer Safety, Reliability, and Security, 2014
Proceedings of the Formal Techniques for Safety-Critical Systems, 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