Arturo M. Amendola

According to our database, Arturo M. Amendola authored at least 8 papers between 1996 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2008

Short Circuit Modelling and Simulation of 2x25 kV High Speed Railways.

Luigi Battistelli, Mario Pagano, Daniela Proto, Arturo M. Amendola, Luigi Candurro, Alfonso Pignotti

Proceedings of the Second Asia International Conference on Modelling and Simulation, 2008

2005

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

Proceedings of the Dependable Computing, 2005

2003

Lessons Learned in Designing and Evaluating Railway Control Systems.

Arturo M. Amendola, Roberto Di Maio, M. L. Iacobuzio, Fabio Poli, Fernando Scalabrini

Proceedings of the 9th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS Fall 2003), 2003

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

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000

An Automatic SPIN Validation of a Safety Critical Railway Control System.

Stefania Gnesi, Diego Latella, Gabriele Lenzini, C. Abbaneo, Arturo M. Amendola, P. Marmo

Proceedings of the 2000 International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), 2000

1997

Experimental Evaluation of Computer-Based Railway Control Systems.

Arturo M. Amendola, Leonardo Impagliazzo, P. Marmo, Fabio Poli

Proceedings of the Digest of Papers: FTCS-27, 1997

1996

Dependability of Railway Control Systems.

Jean Arlat, Nobuyasu Kanekawa, Arturo M. Amendola, Jean-Luis Dufour, Yuji Hirao, Joseph A. Profeta III

Proceedings of the Digest of Papers: FTCS-26, 1996

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

Proceedings of the conference on European design automation, 1996