Bernard Berthomieu

According to our database, Bernard Berthomieu authored at least 46 papers between 1978 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Sleptsov nets are Turing-complete.

Bernard Berthomieu, Dmitry A. Zaitsev

Theor. Comput. Sci., February, 2024

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

IEEE Access, 2024

2022

A Polyhedral Abstraction for Petri Nets and its Application to SMT-Based Model Checking.

Nicolas Amat, Bernard Berthomieu, Silvano Dal-Zilio

Fundam. Informaticae, 2022

2021

On the Combination of Polyhedral Abstraction and SMT-Based Model Checking for Petri Nets.

Nicolas Amat, Bernard Berthomieu, Silvano Dal-Zilio

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2021

2020

Counting Petri net markings from reduction equations.

Bernard Berthomieu, Didier Le Botlan, Silvano Dal-Zilio

Int. J. Softw. Tools Technol. Transf., 2020

Checking marking reachability with the state equation in Petri net subclasses.

Thomas Hujsa, Bernard Berthomieu, Silvano Dal-Zilio, Didier Le Botlan

CoRR, 2020

On the Petri Nets with a Single Shared Place and Beyond.

Thomas Hujsa, Bernard Berthomieu, Silvano Dal-Zilio, Didier Le Botlan

CoRR, 2020

2019

Verifying parallel dataflow transformations with model checking and its application to FPGAs.

Robert J. Stewart, Bernard Berthomieu, Paulo Garcia, Idris Ibrahim, Greg Michaelson, Andrew M. Wallace

J. Syst. Archit., 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, Jeroen Meijer, Andrew S. Miner, Emmanuel Paviot-Adet, Jirí Srba, Yann Thierry-Mieg, Tom van Dijk, Karsten Wolf

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Graphical program transformations for embedded systems.

Robert J. Stewart, Bernard Berthomieu, Paulo Garcia, Idris Ibrahim, Greg Michaelson, Andrew M. Wallace

Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

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, Torsten Liebke, Jeroen Meijer, Jirí Srba, Yann Thierry-Mieg, Jaco van de Pol, Karsten Wolf

Trans. Petri Nets Other Model. Concurr., 2018

Petri Net Reductions for Counting Markings.

Bernard Berthomieu, Didier Le Botlan, Silvano Dal-Zilio

Proceedings of the Model Checking Software - 25th International Symposium, 2018

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

Proceedings of the 6th Conference on Formal Methods in Software Engineering, 2018

2016

Symmetry reduction for time Petri net state classes.

Pierre-Alain Bourdil, Bernard Berthomieu, Silvano Dal-Zilio, François Vernadat

Sci. Comput. Program., 2016

Model Checking Real-Time Properties on the Functional Layer of Autonomous Robots.

Mohammed Foughali, Bernard Berthomieu, Silvano Dal-Zilio, Félix Ingrand, Anthony Mallet

Proceedings of the Formal Methods and Software Engineering, 2016

2015

Latency Analysis of an Aerial Video Tracking System Using Fiacre and Tina.

Silvano Dal-Zilio, Bernard Berthomieu, Didier Le Botlan

CoRR, 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

CoRR, 2015

Automating the Verification of Realtime Observers Using Probes and the Modal mu-calculus.

Silvano Dal-Zilio, Bernard Berthomieu

Proceedings of the Topics in Theoretical Computer Science, 2015

Symmetry reduced state classes for time petri nets.

Pierre-Alain Bourdil, Bernard Berthomieu, Silvano Dal-Zilio, François Vernadat

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

2014

Model-Checking Real-Time Properties of an Auto Flight Control System Function.

Pierre-Alain Bourdil, Bernard Berthomieu, Eric Jenn

Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014

Time Petri Nets with Dynamic Firing Dates: Semantics and Applications.

Bernard Berthomieu, Silvano Dal-Zilio, Lukasz Fronc, François Vernadat

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2014

Model-Checking Real-Time Properties of an Aircraft Landing Gear System Using Fiacre.

Bernard Berthomieu, Silvano Dal-Zilio, Lukasz Fronc

Proceedings of the ABZ 2014: The Landing Gear Case Study, 2014

2012

An Experiment on Parallel Model Checking of a CTL Fragment.

Rodrigo T. Saad, Silvano Dal-Zilio, Bernard Berthomieu

Proceedings of the Automated Technology for Verification and Analysis, 2012

2011

On the composition of time Petri nets.

Florent Peres, Bernard Berthomieu, François Vernadat

Discret. Event Dyn. Syst., 2011

Mixed Shared-Distributed Hash Tables Approaches for Parallel State Space Construction.

Rodrigo T. Saad, Silvano Dal-Zilio, Bernard Berthomieu

Proceedings of the 10th International Symposium on Parallel and Distributed Computing, 2011

2009

Formal Verification of AADL Specifications in the Topcased Environment.

Bernard Berthomieu, Jean-Paul Bodeveix, Christelle Chaudet, Silvano Dal-Zilio, Mamoun Filali, François Vernadat

Proceedings of the Reliable Software Technologies, 2009

2008

Verifying Dynamic Properties of Industrial Critical Systems Using TOPCASED/FIACRE.

Bernard Berthomieu, Hubert Garavel, Frédéric Lang, François Vernadat

ERCIM News, 2008

Abstract State Spaces for Time Petri Nets Analysis.

Bernard Berthomieu, Florent Peres, François Vernadat

Proceedings of the 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 2008

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

Proceedings of the Model Driven Architecture, 2008

2007

State Space Abstractions for Time Petri Nets.

François Vernadat, Bernard Berthomieu

Proceedings of the Handbook of Real-Time and Embedded Systems., 2007

Reachability Problems and Abstract State Spaces for Time Petri Nets with Stopwatches.

Bernard Berthomieu, Didier Lime, Olivier H. Roux, François Vernadat

Discret. Event Dyn. Syst., 2007

Model Checking Bounded Prioritized Time Petri Nets.

Bernard Berthomieu, Florent Peres, François Vernadat

Proceedings of the Automated Technology for Verification and Analysis, 2007

2006

Time Petri Nets Analysis with TINA.

Bernard Berthomieu, François Vernadat

Proceedings of the Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 2006

Bridging the Gap Between Timed Automata and Bounded Time Petri Nets.

Bernard Berthomieu, Florent Peres, François Vernadat

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2006

2003

Towards the verification of real-time systems in avionics: the Cotre approach.

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

Proceedings of the Eighth International Workshop on Formal Methods for Industrial Critical Systems, 2003

State Class Constructions for Branching Analysis of Time Petri Nets.

Bernard Berthomieu, François Vernadat

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

2002

On Combining the Persistent Sets Method with the Covering Steps Graph Method.

Pierre-Olivier Ribet, François Vernadat, Bernard Berthomieu

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2002

1995

Process Calculi at Work - An Account of the LCS Project.

Bernard Berthomieu

Proceedings of the Parallel Symbolic Languages and Systems, 1995

1994

Programming with Behaviors in an ML Framework - The Syntax and Semantics of LCS.

Bernard Berthomieu, Thierry Le Sergent

Proceedings of the Programming Languages and Systems, 1994

Balancing Load under Large and Fast Load Changes in Distributed Computing Systems - A Case Study.

Thierry Le Sergent, Bernard Berthomieu

Proceedings of the Parallel Processing: CONPAR 94, 1994

1992

Incremental Multi-threaded Garbage Collection on Virtual Shared Memory Architectures.

Thierry Le Sergent, Bernard Berthomieu

Proceedings of the Memory Management, 1992

1991

Modeling and Verification of Time Dependent Systems Using Time Petri Nets.

Bernard Berthomieu, Michel Diaz

IEEE Trans. Software Eng., 1991

1983

Time Petri Nets for Analyzing and Verifying Time Dependent Communication Protocols.

Miguel Menasche, Bernard Berthomieu

Proceedings of the Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May, 1983

An Enumerative Approach for Analyzing Time Petri Nets.

Bernard Berthomieu, Miguel Menasche

Proceedings of the Information Processing 83, 1983

1980

The Design and Validation by Petri Nets of a Mechanism for the Invocation of Remote Servers.

Pierre Azéma, Bernard Berthomieu, Paul Decitre

Proceedings of the Information Processing, Proceedings of the 8th IFIP Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia, 1980

1978

Design and Verification of Communication Procedures: A Bottom-Up Approach.

Pierre Azéma, Jean-Michel Ayache, Bernard Berthomieu

Proceedings of the 3rd International Conference on Software Engineering, 1978