Dario Romano

Publication Activity (10 Years)

Years Active: 1997-2022
Publications (10 Years): 2

Top Topics

Multimedia Technology

Technological Advances

Programming Language

Academia And Industry

Top Venues

Publications

Dario Romano, Kevin Feichtinger, Danilo Beuche, Uwe Ryssel, Rick Rabiser
Bridging the gap between academia and industry: transforming the universal variability language to pure: : variants and back. SPLC (B) (2022)
Kevin Feichtinger, Johann Stöbich, Dario Romano, Rick Rabiser
TRAVART: An Approach for Transforming Variability Models. VaMoS (2021)
Alessandro Cimatti, Fausto Giunchiglia, Giorgio Mongardi, Dario Romano, Fernando Torielli, Paolo Traverso
Formal Verification of a Railway Interlocking System using Model Checking. Formal Aspects Comput. 10 (4) (1998)
Alessandro Cimatti, Fausto Giunchiglia, Giorgio Mongardi, Dario Romano, Fernando Torielli, Paolo Traverso
Model Checking Safety Critical Software with SPIN: An Application to a Railway Interlocking System. SAFECOMP (1998)
Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi, Salvatore Larosa, Giorgio Mongardi, Dario Romano
A Formal Verification Environment for Railway Signaling System Design. Formal Methods Syst. Des. 12 (2) (1998)
Alessandro Cimatti, Fausto Giunchiglia, Paolo Pecchiari, Bruno Pietra, Joe Profeta, Dario Romano, Paolo Traverso, Bing Yu
A Provably Correct Embedded Verifier for the Certification of Safety Critical Software. CAV (1997)