Bernard Berthomieu

According to our database1, Bernard Berthomieu
  • authored at least 35 papers between 1978 and 2016.
  • has a "Dijkstra number"2 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2016
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

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

Automating the Verification of Realtime Observers using Probes and the Modal mu-calculus.
CoRR, 2015

Real-Time Model Checking Support for AADL.
CoRR, 2015

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

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

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

2013
An Experiment on Parallel Model Checking of a CTL Fragment
CoRR, 2013

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

2011
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

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

2008
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

2007
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

2006
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

2003
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

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

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

1994
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

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

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

1983
Time Petri Nets for Analyzing and Verifying Time Dependent Communication Protocols.
Protocol Specification, Testing, and Verification, 1983

An Enumerative Approach for Analyzing Time Petri Nets.
IFIP Congress, 1983

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

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


  Loading...