Matthias Pasquier
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
2
Active years
2020–2023
Best venue rank
A
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | MODELS | Debugging Paxos in the UML Multiverse. | Matthias Pasquier, Ciprian Teodorov, Frdric Jouault, Matthias Brun, Loc Lagadec |
| 2023 | SLE | Temporal Breakpoints for Multiverse Debugging. | Matthias Pasquier, Ciprian Teodorov, Frdric Jouault, Matthias Brun, Luka Le Roux, Loc Lagadec |
| 2022 | MODELS | From OCL-based model static analysis to quick fixes. | Frdric Jouault, Maxime Mr, Matthias Brun, Tho Le Calvar, Matthias Pasquier, Ciprian Teodorov |
| 2022 | MODELS | Practical multiverse debugging through user-defined reductions: application to UML models. | Matthias Pasquier, Ciprian Teodorov, Frdric Jouault, Matthias Brun, Luka Le Roux, Loc Lagadec |
| 2020 | MODELS | Evaluating tool support for embedded operating system security: an experience feedback. | Matthias Pasquier, Frdric Jouault, Matthias Brun, Julien Prochon |