Design and Verification of Communication Procedures: A Bottom-Up Approach. - Pierre Azéma; Jean-Michel Ayache; Bernard Berthomieu (ICSE, 1978)

The Design and Validation by Petri Nets of a Mechanism for the Invocation of Remote Servers. - Pierre Azéma; Bernard Berthomieu; Paul Decitre (IFIP Congress, 1980)

An Enumerative Approach for Analyzing Time Petri Nets. - Bernard Berthomieu; Miguel Menasche (IFIP Congress, 1983)

Time Petri Nets for Analyzing and Verifying Time Dependent Communication Protocols. - Miguel Menasche; Bernard Berthomieu (Protocol Specification, Testing, and Verification, 1983)

Modeling and Verification of Time Dependent Systems Using Time Petri Nets. - Bernard Berthomieu; Michel Diaz (IEEE Trans. Software Eng., 1991)

Incremental Multi-threaded Garbage Collection on Virtual Shared Memory Architectures. - Thierry Le Sergent; Bernard Berthomieu (IWMM, 1992)

Balancing Load under Large and Fast Load Changes in Distributed Computing Systems - A Case Study. - Thierry Le Sergent; Bernard Berthomieu (CONPAR, 1994)

Programming with Behaviors in an ML Framework - The Syntax and Semantics of LCS. - Bernard Berthomieu; Thierry Le Sergent (ESOP, 1994)

Process Calculi at Work - An Account of the LCS Project. - Bernard Berthomieu (PSLS, 1995)

On Combining the Persistent Sets Method with the Covering Steps Graph Method. - Pierre-Olivier Ribet; François Vernadat 001; Bernard Berthomieu (FORTE, 2002)

State Class Constructions for Branching Analysis of Time Petri Nets. - Bernard Berthomieu; François Vernadat 001 (TACAS, 2003)

Towards the verification of real-time systems in avionics: the Cotre approach. - Bernard Berthomieu; Pierre-Olivier Ribet; François Vernadat 001; J. L. Bernartt; Jean-Marie Farines; Jean-Paul Bodeveix; Mamoun Filali; Gérard Padiou; Pierre Michel; Patrick Farail; Pierre Gauffilet; Pierre Dissaux; et al. (FMICS, 2003)

Bridging the Gap Between Timed Automata and Bounded Time Petri Nets. - Bernard Berthomieu; Florent Peres; François Vernadat 001 (FORMATS, 2006)

Time Petri Nets Analysis with TINA. - Bernard Berthomieu; François Vernadat 001 (QEST, 2006)

Model Checking Bounded Prioritized Time Petri Nets. - Bernard Berthomieu; Florent Peres; François Vernadat 001 (ATVA, 2007)

Reachability Problems and Abstract State Spaces for Time Petri Nets with Stopwatches. - Bernard Berthomieu; Didier Lime; Olivier H. Roux; François Vernadat 001 (Discret. Event Dyn. Syst., 2007)

State Space Abstractions for Time Petri Nets. - François Vernadat 001; Bernard Berthomieu (Handbook of Real-Time and Embedded Systems, 2007)

Ladder Metamodeling and PLC Program Validation through Time Petri Nets. - Darlam Fabio Bender; Benoît Combemale; Xavier Crégut; Jean-Marie Farines; Bernard Berthomieu; François Vernadat 001 (ECMDA-FA, 2008)

Abstract State Spaces for Time Petri Nets Analysis. - Bernard Berthomieu; Florent Peres; François Vernadat 001 (ISORC, 2008)

Verifying Dynamic Properties of Industrial Critical Systems Using TOPCASED/FIACRE. - Bernard Berthomieu; Hubert Garavel; Frédéric Lang; François Vernadat 001 (ERCIM News, 2008)

Formal Verification of AADL Specifications in the Topcased Environment. - Bernard Berthomieu; Jean-Paul Bodeveix; Christelle Chaudet; Silvano Dal-Zilio; Mamoun Filali; François Vernadat 001 (Ada-Europe, 2009)

Mixed Shared-Distributed Hash Tables Approaches for Parallel State Space Construction. - Rodrigo T. Saad; Silvano Dal-Zilio; Bernard Berthomieu (ISPDC, 2011)

On the composition of time Petri nets. - Florent Peres; Bernard Berthomieu; François Vernadat 001 (Discret. Event Dyn. Syst., 2011)

An Experiment on Parallel Model Checking of a CTL Fragment. - Rodrigo T. Saad; Silvano Dal-Zilio; Bernard Berthomieu (ATVA, 2012)

Model-Checking Real-Time Properties of an Aircraft Landing Gear System Using Fiacre. - Bernard Berthomieu; Silvano Dal-Zilio; Lukasz Fronc (ABZ (Case Study), 2014)

Time Petri Nets with Dynamic Firing Dates: Semantics and Applications. - Bernard Berthomieu; Silvano Dal-Zilio; Lukasz Fronc; François Vernadat 001 (FORMATS, 2014)

Model-Checking Real-Time Properties of an Auto Flight Control System Function. - Pierre-Alain Bourdil; Bernard Berthomieu; Eric Jenn (ISSRE Workshops, 2014)

Symmetry reduced state classes for time petri nets. - Pierre-Alain Bourdil; Bernard Berthomieu; Silvano Dal-Zilio; François Vernadat 001 (SAC, 2015)

Automating the Verification of Realtime Observers Using Probes and the Modal mu-calculus. - Silvano Dal-Zilio; Bernard Berthomieu (TTCS, 2015)

Real-Time Model Checking Support for AADL. - Bernard Berthomieu; Jean-Paul Bodeveix; Silvano Dal-Zilio; Mamoun Filali; Didier Le Botlan; Guillaume Verdier; François Vernadat 001 (CoRR, 2015)

Latency Analysis of an Aerial Video Tracking System Using Fiacre and Tina. - Silvano Dal-Zilio; Bernard Berthomieu; Didier Le Botlan (CoRR, 2015)

Model Checking Real-Time Properties on the Functional Layer of Autonomous Robots. - Mohammed Foughali; Bernard Berthomieu; Silvano Dal-Zilio; Félix Ingrand; Anthony Mallet (ICFEM, 2016)

Symmetry reduction for time Petri net state classes. - Pierre-Alain Bourdil; Bernard Berthomieu; Silvano Dal-Zilio; François Vernadat 001 (Sci. Comput. Program., 2016)

Formal verification of complex robotic systems on resource-constrained platforms. - Mohammed Foughali; Bernard Berthomieu; Silvano Dal-Zilio; Pierre-Emmanuel Hladik; Félix Ingrand; Anthony Mallet (FormaliSE@ICSE, 2018)

Petri Net Reductions for Counting Markings. - Bernard Berthomieu; Didier Le Botlan; Silvano Dal-Zilio (SPIN, 2018)

MCC'2017 - The Seventh Model Checking Contest. - 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; et al. (Trans. Petri Nets Other Model. Concurr., 2018)

Graphical program transformations for embedded systems. - Robert J. Stewart 001; Bernard Berthomieu; Paulo Garcia; Idris Ibrahim; Greg Michaelson; Andrew M. Wallace (SAC, 2019)

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 Gjøl Jensen; Loïg Jezequel; Fabrice Kordon; Didier Le Botlan; Torsten Liebke; et al. (TACAS (3), 2019)

Verifying parallel dataflow transformations with model checking and its application to FPGAs. - Robert J. Stewart 001; Bernard Berthomieu; Paulo Garcia; Idris Ibrahim; Greg Michaelson; Andrew M. Wallace (J. Syst. Archit., 2019)

On the Petri Nets with a Single Shared Place and Beyond. - Thomas Hujsa; Bernard Berthomieu; Silvano Dal-Zilio; Didier Le Botlan (CoRR, 2020)

Checking marking reachability with the state equation in Petri net subclasses. - Thomas Hujsa; Bernard Berthomieu; Silvano Dal-Zilio; Didier Le Botlan (CoRR, 2020)

Counting Petri net markings from reduction equations. - Bernard Berthomieu; Didier Le Botlan; Silvano Dal-Zilio (Int. J. Softw. Tools Technol. Transf., 2020)

On the Combination of Polyhedral Abstraction and SMT-Based Model Checking for Petri Nets. - Nicolas Amat; Bernard Berthomieu; Silvano Dal-Zilio (Petri Nets, 2021)

A Polyhedral Abstraction for Petri Nets and its Application to SMT-Based Model Checking. - Nicolas Amat; Bernard Berthomieu; Silvano Dal-Zilio (Fundam. Informaticae, 2022)

Behind the Scene of the Model Checking Contest, Analysis of Results from 2018 to 2023. - Nicolas Amat; Elvio G. Amparore; Bernard Berthomieu; Pierre Bouvier; Silvano Dal-Zilio; Francis Hulin-Hubard; Peter Gjøl Jensen; Loïg Jezequel; Fabrice Kordon; Shuo Li; Emmanuel Paviot-Adet; Laure Petrucci; et al. (TOOLympics@ETAPS, 2023)

On Deadlock/Livelock Studies Based on Reachability Graph of Petri Nets by Using TINA. - Murat Uzam; Ding Liu; Bernard Berthomieu; Gökhan Gelen; Zhaolong Zhang; Almetwally M. Mostafa; Zhiwu Li 001 (IEEE Access, 2024)

Sleptsov nets are Turing-complete. - Bernard Berthomieu; Dmitry A. Zaitsev (Theor. Comput. Sci., 2024)