Dario Romano

According to our database, Dario Romano authored at least 6 papers between 1997 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Bridging the gap between academia and industry: transforming the universal variability language to pure: : variants and back.

Dario Romano, Kevin Feichtinger, Danilo Beuche, Uwe Ryssel, Rick Rabiser

Proceedings of the SPLC '22: 26th ACM International Systems and Software Product Line Conference, Graz, Austria, September 12, 2022

2021

TRAVART: An Approach for Transforming Variability Models.

Kevin Feichtinger, Johann Stöbich, Dario Romano, Rick Rabiser

Proceedings of the VaMoS'21: 15th International Working Conference on Variability Modelling of Software-Intensive Systems, 2021

1998

A Formal Verification Environment for Railway Signaling System Design.

Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi, Salvatore Larosa, Giorgio Mongardi, Dario Romano

Formal Methods Syst. Des., 1998

Formal Verification of a Railway Interlocking System using Model Checking.

Alessandro Cimatti, Fausto Giunchiglia, Giorgio Mongardi, Dario Romano, Fernando Torielli, Paolo Traverso

Formal Aspects Comput., 1998

Model Checking Safety Critical Software with SPIN: An Application to a Railway Interlocking System.

Alessandro Cimatti, Fausto Giunchiglia, Giorgio Mongardi, Dario Romano, Fernando Torielli, Paolo Traverso

Proceedings of the Computer Safety, 1998

1997

A Provably Correct Embedded Verifier for the Certification of Safety Critical Software.

Alessandro Cimatti, Fausto Giunchiglia, Paolo Pecchiari, Bruno Pietra, Joe Profeta, Dario Romano, Paolo Traverso, Bing Yu

Proceedings of the Computer Aided Verification, 9th International Conference, 1997