Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

BibTeX records: Bernard Berthomieu

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Persons > Bernard Berthomieu

download as .bib file

@article{DBLP:journals/tcs/BerthomieuZ24,
  author       = {Bernard Berthomieu and
                  Dmitry A. Zaitsev},
  title        = {Sleptsov nets are Turing-complete},
  journal      = {Theor. Comput. Sci.},
  volume       = {986},
  pages        = {114346},
  year         = {2024}
}

@article{DBLP:journals/corr/abs-2306-12440,
  author       = {Bernard Berthomieu and
                  Dmitry A. Zaitsev},
  title        = {Sleptsov Nets are Turing-complete},
  journal      = {CoRR},
  volume       = {abs/2306.12440},
  year         = {2023}
}

@article{DBLP:journals/fuin/AmatBD22,
  author       = {Nicolas Amat and
                  Bernard Berthomieu and
                  Silvano Dal{-}Zilio},
  title        = {A Polyhedral Abstraction for Petri Nets and its Application to SMT-Based
                  Model Checking},
  journal      = {Fundam. Informaticae},
  volume       = {187},
  number       = {2-4},
  pages        = {103--138},
  year         = {2022}
}

@inproceedings{DBLP:conf/apn/AmatBD21,
  author       = {Nicolas Amat and
                  Bernard Berthomieu and
                  Silvano Dal{-}Zilio},
  title        = {On the Combination of Polyhedral Abstraction and SMT-Based Model Checking
                  for Petri Nets},
  booktitle    = {Petri Nets},
  series       = {Lecture Notes in Computer Science},
  volume       = {12734},
  pages        = {164--185},
  publisher    = {Springer},
  year         = {2021}
}

@article{DBLP:journals/corr/abs-2104-09850,
  author       = {Nicolas Amat and
                  Bernard Berthomieu and
                  Silvano Dal{-}Zilio},
  title        = {On the Combination of Polyhedral Abstraction and SMT-based Model Checking
                  for Petri nets},
  journal      = {CoRR},
  volume       = {abs/2104.09850},
  year         = {2021}
}

@article{DBLP:journals/sttt/BerthomieuBD20,
  author       = {Bernard Berthomieu and
                  Didier Le Botlan and
                  Silvano Dal{-}Zilio},
  title        = {Counting Petri net markings from reduction equations},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {22},
  number       = {2},
  pages        = {163--181},
  year         = {2020}
}

@article{DBLP:journals/corr/abs-2005-04818,
  author       = {Thomas Hujsa and
                  Bernard Berthomieu and
                  Silvano Dal{-}Zilio and
                  Didier Le Botlan},
  title        = {On the Petri Nets with a Single Shared Place and Beyond},
  journal      = {CoRR},
  volume       = {abs/2005.04818},
  year         = {2020}
}

@article{DBLP:journals/corr/abs-2006-05600,
  author       = {Thomas Hujsa and
                  Bernard Berthomieu and
                  Silvano Dal{-}Zilio and
                  Didier Le Botlan},
  title        = {Checking marking reachability with the state equation in Petri net
                  subclasses},
  journal      = {CoRR},
  volume       = {abs/2006.05600},
  year         = {2020}
}

@article{DBLP:journals/jsa/StewartBGIMW19,
  author       = {Robert J. Stewart and
                  Bernard Berthomieu and
                  Paulo Garcia and
                  Idris Ibrahim and
                  Greg Michaelson and
                  Andrew M. Wallace},
  title        = {Verifying parallel dataflow transformations with model checking and
                  its application to FPGAs},
  journal      = {J. Syst. Archit.},
  volume       = {101},
  year         = {2019}
}

@inproceedings{DBLP:conf/sac/StewartBGIMW19,
  author       = {Robert J. Stewart and
                  Bernard Berthomieu and
                  Paulo Garcia and
                  Idris Ibrahim and
                  Greg Michaelson and
                  Andrew M. Wallace},
  title        = {Graphical program transformations for embedded systems},
  booktitle    = {{SAC}},
  pages        = {647--649},
  publisher    = {{ACM}},
  year         = {2019}
}

@inproceedings{DBLP:conf/tacas/AmparoreBCDGHHJ19,
  author       = {Elvio Gilberto Amparore and
                  Bernard Berthomieu and
                  Gianfranco Ciardo and
                  Silvano Dal{-}Zilio and
                  Francesco Gall{\`{a}} and
                  Lom{-}Messan Hillah and
                  Francis Hulin{-}Hubard and
                  Peter Gj{\o}l Jensen and
                  Lo{\"{\i}}g Jezequel and
                  Fabrice Kordon and
                  Didier Le Botlan and
                  Torsten Liebke and
                  Jeroen Meijer and
                  Andrew S. Miner and
                  Emmanuel Paviot{-}Adet and
                  Jir{\'{\i}} Srba and
                  Yann Thierry{-}Mieg and
                  Tom van Dijk and
                  Karsten Wolf},
  title        = {Presentation of the 9th Edition of the Model Checking Contest},
  booktitle    = {{TACAS} {(3)}},
  series       = {Lecture Notes in Computer Science},
  volume       = {11429},
  pages        = {50--68},
  publisher    = {Springer},
  year         = {2019}
}

@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      = {Trans. Petri Nets Other Model. Concurr.},
  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/asm/BerthomieuDF14,
  author       = {Bernard Berthomieu and
                  Silvano Dal{-}Zilio and
                  Lukasz Fronc},
  title        = {Model-Checking Real-Time Properties of an Aircraft Landing Gear System
                  Using Fiacre},
  booktitle    = {{ABZ} (Case Study)},
  series       = {Communications in Computer and Information Science},
  volume       = {433},
  pages        = {110--125},
  publisher    = {Springer},
  year         = {2014}
}

@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      = {Discret. Event Dyn. Syst.},
  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      = {Discret. Event Dyn. Syst.},
  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}
}

@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: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},
  booktitle    = {{FMICS}},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {80},
  pages        = {203--218},
  publisher    = {Elsevier},
  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},
  publisher    = {North-Holland/IFIP},
  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},
  publisher    = {North-Holland},
  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},
  publisher    = {North-Holland/IFIP},
  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}
}

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.