Matthieu Perin
Orcid: 0000-0002-9726-2458
According to our database1,
Matthieu Perin
authored at least 7 papers
between 2012 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
2012
2014
2016
2018
2020
2022
0
1
2
3
1
2
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2022
2019
B-Specification of Relay-Based Railway Interlocking Systems Based on the Propositional Logic of the System State Evolution.
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.
Proceedings of the Conceptual Modeling - 38th International Conference, 2019
2018
Proceedings of the New Trends in Model and Data Engineering, 2018
2015
Proceedings of the Annual IEEE Systems Conference, 2015
2013
Comparing detailed and abstract timed models of automated discrete manufacturing systems.
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.
Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012