BibTeX records: Bernard Berthomieu

download as .bib file

@article{DBLP:journals/topnoc/KordonGHPJHABBEJBLMSTPW18,
  author    = {Fabrice Kordon and
               Hubert Garavel and
               Lom{-}Messan Hillah and
               Emmanuel Paviot{-}Adet and
               Lo{\"{\i}}g Jezequel and
               Francis Hulin{-}Hubard and
               Elvio Gilberto Amparore and
               Marco Beccuti and
               Bernard Berthomieu and
               Hugues Evrard and
               Peter Gj{\o}l Jensen and
               Didier Le Botlan and
               Torsten Liebke and
               Jeroen Meijer and
               Jir{\'{\i}} Srba and
               Yann Thierry{-}Mieg and
               Jaco van de Pol and
               Karsten Wolf},
  title     = {MCC'2017 - The Seventh Model Checking Contest},
  journal   = {T. Petri Nets and Other Models of Concurrency},
  volume    = {13},
  pages     = {181--209},
  year      = {2018}
}
@inproceedings{DBLP:conf/icse/FoughaliBDHIM18,
  author    = {Mohammed Foughali and
               Bernard Berthomieu and
               Silvano Dal{-}Zilio and
               Pierre{-}Emmanuel Hladik and
               F{\'{e}}lix Ingrand and
               Anthony Mallet},
  title     = {Formal verification of complex robotic systems on resource-constrained
               platforms},
  booktitle = {FormaliSE@ICSE},
  pages     = {2--9},
  publisher = {{ACM}},
  year      = {2018}
}
@inproceedings{DBLP:conf/spin/BerthomieuBD18,
  author    = {Bernard Berthomieu and
               Didier Le Botlan and
               Silvano Dal{-}Zilio},
  title     = {Petri Net Reductions for Counting Markings},
  booktitle = {{SPIN}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10869},
  pages     = {65--84},
  publisher = {Springer},
  year      = {2018}
}
@article{DBLP:journals/corr/abs-1807-02973,
  author    = {Bernard Berthomieu and
               Didier Le Botlan and
               Silvano Dal{-}Zilio},
  title     = {Petri Net Reductions for Counting Markings},
  journal   = {CoRR},
  volume    = {abs/1807.02973},
  year      = {2018}
}
@article{DBLP:journals/scp/BourdilBDV16,
  author    = {Pierre{-}Alain Bourdil and
               Bernard Berthomieu and
               Silvano Dal{-}Zilio and
               Fran{\c{c}}ois Vernadat},
  title     = {Symmetry reduction for time Petri net state classes},
  journal   = {Sci. Comput. Program.},
  volume    = {132},
  pages     = {209--225},
  year      = {2016}
}
@inproceedings{DBLP:conf/icfem/FoughaliBDIM16,
  author    = {Mohammed Foughali and
               Bernard Berthomieu and
               Silvano Dal{-}Zilio and
               F{\'{e}}lix Ingrand and
               Anthony Mallet},
  title     = {Model Checking Real-Time Properties on the Functional Layer of Autonomous
               Robots},
  booktitle = {{ICFEM}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10009},
  pages     = {383--399},
  year      = {2016}
}
@inproceedings{DBLP:conf/sac/BourdilBDV15,
  author    = {Pierre{-}Alain Bourdil and
               Bernard Berthomieu and
               Silvano Dal{-}Zilio and
               Fran{\c{c}}ois Vernadat},
  title     = {Symmetry reduced state classes for time petri nets},
  booktitle = {{SAC}},
  pages     = {1751--1758},
  publisher = {{ACM}},
  year      = {2015}
}
@inproceedings{DBLP:conf/ttcs/Dal-ZilioB15,
  author    = {Silvano Dal{-}Zilio and
               Bernard Berthomieu},
  title     = {Automating the Verification of Realtime Observers Using Probes and
               the Modal mu-calculus},
  booktitle = {{TTCS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9541},
  pages     = {90--104},
  publisher = {Springer},
  year      = {2015}
}
@article{DBLP:journals/corr/BerthomieuBDFBV15,
  author    = {Bernard Berthomieu and
               Jean{-}Paul Bodeveix and
               Silvano Dal{-}Zilio and
               Mamoun Filali and
               Didier Le Botlan and
               Guillaume Verdier and
               Fran{\c{c}}ois Vernadat},
  title     = {Real-Time Model Checking Support for {AADL}},
  journal   = {CoRR},
  volume    = {abs/1503.00493},
  year      = {2015}
}
@article{DBLP:journals/corr/Dal-ZilioBB15,
  author    = {Silvano Dal{-}Zilio and
               Bernard Berthomieu and
               Didier Le Botlan},
  title     = {Latency Analysis of an Aerial Video Tracking System Using Fiacre and
               Tina},
  journal   = {CoRR},
  volume    = {abs/1509.06506},
  year      = {2015}
}
@article{DBLP:journals/corr/Dal-ZilioB15,
  author    = {Silvano Dal{-}Zilio and
               Bernard Berthomieu},
  title     = {Automating the Verification of Realtime Observers using Probes and
               the Modal mu-calculus},
  journal   = {CoRR},
  volume    = {abs/1509.06507},
  year      = {2015}
}
@inproceedings{DBLP:conf/formats/BerthomieuDFV14,
  author    = {Bernard Berthomieu and
               Silvano Dal{-}Zilio and
               Lukasz Fronc and
               Fran{\c{c}}ois Vernadat},
  title     = {Time Petri Nets with Dynamic Firing Dates: Semantics and Applications},
  booktitle = {{FORMATS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {8711},
  pages     = {85--99},
  publisher = {Springer},
  year      = {2014}
}
@inproceedings{DBLP:conf/issre/BourdilBJ14,
  author    = {Pierre{-}Alain Bourdil and
               Bernard Berthomieu and
               Eric Jenn},
  title     = {Model-Checking Real-Time Properties of an Auto Flight Control System
               Function},
  booktitle = {{ISSRE} Workshops},
  pages     = {120--123},
  publisher = {{IEEE} Computer Society},
  year      = {2014}
}
@article{DBLP:journals/corr/Dal-ZilioFBV14,
  author    = {Silvano Dal{-}Zilio and
               Lukasz Fronc and
               Bernard Berthomieu and
               Fran{\c{c}}ois Vernadat},
  title     = {Time Petri Nets with Dynamic Firing Dates: Semantics and Applications},
  journal   = {CoRR},
  volume    = {abs/1404.7067},
  year      = {2014}
}
@article{DBLP:journals/corr/abs-1301-7533,
  author    = {Rodrigo T. Saad and
               Silvano Dal{-}Zilio and
               Bernard Berthomieu},
  title     = {An Experiment on Parallel Model Checking of a {CTL} Fragment},
  journal   = {CoRR},
  volume    = {abs/1301.7533},
  year      = {2013}
}
@inproceedings{DBLP:conf/atva/SaadDB12,
  author    = {Rodrigo T. Saad and
               Silvano Dal{-}Zilio and
               Bernard Berthomieu},
  title     = {An Experiment on Parallel Model Checking of a {CTL} Fragment},
  booktitle = {{ATVA}},
  series    = {Lecture Notes in Computer Science},
  volume    = {7561},
  pages     = {284--299},
  publisher = {Springer},
  year      = {2012}
}
@article{DBLP:journals/deds/PeresBV11,
  author    = {Florent Peres and
               Bernard Berthomieu and
               Fran{\c{c}}ois Vernadat},
  title     = {On the composition of time Petri nets},
  journal   = {Discrete Event Dynamic Systems},
  volume    = {21},
  number    = {3},
  pages     = {395--424},
  year      = {2011}
}
@inproceedings{DBLP:conf/ispdc/SaadDB11,
  author    = {Rodrigo T. Saad and
               Silvano Dal{-}Zilio and
               Bernard Berthomieu},
  title     = {Mixed Shared-Distributed Hash Tables Approaches for Parallel State
               Space Construction},
  booktitle = {{ISPDC}},
  pages     = {9--16},
  publisher = {{IEEE} Computer Society},
  year      = {2011}
}
@inproceedings{DBLP:conf/adaEurope/BerthomieuBCDFV09,
  author    = {Bernard Berthomieu and
               Jean{-}Paul Bodeveix and
               Christelle Chaudet and
               Silvano Dal{-}Zilio and
               Mamoun Filali and
               Fran{\c{c}}ois Vernadat},
  title     = {Formal Verification of {AADL} Specifications in the Topcased Environment},
  booktitle = {Ada-Europe},
  series    = {Lecture Notes in Computer Science},
  volume    = {5570},
  pages     = {207--221},
  publisher = {Springer},
  year      = {2009}
}
@inproceedings{DBLP:conf/ecmdafa/BenderCCFBV08,
  author    = {Darlam Fabio Bender and
               Beno{\^{\i}}t Combemale and
               Xavier Cr{\'{e}}gut and
               Jean{-}Marie Farines and
               Bernard Berthomieu and
               Fran{\c{c}}ois Vernadat},
  title     = {Ladder Metamodeling and {PLC} Program Validation through Time Petri
               Nets},
  booktitle = {{ECMDA-FA}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5095},
  pages     = {121--136},
  publisher = {Springer},
  year      = {2008}
}
@inproceedings{DBLP:conf/isorc/BerthomieuPV08,
  author    = {Bernard Berthomieu and
               Florent Peres and
               Fran{\c{c}}ois Vernadat},
  title     = {Abstract State Spaces for Time Petri Nets Analysis},
  booktitle = {{ISORC}},
  pages     = {298--304},
  publisher = {{IEEE} Computer Society},
  year      = {2008}
}
@article{DBLP:journals/ercim/BerthomieuGLV08,
  author    = {Bernard Berthomieu and
               Hubert Garavel and
               Fr{\'{e}}d{\'{e}}ric Lang and
               Fran{\c{c}}ois Vernadat},
  title     = {Verifying Dynamic Properties of Industrial Critical Systems Using
               {TOPCASED/FIACRE}},
  journal   = {{ERCIM} News},
  volume    = {2008},
  number    = {75},
  year      = {2008}
}
@article{DBLP:journals/deds/BerthomieuLRV07,
  author    = {Bernard Berthomieu and
               Didier Lime and
               Olivier H. Roux and
               Fran{\c{c}}ois Vernadat},
  title     = {Reachability Problems and Abstract State Spaces for Time Petri Nets
               with Stopwatches},
  journal   = {Discrete Event Dynamic Systems},
  volume    = {17},
  number    = {2},
  pages     = {133--158},
  year      = {2007}
}
@inproceedings{DBLP:conf/atva/BerthomieuPV07,
  author    = {Bernard Berthomieu and
               Florent Peres and
               Fran{\c{c}}ois Vernadat},
  title     = {Model Checking Bounded Prioritized Time Petri Nets},
  booktitle = {{ATVA}},
  series    = {Lecture Notes in Computer Science},
  volume    = {4762},
  pages     = {523--532},
  publisher = {Springer},
  year      = {2007}
}
@incollection{DBLP:reference/crc/VernadatB07,
  author    = {Fran{\c{c}}ois Vernadat and
               Bernard Berthomieu},
  title     = {State Space Abstractions for Time Petri Nets},
  booktitle = {Handbook of Real-Time and Embedded Systems},
  publisher = {Chapman and Hall/CRC},
  year      = {2007}
}
@inproceedings{DBLP:conf/formats/BerthomieuPV06,
  author    = {Bernard Berthomieu and
               Florent Peres and
               Fran{\c{c}}ois Vernadat},
  title     = {Bridging the Gap Between Timed Automata and Bounded Time Petri Nets},
  booktitle = {{FORMATS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {4202},
  pages     = {82--97},
  publisher = {Springer},
  year      = {2006}
}
@inproceedings{DBLP:conf/qest/BerthomieuV06,
  author    = {Bernard Berthomieu and
               Fran{\c{c}}ois Vernadat},
  title     = {Time Petri Nets Analysis with {TINA}},
  booktitle = {{QEST}},
  pages     = {123--124},
  publisher = {{IEEE} Computer Society},
  year      = {2006}
}
@article{DBLP:journals/entcs/BerthomieuRVBFBFPMFGDL03,
  author    = {Bernard Berthomieu and
               Pierre{-}Olivier Ribet and
               Fran{\c{c}}ois Vernadat and
               J. L. Bernartt and
               Jean{-}Marie Farines and
               Jean{-}Paul Bodeveix and
               Mamoun Filali and
               G{\'{e}}rard Padiou and
               Pierre Michel and
               Patrick Farail and
               Pierre Gauffilet and
               Pierre Dissaux and
               Jean{-}Luc Lambert},
  title     = {Towards the verification of real-time systems in avionics: the Cotre
               approach},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {80},
  pages     = {203--218},
  year      = {2003}
}
@inproceedings{DBLP:conf/tacas/BerthomieuV03,
  author    = {Bernard Berthomieu and
               Fran{\c{c}}ois Vernadat},
  title     = {State Class Constructions for Branching Analysis of Time Petri Nets},
  booktitle = {{TACAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {2619},
  pages     = {442--457},
  publisher = {Springer},
  year      = {2003}
}
@inproceedings{DBLP:conf/forte/RibetVB02,
  author    = {Pierre{-}Olivier Ribet and
               Fran{\c{c}}ois Vernadat and
               Bernard Berthomieu},
  title     = {On Combining the Persistent Sets Method with the Covering Steps Graph
               Method},
  booktitle = {{FORTE}},
  series    = {Lecture Notes in Computer Science},
  volume    = {2529},
  pages     = {344--359},
  publisher = {Springer},
  year      = {2002}
}
@inproceedings{DBLP:conf/psls/Berthomieu95,
  author    = {Bernard Berthomieu},
  title     = {Process Calculi at Work - An Account of the {LCS} Project},
  booktitle = {{PSLS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1068},
  pages     = {344--361},
  publisher = {Springer},
  year      = {1995}
}
@inproceedings{DBLP:conf/conpar/SergentB94,
  author    = {Thierry Le Sergent and
               Bernard Berthomieu},
  title     = {Balancing Load under Large and Fast Load Changes in Distributed Computing
               Systems - {A} Case Study},
  booktitle = {{CONPAR}},
  series    = {Lecture Notes in Computer Science},
  volume    = {854},
  pages     = {854--865},
  publisher = {Springer},
  year      = {1994}
}
@inproceedings{DBLP:conf/esop/BerthomieuS94,
  author    = {Bernard Berthomieu and
               Thierry Le Sergent},
  title     = {Programming with Behaviors in an {ML} Framework - The Syntax and Semantics
               of {LCS}},
  booktitle = {{ESOP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {788},
  pages     = {89--104},
  publisher = {Springer},
  year      = {1994}
}
@inproceedings{DBLP:conf/iwmm/SergentB92,
  author    = {Thierry Le Sergent and
               Bernard Berthomieu},
  title     = {Incremental Multi-threaded Garbage Collection on Virtual Shared Memory
               Architectures},
  booktitle = {{IWMM}},
  series    = {Lecture Notes in Computer Science},
  volume    = {637},
  pages     = {179--199},
  publisher = {Springer},
  year      = {1992}
}
@article{DBLP:journals/tse/BerthomieuD91,
  author    = {Bernard Berthomieu and
               Michel Diaz},
  title     = {Modeling and Verification of Time Dependent Systems Using Time Petri
               Nets},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {17},
  number    = {3},
  pages     = {259--273},
  year      = {1991}
}
@inproceedings{DBLP:conf/ifip/BerthomieuM83,
  author    = {Bernard Berthomieu and
               Miguel Menasche},
  title     = {An Enumerative Approach for Analyzing Time Petri Nets},
  booktitle = {{IFIP} Congress},
  pages     = {41--46},
  year      = {1983}
}
@inproceedings{DBLP:conf/ifip/MenascheB83,
  author    = {Miguel Menasche and
               Bernard Berthomieu},
  title     = {Time Petri Nets for Analyzing and Verifying Time Dependent Communication
               Protocols},
  booktitle = {Protocol Specification, Testing, and Verification},
  pages     = {161--172},
  year      = {1983}
}
@inproceedings{DBLP:conf/ifip/AzemaBD80,
  author    = {Pierre Az{\'{e}}ma and
               Bernard Berthomieu and
               Paul Decitre},
  title     = {The Design and Validation by Petri Nets of a Mechanism for the Invocation
               of Remote Servers},
  booktitle = {{IFIP} Congress},
  pages     = {599--604},
  year      = {1980}
}
@inproceedings{DBLP:conf/icse/AzemaAB78,
  author    = {Pierre Az{\'{e}}ma and
               Jean{-}Michel Ayache and
               Bernard Berthomieu},
  title     = {Design and Verification of Communication Procedures: {A} Bottom-Up
               Approach},
  booktitle = {{ICSE}},
  pages     = {168--174},
  publisher = {{IEEE} Computer Society},
  year      = {1978}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier