Bernard Berthomieu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
14
Venues
10
Active years
1978–2019
Best venue rank
A*
Where they publish
Papers
14 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | SAC | Graphical program transformations for embedded systems. | Robert J. Stewart, Bernard Berthomieu, Paulo Garcia, Idris Ibrahim, Greg Michaelson, Andrew M. Wallace |
| 2019 | TACAS | Presentation of the 9th Edition of the Model Checking Contest. | Elvio Gilberto Amparore, Bernard Berthomieu, Gianfranco Ciardo, Silvano Dal-Zilio, Francesco Gall, Lom-Messan Hillah, Francis Hulin-Hubard, Peter Gjl Jensen, Log Jezequel, Fabrice Kordon, Didier Le Botlan, Torsten Liebke, Jeroen Meijer, Andrew S. Miner, Emmanuel Paviot-Adet, Jir Srba, Yann Thierry-Mieg, Tom van Dijk, Karsten Wolf |
| 2018 | ICSE | Formal verification of complex robotic systems on resource-constrained platforms. | Mohammed Foughali, Bernard Berthomieu, Silvano Dal-Zilio, Pierre-Emmanuel Hladik, Flix Ingrand, Anthony Mallet |
| 2016 | ICFEM | Model Checking Real-Time Properties on the Functional Layer of Autonomous Robots. | Mohammed Foughali, Bernard Berthomieu, Silvano Dal-Zilio, Flix Ingrand, Anthony Mallet |
| 2015 | SAC | Symmetry reduced state classes for time petri nets. | Pierre-Alain Bourdil, Bernard Berthomieu, Silvano Dal-Zilio, Franois Vernadat |
| 2014 | ISSRE | Model-Checking Real-Time Properties of an Auto Flight Control System Function. | Pierre-Alain Bourdil, Bernard Berthomieu, Eric Jenn |
| 2012 | ATVA | An Experiment on Parallel Model Checking of a CTL Fragment. | Rodrigo T. Saad, Silvano Dal-Zilio, Bernard Berthomieu |
| 2011 | ISPDC | Mixed Shared-Distributed Hash Tables Approaches for Parallel State Space Construction. | Rodrigo T. Saad, Silvano Dal-Zilio, Bernard Berthomieu |
| 2008 | ISORC | Abstract State Spaces for Time Petri Nets Analysis. | Bernard Berthomieu, Florent Peres, Franois Vernadat |
| 2007 | ATVA | Model Checking Bounded Prioritized Time Petri Nets. | Bernard Berthomieu, Florent Peres, Franois Vernadat |
| 2003 | TACAS | State Class Constructions for Branching Analysis of Time Petri Nets. | Bernard Berthomieu, Franois Vernadat |
| 2002 | FORTE | On Combining the Persistent Sets Method with the Covering Steps Graph Method. | Pierre-Olivier Ribet, Franois Vernadat, Bernard Berthomieu |
| 1994 | ESOP | Programming with Behaviors in an ML Framework - The Syntax and Semantics of LCS. | Bernard Berthomieu, Thierry Le Sergent |
| 1978 | ICSE | Design and Verification of Communication Procedures: A Bottom-Up Approach. | Pierre Azma, Jean-Michel Ayache, Bernard Berthomieu |