Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Bernard Berthomieu
@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} }
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.