Bernard Berthomieu

According to our database1, Bernard Berthomieu authored at least 36 papers between 1978 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 





Graphical program transformations for embedded systems.
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

MCC'2017 - The Seventh Model Checking Contest.
T. Petri Nets and Other Models of Concurrency, 2018

Petri Net Reductions for Counting Markings.
Proceedings of the Model Checking Software - 25th International Symposium, 2018

Formal verification of complex robotic systems on resource-constrained platforms.
Proceedings of the 6th Conference on Formal Methods in Software Engineering, 2018

Symmetry reduction for time Petri net state classes.
Sci. Comput. Program., 2016

Model Checking Real-Time Properties on the Functional Layer of Autonomous Robots.
Proceedings of the Formal Methods and Software Engineering, 2016

Automating the Verification of Realtime Observers Using Probes and the Modal mu-calculus.
Proceedings of the Topics in Theoretical Computer Science, 2015

Symmetry reduced state classes for time petri nets.
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

Model-Checking Real-Time Properties of an Auto Flight Control System Function.
Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014

Time Petri Nets with Dynamic Firing Dates: Semantics and Applications.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2014

Model-Checking Real-Time Properties of an Aircraft Landing Gear System Using Fiacre.
Proceedings of the ABZ 2014: The Landing Gear Case Study, 2014

An Experiment on Parallel Model Checking of a CTL Fragment.
Proceedings of the Automated Technology for Verification and Analysis, 2012

On the composition of time Petri nets.
Discrete Event Dynamic Systems, 2011

Mixed Shared-Distributed Hash Tables Approaches for Parallel State Space Construction.
Proceedings of the 10th International Symposium on Parallel and Distributed Computing, 2011

Formal Verification of AADL Specifications in the Topcased Environment.
Proceedings of the Reliable Software Technologies, 2009

Verifying Dynamic Properties of Industrial Critical Systems Using TOPCASED/FIACRE.
ERCIM News, 2008

Abstract State Spaces for Time Petri Nets Analysis.
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.
Proceedings of the Model Driven Architecture, 2008

State Space Abstractions for Time Petri Nets.
Proceedings of the Handbook of Real-Time and Embedded Systems., 2007

Reachability Problems and Abstract State Spaces for Time Petri Nets with Stopwatches.
Discrete Event Dynamic Systems, 2007

Model Checking Bounded Prioritized Time Petri Nets.
Proceedings of the Automated Technology for Verification and Analysis, 2007

Time Petri Nets Analysis with TINA.
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.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2006

Towards the verification of real-time systems in avionics: the Cotre approach.
Electr. Notes Theor. Comput. Sci., 2003

State Class Constructions for Branching Analysis of Time Petri Nets.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

On Combining the Persistent Sets Method with the Covering Steps Graph Method.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2002

Process Calculi at Work - An Account of the LCS Project.
Proceedings of the Parallel Symbolic Languages and Systems, 1995

Programming with Behaviors in an ML Framework - The Syntax and Semantics of LCS.
Proceedings of the Programming Languages and Systems, 1994

Balancing Load under Large and Fast Load Changes in Distributed Computing Systems - A Case Study.
Proceedings of the Parallel Processing: CONPAR 94, 1994

Incremental Multi-threaded Garbage Collection on Virtual Shared Memory Architectures.
Proceedings of the Memory Management, 1992

Modeling and Verification of Time Dependent Systems Using Time Petri Nets.
IEEE Trans. Software Eng., 1991

Time Petri Nets for Analyzing and Verifying Time Dependent Communication Protocols.
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.
Proceedings of the Information Processing 83, 1983

The Design and Validation by Petri Nets of a Mechanism for the Invocation of Remote Servers.
Proceedings of the Information Processing, Proceedings of the 8th IFIP Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia, 1980

Design and Verification of Communication Procedures: A Bottom-Up Approach.
Proceedings of the 3rd International Conference on Software Engineering, 1978