Julien Molinero Perez

According to our database, Julien Molinero Perez authored at least 4 papers between 2017 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2020

Ensuring Safety with System Level Formal Modelling.

Thierry Lecomte, Mathieu Comptier, Julien Molinero Perez, Denis Sabatier

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020

2019

Property-Based Modelling and Validation of a CBTC Zone Controller in Event-B.

Mathieu Comptier, Michael Leuschel, Luis-Fernando Mejia, Julien Molinero Perez, Mareike Mutz

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2019

Property-Driven Software Analysis - (Extended Abstract).

Mathieu Comptier, David Déharbe, Paulin Fournier, Julien Molinero Perez

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

2017

Safety Analysis of a CBTC System: A Rigorous Approach with Event-B.

Mathieu Comptier, David Déharbe, Julien Molinero Perez, Louis Mussat, Pierre Thibaut, Denis Sabatier

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2017