Maxime Perrotin
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2007–2022
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | MODELS | 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 |
| 2015 | RSP | Keynote: Toward a space system development framework. | Jean-Loup Terraillon, Maxime Perrotin, Christophe Honvault |
| 2008 | RSP | Using MDE for the Rapid Prototyping of Space Critical Systems. | Jrme Hugues, Maxime Perrotin, Thanassis Tsiodras |
| 2007 | ISoLA | Formal Modeling of Data. A Case Study for Space Applications. | Jean-Paul Blanquart, Grard Bulsa, David Lesens, George Mamais, Maxime Perrotin |