Julien Molinero Perez

Publication Activity (10 Years)

Years Active: 2017-2020
Publications (10 Years): 4

Top Topics

Safety Analysis

Events Occurring

Extended Abstract

Partial Observability

Top Venues

Publications

Thierry Lecomte, Mathieu Comptier, Julien Molinero Perez, Denis Sabatier
Ensuring Safety with System Level Formal Modelling. ISoLA (3) (2020)
Mathieu Comptier, Michael Leuschel, Luis-Fernando Mejia, Julien Molinero Perez, Mareike Mutz
Property-Based Modelling and Validation of a CBTC Zone Controller in Event-B. RSSRail (2019)
Mathieu Comptier, David Déharbe, Paulin Fournier, Julien Molinero Perez
Property-Driven Software Analysis - (Extended Abstract). FM (2019)
Mathieu Comptier, David Déharbe, Julien Molinero Perez, Louis Mussat, Pierre Thibaut, Denis Sabatier
Safety Analysis of a CBTC System: A Rigorous Approach with Event-B. RSSRail (2017)