|
Search the dblp DataBase
Dario Romano:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- 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. [Citation Graph (0, 0)][DBLP] CAV, 1997, pp:202-213 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] SAFECOMP, 1998, pp:284-295 [Conf]
- Alessandro Cimatti, Fausto Giunchiglia, Giorgio Mongardi, Dario Romano, Fernando Torielli, Paolo Traverso
Formal Verification of a Railway Interlocking System using Model Checking. [Citation Graph (0, 0)][DBLP] Formal Asp. Comput., 1998, v:10, n:4, pp:361-380 [Journal]
- Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi, Salvatore Larosa, Giorgio Mongardi, Dario Romano
A Formal Verification Environment for Railway Signaling System Design. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 1998, v:12, n:2, pp:139-161 [Journal]
Search in 0.001secs, Finished in 0.001secs
|