Arturo M. Amendola

Publication Activity (10 Years)

Years Active: 1996-2008
Publications (10 Years): 0

Publications

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)
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)
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)
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)
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)
Arturo M. Amendola, Leonardo Impagliazzo, P. Marmo, Fabio Poli
Experimental Evaluation of Computer-Based Railway Control Systems. FTCS (1997)
Paolo Prinetto, Alfredo Benso, Fulvio Corno, Maurizio Rebaudengo, Matteo Sonza Reorda, Arturo M. Amendola, Leonardo Impagliazzo, P. Marmo
Fault behavior observation of a microprocessor system through a VHDL simulation-based fault injection experiment. EURO-DAC (1996)
Jean Arlat, Nobuyasu Kanekawa, Arturo M. Amendola, Jean-Luis Dufour, Yuji Hirao, Joseph A. Profeta III
Dependability of Railway Control Systems. FTCS (1996)