Stefano Marrone
Researcher @Second University Of Naples
Signup · Get unlimited contacts
WORK HISTORY
Researcher @Second University Of Naples
Research areas- model driven engineering- application of formal methods in evaluation of non-functional properties of systems- dependability modeling and evaluation of critical systems.
EDUCATION
Seconda Università degli Studi di Napoli
PhD
Università degli Studi di Napoli Federico II
Master Degree
ABOUT STEFANO MARRONE
Researcher in the area of the application of formal methods to critical systems modeling and analysis by means of mutiformal, compositional and model-driven approaches. Software Engineer with industrial experience in distributed and critical computer based systems: software V&V and testing (both structural and functional). Safety engineer for driverless metro systems.Specialties: Modelling of complex critical systems by means of formal methods (Petri Nets, Bayesian Networks, Fault Trees.). Model Driven Engineering. Software testing. RAMS analysis of critical systems.
This profile is compiled from publicly available professional sources. Unifers is not affiliated with or endorsed by LinkedIn. Request removal of this profile.