P. Marmo

According to our database, P. Marmo authored at least 4 papers between 1996 and 2000.

Collaborative distances:

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

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

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