Matthieu Perin

According to our database, Matthieu Perin authored at least 7 papers between 2012 and 2022.

Collaborative distances:

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

2022

Model-based safety engineering for autonomous train map.

Nadia Chouchani, Sana Debbech, Matthieu Perin

J. Syst. Softw., 2022

2019

B-Specification of Relay-Based Railway Interlocking Systems Based on the Propositional Logic of the System State Evolution.

Dalay Israel de Almeida Pereira, David Déharbe, Matthieu Perin, Philippe Bon

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

Formal Specification of Environmental Aspects of a Railway Interlocking System Based on a Conceptual Model.

Dalay Israel de Almeida Pereira, Sana Debbech, Matthieu Perin, Philippe Bon, Simon Collart Dutilleul

Proceedings of the Conceptual Modeling - 38th International Conference, 2019

2018

An MDA Approach for the Specification of Relay-Based Diagrams.

Dalay Israel de Almeida Pereira, Ouahmed Malki, Philippe Bon, Matthieu Perin, Simon Collart Dutilleul

Proceedings of the New Trends in Model and Data Engineering, 2018

2015

Model-driven multi-level safety analysis of critical systems.

Nataliya Yakymets, Matthieu Perin, Agnes Lanusse

Proceedings of the Annual IEEE Systems Conference, 2015

2013

Comparing detailed and abstract timed models of automated discrete manufacturing systems.

Matthieu Perin, Jean-Marc Faure

Proceedings of the 2013 IEEE International Conference on Automation Science and Engineering, 2013

2012

Coupling timed plant and controller models with urgent transitions without introducing deadlocks.

Matthieu Perin, Jean-Marc Faure

Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012