- CSB - MetaPress - Google - Bing - Yahoo
 | 2008 | |
|---|---|---|
| c7 |      | Luigi Battistelli, Mario Pagano, Daniela Proto, Arturo M. Amendola, Luigi Candurro, Alfonso Pignotti: Short Circuit Modelling and Simulation of 2x25 kV High Speed Railways. Asia International Conference on Modelling and Simulation 2008: 702-707 |
| 2005 | ||
| c6 | | 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. EDCC 2005: 293-304 |
| 2003 | ||
| c5 | | Arturo M. Amendola, Roberto Di Maio, M. L. Iacobuzio, Fabio Poli, Fernando Scalabrini: Lessons Learned in Designing and Evaluating Railway Control Systems. WORDS Fall 2003: 355- |
| 2000 | ||
| c4 | | Stefania Gnesi, Diego Latella, Gabriele Lenzini, C. Abbaneo, Arturo M. Amendola, P. Marmo: An Automatic SPIN Validation of a Safety Critical Railway Control System. DSN 2000: 119-124 |
| c3 | | 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. TACAS 2000: 535-549 |
| 1997 | ||
| c2 | | Arturo M. Amendola, Leonardo Impagliazzo, P. Marmo, Fabio Poli: Experimental Evaluation of Computer-Based Railway Control Systems. FTCS 1997: 380-384 |
| 1996 | ||
| c1 |  | Jean Arlat, Nobuyasu Kanekawa, Arturo M. Amendola, Jean-Luis Dufour, Yuji Hirao, Joseph A. Profeta III: Dependability of Railway Control Systems. FTCS 1996: 150-155 |
Colors in the list of coauthors
Last update Sat May 25 09:42:28 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page