Search the dblp DataBase

Publications of Author

1. Stefania Gnesi, Diego Latella, Gabriele Lenzini, C. Abbaneo, Arturo M. Amendola, P. Marmo
   An Automatic SPIN Validation of a Safety Critical Railway Control System. [Citation Graph (0, 0)][DBLP]
   DSN, 2000, pp:119-124 [Conf]
   
2. Caiazza Alessandro, Roberto Di Maio, Fernando Scalabrini, Fabio Poli, Leonardo Impagliazzo, Arturo M. Amendola
   A New Methodology and Tool Set to Execute Software Test on Real-Time Safety-Critical Systems. [Citation Graph (0, 0)][DBLP]
   EDCC, 2005, pp:293-304 [Conf]
   
3. Arturo M. Amendola, Leonardo Impagliazzo, P. Marmo, Fabio Poli
   Experimental Evaluation of Computer-Based Railway Control Systems. [Citation Graph (0, 0)][DBLP]
   FTCS, 1997, pp:380-384 [Conf]
   
4. Jean Arlat, Nobuyasu Kanekawa, Arturo M. Amendola, Jean-Luis Dufour, Yuji Hirao, Joseph A. Profeta III
   Dependability of Railway Control Systems. [Citation Graph (0, 0)][DBLP]
   FTCS, 1996, pp:150-155 [Conf]
   
5. Stefania Gnesi, Diego Latella, Gabriele Lenzini, C. Abbaneo, Arturo M. Amendola, P. Marmo
   A Formal Specification and Validation of a Critical System in Presence of Byzantine Errors. [Citation Graph (0, 0)][DBLP]
   TACAS, 2000, pp:535-549 [Conf]
   
6. Arturo M. Amendola, Robert Di Maio, M. L. Iacobuzio, Fabio Poli, Fernando Scalabrini
   Lessons Learned in Designing and Evaluating Railway Control Systems. [Citation Graph (0, 0)][DBLP]
   WORDS Fall, 2003, pp:355-0 [Conf]
   
7. 
   Short Circuit Modelling and Simulation of 2x25 kV High Speed Railways. [Citation Graph (, )][DBLP]