Travelled to:1 × Germany
1 × Poland
1 × Spain
1 × USA
1 × United Kingdom
2 × France
Collaborated with:F.Vernadat T.L.Sergent S.Dal-Zilio P.Azéma J.Ayache P.Bourdil J.Bodeveix C.Chaudet M.Filali D.F.Bender B.Combemale X.Crégut J.Farines
Talks about:petri (3) time (3) net (3) program (2) verif (2) state (2) class (2) architectur (1) metamodel (1) increment (1)
Person: Bernard Berthomieu
DBLP: Berthomieu:Bernard
Contributed to:
2015
2009
2008
2003
1994
1992
1978Wrote 7 papers:
- SAC-2015-BourdilBDV #petri net #symmetry
- Symmetry reduced state classes for time petri nets (PAB, BB, SDZ, FV), pp. 1751–1758.
- AdaEurope-2009-BerthomieuBCDFV #specification #verification
- Formal Verification of AADL Specifications in the Topcased Environment (BB, JPB, CC, SDZ, MF, FV), pp. 207–221.
- ECMDA-FA-2008-BenderCCFBV #metamodelling #petri net #validation
- Ladder Metamodeling and PLC Program Validation through Time Petri Nets (DFB, BC, XC, JMF, BB, FV), pp. 121–136.
- TACAS-2003-BerthomieuV #analysis #branch #petri net
- State Class Constructions for Branching Analysis of Time Petri Nets (BB, FV), pp. 442–457.
- ESOP-1994-BerthomieuS #behaviour #framework #ml #programming #semantics #syntax
- Programming with Behaviors in an ML Framework — The Syntax and Semantics of LCS (BB, TLS), pp. 89–104.
- IWMM-1992-SergentB #architecture #concurrent #garbage collection #incremental #memory management #multi #thread
- Incremental Multi-threaded Garbage Collection on Virtual Shared Memory Architectures (TLS, BB), pp. 179–199.
- ICSE-1978-AzemaAB #approach #bottom-up #communication #design #verification
- Design and Verification of Communication Procedures: A Bottom-Up Approach (PA, JMA, BB), pp. 168–174.