| 2008 |
|---|
| 7 | EE | 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: 702-707 |
| 2005 |
|---|
| 6 | EE | 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: 293-304 |
| 2003 |
|---|
| 5 | EE | 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: 355- |
| 2000 |
|---|
| 4 | EE | 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: 119-124 |
| 3 | EE | 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: 535-549 |
| 1997 |
|---|
| 2 | | Arturo M. Amendola,
Leonardo Impagliazzo,
P. Marmo,
Fabio Poli:
Experimental Evaluation of Computer-Based Railway Control Systems.
FTCS 1997: 380-384 |
| 1996 |
|---|
| 1 | | Jean Arlat,
Nobuyasu Kanekawa,
Arturo M. Amendola,
Jean-Luis Dufour,
Yuji Hirao,
Joseph A. Profeta III:
Dependability of Railway Control Systems.
FTCS 1996: 150-155 |
