Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX 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},
url = {https://doi.org/10.1016/j.tcs.2023.114346},
doi = {10.1016/J.TCS.2023.114346},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BerthomieuZ24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://doi.org/10.48550/arXiv.2306.12440},
doi = {10.48550/ARXIV.2306.12440},
eprinttype = {arXiv},
eprint = {2306.12440},
timestamp = {Tue, 27 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-12440.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://doi.org/10.3233/FI-222134},
doi = {10.3233/FI-222134},
timestamp = {Thu, 24 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fuin/AmatBD22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/AmatBD21,
author = {Nicolas Amat and
Bernard Berthomieu and
Silvano Dal{-}Zilio},
editor = {Didier Buchs and
Josep Carmona},
title = {On the Combination of Polyhedral Abstraction and SMT-Based Model Checking
for Petri Nets},
booktitle = {Application and Theory of Petri Nets and Concurrency - 42nd International
Conference, {PETRI} {NETS} 2021, Virtual Event, June 23-25, 2021,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12734},
pages = {164--185},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-76983-3\_9},
doi = {10.1007/978-3-030-76983-3\_9},
timestamp = {Thu, 09 Dec 2021 09:24:11 +0100},
biburl = {https://dblp.org/rec/conf/apn/AmatBD21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://arxiv.org/abs/2104.09850},
eprinttype = {arXiv},
eprint = {2104.09850},
timestamp = {Mon, 26 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-09850.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://doi.org/10.1007/s10009-019-00519-1},
doi = {10.1007/S10009-019-00519-1},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/BerthomieuBD20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://arxiv.org/abs/2005.04818},
eprinttype = {arXiv},
eprint = {2005.04818},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-04818.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://arxiv.org/abs/2006.05600},
eprinttype = {arXiv},
eprint = {2006.05600},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2006-05600.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://doi.org/10.1016/j.sysarc.2019.101657},
doi = {10.1016/J.SYSARC.2019.101657},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsa/StewartBGIMW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
editor = {Chih{-}Cheng Hung and
George A. Papadopoulos},
title = {Graphical program transformations for embedded systems},
booktitle = {Proceedings of the 34th {ACM/SIGAPP} Symposium on Applied Computing,
{SAC} 2019, Limassol, Cyprus, April 8-12, 2019},
pages = {647--649},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3297280.3297555},
doi = {10.1145/3297280.3297555},
timestamp = {Mon, 01 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/StewartBGIMW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
editor = {Dirk Beyer and
Marieke Huisman and
Fabrice Kordon and
Bernhard Steffen},
title = {Presentation of the 9th Edition of the Model Checking Contest},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 25 Years of {TACAS:} TOOLympics, Held as Part of {ETAPS} 2019, Prague,
Czech Republic, April 6-11, 2019, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {11429},
pages = {50--68},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17502-3\_4},
doi = {10.1007/978-3-030-17502-3\_4},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/AmparoreBCDGHHJ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://doi.org/10.1007/978-3-662-58381-4\_9},
doi = {10.1007/978-3-662-58381-4\_9},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/topnoc/KordonGHPJHABBEJBLMSTPW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
editor = {Stefania Gnesi and
Nico Plat and
Paola Spoletini and
Patrizio Pelliccione},
title = {Formal verification of complex robotic systems on resource-constrained
platforms},
booktitle = {Proceedings of the 6th Conference on Formal Methods in Software Engineering,
FormaliSE 2018, collocated with {ICSE} 2018, Gothenburg, Sweden, June
2, 2018},
pages = {2--9},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3193992.3193996},
doi = {10.1145/3193992.3193996},
timestamp = {Tue, 10 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/FoughaliBDHIM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/BerthomieuBD18,
author = {Bernard Berthomieu and
Didier Le Botlan and
Silvano Dal{-}Zilio},
editor = {Mar{\'{\i}}a{-}del{-}Mar Gallardo and
Pedro Merino},
title = {Petri Net Reductions for Counting Markings},
booktitle = {Model Checking Software - 25th International Symposium, {SPIN} 2018,
Malaga, Spain, June 20-22, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10869},
pages = {65--84},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-94111-0\_4},
doi = {10.1007/978-3-319-94111-0\_4},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spin/BerthomieuBD18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {http://arxiv.org/abs/1807.02973},
eprinttype = {arXiv},
eprint = {1807.02973},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1807-02973.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://doi.org/10.1016/j.scico.2016.08.008},
doi = {10.1016/J.SCICO.2016.08.008},
timestamp = {Wed, 17 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BourdilBDV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/FoughaliBDIM16,
author = {Mohammed Foughali and
Bernard Berthomieu and
Silvano Dal{-}Zilio and
F{\'{e}}lix Ingrand and
Anthony Mallet},
editor = {Kazuhiro Ogata and
Mark Lawford and
Shaoying Liu},
title = {Model Checking Real-Time Properties on the Functional Layer of Autonomous
Robots},
booktitle = {Formal Methods and Software Engineering - 18th International Conference
on Formal Engineering Methods, {ICFEM} 2016, Tokyo, Japan, November
14-18, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10009},
pages = {383--399},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47846-3\_24},
doi = {10.1007/978-3-319-47846-3\_24},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/icfem/FoughaliBDIM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/BourdilBDV15,
author = {Pierre{-}Alain Bourdil and
Bernard Berthomieu and
Silvano Dal{-}Zilio and
Fran{\c{c}}ois Vernadat},
editor = {Roger L. Wainwright and
Juan Manuel Corchado and
Alessio Bechini and
Jiman Hong},
title = {Symmetry reduced state classes for time petri nets},
booktitle = {Proceedings of the 30th Annual {ACM} Symposium on Applied Computing,
Salamanca, Spain, April 13-17, 2015},
pages = {1751--1758},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2695664.2695803},
doi = {10.1145/2695664.2695803},
timestamp = {Wed, 17 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/BourdilBDV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ttcs/Dal-ZilioB15,
author = {Silvano Dal{-}Zilio and
Bernard Berthomieu},
editor = {Mohammad Taghi Hajiaghayi and
Mohammad Reza Mousavi},
title = {Automating the Verification of Realtime Observers Using Probes and
the Modal mu-calculus},
booktitle = {Topics in Theoretical Computer Science - The First {IFIP} {WG} 1.8
International Conference, {TTCS} 2015, Tehran, Iran, August 26-28,
2015, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9541},
pages = {90--104},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-28678-5\_7},
doi = {10.1007/978-3-319-28678-5\_7},
timestamp = {Sat, 11 Jul 2020 10:44:59 +0200},
biburl = {https://dblp.org/rec/conf/ttcs/Dal-ZilioB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {http://arxiv.org/abs/1503.00493},
eprinttype = {arXiv},
eprint = {1503.00493},
timestamp = {Wed, 17 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/BerthomieuBDFBV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {http://arxiv.org/abs/1509.06506},
eprinttype = {arXiv},
eprint = {1509.06506},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/Dal-ZilioBB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {http://arxiv.org/abs/1509.06507},
eprinttype = {arXiv},
eprint = {1509.06507},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Dal-ZilioB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/BerthomieuDF14,
author = {Bernard Berthomieu and
Silvano Dal{-}Zilio and
Lukasz Fronc},
editor = {Fr{\'{e}}d{\'{e}}ric Boniol and
Virginie Wiels and
Yamine A{\"{\i}}t Ameur and
Klaus{-}Dieter Schewe},
title = {Model-Checking Real-Time Properties of an Aircraft Landing Gear System
Using Fiacre},
booktitle = {{ABZ} 2014: The Landing Gear Case Study - Case Study Track, Held at
the 4th International Conference on Abstract State Machines, Alloy,
B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014. Proceedings},
series = {Communications in Computer and Information Science},
volume = {433},
pages = {110--125},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07512-9\_8},
doi = {10.1007/978-3-319-07512-9\_8},
timestamp = {Wed, 29 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/BerthomieuDF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/BerthomieuDFV14,
author = {Bernard Berthomieu and
Silvano Dal{-}Zilio and
Lukasz Fronc and
Fran{\c{c}}ois Vernadat},
editor = {Axel Legay and
Marius Bozga},
title = {Time Petri Nets with Dynamic Firing Dates: Semantics and Applications},
booktitle = {Formal Modeling and Analysis of Timed Systems - 12th International
Conference, {FORMATS} 2014, Florence, Italy, September 8-10, 2014.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8711},
pages = {85--99},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10512-3\_7},
doi = {10.1007/978-3-319-10512-3\_7},
timestamp = {Wed, 17 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/formats/BerthomieuDFV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {25th {IEEE} International Symposium on Software Reliability Engineering
Workshops, {ISSRE} Workshops, Naples, Italy, November 3-6, 2014},
pages = {120--123},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/ISSREW.2014.40},
doi = {10.1109/ISSREW.2014.40},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/BourdilBJ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {http://arxiv.org/abs/1404.7067},
eprinttype = {arXiv},
eprint = {1404.7067},
timestamp = {Wed, 17 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/Dal-ZilioFBV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {http://arxiv.org/abs/1301.7533},
eprinttype = {arXiv},
eprint = {1301.7533},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1301-7533.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/SaadDB12,
author = {Rodrigo T. Saad and
Silvano Dal{-}Zilio and
Bernard Berthomieu},
editor = {Supratik Chakraborty and
Madhavan Mukund},
title = {An Experiment on Parallel Model Checking of a {CTL} Fragment},
booktitle = {Automated Technology for Verification and Analysis - 10th International
Symposium, {ATVA} 2012, Thiruvananthapuram, India, October 3-6, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7561},
pages = {284--299},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33386-6\_23},
doi = {10.1007/978-3-642-33386-6\_23},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/SaadDB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://doi.org/10.1007/s10626-011-0102-2},
doi = {10.1007/S10626-011-0102-2},
timestamp = {Wed, 17 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/deds/PeresBV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {10th International Symposium on Parallel and Distributed Computing,
{ISPDC} 2011, Cluj-Napoca, Romania, July 6-8, 2011},
pages = {9--16},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ISPDC.2011.12},
doi = {10.1109/ISPDC.2011.12},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ispdc/SaadDB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
editor = {Fabrice Kordon and
Yvon Kermarrec},
title = {Formal Verification of {AADL} Specifications in the Topcased Environment},
booktitle = {Reliable Software Technologies - Ada-Europe 2009, 14th Ada-Europe
International Conference, Brest, France, June 8-12, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5570},
pages = {207--221},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-01924-1\_15},
doi = {10.1007/978-3-642-01924-1\_15},
timestamp = {Wed, 17 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/adaEurope/BerthomieuBCDFV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
editor = {Ina Schieferdecker and
Alan Hartman},
title = {Ladder Metamodeling and {PLC} Program Validation through Time Petri
Nets},
booktitle = {Model Driven Architecture - Foundations and Applications, 4th European
Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5095},
pages = {121--136},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-69100-6\_9},
doi = {10.1007/978-3-540-69100-6\_9},
timestamp = {Wed, 17 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecmdafa/BenderCCFBV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {11th {IEEE} International Symposium on Object-Oriented Real-Time Distributed
Computing {(ISORC} 2008), 5-7 May 2008, Orlando, Florida, {USA}},
pages = {298--304},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ISORC.2008.75},
doi = {10.1109/ISORC.2008.75},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/BerthomieuPV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {http://ercim-news.ercim.eu/verifying-dynamic-properties-of-industrial-critical-systems-using-topcasedfiacre},
timestamp = {Wed, 17 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ercim/BerthomieuGLV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://doi.org/10.1007/s10626-006-0011-y},
doi = {10.1007/S10626-006-0011-Y},
timestamp = {Wed, 17 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/deds/BerthomieuLRV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/BerthomieuPV07,
author = {Bernard Berthomieu and
Florent Peres and
Fran{\c{c}}ois Vernadat},
editor = {Kedar S. Namjoshi and
Tomohiro Yoneda and
Teruo Higashino and
Yoshio Okamura},
title = {Model Checking Bounded Prioritized Time Petri Nets},
booktitle = {Automated Technology for Verification and Analysis, 5th International
Symposium, {ATVA} 2007, Tokyo, Japan, October 22-25, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4762},
pages = {523--532},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75596-8\_37},
doi = {10.1007/978-3-540-75596-8\_37},
timestamp = {Wed, 17 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/BerthomieuPV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/crc/VernadatB07,
author = {Fran{\c{c}}ois Vernadat and
Bernard Berthomieu},
editor = {Sang Hyuk Son and
Insup Lee and
Joseph Y.{-}T. Leung},
title = {State Space Abstractions for Time Petri Nets},
booktitle = {Handbook of Real-Time and Embedded Systems},
publisher = {Chapman and Hall/CRC},
year = {2007},
url = {https://doi.org/10.1201/9781420011746.pt6},
doi = {10.1201/9781420011746.PT6},
timestamp = {Thu, 26 Jan 2023 14:05:55 +0100},
biburl = {https://dblp.org/rec/reference/crc/VernadatB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/BerthomieuPV06,
author = {Bernard Berthomieu and
Florent Peres and
Fran{\c{c}}ois Vernadat},
editor = {Eugene Asarin and
Patricia Bouyer},
title = {Bridging the Gap Between Timed Automata and Bounded Time Petri Nets},
booktitle = {Formal Modeling and Analysis of Timed Systems, 4th International Conference,
{FORMATS} 2006, Paris, France, September 25-27, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4202},
pages = {82--97},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11867340\_7},
doi = {10.1007/11867340\_7},
timestamp = {Wed, 17 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/formats/BerthomieuPV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/BerthomieuV06,
author = {Bernard Berthomieu and
Fran{\c{c}}ois Vernadat},
title = {Time Petri Nets Analysis with {TINA}},
booktitle = {Third International Conference on the Quantitative Evaluation of Systems
{(QEST} 2006), 11-14 September 2006, Riverside, California, {USA}},
pages = {123--124},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/QEST.2006.56},
doi = {10.1109/QEST.2006.56},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qest/BerthomieuV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BerthomieuV03,
author = {Bernard Berthomieu and
Fran{\c{c}}ois Vernadat},
editor = {Hubert Garavel and
John Hatcliff},
title = {State Class Constructions for Branching Analysis of Time Petri Nets},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
9th International Conference, {TACAS} 2003, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2003,
Warsaw, Poland, April 7-11, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2619},
pages = {442--457},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36577-X\_33},
doi = {10.1007/3-540-36577-X\_33},
timestamp = {Wed, 17 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/BerthomieuV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
editor = {Thomas Arts and
Wan J. Fokkink},
title = {Towards the verification of real-time systems in avionics: the Cotre
approach},
booktitle = {Eighth International Workshop on Formal Methods for Industrial Critical
Systems, {FMICS} 2003, Roros, Norway, June 5-7, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {80},
pages = {203--218},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(04)80819-3},
doi = {10.1016/S1571-0661(04)80819-3},
timestamp = {Tue, 06 Dec 2022 10:12:25 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BerthomieuRVBFBFPMFGDL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/RibetVB02,
author = {Pierre{-}Olivier Ribet and
Fran{\c{c}}ois Vernadat and
Bernard Berthomieu},
editor = {Doron A. Peled and
Moshe Y. Vardi},
title = {On Combining the Persistent Sets Method with the Covering Steps Graph
Method},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2002, 22nd {IFIP} {WG} 6.1 International Conference Houston, Texas,
USA, November 11-14, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2529},
pages = {344--359},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36135-9\_22},
doi = {10.1007/3-540-36135-9\_22},
timestamp = {Wed, 17 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/RibetVB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/psls/Berthomieu95,
author = {Bernard Berthomieu},
editor = {Takayasu Ito and
Robert H. Halstead Jr. and
Christian Queinnec},
title = {Process Calculi at Work - An Account of the {LCS} Project},
booktitle = {Parallel Symbolic Languages and Systems, International Workshop PSLS'95,
Beaune, France, October 2-4, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1068},
pages = {344--361},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0023073},
doi = {10.1007/BFB0023073},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/psls/Berthomieu95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/conpar/SergentB94,
author = {Thierry Le Sergent and
Bernard Berthomieu},
editor = {Bruno Buchberger and
Jens Volkert},
title = {Balancing Load under Large and Fast Load Changes in Distributed Computing
Systems - {A} Case Study},
booktitle = {Parallel Processing: {CONPAR} 94 - {VAPP} VI, Third Joint International
Conference on Vector and Parallel Processing, Linz, Austria, September
6-8, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {854},
pages = {854--865},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58430-7\_74},
doi = {10.1007/3-540-58430-7\_74},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/conpar/SergentB94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/BerthomieuS94,
author = {Bernard Berthomieu and
Thierry Le Sergent},
editor = {Donald Sannella},
title = {Programming with Behaviors in an {ML} Framework - The Syntax and Semantics
of {LCS}},
booktitle = {Programming Languages and Systems - ESOP'94, 5th European Symposium
on Programming, Edinburgh, UK, April 11-13, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {788},
pages = {89--104},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-57880-3\_6},
doi = {10.1007/3-540-57880-3\_6},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/BerthomieuS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwmm/SergentB92,
author = {Thierry Le Sergent and
Bernard Berthomieu},
editor = {Yves Bekkers and
Jacques Cohen},
title = {Incremental Multi-threaded Garbage Collection on Virtual Shared Memory
Architectures},
booktitle = {Memory Management, International Workshop {IWMM} 92, St. Malo, France,
September 17-19, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {637},
pages = {179--199},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0017190},
doi = {10.1007/BFB0017190},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/iwmm/SergentB92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://doi.org/10.1109/32.75415},
doi = {10.1109/32.75415},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/BerthomieuD91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/BerthomieuM83,
author = {Bernard Berthomieu and
Miguel Menasche},
editor = {R. E. A. Mason},
title = {An Enumerative Approach for Analyzing Time Petri Nets},
booktitle = {Information Processing 83, Proceedings of the {IFIP} 9th World Computer
Congress, Paris, France, September 19-23, 1983},
pages = {41--46},
publisher = {North-Holland/IFIP},
year = {1983},
timestamp = {Sun, 28 Jul 2019 17:03:41 +0200},
biburl = {https://dblp.org/rec/conf/ifip/BerthomieuM83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/MenascheB83,
author = {Miguel Menasche and
Bernard Berthomieu},
editor = {Harry Rudin and
Colin H. West},
title = {Time Petri Nets for Analyzing and Verifying Time Dependent Communication
Protocols},
booktitle = {Protocol Specification, Testing, and Verification, III, Proceedings
of the {IFIP} {WG} 6.1 Third International Workshop on Protocol Specification,
Testing and Verification, organized by {IBM} Research, R{\"{u}}schlikon,
Switzerland, 31 May - 2 June, 1983},
pages = {161--172},
publisher = {North-Holland},
year = {1983},
timestamp = {Sat, 07 Sep 2019 11:59:26 +0200},
biburl = {https://dblp.org/rec/conf/ifip/MenascheB83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/AzemaBD80,
author = {Pierre Az{\'{e}}ma and
Bernard Berthomieu and
Paul Decitre},
editor = {Simon H. Lavington},
title = {The Design and Validation by Petri Nets of a Mechanism for the Invocation
of Remote Servers},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {599--604},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 22:58:40 +0200},
biburl = {https://dblp.org/rec/conf/ifip/AzemaBD80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/AzemaAB78,
author = {Pierre Az{\'{e}}ma and
Jean{-}Michel Ayache and
Bernard Berthomieu},
editor = {Maurice V. Wilkes and
Laszlo A. Belady and
Y. H. Su and
Harry Hayman and
Philip H. Enslow Jr.},
title = {Design and Verification of Communication Procedures: {A} Bottom-Up
Approach},
booktitle = {Proceedings of the 3rd International Conference on Software Engineering,
Atlanta, Georgia, USA, May 10-12, 1978},
pages = {168--174},
publisher = {{IEEE} Computer Society},
year = {1978},
url = {http://dl.acm.org/citation.cfm?id=803207},
timestamp = {Mon, 14 May 2012 18:17:16 +0200},
biburl = {https://dblp.org/rec/conf/icse/AzemaAB78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
last updated on 2024-02-07 03:09 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
