Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Bernard Berthomieu
2010 – today
- 2013
[i1]Rodrigo T. Saad, Silvano Dal-Zilio, Bernard Berthomieu: An Experiment on Parallel Model Checking of a CTL Fragment. CoRR abs/1301.7533 (2013)- 2012
- [c18]Rodrigo T. Saad, Silvano Dal-Zilio, Bernard Berthomieu: An Experiment on Parallel Model Checking of a CTL Fragment. ATVA 2012: 284-299
- 2011
- [j5]Florent Peres, Bernard Berthomieu, François Vernadat: On the composition of time Petri nets. Discrete Event Dynamic Systems 21(3): 395-424 (2011)
- [c17]Rodrigo T. Saad, Silvano Dal-Zilio, Bernard Berthomieu: Mixed Shared-Distributed Hash Tables Approaches for Parallel State Space Construction. ISPDC 2011: 9-16
2000 – 2009
- 2009
- [c16]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
- [j4]Bernard Berthomieu, Hubert Garavel, Frédéric Lang, François Vernadat: Verifying Dynamic Properties of Industrial Critical Systems Using TOPCASED/FIACRE. ERCIM News 2008(75) (2008)
- [c15]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
- [c14]Bernard Berthomieu, Florent Peres, François Vernadat: Abstract State Spaces for Time Petri Nets Analysis. ISORC 2008: 298-304
- 2007
- [j3]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)
- [c13]Bernard Berthomieu, Florent Peres, François Vernadat: Model Checking Bounded Prioritized Time Petri Nets. ATVA 2007: 523-532
- 2006
- [c12]Bernard Berthomieu, Florent Peres, François Vernadat: Bridging the Gap Between Timed Automata and Bounded Time Petri Nets. FORMATS 2006: 82-97
- [c11]
- 2003
- [j2]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: 203-218 (2003)
- [c10]Bernard Berthomieu, François Vernadat: State Class Constructions for Branching Analysis of Time Petri Nets. TACAS 2003: 442-457
- 2002
- [c9]Pierre-Olivier Ribet, François Vernadat, Bernard Berthomieu: On Combining the Persistent Sets Method with the Covering Steps Graph Method. FORTE 2002: 344-359
1990 – 1999
- 1995
- [c8]
- 1994
- [c7]Thierry Le Sergent, Bernard Berthomieu: Balancing Load under Large and Fast Load Changes in Distributed Computing Systems - A Case Study. CONPAR 1994: 854-865
- [c6]Bernard Berthomieu, Thierry Le Sergent: Programming with Behaviors in an ML Framework - The Syntax and Semantics of LCS. ESOP 1994: 89-104
- 1992
- [c5]Thierry Le Sergent, Bernard Berthomieu: Incremental Multi-threaded Garbage Collection on Virtual Shared Memory Architectures. IWMM 1992: 179-199
- 1991
- [j1]Bernard Berthomieu, Michel Diaz: Modeling and Verification of Time Dependent Systems Using Time Petri Nets. IEEE Trans. Software Eng. 17(3): 259-273 (1991)
1980 – 1989
- 1983
- [c4]Bernard Berthomieu, Miguel Menasche: An Enumerative Approach for Analyzing Time Petri Nets. IFIP Congress 1983: 41-46
- [c3]Miguel Menasche, Bernard Berthomieu: Time Petri Nets for Analyzing and Verifying Time Dependent Communication Protocols. Protocol Specification, Testing, and Verification 1983: 161-172
- 1980
- [c2]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
1970 – 1979
- 1978
- [c1]Pierre Azéma, Jean-Michel Ayache, Bernard Berthomieu: Design and Verification of Communication Procedures: A Bottom-Up Approach. ICSE 1978: 168-174
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-02-02 19:55 CET by the dblp team