Formal Modeling of Data. A Case Study for Space Applications. - Jean-Paul Blanquart; Gérard Bulsa; David Lesens; George Mamais; Maxime Perrotin (ISoLA, 2007)

Experience in the Integration of Heterogeneous Models in the Model-driven Engineering of High-Integrity Systems. - Matteo Bordin; Thanassis Tsiodras; Maxime Perrotin (Ada-Europe, 2008)

Towards Compositional Safety Analysis via Semantic Representation of Component Failure Behaviour. - Konstantinos Mokos; Panagiotis Katsaros; Nick Bassiliades; Vangelis Vassiliadis; Maxime Perrotin (JCKBSE, 2008)

Using MDE for the Rapid Prototyping of Space Critical Systems. - Jérôme Hugues; Maxime Perrotin; Thanassis Tsiodras (IEEE International Workshop on Rapid System Prototyping, 2008)

TASTE: A Real-Time Software Engineering Tool-Chain Overview, Status, and Future. - Maxime Perrotin; Eric Conquet; Julien Delange; Andre Schiele; Thanassis Tsiodras (SDL Forum, 2011)

Keynote: Toward a space system development framework. - Jean-Loup Terraillon; Maxime Perrotin; Christophe Honvault (RSP, 2015)

Data Transfers Analysis in Computer Assisted Design Flow of FPGA Accelerators for Aerospace Systems. - Marco Lattuada 001; Fabrizio Ferrandi; Maxime Perrotin (IEEE Trans. Multi Scale Comput. Syst., 2018)

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)

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 (MoDELS (Companion), 2022)