Matthieu Perin

Publication Activity (10 Years)

Years Active: 2012-2022
Publications (10 Years): 5

Top Topics

Safety Analysis

Formal Specification

Propositional Logic

Top Venues

J. Syst. Softw.

Publications

Nadia Chouchani, Sana Debbech, Matthieu Perin
Model-based safety engineering for autonomous train map. J. Syst. Softw. 183 (2022)
Dalay Israel de Almeida Pereira, David Déharbe, Matthieu Perin, Philippe Bon
B-Specification of Relay-Based Railway Interlocking Systems Based on the Propositional Logic of the System State Evolution. RSSRail (2019)
Dalay Israel de Almeida Pereira, Sana Debbech, Matthieu Perin, Philippe Bon, Simon Collart Dutilleul
Formal Specification of Environmental Aspects of a Railway Interlocking System Based on a Conceptual Model. ER (2019)
Dalay Israel de Almeida Pereira, Ouahmed Malki, Philippe Bon, Matthieu Perin, Simon Collart Dutilleul
An MDA Approach for the Specification of Relay-Based Diagrams. MEDI Workshops (2018)
Nataliya Yakymets, Matthieu Perin, Agnes Lanusse
Model-driven multi-level safety analysis of critical systems. SysCon (2015)
Matthieu Perin, Jean-Marc Faure
Comparing detailed and abstract timed models of automated discrete manufacturing systems. CASE (2013)
Matthieu Perin, Jean-Marc Faure
Coupling timed plant and controller models with urgent transitions without introducing deadlocks. ETFA (2012)