Login / Signup
Laura Masullo
Publication Activity (10 Years)
Years Active: 2016-2023
Publications (10 Years): 3
Top Topics
Provably Correct
Formal Methods
Temporal Properties
Business Activities
Top Venues
ISoLA (3)
ICNC
FMICS
</>
Publications
</>
Dimitri Belli
,
Alessandro Fantechi
,
Stefania Gnesi
,
Laura Masullo
,
Franco Mazzanti
,
Lisa Quadrini
,
Daniele Trentini
,
Carlo Vaghi
The 4SECURail Case Study on Rigorous Standard Interface Specifications.
FMICS
(2023)
Davide Basile
,
Maurice H. ter Beek
,
Alessandro Fantechi
,
Alessio Ferrari
,
Stefania Gnesi
,
Laura Masullo
,
Franco Mazzanti
,
Andrea Piattino
,
Daniele Trentini
Designing a Demonstrator of Formal Methods for Railways Infrastructure Managers.
ISoLA (3)
(2020)
Raffaele Bolla
,
Franco Davoli
,
Chiara Lombardo
,
Laura Masullo
,
Roberto Bruschi
The expected impact of smart devices visualization.
ICNC
(2016)