Fault behavior observation of a microprocessor system through a VHDL simulation-based fault injection experiment. - Paolo Prinetto; Alfredo Benso; Fulvio Corno; Maurizio Rebaudengo; Matteo Sonza Reorda; Arturo M. Amendola; Leonardo Impagliazzo; P. Marmo (EURO-DAC, 1996)

Dependability of Railway Control Systems. - Jean Arlat; Nobuyasu Kanekawa; Arturo M. Amendola; Jean-Luis Dufour; Yuji Hirao; Joseph A. Profeta III (FTCS, 1996)

Experimental Evaluation of Computer-Based Railway Control Systems. - Arturo M. Amendola; Leonardo Impagliazzo; P. Marmo; Fabio Poli (FTCS, 1997)

An Automatic SPIN Validation of a Safety Critical Railway Control System. - Stefania Gnesi; Diego Latella; Gabriele Lenzini; C. Abbaneo; Arturo M. Amendola; P. Marmo (DSN, 2000)

A Formal Specification and Validation of a Critical System in Presence of Byzantine Errors. - Stefania Gnesi; Diego Latella; Gabriele Lenzini; C. Abbaneo; Arturo M. Amendola; P. Marmo (TACAS, 2000)

Lessons Learned in Designing and Evaluating Railway Control Systems. - Arturo M. Amendola; Roberto Di Maio; M. L. Iacobuzio; Fabio Poli; Fernando Scalabrini (WORDS Fall, 2003)

A New Methodology and Tool Set to Execute Software Test on Real-Time Safety-Critical Systems. - Caiazza Alessandro; Roberto Di Maio; Fernando Scalabrini; Fabio Poli; Leonardo Impagliazzo; Arturo M. Amendola (EDCC, 2005)

Short Circuit Modelling and Simulation of 2x25 kV High Speed Railways. - Luigi Battistelli; Mario Pagano 001; Daniela Proto; Arturo M. Amendola; Luigi Candurro; Alfonso Pignotti (Asia International Conference on Modelling and Simulation, 2008)