Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Hubert Garavel
@article{DBLP:journals/corr/abs-2403-18723,
author = {Hubert Garavel and
Bas Luttik},
title = {Four Formal Models of {IEEE} 1394 Link Layer},
journal = {CoRR},
volume = {abs/2403.18723},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.18723},
doi = {10.48550/ARXIV.2403.18723},
eprinttype = {arXiv},
eprint = {2403.18723},
timestamp = {Wed, 10 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-18723.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/AmatBG23,
author = {Nicolas Amat and
Pierre Bouvier and
Hubert Garavel},
title = {A Toolchain to Compute Concurrent Places of Petri Nets},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {17},
pages = {1--26},
year = {2023},
url = {https://doi.org/10.1007/978-3-662-68191-6\_1},
doi = {10.1007/978-3-662-68191-6\_1},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/topnoc/AmatBG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/GaravelL22,
author = {Hubert Garavel and
Fr{\'{e}}d{\'{e}}ric Lang},
editor = {Nils Jansen and
Mari{\"{e}}lle Stoelinga and
Petra van den Bos},
title = {Equivalence Checking 40 Years After: {A} Review of Bisimulation Tools},
booktitle = {A Journey from Process Algebra via Timed Automata to Model Learning
- Essays Dedicated to Frits Vaandrager on the Occasion of His 60th
Birthday},
series = {Lecture Notes in Computer Science},
volume = {13560},
pages = {213--265},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-15629-8\_13},
doi = {10.1007/978-3-031-15629-8\_13},
timestamp = {Sat, 24 Sep 2022 20:46:57 +0200},
biburl = {https://dblp.org/rec/conf/birthday/GaravelL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BouvierG21,
author = {Pierre Bouvier and
Hubert Garavel},
editor = {Didier Buchs and
Josep Carmona},
title = {Efficient Algorithms for Three Reachability Problems in Safe 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 = {339--359},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-76983-3\_17},
doi = {10.1007/978-3-030-76983-3\_17},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apn/BouvierG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2111-08203,
author = {Hubert Garavel and
Fr{\'{e}}d{\'{e}}ric Lang and
Radu Mateescu and
Wendelin Serwe},
editor = {Mario Gleirscher and
Jaco van de Pol and
Jim Woodcock},
title = {Is {CADP} an Applicable Formal Method?},
booktitle = {Proceedings First Workshop on Applicable Formal Methods, AppFM@FM
2021, virtual, 23rd November 2021},
series = {{EPTCS}},
volume = {349},
pages = {1--11},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.349.1},
doi = {10.4204/EPTCS.349.1},
timestamp = {Fri, 17 Feb 2023 09:02:03 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2111-08203.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2101-05024,
author = {Hubert Garavel},
title = {Proposal for Adding Useful Features to Petri-Net Model Checkers},
journal = {CoRR},
volume = {abs/2101.05024},
year = {2021},
url = {https://arxiv.org/abs/2101.05024},
eprinttype = {arXiv},
eprint = {2101.05024},
timestamp = {Fri, 22 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2101-05024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2110-06336,
author = {Pierre Bouvier and
Hubert Garavel},
title = {The {VLSAT-2} Benchmark Suite},
journal = {CoRR},
volume = {abs/2110.06336},
year = {2021},
url = {https://arxiv.org/abs/2110.06336},
eprinttype = {arXiv},
eprint = {2110.06336},
timestamp = {Fri, 22 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2110-06336.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BouvierGL20,
author = {Pierre Bouvier and
Hubert Garavel and
Hern{\'{a}}n Ponce de Le{\'{o}}n},
editor = {Ryszard Janicki and
Natalia Sidorova and
Thomas Chatain},
title = {Automatic Decomposition of Petri Nets into Automata Networks - {A}
Synthetic Account},
booktitle = {Application and Theory of Petri Nets and Concurrency - 41st International
Conference, {PETRI} {NETS} 2020, Paris, France, June 24-25, 2020,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12152},
pages = {3--23},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-51831-8\_1},
doi = {10.1007/978-3-030-51831-8\_1},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/BouvierGL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/GaravelBP20,
author = {Hubert Garavel and
Maurice H. ter Beek and
Jaco van de Pol},
editor = {Maurice H. ter Beek and
Dejan Nickovic},
title = {The 2020 Expert Survey on Formal Methods},
booktitle = {Formal Methods for Industrial Critical Systems - 25th International
Conference, {FMICS} 2020, Vienna, Austria, September 2-3, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12327},
pages = {3--69},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-58298-2\_1},
doi = {10.1007/978-3-030-58298-2\_1},
timestamp = {Sat, 19 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/GaravelBP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-2004-12403,
editor = {Ansgar Fehnker and
Hubert Garavel},
title = {Proceedings of the 4th Workshop on Models for Formal Analysis of Real
Systems, MARS@ETAPS 2020, Dublin, Ireland, April 26, 2020},
series = {{EPTCS}},
volume = {316},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.316},
doi = {10.4204/EPTCS.316},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-12403.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2011-11049,
author = {Pierre Bouvier and
Hubert Garavel},
title = {The {VLSAT-1} Benchmark Suite},
journal = {CoRR},
volume = {abs/2011.11049},
year = {2020},
url = {https://arxiv.org/abs/2011.11049},
eprinttype = {arXiv},
eprint = {2011.11049},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2011-11049.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Garavel19,
author = {Hubert Garavel},
title = {Nested-unit Petri nets},
journal = {J. Log. Algebraic Methods Program.},
volume = {104},
pages = {60--85},
year = {2019},
url = {https://doi.org/10.1016/j.jlamp.2018.11.005},
doi = {10.1016/J.JLAMP.2018.11.005},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Garavel19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BartocciBBFGHHK19,
author = {Ezio Bartocci and
Dirk Beyer and
Paul E. Black and
Grigory Fedyukovich and
Hubert Garavel and
Arnd Hartmanns and
Marieke Huisman and
Fabrice Kordon and
Julian Nagele and
Mihaela Sighireanu and
Bernhard Steffen and
Martin Suda and
Geoff Sutcliffe and
Tjark Weber and
Akihisa Yamada},
editor = {Dirk Beyer and
Marieke Huisman and
Fabrice Kordon and
Bernhard Steffen},
title = {TOOLympics 2019: An Overview of Competitions in Formal Methods},
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 = {3--24},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17502-3\_1},
doi = {10.1007/978-3-030-17502-3\_1},
timestamp = {Fri, 09 Apr 2021 18:45:37 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BartocciBBFGHHK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/DuranG19,
author = {Francisco Dur{\'{a}}n and
Hubert Garavel},
editor = {Dirk Beyer and
Marieke Huisman and
Fabrice Kordon and
Bernhard Steffen},
title = {The Rewrite Engines Competitions: {A} RECtrospective},
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 = {93--100},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17502-3\_6},
doi = {10.1007/978-3-030-17502-3\_6},
timestamp = {Mon, 28 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/DuranG19.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/async/BouzafourRG0S18,
author = {Aymane Bouzafour and
Marc Renaudin and
Hubert Garavel and
Radu Mateescu and
Wendelin Serwe},
title = {Model-Checking Synthesizable SystemVerilog Descriptions of Asynchronous
Circuits},
booktitle = {24th {IEEE} International Symposium on Asynchronous Circuits and Systems,
{ASYNC} 2018, Vienna, Austria, May 13-16, 2018},
pages = {34--42},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/ASYNC.2018.00021},
doi = {10.1109/ASYNC.2018.00021},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/async/BouzafourRG0S18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Garavel018,
author = {Hubert Garavel and
Radu Mateescu},
editor = {Tiziana Margaria and
Susanne Graf and
Kim G. Larsen},
title = {Reflections on Bernhard Steffen's Physics of Software Tools},
booktitle = {Models, Mindsets, Meta: The What, the How, and the Why Not? - Essays
Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {11200},
pages = {186--207},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-22348-9\_12},
doi = {10.1007/978-3-030-22348-9\_12},
timestamp = {Wed, 26 Jun 2019 10:29:01 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Garavel018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/GaravelLM18,
author = {Hubert Garavel and
Fr{\'{e}}d{\'{e}}ric Lang and
Laurent Mounier},
editor = {Falk Howar and
Jiri Barnat},
title = {Compositional Verification in Action},
booktitle = {Formal Methods for Industrial Critical Systems - 23rd International
Conference, {FMICS} 2018, Maynooth, Ireland, September 3-4, 2018,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11119},
pages = {189--210},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00244-2\_13},
doi = {10.1007/978-3-030-00244-2\_13},
timestamp = {Sat, 19 Oct 2019 20:28:59 +0200},
biburl = {https://dblp.org/rec/conf/fmics/GaravelLM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/GaravelTA18,
author = {Hubert Garavel and
Mohammad{-}Ali Tabikh and
Imad{-}Seddik Arrada},
editor = {Vlad Rusu},
title = {Benchmarking Implementations of Term Rewriting and Pattern Matching
in Algebraic, Functional, and Object-Oriented Languages - The 4th
Rewrite Engines Competition},
booktitle = {Rewriting Logic and Its Applications - 12th International Workshop,
{WRLA} 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece,
June 14-15, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11152},
pages = {1--25},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-99840-4\_1},
doi = {10.1007/978-3-319-99840-4\_1},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/wrla/GaravelTA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1803-10322,
author = {Hubert Garavel and
Lina Marsso},
editor = {John P. Gallagher and
Rob van Glabbeek and
Wendelin Serwe},
title = {Comparative Study of Eight Formal Specifications of the Message Authenticator
Algorithm},
booktitle = {Proceedings Third Workshop on Models for Formal Analysis of Real Systems
and Sixth International Workshop on Verification and Program Transformation,
MARS/VPT@ETAPS 2018, Thessaloniki, Greece, 20th April 2018},
series = {{EPTCS}},
volume = {268},
pages = {41--87},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.268.2},
doi = {10.4204/EPTCS.268.2},
timestamp = {Tue, 08 Oct 2019 13:24:16 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-10322.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/GaravelLS17,
author = {Hubert Garavel and
Fr{\'{e}}d{\'{e}}ric Lang and
Wendelin Serwe},
editor = {Joost{-}Pieter Katoen and
Rom Langerak and
Arend Rensink},
title = {From {LOTOS} to {LNT}},
booktitle = {ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the
Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {10500},
pages = {3--26},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68270-9\_1},
doi = {10.1007/978-3-319-68270-9\_1},
timestamp = {Thu, 14 Oct 2021 10:33:18 +0200},
biburl = {https://dblp.org/rec/conf/birthday/GaravelLS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/GaravelM17,
author = {Hubert Garavel and
Lina Marsso},
editor = {Holger Hermanns and
Peter H{\"{o}}fner},
title = {A Large Term Rewrite System Modelling a Pioneering Cryptographic Algorithm},
booktitle = {Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems,
MARS@ETAPS 2017, Uppsala, Sweden, 29th April 2017},
series = {{EPTCS}},
volume = {244},
pages = {129--183},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.244.6},
doi = {10.4204/EPTCS.244.6},
timestamp = {Sat, 30 Sep 2023 10:07:58 +0200},
biburl = {https://dblp.org/rec/journals/corr/GaravelM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/GaravelS17,
author = {Hubert Garavel and
Wendelin Serwe},
editor = {Holger Hermanns and
Peter H{\"{o}}fner},
title = {The Unheralded Value of the Multiway Rendezvous: Illustration with
the Production Cell Benchmark},
booktitle = {Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems,
MARS@ETAPS 2017, Uppsala, Sweden, 29th April 2017},
series = {{EPTCS}},
volume = {244},
pages = {230--270},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.244.10},
doi = {10.4204/EPTCS.244.10},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GaravelS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/KordonGHPJRH16,
author = {Fabrice Kordon and
Hubert Garavel and
Lom{-}Messan Hillah and
Emmanuel Paviot{-}Adet and
Lo{\"{\i}}g Jezequel and
C{\'{e}}sar Rodr{\'{\i}}guez and
Francis Hulin{-}Hubard},
title = {MCC'2015 - The Fifth Model Checking Contest},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {11},
pages = {262--273},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-53401-4\_12},
doi = {10.1007/978-3-662-53401-4\_12},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/topnoc/KordonGHPJRH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/Garavel16,
author = {Hubert Garavel},
editor = {Phillip James and
Markus Roggenbach},
title = {On the Most Suitable Axiomatization of Signed Integers},
booktitle = {Recent Trends in Algebraic Development Techniques - 23rd {IFIP} {WG}
1.3 International Workshop, {WADT} 2016, Gregynog, UK, September 21-24,
2016, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10644},
pages = {120--134},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-72044-9\_9},
doi = {10.1007/978-3-319-72044-9\_9},
timestamp = {Wed, 19 May 2021 08:32:29 +0200},
biburl = {https://dblp.org/rec/conf/wadt/Garavel16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/GaravelLM15,
author = {Hubert Garavel and
Fr{\'{e}}d{\'{e}}ric Lang and
Radu Mateescu},
title = {Compositional verification of asynchronous concurrent systems using
{CADP}},
journal = {Acta Informatica},
volume = {52},
number = {4-5},
pages = {337--392},
year = {2015},
url = {https://doi.org/10.1007/s00236-015-0226-1},
doi = {10.1007/S00236-015-0226-1},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/GaravelLM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Garavel15,
author = {Hubert Garavel},
title = {Revisiting sequential composition in process calculi},
journal = {J. Log. Algebraic Methods Program.},
volume = {84},
number = {6},
pages = {742--762},
year = {2015},
url = {https://doi.org/10.1016/j.jlamp.2015.08.001},
doi = {10.1016/J.JLAMP.2015.08.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Garavel15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Garavel15,
author = {Hubert Garavel},
editor = {Raymond R. Devillers and
Antti Valmari},
title = {Nested-Unit Petri Nets: {A} Structural Means to Increase Efficiency
and Scalability of Verification on Elementary Nets},
booktitle = {Application and Theory of Petri Nets and Concurrency - 36th International
Conference, {PETRI} {NETS} 2015, Brussels, Belgium, June 21-26, 2015,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9115},
pages = {179--199},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19488-2\_9},
doi = {10.1007/978-3-319-19488-2\_9},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/Garavel15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Graf-BrillHG14,
author = {Alexander Graf{-}Brill and
Holger Hermanns and
Hubert Garavel},
editor = {Erika {\'{A}}brah{\'{a}}m and
Catuscia Palamidessi},
title = {A Model-Based Certification Framework for the EnergyBus Standard},
booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
- 34th {IFIP} {WG} 6.1 International Conference, {FORTE} 2014, Held
as Part of the 9th International Federated Conference on Distributed
Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8461},
pages = {84--99},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-43613-4\_6},
doi = {10.1007/978-3-662-43613-4\_6},
timestamp = {Fri, 09 Apr 2021 18:40:15 +0200},
biburl = {https://dblp.org/rec/conf/forte/Graf-BrillHG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/GaravelLMS13,
author = {Hubert Garavel and
Fr{\'{e}}d{\'{e}}ric Lang and
Radu Mateescu and
Wendelin Serwe},
title = {{CADP} 2011: a toolbox for the construction and analysis of distributed
processes},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {15},
number = {2},
pages = {89--107},
year = {2013},
url = {https://doi.org/10.1007/s10009-012-0244-z},
doi = {10.1007/S10009-012-0244-Z},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/GaravelLMS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GaravelMS13,
author = {Hubert Garavel and
Radu Mateescu and
Wendelin Serwe},
editor = {Jeremy T. Bradley and
Keijo Heljanko and
William J. Knottenbelt and
Nigel Thomas},
title = {Large-scale Distributed Verification Using {CADP:} Beyond Clusters
to Grids},
booktitle = {Proceedings the Sixth International Workshop on the Practical Application
of Stochastic Modelling, {PASM} 2012, and the Eleventh International
Workshop on Parallel and Distributed Methods in Verification, {PDMC}
2012, London, UK, September 2012},
series = {Electronic Notes in Theoretical Computer Science},
volume = {296},
pages = {145--161},
publisher = {Elsevier},
year = {2012},
url = {https://doi.org/10.1016/j.entcs.2013.07.010},
doi = {10.1016/J.ENTCS.2013.07.010},
timestamp = {Tue, 22 Nov 2022 14:07:01 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GaravelMS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/GaravelLMS11,
author = {Hubert Garavel and
Fr{\'{e}}d{\'{e}}ric Lang and
Radu Mateescu and
Wendelin Serwe},
editor = {Parosh Aziz Abdulla and
K. Rustan M. Leino},
title = {{CADP} 2010: {A} Toolbox for the Construction and Analysis of Distributed
Processes},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 17th International Conference, {TACAS} 2011, Held as Part of the
Joint European Conferences on Theory and Practice of Software, {ETAPS}
2011, Saarbr{\"{u}}cken, Germany, March 26-April 3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6605},
pages = {372--387},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19835-9\_33},
doi = {10.1007/978-3-642-19835-9\_33},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/GaravelLMS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/CosteGHLMS10,
author = {Nicolas Coste and
Hubert Garavel and
Holger Hermanns and
Fr{\'{e}}d{\'{e}}ric Lang and
Radu Mateescu and
Wendelin Serwe},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Ten Years of Performance Evaluation for Concurrent Systems Using {CADP}},
booktitle = {Leveraging Applications of Formal Methods, Verification, and Validation
- 4th International Symposium on Leveraging Applications, ISoLA 2010,
Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {6416},
pages = {128--142},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16561-0\_18},
doi = {10.1007/978-3-642-16561-0\_18},
timestamp = {Sun, 02 Jun 2019 21:11:27 +0200},
biburl = {https://dblp.org/rec/conf/isola/CosteGHLMS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/GaravelSS09,
author = {Hubert Garavel and
Gwen Sala{\"{u}}n and
Wendelin Serwe},
title = {On the semantics of communicating hardware processes and their translation
into {LOTOS} for the verification of asynchronous circuits with {CADP}},
journal = {Sci. Comput. Program.},
volume = {74},
number = {3},
pages = {100--127},
year = {2009},
url = {https://doi.org/10.1016/j.scico.2008.09.011},
doi = {10.1016/J.SCICO.2008.09.011},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/GaravelSS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/StockerLG09,
author = {Jan St{\"{o}}cker and
Fr{\'{e}}d{\'{e}}ric Lang and
Hubert Garavel},
editor = {Michael Leuschel and
Heike Wehrheim},
title = {Parallel Processes with Real-Time and Data: The {ATLANTIF} Intermediate
Format},
booktitle = {Integrated Formal Methods, 7th International Conference, {IFM} 2009,
D{\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5423},
pages = {88--102},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00255-7\_7},
doi = {10.1007/978-3-642-00255-7\_7},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ifm/StockerLG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/GaravelHPS09,
author = {Hubert Garavel and
Claude Helmstetter and
Olivier Ponsini and
Wendelin Serwe},
title = {Verification of an industrial SystemC/TLM model using {LOTOS} and
{CADP}},
booktitle = {7th {ACM/IEEE} International Conference on Formal Methods and Models
for Codesign {(MEMOCODE} 2009), July 13-15, 2009, Cambridge, Massachusetts,
{USA}},
pages = {46--55},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/MEMCOD.2009.5185377},
doi = {10.1109/MEMCOD.2009.5185377},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/memocode/GaravelHPS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/GaravelT09,
author = {Hubert Garavel and
Damien Thivolle},
editor = {Corina S. Pasareanu},
title = {Verification of {GALS} Systems by Combining Synchronous Languages
and Process Calculi},
booktitle = {Model Checking Software, 16th International {SPIN} Workshop, Grenoble,
France, June 26-28, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5578},
pages = {241--260},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02652-2\_20},
doi = {10.1007/978-3-642-02652-2\_20},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/GaravelT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/CosteGHHTZ08,
author = {Nicolas Coste and
Hubert Garavel and
Holger Hermanns and
Richard Hersemeule and
Yvain Thonnart and
Meriem Zidouni},
editor = {Donatella Sciuto},
title = {Quantitative Evaluation in Embedded System Design: Validation of Multiprocessor
Multithreaded Architectures},
booktitle = {Design, Automation and Test in Europe, {DATE} 2008, Munich, Germany,
March 10-14, 2008},
pages = {88--89},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1109/DATE.2008.4484666},
doi = {10.1109/DATE.2008.4484666},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/date/CosteGHHTZ08.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}
}
@inproceedings{DBLP:conf/cav/GaravelMLS07,
author = {Hubert Garavel and
Radu Mateescu and
Fr{\'{e}}d{\'{e}}ric Lang and
Wendelin Serwe},
editor = {Werner Damm and
Holger Hermanns},
title = {{CADP} 2006: {A} Toolbox for the Construction and Analysis of Distributed
Processes},
booktitle = {Computer Aided Verification, 19th International Conference, {CAV}
2007, Berlin, Germany, July 3-7, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4590},
pages = {158--163},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73368-3\_18},
doi = {10.1007/978-3-540-73368-3\_18},
timestamp = {Sat, 30 Sep 2023 09:35:55 +0200},
biburl = {https://dblp.org/rec/conf/cav/GaravelMLS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/GaravelH06,
author = {Hubert Garavel and
John Hatcliff},
title = {Why you should definitely read this special section},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {8},
number = {1},
pages = {1--3},
year = {2006},
url = {https://doi.org/10.1007/s10009-005-0199-4},
doi = {10.1007/S10009-005-0199-4},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/GaravelH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GaravelS06,
author = {Hubert Garavel and
Wendelin Serwe},
title = {State space reduction for process algebra specifications},
journal = {Theor. Comput. Sci.},
volume = {351},
number = {2},
pages = {131--145},
year = {2006},
url = {https://doi.org/10.1016/j.tcs.2005.09.064},
doi = {10.1016/J.TCS.2005.09.064},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/GaravelS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GaravelH06,
author = {Hubert Garavel and
John Hatcliff},
title = {{TACAS} 2003 Special Issue - Preface},
journal = {Theor. Comput. Sci.},
volume = {354},
number = {2},
pages = {169--172},
year = {2006},
url = {https://doi.org/10.1016/j.tcs.2005.11.014},
doi = {10.1016/J.TCS.2005.11.014},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/GaravelH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/GaravelMBCDJSS06,
author = {Hubert Garavel and
Radu Mateescu and
Damien Bergamini and
Adrian Curic and
Nicolas Descoubes and
Christophe Joubert and
Irina Smarandache{-}Sturm and
Gilles Stragier},
editor = {Holger Hermanns and
Jens Palsberg},
title = {{DISTRIBUTOR} and BCG{\_}MERGE: Tools for Distributed Explicit State
Space Generation},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
12th International Conference, {TACAS} 2006 Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2006,
Vienna, Austria, March 25 - April 2, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3920},
pages = {445--449},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11691372\_30},
doi = {10.1007/11691372\_30},
timestamp = {Sat, 30 Sep 2023 09:57:43 +0200},
biburl = {https://dblp.org/rec/conf/tacas/GaravelMBCDJSS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Garavel08,
author = {Hubert Garavel},
editor = {Catuscia Palamidessi and
Frank Valencia},
title = {Reflections on the Future of Concurrency Theory in General and Process
Calculi in Particular},
booktitle = {Proceedings of the {LIX} Colloquium on Emerging Trends in Concurrency
Theory, {LIX} 2006, Paris, France, November 13-15, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {209},
pages = {149--164},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2008.04.009},
doi = {10.1016/J.ENTCS.2008.04.009},
timestamp = {Mon, 13 Feb 2023 14:19:55 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Garavel08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/GaravelS04,
author = {Hubert Garavel and
Wendelin Serwe},
editor = {Charles Rattray and
Savi Maharaj and
Carron Shankland},
title = {State Space Reduction for Process Algebra Specifications},
booktitle = {Algebraic Methodology and Software Technology, 10th International
Conference, {AMAST} 2004, Stirling, Scotland, UK, July 12-16, 2004,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3116},
pages = {164--180},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27815-3\_16},
doi = {10.1007/978-3-540-27815-3\_16},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/amast/GaravelS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ewsa/OquendoWMDGGO04,
author = {Fl{\'{a}}vio Oquendo and
Brian Warboys and
Ronald Morrison and
R{\'{e}}gis Dindeleux and
Ferdinando Gallo and
Hubert Garavel and
Carmen Occhipinti},
editor = {Fl{\'{a}}vio Oquendo and
Brian Warboys and
Ronald Morrison},
title = {ArchWare: Architecting Evolvable Software},
booktitle = {Software Architecture, First European Workshop, {EWSA} 2004, St Andrews,
UK, May 21-22, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3047},
pages = {257--271},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24769-2\_23},
doi = {10.1007/978-3-540-24769-2\_23},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ewsa/OquendoWMDGGO04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/GaravelM04,
author = {Hubert Garavel and
Radu Mateescu},
editor = {Susanne Graf and
Laurent Mounier},
title = {{SEQ.OPEN:} {A} Tool for Efficient Trace-Based Verification},
booktitle = {Model Checking Software, 11th International {SPIN} Workshop, Barcelona,
Spain, April 1-3, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2989},
pages = {151--157},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24732-6\_11},
doi = {10.1007/978-3-540-24732-6\_11},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/GaravelM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/BattBJGM04,
author = {Gr{\'{e}}gory Batt and
Damien Bergamini and
Hidde de Jong and
Hubert Garavel and
Radu Mateescu},
editor = {Susanne Graf and
Laurent Mounier},
title = {Model Checking Genetic Regulatory Networks Using {GNA} and {CADP}},
booktitle = {Model Checking Software, 11th International {SPIN} Workshop, Barcelona,
Spain, April 1-3, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2989},
pages = {158--163},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24732-6\_12},
doi = {10.1007/978-3-540-24732-6\_12},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/spin/BattBJGM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/GaravelGS03,
author = {Hubert Garavel and
Stefania Gnesi and
Ina Schieferdecker},
title = {Special issue on the Fifth International Workshop of the {ERCIM} Working
Group on Formal Methods for Industrial Critical Systems, Berlin, April
3-4, 2000 - Selected papers},
journal = {Sci. Comput. Program.},
volume = {46},
number = {3},
pages = {195--196},
year = {2003},
url = {https://doi.org/10.1016/S0167-6423(02)00091-6},
doi = {10.1016/S0167-6423(02)00091-6},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/GaravelGS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/TronelLG03,
author = {Frederic Tronel and
Fr{\'{e}}d{\'{e}}ric Lang and
Hubert Garavel},
editor = {Elie Najm and
Uwe Nestmann and
Perdita Stevens},
title = {Compositional Verification Using {CADP} of the ScalAgent Deployment
Protocol for Software Components},
booktitle = {Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November
19.21, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2884},
pages = {244--260},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39958-2\_17},
doi = {10.1007/978-3-540-39958-2\_17},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/fmoods/TronelLG03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2003,
editor = {Hubert Garavel and
John Hatcliff},
title = {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},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36577-X},
doi = {10.1007/3-540-36577-X},
isbn = {3-540-00898-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/GaravelLM02,
author = {Hubert Garavel and
Fr{\'{e}}d{\'{e}}ric Lang and
Radu Mateescu},
editor = {R. Nigel Horspool},
title = {Compiler Construction Using {LOTOS} {NT}},
booktitle = {Compiler Construction, 11th International Conference, {CC} 2002, Held
as Part of the Joint European Conferences on Theory and Practice of
Software, {ETAPS} 2002, Grenoble, France, April 8-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2304},
pages = {9--13},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45937-5\_3},
doi = {10.1007/3-540-45937-5\_3},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/cc/GaravelLM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/GaravelH02,
author = {Hubert Garavel and
Holger Hermanns},
editor = {Lars{-}Henrik Eriksson and
Peter A. Lindsay},
title = {On Combining Functional Verification and Performance Evaluation Using
{CADP}},
booktitle = {{FME} 2002: Formal Methods - Getting {IT} Right, International Symposium
of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2391},
pages = {410--429},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45614-7\_23},
doi = {10.1007/3-540-45614-7\_23},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/GaravelH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/GaravelL02,
author = {Hubert Garavel and
Fr{\'{e}}d{\'{e}}ric Lang},
editor = {Doron A. Peled and
Moshe Y. Vardi},
title = {{NTIF:} {A} General Symbolic Model for Communicating Sequential Processes
with Data},
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 = {276--291},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36135-9\_18},
doi = {10.1007/3-540-36135-9\_18},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/forte/GaravelL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CleavelandG02,
author = {Rance Cleaveland and
Hubert Garavel},
editor = {Rance Cleaveland and
Hubert Garavel},
title = {Foreword},
booktitle = {7th International {ERCIM} Workshop in Formal Methods for Industrial
Critical Systems, {FMICS} 2002, {ICALP} 2002 Satellite Workshop, M{\'{a}}laga,
Spain, July 12-13, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {66},
number = {2},
pages = {211--213},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80413-X},
doi = {10.1016/S1571-0661(05)80413-X},
timestamp = {Tue, 06 Dec 2022 10:27:25 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CleavelandG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmics/2002,
editor = {Rance Cleaveland and
Hubert Garavel},
title = {7th International {ERCIM} Workshop in Formal Methods for Industrial
Critical Systems, {FMICS} 2002, {ICALP} 2002 Satellite Workshop, M{\'{a}}laga,
Spain, July 12-13, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {66},
number = {2},
publisher = {Elsevier},
year = {2002},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/66/issue/2},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmics/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/GaravelVZ01,
author = {Hubert Garavel and
C{\'{e}}sar Viho and
Massimo Zendri},
title = {System design of a {CC-NUMA} multiprocessor architecture using formal
specification, model-checking, co-simulation, and test generation},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {3},
number = {3},
pages = {314--331},
year = {2001},
url = {https://doi.org/10.1007/s100090100044},
doi = {10.1007/S100090100044},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/GaravelVZ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dais/CornejoGMP01,
author = {Manuel Aguilar Cornejo and
Hubert Garavel and
Radu Mateescu and
Noel De Palma},
editor = {Krzysztof Zielinski and
Kurt Geihs and
Aleksander Laurentowski},
title = {Specification and Verification of a Dynamic Reconfiguration Protocol
for Agent-Based Applications},
booktitle = {New Developments in Distributed Applications and Interoperable Systems,
{IFIP} {TC6} / {WG6.1} Third International Working Conference on Distributed
Applications and Interoperable Systems, September 17-19, 2001, Krak{\'{o}}w,
Poland},
series = {{IFIP} Conference Proceedings},
volume = {198},
pages = {229--242},
publisher = {Kluwer},
year = {2001},
url = {https://doi.org/10.1007/0-306-47005-5\_20},
doi = {10.1007/0-306-47005-5\_20},
timestamp = {Thu, 29 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dais/CornejoGMP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/GaravelL01,
author = {Hubert Garavel and
Fr{\'{e}}d{\'{e}}ric Lang},
editor = {Myungchul Kim and
Byoungmoon Chin and
Sungwon Kang and
Danhyung Lee},
title = {{SVL:} {A} Scripting Language for Compositional Verification},
booktitle = {Formal Techniques for Networked and Distributed Systems, {FORTE} 2001,
{IFIP} {TC6/WG6.1} - 21\({}^{\mbox{st}}\) International Conference
on Formal Techniques for Networked and Distributed Systems, August
28-31, 2001, Cheju Island, Korea},
series = {{IFIP} Conference Proceedings},
volume = {197},
pages = {377--394},
publisher = {Kluwer},
year = {2001},
timestamp = {Mon, 05 Oct 2020 12:53:08 +0200},
biburl = {https://dblp.org/rec/conf/forte/GaravelL01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/GaravelMS01,
author = {Hubert Garavel and
Radu Mateescu and
Irina M. Smarandache},
editor = {Matthew B. Dwyer},
title = {Parallel State Space Construction for Model-Checking},
booktitle = {Model Checking Software, 8th International {SPIN} Workshop, Toronto,
Canada, May 19-20, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2057},
pages = {217--234},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45139-0\_14},
doi = {10.1007/3-540-45139-0\_14},
timestamp = {Thu, 02 Jun 2022 12:33:45 +0200},
biburl = {https://dblp.org/rec/conf/spin/GaravelMS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/GaravelS99,
author = {Hubert Garavel and
Mihaela Sighireanu},
editor = {Jianping Wu and
Samuel T. Chanson and
Qiang Gao},
title = {A Graphical Parallel Composition Operator for Process Algebras},
booktitle = {Formal Methods for Protocol Engineering and Distributed Systems, {FORTE}
{XII} / {PSTV} XIX'99, {IFIP} {TC6} {WG6.1} Joint International Conference
on Formal Description Techniques for Distributed Systems and Communication
Protocols {(FORTE} {XII)} and Protocol Specification, Testing and
Verification {(PSTV} XIX), October 5-8, 1999, Beijing, China},
series = {{IFIP} Conference Proceedings},
volume = {156},
pages = {185--202},
publisher = {Kluwer},
year = {1999},
timestamp = {Thu, 03 Jan 2002 11:58:39 +0100},
biburl = {https://dblp.org/rec/conf/forte/GaravelS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/Garavel98,
author = {Hubert Garavel},
editor = {Bernhard Steffen},
title = {OPEN/C{\AE}SAR: An OPen Software Architecture for Verification, Simulation,
and Testing},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, 4th
International Conference, {TACAS} '98, Held as Part of the European
Joint Conferences on the Theory and Practice of Software, ETAPS'98,
Lisbon, Portugal, March 28 - April 4, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1384},
pages = {68--84},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054165},
doi = {10.1007/BFB0054165},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/Garavel98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/GaravelM97,
author = {Hubert Garavel and
Laurent Mounier},
title = {Specification and Verification of Various Distributed Leader Election
Algorithms for Unidirectional Ring Networks},
journal = {Sci. Comput. Program.},
volume = {29},
number = {1-2},
pages = {171--197},
year = {1997},
url = {https://doi.org/10.1016/S0167-6423(96)00034-2},
doi = {10.1016/S0167-6423(96)00034-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/GaravelM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/FernandezGKMMS96,
author = {Jean{-}Claude Fernandez and
Hubert Garavel and
Alain Kerbrat and
Laurent Mounier and
Radu Mateescu and
Mihaela Sighireanu},
editor = {Rajeev Alur and
Thomas A. Henzinger},
title = {{CADP} - {A} Protocol Validation and Verification Toolbox},
booktitle = {Computer Aided Verification, 8th International Conference, {CAV} '96,
New Brunswick, NJ, USA, July 31 - August 3, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1102},
pages = {437--440},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61474-5\_97},
doi = {10.1007/3-540-61474-5\_97},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/FernandezGKMMS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/ChehaibarGMTZ96,
author = {Ghassan Chehaibar and
Hubert Garavel and
Laurent Mounier and
Nadia Tawbi and
Ferruccio Zulian},
editor = {Reinhard Gotzhein and
Jan Bredereke},
title = {Specification and Verification of the PowerScale\({}^{\mbox{TM}}\)
Bus Arbitration Protocol: An Industrial Experiment with {LOTOS}},
booktitle = {Formal Description Techniques {IX:} Theory, application and tools,
{IFIP} {TC6} {WG6.1} International Conference on Formal Description
Techniques {IX} / Protocol Specification, Testing and Verification
XVI, Kaiserslautern, Germany, 8-11 October 1996},
series = {{IFIP} Conference Proceedings},
volume = {69},
pages = {435--450},
publisher = {Chapman {\&} Hall},
year = {1996},
timestamp = {Fri, 29 Oct 2004 12:58:31 +0200},
biburl = {https://dblp.org/rec/conf/forte/ChehaibarGMTZ96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/GaravelS96,
author = {Hubert Garavel and
Mihaela Sighireanu},
editor = {Reinhard Gotzhein and
Jan Bredereke},
title = {On the Introduction of Exceptions in {E-LOTOS}},
booktitle = {Formal Description Techniques {IX:} Theory, application and tools,
{IFIP} {TC6} {WG6.1} International Conference on Formal Description
Techniques {IX} / Protocol Specification, Testing and Verification
XVI, Kaiserslautern, Germany, 8-11 October 1996},
series = {{IFIP} Conference Proceedings},
volume = {69},
pages = {469--484},
publisher = {Chapman {\&} Hall},
year = {1996},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/GaravelS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/Garavel95,
author = {Hubert Garavel},
editor = {Piotr Dembinski and
Marek Sredniawa},
title = {On the introduction of gate typing in {E-LOTOS}},
booktitle = {Protocol Specification, Testing and Verification XV, Proceedings of
the Fifteenth {IFIP} {WG6.1} International Symposium on Protocol Specification,
Testing and Verification, Warsaw, Poland, June 1995},
series = {{IFIP} Conference Proceedings},
volume = {38},
pages = {283--298},
publisher = {Chapman {\&} Hall},
year = {1995},
timestamp = {Thu, 03 Jan 2002 12:07:46 +0100},
biburl = {https://dblp.org/rec/conf/pstv/Garavel95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cn/AlgayresCDGLR93,
author = {Bernard Algayres and
Veronigue Coelho and
Laurent Doldi and
Hubert Garavel and
Yves Lejeune and
Carlos Rodr{\'{\i}}guez},
title = {{VESAR:} {A} Pragmatic Approach to Formal Specification and Verification},
journal = {Comput. Networks {ISDN} Syst.},
volume = {25},
number = {7},
pages = {779--790},
year = {1993},
url = {https://doi.org/10.1016/0169-7552(93)90048-9},
doi = {10.1016/0169-7552(93)90048-9},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cn/AlgayresCDGLR93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/FernandezGMRRS92,
author = {Jean{-}Claude Fernandez and
Hubert Garavel and
Laurent Mounier and
Anne Rasse and
Carlos Rodriguez and
Joseph Sifakis},
editor = {Tony Montgomery and
Lori A. Clarke and
Carlo Ghezzi},
title = {A Toolbox for the Verification of {LOTOS} Programs},
booktitle = {Proceedings of the 14th International Conference on Software Engineering,
Melbourne, Australia, May 11-15, 1992},
pages = {246--259},
publisher = {{ACM} Press},
year = {1992},
url = {https://doi.org/10.1145/143062.143124},
doi = {10.1145/143062.143124},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/FernandezGMRRS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/GaravelS90,
author = {Hubert Garavel and
Joseph Sifakis},
editor = {Luigi Logrippo and
Robert L. Probert and
Hasan Ural},
title = {Compilation and verification of {LOTOS} specifications},
booktitle = {Protocol Specification, Testing and Verification X, Proceedings of
the {IFIP} {WG6.1} Tenth International Symposium on Protocol Specification,
Testing and Verification, Ottawa, Ontario, Canada, 12-15 June, 1990},
pages = {379--394},
publisher = {North-Holland},
year = {1990},
timestamp = {Thu, 03 Jan 2002 12:07:46 +0100},
biburl = {https://dblp.org/rec/conf/pstv/GaravelS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Garavel89,
author = {Hubert Garavel},
title = {Compilation et v{\'{e}}rification de programmes {LOTOS}},
school = {Joseph Fourier University, Grenoble, France},
year = {1989},
url = {https://tel.archives-ouvertes.fr/tel-00004339},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/hal/Garavel89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Garavel89,
author = {Hubert Garavel},
editor = {Son T. Vuong},
title = {Compilation of {LOTOS} Abstract Data Types},
booktitle = {Formal Description Techniques, II, Proceedings of the {IFIP} {TC/WG6.1}
Second International Conference on Formal Description Techniques for
Distributed Systems and Communication Protocols, FORTE'89, Vancouver,
BC, Canada, 5-8 December, 1989},
pages = {147--162},
publisher = {North-Holland},
year = {1989},
timestamp = {Thu, 03 Jan 2002 11:58:39 +0100},
biburl = {https://dblp.org/rec/conf/forte/Garavel89.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-04-11 20:13 CEST 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:
