Concepedia

P. Marmo

PM

6

Publications

156

Citations

6

H-Index

2002

Active since

Affiliations

Ansaldo (Italy)(Current)

Polytechnic University of Turin

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

Top concepts

EngineeringSoftware TestingSystems EngineeringVerificationFormal VerificationComputer EngineeringReliability EngineeringSoftware AnalysisSoftware EngineeringFormal Methods

Publications per year

2002–2006

6

Publications

6

Fault-list collapsing for fault-injection experiments

Alfredo Benso, Maurizio Rebaudengo, L. Impagliazzo et al. · 2002 · 61 citations

Engineering, Computer Architecture, Software Engineering +19

Experimental evaluation of computer-based railway control systems

Arturo Amendola, L. Impagliazzo, P. Marmo et al. · 2002 · 31 citations

Railway Traffic, Engineering, Verification +24

An automatic SPIN validation of a safety critical railway control system

Stefania Gnesi, Gabriele Lenzini, Diego Latella et al. · 2002 · 22 citations · Full text

Railway Traffic, Engineering, Verification +24

Fault behavior observation of a microprocessor system through a VHDL simulation-based fault injection experiment

A.M. Amendola, Alfredo Benso, Fulvio Corno et al. · 2002 · 20 citations

Engineering, Verification, Computer Architecture +17

UML Based Reverse Engineering for the Verification of Railway Control Logics

Angela Sanseviero, Nicola Mazzocca, P. Marmo et al. · 2006 · 11 citations

Engineering, Verification, Computer-aided Verification +24

Rows per page

1–5 of 6