Maxime Perrotin

According to our database, Maxime Perrotin authored at least 9 papers between 2007 and 2022.

Collaborative distances:

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

2022

Model-checking of space systems designed with TASTE/SDL.

Iulia Dragomir, Carlos Redondo, Tiago Jorge, Laura Gouveia, Iulian Ober, Ivan Kolesnikov, Marius Bozga, Maxime Perrotin

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2022

2021

Formal verification of space systems designed with TASTE.

Iulia Dragomir, Marius Bozga, Iulian Ober, D. Silveira, Tiago Jorge, E. Alaña, Maxime Perrotin

CoRR, 2021

2018

Data Transfers Analysis in Computer Assisted Design Flow of FPGA Accelerators for Aerospace Systems.

Marco Lattuada, Fabrizio Ferrandi, Maxime Perrotin

IEEE Trans. Multi Scale Comput. Syst., 2018

2015

Keynote: Toward a space system development framework.

Jean-Loup Terraillon, Maxime Perrotin, Christophe Honvault

Proceedings of the 2015 International Symposium on Rapid System Prototyping, 2015

2011

TASTE: A Real-Time Software Engineering Tool-Chain Overview, Status, and Future.

Maxime Perrotin, Eric Conquet, Julien Delange, Andre Schiele, Thanassis Tsiodras

Proceedings of the SDL 2011: Integrating System and Software Modeling, 2011

2008

Using MDE for the Rapid Prototyping of Space Critical Systems.

Jérôme Hugues, Maxime Perrotin, Thanassis Tsiodras

Proceedings of the 19th IEEE/IFIP International Symposium on Rapid System Prototyping: RSP 2009, 2008

Towards Compositional Safety Analysis via Semantic Representation of Component Failure Behaviour.

Konstantinos Mokos, Panagiotis Katsaros, Nick Bassiliades, Vangelis Vassiliadis, Maxime Perrotin

Proceedings of the Knowledge-Based Software Engineering, 2008

Experience in the Integration of Heterogeneous Models in the Model-driven Engineering of High-Integrity Systems.

Matteo Bordin, Thanassis Tsiodras, Maxime Perrotin

Proceedings of the Reliable Software Technologies, 2008

2007

Formal Modeling of Data. A Case Study for Space Applications.

Jean-Paul Blanquart, Gérard Bulsa, David Lesens, George Mamais, Maxime Perrotin

Proceedings of the ISoLA 2007, 2007