2008 |
18 | EE | Darlam Fabio Bender,
Benoît Combemale,
Xavier Crégut,
Jean-Marie Farines,
Bernard Berthomieu,
François Vernadat:
Ladder Metamodeling and PLC Program Validation through Time Petri Nets.
ECMDA-FA 2008: 121-136 |
17 | EE | Bernard Berthomieu,
Florent Peres,
François Vernadat:
Abstract State Spaces for Time Petri Nets Analysis.
ISORC 2008: 298-304 |
2007 |
16 | EE | Bernard Berthomieu,
Florent Peres,
François Vernadat:
Model Checking Bounded Prioritized Time Petri Nets.
ATVA 2007: 523-532 |
15 | EE | Bernard Berthomieu,
Didier Lime,
Olivier H. Roux,
François Vernadat:
Reachability Problems and Abstract State Spaces for Time Petri Nets with Stopwatches.
Discrete Event Dynamic Systems 17(2): 133-158 (2007) |
2006 |
14 | EE | Bernard Berthomieu,
Florent Peres,
François Vernadat:
Bridging the Gap Between Timed Automata and Bounded Time Petri Nets.
FORMATS 2006: 82-97 |
13 | EE | Bernard Berthomieu,
François Vernadat:
Time Petri Nets Analysis with TINA.
QEST 2006: 123-124 |
2003 |
12 | EE | Bernard Berthomieu,
François Vernadat:
State Class Constructions for Branching Analysis of Time Petri Nets.
TACAS 2003: 442-457 |
11 | EE | 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:
Towards the verification of real-time systems in avionics: the Cotre approach.
Electr. Notes Theor. Comput. Sci. 80: (2003) |
2002 |
10 | EE | Pierre-Olivier Ribet,
François Vernadat,
Bernard Berthomieu:
On Combining the Persistent Sets Method with the Covering Steps Graph Method.
FORTE 2002: 344-359 |
1995 |
9 | | Bernard Berthomieu:
Process Calculi at Work - An Account of the LCS Project.
PSLS 1995: 344-361 |
1994 |
8 | | Thierry Le Sergent,
Bernard Berthomieu:
Balancing Load under Large and Fast Load Changes in Distributed Computing Systems - A Case Study.
CONPAR 1994: 854-865 |
7 | | Bernard Berthomieu,
Thierry Le Sergent:
Programming with Behaviors in an ML Framework - The Syntax and Semantics of LCS.
ESOP 1994: 89-104 |
1992 |
6 | | Thierry Le Sergent,
Bernard Berthomieu:
Incremental Multi-threaded Garbage Collection on Virtual Shared Memory Architectures.
IWMM 1992: 179-199 |
1991 |
5 | EE | Bernard Berthomieu,
Michel Diaz:
Modeling and Verification of Time Dependent Systems Using Time Petri Nets.
IEEE Trans. Software Eng. 17(3): 259-273 (1991) |
1983 |
4 | | Bernard Berthomieu,
Miguel Menasche:
An Enumerative Approach for Analyzing Time Petri Nets.
IFIP Congress 1983: 41-46 |
3 | | Miguel Menasche,
Bernard Berthomieu:
Time Petri Nets for Analyzing and Verifying Time Dependent Communication Protocols.
Protocol Specification, Testing, and Verification 1983: 161-172 |
1980 |
2 | | Pierre Azéma,
Bernard Berthomieu,
Paul Decitre:
The Design and Validation by Petri Nets of a Mechanism for the Invocation of Remote Servers.
IFIP Congress 1980: 599-604 |
1978 |
1 | | Pierre Azéma,
Jean-Michel Ayache,
Bernard Berthomieu:
Design and Verification of Communication Procedures: A Bottom-Up Approach.
ICSE 1978: 168-174 |