dblp.uni-trier.dewww.uni-trier.de

Dario Romano

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1998
4EEAlessandro 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: 284-295
3EEAlessandro Cimatti, Fausto Giunchiglia, Giorgio Mongardi, Dario Romano, Fernando Torielli, Paolo Traverso: Formal Verification of a Railway Interlocking System using Model Checking. Formal Asp. Comput. 10(4): 361-380 (1998)
2 Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi, Salvatore Larosa, Giorgio Mongardi, Dario Romano: A Formal Verification Environment for Railway Signaling System Design. Formal Methods in System Design 12(2): 139-161 (1998)
1997
1 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: 202-213

Coauthor Index

1Cinzia Bernardeschi [2]
2Alessandro Cimatti [1] [3] [4]
3Alessandro Fantechi [2]
4Fausto Giunchiglia [1] [3] [4]
5Stefania Gnesi [2]
6Salvatore Larosa [2]
7Giorgio Mongardi [2] [3] [4]
8Paolo Pecchiari [1]
9Bruno Pietra [1]
10Joe Profeta [1]
11Fernando Torielli [3] [4]
12Paolo Traverso [1] [3] [4]
13Bing Yu [1]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)