Maxime Perrotin

Publication Activity (10 Years)

Years Active: 2007-2022
Publications (10 Years): 3

Top Topics

Artifact Centric

Computer Assisted

Bounded Model Checking

Top Venues

IEEE Trans. Multi Scale Comput. Syst.

MoDELS (Companion)

Publications

Iulia Dragomir, Carlos Redondo, Tiago Jorge, Laura Gouveia, Iulian Ober, Ivan Kolesnikov, Marius Bozga, Maxime Perrotin
Model-checking of space systems designed with TASTE/SDL. MoDELS (Companion) (2022)
Marco Lattuada, Fabrizio Ferrandi, Maxime Perrotin
Data Transfers Analysis in Computer Assisted Design Flow of FPGA Accelerators for Aerospace Systems. IEEE Trans. Multi Scale Comput. Syst. 4 (1) (2018)
Jean-Loup Terraillon, Maxime Perrotin, Christophe Honvault
Keynote: Toward a space system development framework. RSP (2015)
Maxime Perrotin, Eric Conquet, Julien Delange, Andre Schiele, Thanassis Tsiodras
TASTE: A Real-Time Software Engineering Tool-Chain Overview, Status, and Future. SDL Forum (2011)
Jérôme Hugues, Maxime Perrotin, Thanassis Tsiodras
Using MDE for the Rapid Prototyping of Space Critical Systems. IEEE International Workshop on Rapid System Prototyping (2008)
Konstantinos Mokos, Panagiotis Katsaros, Nick Bassiliades, Vangelis Vassiliadis, Maxime Perrotin
Towards Compositional Safety Analysis via Semantic Representation of Component Failure Behaviour. JCKBSE (2008)
Matteo Bordin, Thanassis Tsiodras, Maxime Perrotin
Experience in the Integration of Heterogeneous Models in the Model-driven Engineering of High-Integrity Systems. Ada-Europe (2008)
Jean-Paul Blanquart, Gérard Bulsa, David Lesens, George Mamais, Maxime Perrotin
Formal Modeling of Data. A Case Study for Space Applications. ISoLA (2007)