Bernard Berthomieu

Publication Activity (10 Years)

Years Active: 1978-2024
Publications (10 Years): 17

Top Topics

Temporal Properties

Concurrent Systems

Top Venues

Fundam. Informaticae

Publications

Bernard Berthomieu, Dmitry A. Zaitsev
Sleptsov nets are Turing-complete. Theor. Comput. Sci. 986 (2024)
Bernard Berthomieu, Dmitry A. Zaitsev
Sleptsov Nets are Turing-complete. CoRR (2023)
Nicolas Amat, Bernard Berthomieu, Silvano Dal-Zilio
A Polyhedral Abstraction for Petri Nets and its Application to SMT-Based Model Checking. Fundam. Informaticae 187 (2-4) (2022)
Nicolas Amat, Bernard Berthomieu, Silvano Dal-Zilio
On the Combination of Polyhedral Abstraction and SMT-based Model Checking for Petri nets. CoRR (2021)
Nicolas Amat, Bernard Berthomieu, Silvano Dal-Zilio
On the Combination of Polyhedral Abstraction and SMT-Based Model Checking for Petri Nets. Petri Nets (2021)
Thomas Hujsa, Bernard Berthomieu, Silvano Dal-Zilio, Didier Le Botlan
On the Petri Nets with a Single Shared Place and Beyond. CoRR (2020)
Thomas Hujsa, Bernard Berthomieu, Silvano Dal-Zilio, Didier Le Botlan
Checking marking reachability with the state equation in Petri net subclasses. CoRR (2020)
Bernard Berthomieu, Didier Le Botlan, Silvano Dal-Zilio
Counting Petri net markings from reduction equations. Int. J. Softw. Tools Technol. Transf. 22 (2) (2020)
Robert J. Stewart, Bernard Berthomieu, Paulo Garcia, Idris Ibrahim, Greg Michaelson, Andrew M. Wallace
Graphical program transformations for embedded systems. SAC (2019)
Elvio Gilberto Amparore, Bernard Berthomieu, Gianfranco Ciardo, Silvano Dal-Zilio, Francesco Gallà, Lom-Messan Hillah, Francis Hulin-Hubard, Peter Gjøl Jensen, Loïg 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
Presentation of the 9th Edition of the Model Checking Contest. TACAS (3) (2019)
Robert J. Stewart, Bernard Berthomieu, Paulo Garcia, Idris Ibrahim, Greg Michaelson, Andrew M. Wallace
Verifying parallel dataflow transformations with model checking and its application to FPGAs. J. Syst. Archit. 101 (2019)
Mohammed Foughali, Bernard Berthomieu, Silvano Dal-Zilio, Pierre-Emmanuel Hladik, Félix Ingrand, Anthony Mallet
Formal verification of complex robotic systems on resource-constrained platforms. FormaliSE@ICSE (2018)
Bernard Berthomieu, Didier Le Botlan, Silvano Dal-Zilio
Petri Net Reductions for Counting Markings. SPIN (2018)
Bernard Berthomieu, Didier Le Botlan, Silvano Dal-Zilio
Petri Net Reductions for Counting Markings. CoRR (2018)
Fabrice Kordon, Hubert Garavel, Lom-Messan Hillah, Emmanuel Paviot-Adet, Loïg Jezequel, Francis Hulin-Hubard, Elvio Gilberto Amparore, Marco Beccuti, Bernard Berthomieu, Hugues Evrard, Peter Gjøl Jensen, Didier Le Botlan, Torsten Liebke, Jeroen Meijer, Jirí Srba, Yann Thierry-Mieg, Jaco van de Pol, Karsten Wolf
MCC'2017 - The Seventh Model Checking Contest. Trans. Petri Nets Other Model. Concurr. 13 (2018)
Mohammed Foughali, Bernard Berthomieu, Silvano Dal-Zilio, Félix Ingrand, Anthony Mallet
Model Checking Real-Time Properties on the Functional Layer of Autonomous Robots. ICFEM (2016)
Pierre-Alain Bourdil, Bernard Berthomieu, Silvano Dal-Zilio, François Vernadat
Symmetry reduction for time Petri net state classes. Sci. Comput. Program. 132 (2016)
Silvano Dal-Zilio, Bernard Berthomieu
Automating the Verification of Realtime Observers using Probes and the Modal mu-calculus. CoRR (2015)
Silvano Dal-Zilio, Bernard Berthomieu, Didier Le Botlan
Latency Analysis of an Aerial Video Tracking System Using Fiacre and Tina. CoRR (2015)
Bernard Berthomieu, Jean-Paul Bodeveix, Silvano Dal-Zilio, Mamoun Filali, Didier Le Botlan, Guillaume Verdier, François Vernadat
Real-Time Model Checking Support for AADL. CoRR (2015)
Silvano Dal-Zilio, Bernard Berthomieu
Automating the Verification of Realtime Observers Using Probes and the Modal mu-calculus. TTCS (2015)
Pierre-Alain Bourdil, Bernard Berthomieu, Silvano Dal-Zilio, François Vernadat
Symmetry reduced state classes for time petri nets. SAC (2015)
Silvano Dal-Zilio, Lukasz Fronc, Bernard Berthomieu, François Vernadat
Time Petri Nets with Dynamic Firing Dates: Semantics and Applications. CoRR (2014)
Bernard Berthomieu, Silvano Dal-Zilio, Lukasz Fronc, François Vernadat
Time Petri Nets with Dynamic Firing Dates: Semantics and Applications. FORMATS (2014)
Pierre-Alain Bourdil, Bernard Berthomieu, Eric Jenn
Model-Checking Real-Time Properties of an Auto Flight Control System Function. ISSRE Workshops (2014)
Bernard Berthomieu, Silvano Dal-Zilio, Lukasz Fronc
Model-Checking Real-Time Properties of an Aircraft Landing Gear System Using Fiacre. ABZ (Case Study) (2014)
Rodrigo T. Saad, Silvano Dal-Zilio, Bernard Berthomieu
An Experiment on Parallel Model Checking of a CTL Fragment CoRR (2013)
Rodrigo T. Saad, Silvano Dal-Zilio, Bernard Berthomieu
An Experiment on Parallel Model Checking of a CTL Fragment. ATVA (2012)
Rodrigo T. Saad, Silvano Dal-Zilio, Bernard Berthomieu
Mixed Shared-Distributed Hash Tables Approaches for Parallel State Space Construction. ISPDC (2011)
Florent Peres, Bernard Berthomieu, François Vernadat
On the composition of time Petri nets. Discret. Event Dyn. Syst. 21 (3) (2011)
Bernard Berthomieu, Jean-Paul Bodeveix, Christelle Chaudet, Silvano Dal-Zilio, Mamoun Filali, François Vernadat
Formal Verification of AADL Specifications in the Topcased Environment. Ada-Europe (2009)
Bernard Berthomieu, Florent Peres, François Vernadat
Abstract State Spaces for Time Petri Nets Analysis. ISORC (2008)
Darlam Fabio Bender, Benoît Combemale, Xavier Crégut, Jean-Marie Farines, Bernard Berthomieu, François Vernadat
Ladder Metamodeling and PLC Program Validation through Time Petri Nets. ECMDA-FA (2008)
Bernard Berthomieu, Hubert Garavel, Frédéric Lang, François Vernadat
Verifying Dynamic Properties of Industrial Critical Systems Using TOPCASED/FIACRE. ERCIM News 2008 (75) (2008)
Bernard Berthomieu, Florent Peres, François Vernadat
Model Checking Bounded Prioritized Time Petri Nets. ATVA (2007)
Bernard Berthomieu, Didier Lime, Olivier H. Roux, François Vernadat
Reachability Problems and Abstract State Spaces for Time Petri Nets with Stopwatches. Discret. Event Dyn. Syst. 17 (2) (2007)
Bernard Berthomieu, François Vernadat
Time Petri Nets Analysis with TINA. QEST (2006)
Bernard Berthomieu, Florent Peres, François Vernadat
Bridging the Gap Between Timed Automata and Bounded Time Petri Nets. FORMATS (2006)
Bernard Berthomieu, François Vernadat
State Class Constructions for Branching Analysis of Time Petri Nets. TACAS (2003)
Bernard Berthomieu, Pierre-Olivier Ribet, François Vernadat, J. L. Bernartt, Jean-Marie Farines, Jean-Paul Bodeveix, Mamoun Filali, Gérard Padiou, Pierre Michel, Patrick Farail, Pierre Gauffilet, Pierre Dissaux, Jean-Luc Lambert
Towards the verification of real-time systems in avionics: the Cotre approach. Electron. Notes Theor. Comput. Sci. 80 (2003)
Pierre-Olivier Ribet, François Vernadat, Bernard Berthomieu
On Combining the Persistent Sets Method with the Covering Steps Graph Method. FORTE (2002)
Bernard Berthomieu
Process Calculi at Work - An Account of the LCS Project. PSLS (1995)
Thierry Le Sergent, Bernard Berthomieu
Balancing Load under Large and Fast Load Changes in Distributed Computing Systems - A Case Study. CONPAR (1994)
Bernard Berthomieu, Thierry Le Sergent
Programming with Behaviors in an ML Framework - The Syntax and Semantics of LCS. ESOP (1994)
Thierry Le Sergent, Bernard Berthomieu
Incremental Multi-threaded Garbage Collection on Virtual Shared Memory Architectures. IWMM (1992)
Bernard Berthomieu, Michel Diaz
Modeling and Verification of Time Dependent Systems Using Time Petri Nets. IEEE Trans. Software Eng. 17 (3) (1991)
Miguel Menasche, Bernard Berthomieu
Time Petri Nets for Analyzing and Verifying Time Dependent Communication Protocols. Protocol Specification, Testing, and Verification (1983)
Bernard Berthomieu, Miguel Menasche
An Enumerative Approach for Analyzing Time Petri Nets. IFIP Congress (1983)
Pierre Azéma, Bernard Berthomieu, Paul Decitre
The Design and Validation by Petri Nets of a Mechanism for the Invocation of Remote Servers. IFIP Congress (1980)
Pierre Azéma, Jean-Michel Ayache, Bernard Berthomieu
Design and Verification of Communication Procedures: A Bottom-Up Approach. ICSE (1978)