P. Marmo

Publication Activity (10 Years)

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

Publications

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)