An Automated Method for the Study of Human Reliability in Railway Supervision Systems.
IEEE Trans. Intell. Transp. Syst., 2018
Statistical Automaton for Verifying Temporal Properties and Computing Information on Traces.
Int. J. Comput. Commun. Control, 2016
Combination of Static and Dynamic Analyses for the Certification of Avionics Software.
Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering Workshops, 2012