Bernard Berthomieu

	2009
19		Bernard Berthomieu, Jean-Paul Bodeveix, Christelle Chaudet, Silvano Dal-Zilio, Mamoun Filali, François Vernadat: Formal Verification of AADL Specifications in the Topcased Environment. Ada-Europe 2009: 207-221
	2008
18		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		Bernard Berthomieu, Florent Peres, François Vernadat: Abstract State Spaces for Time Petri Nets Analysis. ISORC 2008: 298-304
	2007
16		Bernard Berthomieu, Florent Peres, François Vernadat: Model Checking Bounded Prioritized Time Petri Nets. ATVA 2007: 523-532
15		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		Bernard Berthomieu, Florent Peres, François Vernadat: Bridging the Gap Between Timed Automata and Bounded Time Petri Nets. FORMATS 2006: 82-97
13		Bernard Berthomieu, François Vernadat: Time Petri Nets Analysis with TINA. QEST 2006: 123-124
	2003
12		Bernard Berthomieu, François Vernadat: State Class Constructions for Branching Analysis of Time Petri Nets. TACAS 2003: 442-457
11		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		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		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

Coauthor Index

1	Jean-Michel Ayache	[1]
2	Pierre Azéma	[1] [2]
3	Darlam Fabio Bender	[18]
4	J. L. Bernartt	[11]
5	Jean-Paul Bodeveix	[11] [19]
6	Christelle Chaudet	[19]
7	Benoît Combemale	[18]
8	Xavier Crégut	[18]
9	Silvano Dal-Zilio	[19]
10	Paul Decitre	[2]
11	Michel Diaz	[5]
12	Pierre Dissaux	[11]
13	Patrick Farail	[11]
14	Jean-Marie Farines	[11] [18]
15	Mamoun Filali	[11] [19]
16	Pierre Gauffilet	[11]
17	Jean-Luc Lambert	[11]
18	Didier Lime	[15]
19	Miguel Menasche	[3] [4]
20	Pierre Michel	[11]
21	Gérard Padiou	[11]
22	Florent Peres	[14] [16] [17]
23	Pierre-Olivier Ribet	[10] [11]
24	Olivier H. Roux (Olivier Roux)	[15]
25	Thierry Le Sergent	[6] [7] [8]
26	François Vernadat	[10] [11] [12] [13] [14] [15] [16] [17] [18] [19]

Colors in the list of coauthors