Matthias Brun
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
18
Venues
7
Active years
2008–2024
Best venue rank
A*
Where they publish
Papers
18 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | SOSP | Verus: A Practical Foundation for Systems Verification. | Andrea Lattuada, Travis Hance, Jay Bosamiya, Matthias Brun, Chanhee Cho, Hayley LeBlanc, Pranav Srinivasan, Reto Achermann, Tej Chajed, Chris Hawblitzel, Jon Howell, Jacob R. Lorch, Oded Padon, Bryan Parno |
| 2023 | HotOS | Beyond isolation: OS verification as a foundation for correct applications. | Matthias Brun, Reto Achermann, Tej Chajed, Jon Howell, Gerd Zellweger, Andrea Lattuada |
| 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 |
| 2021 | ITP | Verified Progress Tracking for Timely Dataflow. | Matthias Brun, Sra Decova, Andrea Lattuada, Dmitriy Traytel |
| 2021 | MODELS | AnimUML as a UML Modeling and Verification Teaching Tool. | Frdric Jouault, Valentin Sebille, Valentin Besnard, Tho Le Calvar, Ciprian Teodorov, Matthias Brun, Jrme Delatour |
| 2020 | MODELS | Modular deployment of UML models for V&V activities and embedded execution. | Valentin Besnard, Frdric Jouault, Matthias Brun, Ciprian Teodorov, Philippe Dhaussy, Jrme Delatour |
| 2020 | MODELS | Designing, animating, and verifying partial UML Models. | Frdric Jouault, Valentin Besnard, Tho Le Calvar, Ciprian Teodorov, Matthias Brun, Jrme Delatour |
| 2020 | MODELS | Evaluating tool support for embedded operating system security: an experience feedback. | Matthias Pasquier, Frdric Jouault, Matthias Brun, Julien Prochon |
| 2019 | ITP | Generic Authenticated Data Structures, Formally. | Matthias Brun, Dmitriy Traytel |
| 2019 | MODELS | A Model Checkable UML Soccer Player. | Valentin Besnard, Ciprian Teodorov, Frdric Jouault, Matthias Brun, Philippe Dhaussy |
| 2019 | MODELS | Verifying and Monitoring UML Models with Observer Automata: A Transformation-Free Approach. | Valentin Besnard, Ciprian Teodorov, Frdric Jouault, Matthias Brun, Philippe Dhaussy |
| 2018 | MODELS | Unified LTL Verification and Embedded Execution of UML Models. | Valentin Besnard, Matthias Brun, Frdric Jouault, Ciprian Teodorov, Philippe Dhaussy |
| 2017 | MODELS | Towards One Model Interpreter for Both Design and Deployment. | Valentin Besnard, Matthias Brun, Philippe Dhaussy, Frdric Jouault, David Olivier, Ciprian Teodorov |
| 2015 | HPCC | Use of Runtime Enforcement for the Test of Real-time Systems. | Louis-Marie Givel, Matthias Brun, Camille Constant, Sbastien Faucou, Olivier H. Roux |
| 2008 | ICECCS | Code Generation from AADL to a Real-Time Operating System: An Experimentation Feedback on the Use of Model Transformation. | Matthias Brun, Jrme Delatour, Yvon Trinquet |