Login / Signup
Ida Petrone
Publication Activity (10 Years)
Years Active: 2011-2014
Publications (10 Years): 0
Top Topics
Design Requirements
Evolutionary Algorithm
Statistical Analysis
Distributed Systems
Top Venues
SAFECOMP Workshops
ISoLA (2)
</>
Publications
</>
Marco Carloni
,
Orlando Ferrante
,
Alberto Ferrari
,
Gianpaolo Massaroli
,
Antonio Orazzo
,
Ida Petrone
,
Luigi Velardi
Contract-Based Analysis for Verification of Communication-Based Train Control (CBTC) System.
SAFECOMP Workshops
(2014)
Stefano Marrone
,
Roberto Nardone
,
Antonio Orazzo
,
Ida Petrone
,
Luigi Velardi
Improving Verification Process in Driverless Metro Systems: The MBAT Project.
ISoLA (2)
(2012)
Giuseppe Bonifacio
,
Pietro Marmo
,
Antonio Orazzo
,
Ida Petrone
,
Luigi Velardi
,
Alessio Venticinque
Improvement of Processes and Methods in Testing Activities for Safety-Critical Embedded Systems.
SAFECOMP
(2011)