The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Arturo M. Amendola: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Stefania Gnesi, Diego Latella, Gabriele Lenzini, C. Abbaneo, Arturo M. Amendola, P. Marmo
    An Automatic SPIN Validation of a Safety Critical Railway Control System. [Citation Graph (0, 0)][DBLP]
    DSN, 2000, pp:119-124 [Conf]
  2. 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. [Citation Graph (0, 0)][DBLP]
    EDCC, 2005, pp:293-304 [Conf]
  3. Arturo M. Amendola, Leonardo Impagliazzo, P. Marmo, Fabio Poli
    Experimental Evaluation of Computer-Based Railway Control Systems. [Citation Graph (0, 0)][DBLP]
    FTCS, 1997, pp:380-384 [Conf]
  4. Jean Arlat, Nobuyasu Kanekawa, Arturo M. Amendola, Jean-Luis Dufour, Yuji Hirao, Joseph A. Profeta III
    Dependability of Railway Control Systems. [Citation Graph (0, 0)][DBLP]
    FTCS, 1996, pp:150-155 [Conf]
  5. 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. [Citation Graph (0, 0)][DBLP]
    TACAS, 2000, pp:535-549 [Conf]
  6. Arturo M. Amendola, Robert Di Maio, M. L. Iacobuzio, Fabio Poli, Fernando Scalabrini
    Lessons Learned in Designing and Evaluating Railway Control Systems. [Citation Graph (0, 0)][DBLP]
    WORDS Fall, 2003, pp:355-0 [Conf]

  7. Short Circuit Modelling and Simulation of 2x25 kV High Speed Railways. [Citation Graph (, )][DBLP]


Search in 0.018secs, Finished in 0.018secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002