According to our database1, Bernard Berthomieu authored at least 36 papers between 1978 and 2019.
Legend:Book In proceedings Article PhD thesis Other
Presentation of the 9th Edition of the Model Checking Contest.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019
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