P. Marmo - Concepedia

Author

P. Marmo

Also Known As

Marmo Pietro, P Marmo, P. Marmo, Pietro Marmo

Publications

234

Citations

H-Index

Concepts

All Affiliations

P. Marmo is an author at Ansaldo (Italy) specializing in software testing, engineering, and systems engineering.

#	Concept	H-Index	Publications	Citations
1	Engineering	6	6	156
2	Systems Engineering	6	6	156
3	Computer Engineering	5	5	134
4	Computer Science	2	2	72
5	Business	1	1	31

P. Marmo

Publications

156

Citations

H-Index

Page 1

	Year	Citations
Fault-list collapsing for fault-injection experiments Alfredo Benso, Maurizio Rebaudengo, L. Impagliazzo, EngineeringComputer ArchitectureSoftware EngineeringSoftware AnalysisFormal Verification	2002	61
Experimental evaluation of computer-based railway control systems Arturo Amendola, L. Impagliazzo, P. Marmo, Railway TrafficEngineeringVerificationRobustness TestingSoftware Engineering	2002	31
An automatic SPIN validation of a safety critical railway control system Stefania Gnesi, Gabriele Lenzini, Diego Latella, Railway TrafficEngineeringVerificationSafety ScienceSoftware Engineering	2002	22
Fault behavior observation of a microprocessor system through a VHDL simulation-based fault injection experiment A.M. Amendola, Alfredo Benso, Fulvio Corno, EngineeringVerificationComputer ArchitectureFault Behavior ObservationError Detecting Mechanisms	2002	20
UML Based Reverse Engineering for the Verification of Railway Control Logics Angela Sanseviero, Nicola Mazzocca, P. Marmo, EngineeringVerificationComputer-aided VerificationSoftware EngineeringReverse Engineering	2006	11
Architecture and safety requirements of the ACC railway interlocking system Arturo Amendola, L. Impagliazzo, P. Marmo, Railway TrafficEngineeringVerificationSafety ScienceFormal Verification	2002	11

Page 1