BibTeX records: Laure Petrucci

download as .bib file

@article{DBLP:journals/fuin/BernardinelloKP24,
  author       = {Luca Bernardinello and
                  Jetty Kleijn and
                  Laure Petrucci},
  title        = {Preface},
  journal      = {Fundam. Informaticae},
  volume       = {190},
  number       = {2-4},
  year         = {2024},
  url          = {https://doi.org/10.3233/FI-242166},
  doi          = {10.3233/FI-242166},
  timestamp    = {Fri, 16 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fuin/BernardinelloKP24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2401-01884,
  author       = {Jaime Arias and
                  Kyungmin Bae and
                  Carlos Olarte and
                  Peter Csaba {\"{O}}lveczky and
                  Laure Petrucci},
  title        = {A rewriting-logic-with-SMT-based formal analysis and parameter synthesis
                  framework for parametric time Petri nets},
  journal      = {CoRR},
  volume       = {abs/2401.01884},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2401.01884},
  doi          = {10.48550/ARXIV.2401.01884},
  eprinttype    = {arXiv},
  eprint       = {2401.01884},
  timestamp    = {Tue, 23 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2401-01884.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2401-11287,
  author       = {Mikael Bisgaard Dahlsen{-}Jensen and
                  Baptiste Fievet and
                  Laure Petrucci and
                  Jaco van de Pol},
  title        = {On-The-Fly Algorithm for Reachability in Parametric Timed Games (Extended
                  Version)},
  journal      = {CoRR},
  volume       = {abs/2401.11287},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2401.11287},
  doi          = {10.48550/ARXIV.2401.11287},
  eprinttype    = {arXiv},
  eprint       = {2401.11287},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2401-11287.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/StrandKP23,
  author       = {Ruben Dobler Strand and
                  Lars Michael Kristensen and
                  Laure Petrucci},
  title        = {Development and Verification of a Microservice Architecture for a
                  Fire Risk Notification System},
  journal      = {Trans. Petri Nets Other Model. Concurr.},
  volume       = {17},
  pages        = {27--53},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-662-68191-6\_2},
  doi          = {10.1007/978-3-662-68191-6\_2},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/topnoc/StrandKP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/AriasBOOPR23,
  author       = {Jaime Arias and
                  Kyungmin Bae and
                  Carlos Olarte and
                  Peter Csaba {\"{O}}lveczky and
                  Laure Petrucci and
                  Fredrik R{\o}mming},
  editor       = {Lu{\'{\i}}s Gomes and
                  Robert Lorenz},
  title        = {Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using
                  Maude and {SMT} Solving},
  booktitle    = {Application and Theory of Petri Nets and Concurrency - 44th International
                  Conference, {PETRI} {NETS} 2023, Lisbon, Portugal, June 25-30, 2023,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13929},
  pages        = {369--392},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-33620-1\_20},
  doi          = {10.1007/978-3-031-33620-1\_20},
  timestamp    = {Fri, 02 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/AriasBOOPR23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/0001JPPS23,
  author       = {Jaime Arias and
                  Wojciech Jamroga and
                  Wojciech Penczek and
                  Laure Petrucci and
                  Teofil Sidoruk},
  editor       = {Noa Agmon and
                  Bo An and
                  Alessandro Ricci and
                  William Yeoh},
  title        = {Strategic (Timed) Computation Tree Logic},
  booktitle    = {Proceedings of the 2023 International Conference on Autonomous Agents
                  and Multiagent Systems, {AAMAS} 2023, London, United Kingdom, 29 May
                  2023 - 2 June 2023},
  pages        = {382--390},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://dl.acm.org/doi/10.5555/3545946.3598661},
  doi          = {10.5555/3545946.3598661},
  timestamp    = {Tue, 23 May 2023 14:27:14 +0200},
  biburl       = {https://dblp.org/rec/conf/atal/0001JPPS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/formats/2023,
  editor       = {Laure Petrucci and
                  Jeremy Sproston},
  title        = {Formal Modeling and Analysis of Timed Systems - 21st International
                  Conference, {FORMATS} 2023, Antwerp, Belgium, September 19-21, 2023,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14138},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-42626-1},
  doi          = {10.1007/978-3-031-42626-1},
  isbn         = {978-3-031-42625-4},
  timestamp    = {Tue, 05 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/formats/2023.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2302-13405,
  author       = {Jaime Arias and
                  Wojciech Jamroga and
                  Wojciech Penczek and
                  Laure Petrucci and
                  Teofil Sidoruk},
  title        = {Strategic (Timed) Computation Tree Logic},
  journal      = {CoRR},
  volume       = {abs/2302.13405},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2302.13405},
  doi          = {10.48550/ARXIV.2302.13405},
  eprinttype    = {arXiv},
  eprint       = {2302.13405},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2302-13405.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-08929,
  author       = {Jaime Arias and
                  Kyungmin Bae and
                  Carlos Olarte and
                  Peter Csaba {\"{O}}lveczky and
                  Laure Petrucci and
                  Fredrik R{\o}mming},
  title        = {Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using
                  Maude and {SMT} Solving},
  journal      = {CoRR},
  volume       = {abs/2303.08929},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2303.08929},
  doi          = {10.48550/ARXIV.2303.08929},
  eprinttype    = {arXiv},
  eprint       = {2303.08929},
  timestamp    = {Mon, 20 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2303-08929.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-04616,
  author       = {Jaime Arias and
                  Carlos Olarte and
                  Laure Petrucci and
                  Lukasz Masko and
                  Wojciech Penczek and
                  Teofil Sidoruk},
  title        = {Optimal Scheduling of Agents in ADTrees: Specialised Algorithm and
                  Declarative Models},
  journal      = {CoRR},
  volume       = {abs/2305.04616},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2305.04616},
  doi          = {10.48550/ARXIV.2305.04616},
  eprinttype    = {arXiv},
  eprint       = {2305.04616},
  timestamp    = {Fri, 12 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2305-04616.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/StrandKP22,
  author       = {Ruben Dobler Strand and
                  Lars Michael Kristensen and
                  Laure Petrucci},
  editor       = {Michael K{\"{o}}hler{-}Bussmeier and
                  Daniel Moldt and
                  Heiko R{\"{o}}lke},
  title        = {Formal Specification and Validation of a Data-driven Software System
                  for Fire Risk Prediction},
  booktitle    = {Petri Nets and Software Engineering 2022 co-located with the 43rd
                  International Conference on Application and Theory of Petri Nets and
                  Concurrency {(PETRI} {NETS} 2022), Bergen, Norway, June 20th, 2022},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3170},
  pages        = {1--20},
  publisher    = {CEUR-WS.org},
  year         = {2022},
  url          = {https://ceur-ws.org/Vol-3170/paper1.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:38 +0100},
  biburl       = {https://dblp.org/rec/conf/apn/StrandKP22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/AndreMPP22,
  author       = {{\'{E}}tienne Andr{\'{e}} and
                  Dylan Marinho and
                  Laure Petrucci and
                  Jaco van de Pol},
  editor       = {Sergiy Bogomolov and
                  David Parker},
  title        = {Efficient Convex Zone Merging in Parametric Timed Automata},
  booktitle    = {Formal Modeling and Analysis of Timed Systems - 20th International
                  Conference, {FORMATS} 2022, Warsaw, Poland, September 13-15, 2022,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13465},
  pages        = {200--218},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-15839-1\_12},
  doi          = {10.1007/978-3-031-15839-1\_12},
  timestamp    = {Mon, 24 Oct 2022 20:51:03 +0200},
  biburl       = {https://dblp.org/rec/conf/formats/AndreMPP22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/AriasBOOPR22,
  author       = {Jaime Arias and
                  Kyungmin Bae and
                  Carlos Olarte and
                  Peter Csaba {\"{O}}lveczky and
                  Laure Petrucci and
                  Fredrik R{\o}mming},
  editor       = {Cyrille Artho and
                  Peter Csaba {\"{O}}lveczky},
  title        = {Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed
                  Automata},
  booktitle    = {Proceedings of the 8th {ACM} {SIGPLAN} International Workshop on Formal
                  Techniques for Safety-Critical Systems, {FTSCS} 2022, Auckland, New
                  Zealand, 7 December 2022},
  pages        = {3--15},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3563822.3569923},
  doi          = {10.1145/3563822.3569923},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftscs/AriasBOOPR22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/AriasPMPS22,
  author       = {Jaime Arias and
                  Laure Petrucci and
                  Lukasz Masko and
                  Wojciech Penczek and
                  Teofil Sidoruk},
  title        = {Minimal Schedule with Minimal Number of Agents in Attack-Defence Trees},
  booktitle    = {26th International Conference on Engineering of Complex Computer Systems,
                  {ICECCS} 2022, Hiroshima, Japan, March 26-30, 2022},
  pages        = {1--10},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/ICECCS54210.2022.00009},
  doi          = {10.1109/ICECCS54210.2022.00009},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/AriasPMPS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/CotiPG22,
  author       = {Camille Coti and
                  Laure Petrucci and
                  Daniel Alberto Torres Gonz{\'{a}}lez},
  title        = {A Formal Model for Fault Tolerant Parallel Matrix Factorization},
  booktitle    = {26th International Conference on Engineering of Complex Computer Systems,
                  {ICECCS} 2022, Hiroshima, Japan, March 26-30, 2022},
  pages        = {62--70},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/ICECCS54210.2022.00016},
  doi          = {10.1109/ICECCS54210.2022.00016},
  timestamp    = {Thu, 12 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iceccs/CotiPG22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/EvangelistaPK22,
  author       = {Sami Evangelista and
                  Laure Petrucci and
                  Lars Michael Kristensen},
  title        = {Distributed Explicit State Space Exploration with State Reconstruction
                  for {RDMA} Networks},
  booktitle    = {26th International Conference on Engineering of Complex Computer Systems,
                  {ICECCS} 2022, Hiroshima, Japan, March 26-30, 2022},
  pages        = {107--116},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/ICECCS54210.2022.00021},
  doi          = {10.1109/ICECCS54210.2022.00021},
  timestamp    = {Thu, 12 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iceccs/EvangelistaPK22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/AriasKPP22,
  author       = {Jaime Arias and
                  Michal Knapik and
                  Wojciech Penczek and
                  Laure Petrucci},
  editor       = {Adri{\'{a}}n Riesco and
                  Min Zhang},
  title        = {Modular Analysis of Tree-Topology Models},
  booktitle    = {Formal Methods and Software Engineering - 23rd International Conference
                  on Formal Engineering Methods, {ICFEM} 2022, Madrid, Spain, October
                  24-27, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13478},
  pages        = {36--53},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-17244-1\_3},
  doi          = {10.1007/978-3-031-17244-1\_3},
  timestamp    = {Wed, 15 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/AriasKPP22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/2022,
  editor       = {Luca Bernardinello and
                  Laure Petrucci},
  title        = {Application and Theory of Petri Nets and Concurrency - 43rd International
                  Conference, {PETRI} {NETS} 2022, Bergen, Norway, June 19-24, 2022,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13288},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-06653-5},
  doi          = {10.1007/978-3-031-06653-5},
  isbn         = {978-3-031-06652-8},
  timestamp    = {Mon, 20 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/2022.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2212-04802,
  author       = {{\'{E}}tienne Andr{\'{e}} and
                  Dylan Marinho and
                  Laure Petrucci and
                  Jaco van de Pol},
  title        = {Efficient Convex Zone Merging in Parametric Timed Automata},
  journal      = {CoRR},
  volume       = {abs/2212.04802},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2212.04802},
  doi          = {10.48550/ARXIV.2212.04802},
  eprinttype    = {arXiv},
  eprint       = {2212.04802},
  timestamp    = {Mon, 02 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2212-04802.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/CotiPRS21,
  author       = {Camille Coti and
                  Laure Petrucci and
                  C{\'{e}}sar Rodr{\'{\i}}guez and
                  Marcelo Sousa},
  title        = {Quasi-optimal partial order reduction},
  journal      = {Formal Methods Syst. Des.},
  volume       = {57},
  number       = {1},
  pages        = {3--33},
  year         = {2021},
  url          = {https://doi.org/10.1007/s10703-020-00350-4},
  doi          = {10.1007/S10703-020-00350-4},
  timestamp    = {Thu, 29 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fmsd/CotiPRS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/AndreNPS21,
  author       = {{\'{E}}tienne Andr{\'{e}} and
                  Hoang Gia Nguyen and
                  Laure Petrucci and
                  Jun Sun},
  title        = {Distributed parametric model checking timed automata under non-Zenoness
                  assumption},
  journal      = {Formal Methods Syst. Des.},
  volume       = {59},
  number       = {1},
  pages        = {253--290},
  year         = {2021},
  url          = {https://doi.org/10.1007/s10703-022-00400-z},
  doi          = {10.1007/S10703-022-00400-Z},
  timestamp    = {Sun, 15 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/AndreNPS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/AriasPPS21,
  author       = {Jaime Arias and
                  Wojciech Penczek and
                  Laure Petrucci and
                  Teofil Sidoruk},
  editor       = {Frank Dignum and
                  Alessio Lomuscio and
                  Ulle Endriss and
                  Ann Now{\'{e}}},
  title        = {{ADT2AMAS:} Managing Agents in Attack-Defence Scenarios},
  booktitle    = {{AAMAS} '21: 20th International Conference on Autonomous Agents and
                  Multiagent Systems, Virtual Event, United Kingdom, May 3-7, 2021},
  pages        = {1749--1751},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://www.ifaamas.org/Proceedings/aamas2021/pdfs/p1749.pdf},
  doi          = {10.5555/3463952.3464225},
  timestamp    = {Wed, 15 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/atal/AriasPPS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/CotiPG21,
  author       = {Camille Coti and
                  Laure Petrucci and
                  Daniel Alberto Torres Gonz{\'{a}}lez},
  editor       = {Leonel Sousa and
                  Nuno Roma and
                  Pedro Tom{\'{a}}s},
  title        = {Fault-Tolerant {LU} Factorization Is Low Cost},
  booktitle    = {Euro-Par 2021: Parallel Processing - 27th International Conference
                  on Parallel and Distributed Computing, Lisbon, Portugal, September
                  1-3, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12820},
  pages        = {536--549},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-85665-6\_33},
  doi          = {10.1007/978-3-030-85665-6\_33},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/europar/CotiPG21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AndreAPP21,
  author       = {{\'{E}}tienne Andr{\'{e}} and
                  Jaime Arias and
                  Laure Petrucci and
                  Jaco van de Pol},
  editor       = {Jan Friso Groote and
                  Kim Guldstrand Larsen},
  title        = {Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric
                  Timed Automata},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 27th International Conference, {TACAS} 2021, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings,
                  Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12651},
  pages        = {311--329},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-72016-2\_17},
  doi          = {10.1007/978-3-030-72016-2\_17},
  timestamp    = {Wed, 15 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tacas/AndreAPP21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2101-06838,
  author       = {Jaime Arias and
                  Wojciech Penczek and
                  Laure Petrucci and
                  Teofil Sidoruk},
  title        = {Minimal Schedule with Minimal Number of Agents in Attack-Defence Trees},
  journal      = {CoRR},
  volume       = {abs/2101.06838},
  year         = {2021},
  url          = {https://arxiv.org/abs/2101.06838},
  eprinttype    = {arXiv},
  eprint       = {2101.06838},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2101-06838.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/AriasBPPSS20,
  author       = {Jaime Arias and
                  Carlos E. Budde and
                  Wojciech Penczek and
                  Laure Petrucci and
                  Teofil Sidoruk and
                  Mari{\"{e}}lle Stoelinga},
  editor       = {Shang{-}Wei Lin and
                  Zhe Hou and
                  Brendan P. Mahony},
  title        = {Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-agent
                  Systems},
  booktitle    = {Formal Methods and Software Engineering - 22nd International Conference
                  on Formal Engineering Methods, {ICFEM} 2020, Singapore, Singapore,
                  March 1-3, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12531},
  pages        = {3--19},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-63406-3\_1},
  doi          = {10.1007/978-3-030-63406-3\_1},
  timestamp    = {Wed, 15 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/AriasBPPSS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/PolP20,
  author       = {Jaco van de Pol and
                  Laure Petrucci},
  editor       = {Markus Roggenbach},
  title        = {On Completeness of Liveness Synthesis for Parametric Timed Automata
                  (Extended Abstract)},
  booktitle    = {Recent Trends in Algebraic Development Techniques - 25th International
                  Workshop, {WADT} 2020, Virtual Event, April 29, 2020, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {12669},
  pages        = {3--10},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-73785-6\_1},
  doi          = {10.1007/978-3-030-73785-6\_1},
  timestamp    = {Thu, 29 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/PolP20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-04739,
  author       = {Laure Petrucci and
                  Michal Knapik},
  title        = {Modular Analysis of Tree-Topology Models},
  journal      = {CoRR},
  volume       = {abs/2012.04739},
  year         = {2020},
  url          = {https://arxiv.org/abs/2012.04739},
  eprinttype    = {arXiv},
  eprint       = {2012.04739},
  timestamp    = {Sat, 02 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2012-04739.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/KnapikAPJP19,
  author       = {Michal Knapik and
                  {\'{E}}tienne Andr{\'{e}} and
                  Laure Petrucci and
                  Wojciech Jamroga and
                  Wojciech Penczek},
  title        = {Timed {ATL:} Forget Memory, Just Count},
  journal      = {J. Artif. Intell. Res.},
  volume       = {66},
  pages        = {197--223},
  year         = {2019},
  url          = {https://doi.org/10.1613/jair.1.11612},
  doi          = {10.1613/JAIR.1.11612},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jair/KnapikAPJP19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/AndreKLPP19,
  author       = {{\'{E}}tienne Andr{\'{e}} and
                  Michal Knapik and
                  Didier Lime and
                  Wojciech Penczek and
                  Laure Petrucci},
  title        = {Parametric Verification: An Introduction},
  journal      = {Trans. Petri Nets Other Model. Concurr.},
  volume       = {14},
  pages        = {64--100},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-662-60651-3\_3},
  doi          = {10.1007/978-3-662-60651-3\_3},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/topnoc/AndreKLPP19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/PetrucciKPS19,
  author       = {Laure Petrucci and
                  Michal Knapik and
                  Wojciech Penczek and
                  Teofil Sidoruk},
  editor       = {Jun Pang and
                  Jing Sun},
  title        = {Squeezing State Spaces of (Attack-Defence) Trees},
  booktitle    = {24th International Conference on Engineering of Complex Computer Systems,
                  {ICECCS} 2019, Guangzhou, China, November 10-13, 2019},
  pages        = {71--80},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ICECCS.2019.00015},
  doi          = {10.1109/ICECCS.2019.00015},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iceccs/PetrucciKPS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AndreBPP19,
  author       = {{\'{E}}tienne Andr{\'{e}} and
                  Vincent Bloemen and
                  Laure Petrucci and
                  Jaco van de Pol},
  editor       = {Tom{\'{a}}s Vojnar and
                  Lijun Zhang},
  title        = {Minimal-Time Synthesis for Parametric Timed Automata},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 25th International Conference, {TACAS} 2019, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part
                  {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {11428},
  pages        = {211--228},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-17465-1\_12},
  doi          = {10.1007/978-3-030-17465-1\_12},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/AndreBPP19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-03013,
  author       = {{\'{E}}tienne Andr{\'{e}} and
                  Vincent Bloemen and
                  Laure Petrucci and
                  Jaco van de Pol},
  title        = {Minimal-Time Synthesis for Parametric Timed Automata},
  journal      = {CoRR},
  volume       = {abs/1902.03013},
  year         = {2019},
  url          = {http://arxiv.org/abs/1902.03013},
  eprinttype    = {arXiv},
  eprint       = {1902.03013},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1902-03013.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-05283,
  author       = {Jaime Arias and
                  Carlos E. Budde and
                  Wojciech Penczek and
                  Laure Petrucci and
                  Mari{\"{e}}lle Stoelinga},
  title        = {Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-Agent
                  Systems},
  journal      = {CoRR},
  volume       = {abs/1906.05283},
  year         = {2019},
  url          = {http://arxiv.org/abs/1906.05283},
  eprinttype    = {arXiv},
  eprint       = {1906.05283},
  timestamp    = {Wed, 15 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1906-05283.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-00555,
  author       = {{\'{E}}tienne Andr{\'{e}} and
                  Michal Knapik and
                  Didier Lime and
                  Wojciech Penczek and
                  Laure Petrucci},
  title        = {Parametric Verification: An Introduction},
  journal      = {CoRR},
  volume       = {abs/1907.00555},
  year         = {2019},
  url          = {http://arxiv.org/abs/1907.00555},
  eprinttype    = {arXiv},
  eprint       = {1907.00555},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1907-00555.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/emisaij/ChoppyDP18,
  author       = {Christine Choppy and
                  J{\"{o}}rg Desel and
                  Laure Petrucci},
  title        = {Specialisation and Generalisation of Processes},
  journal      = {Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model.},
  volume       = {13},
  number       = {Special},
  pages        = {35--46},
  year         = {2018},
  url          = {https://doi.org/10.18417/emisa.si.hcm.3},
  doi          = {10.18417/EMISA.SI.HCM.3},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/emisaij/ChoppyDP18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/NguyenRSCP18,
  author       = {Huyen T. T. Nguyen and
                  C{\'{e}}sar Rodr{\'{\i}}guez and
                  Marcelo Sousa and
                  Camille Coti and
                  Laure Petrucci},
  editor       = {Hana Chockler and
                  Georg Weissenbacher},
  title        = {Quasi-Optimal Partial Order Reduction},
  booktitle    = {Computer Aided Verification - 30th International Conference, {CAV}
                  2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
                  UK, July 14-17, 2018, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10982},
  pages        = {354--371},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-96142-2\_22},
  doi          = {10.1007/978-3-319-96142-2\_22},
  timestamp    = {Fri, 09 Apr 2021 18:35:26 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/NguyenRSCP18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/CotiEP18,
  author       = {Camille Coti and
                  Sami Evangelista and
                  Laure Petrucci},
  editor       = {Marco Aldinucci and
                  Luca Padovani and
                  Massimo Torquati},
  title        = {One-Sided Communications for More Efficient Parallel State Space Exploration
                  over {RDMA} Clusters},
  booktitle    = {Euro-Par 2018: Parallel Processing - 24th International Conference
                  on Parallel and Distributed Computing, Turin, Italy, August 27-31,
                  2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11014},
  pages        = {432--446},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-96983-1\_31},
  doi          = {10.1007/978-3-319-96983-1\_31},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/europar/CotiEP18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/PetrucciP18,
  author       = {Laure Petrucci and
                  Jaco van de Pol},
  editor       = {Christel Baier and
                  Lu{\'{\i}}s Caires},
  title        = {Parameter Synthesis Algorithms for Parametric Interval Markov Chains},
  booktitle    = {Formal Techniques for Distributed Objects, Components, and Systems
                  - 38th {IFIP} {WG} 6.1 International Conference, {FORTE} 2018, Held
                  as Part of the 13th International Federated Conference on Distributed
                  Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10854},
  pages        = {121--140},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-92612-4\_7},
  doi          = {10.1007/978-3-319-92612-4\_7},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/PetrucciP18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/NguyenPP18,
  author       = {Hoang Gia Nguyen and
                  Laure Petrucci and
                  Jaco van de Pol},
  title        = {Layered and Collecting {NDFS} with Subsumption for Parametric Timed
                  Automata},
  booktitle    = {23rd International Conference on Engineering of Complex Computer Systems,
                  {ICECCS} 2018, Melbourne, Australia, December 12-14, 2018},
  pages        = {1--9},
  publisher    = {{IEEE} Computer Society},
  year         = {2018},
  url          = {https://doi.org/10.1109/ICECCS2018.2018.00009},
  doi          = {10.1109/ICECCS2018.2018.00009},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/NguyenPP18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/CotiEP18,
  author       = {Camille Coti and
                  Sami Evangelista and
                  Laure Petrucci},
  title        = {State Compression Based on One-Sided Communications for Distributed
                  Model Checking},
  booktitle    = {23rd International Conference on Engineering of Complex Computer Systems,
                  {ICECCS} 2018, Melbourne, Australia, December 12-14, 2018},
  pages        = {41--50},
  publisher    = {{IEEE} Computer Society},
  year         = {2018},
  url          = {https://doi.org/10.1109/ICECCS2018.2018.00013},
  doi          = {10.1109/ICECCS2018.2018.00013},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/CotiEP18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/18/BarnatBDLPPR18,
  author       = {Jiri Barnat and
                  Vincent Bloemen and
                  Alexandre Duret{-}Lutz and
                  Alfons Laarman and
                  Laure Petrucci and
                  Jaco van de Pol and
                  Etienne Renault},
  editor       = {Youssef Hamadi and
                  Lakhdar Sais},
  title        = {Parallel Model Checking Algorithms for Linear-Time Temporal Logic},
  booktitle    = {Handbook of Parallel Constraint Reasoning},
  pages        = {457--507},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-63516-3\_12},
  doi          = {10.1007/978-3-319-63516-3\_12},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/sp/18/BarnatBDLPPR18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-03950,
  author       = {Huyen T. T. Nguyen and
                  C{\'{e}}sar Rodr{\'{\i}}guez and
                  Marcelo Sousa and
                  Camille Coti and
                  Laure Petrucci},
  title        = {Quasi-Optimal Partial Order Reduction},
  journal      = {CoRR},
  volume       = {abs/1802.03950},
  year         = {2018},
  url          = {http://arxiv.org/abs/1802.03950},
  eprinttype    = {arXiv},
  eprint       = {1802.03950},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1802-03950.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/AndrePJKP17,
  author       = {{\'{E}}tienne Andr{\'{e}} and
                  Laure Petrucci and
                  Wojciech Jamroga and
                  Michal Knapik and
                  Wojciech Penczek},
  editor       = {Kate Larson and
                  Michael Winikoff and
                  Sanmay Das and
                  Edmund H. Durfee},
  title        = {Timed {ATL:} Forget Memory, Just Count},
  booktitle    = {Proceedings of the 16th Conference on Autonomous Agents and MultiAgent
                  Systems, {AAMAS} 2017, S{\~{a}}o Paulo, Brazil, May 8-12, 2017},
  pages        = {1460--1462},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {http://dl.acm.org/citation.cfm?id=3091329},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atal/AndrePJKP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/AndreNP17,
  author       = {{\'{E}}tienne Andr{\'{e}} and
                  Hoang Gia Nguyen and
                  Laure Petrucci},
  title        = {Efficient Parameter Synthesis Using Optimized State Exploration Strategies},
  booktitle    = {22nd International Conference on Engineering of Complex Computer Systems,
                  {ICECCS} 2017, Fukuoka, Japan, November 5-8, 2017},
  pages        = {1--10},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ICECCS.2017.28},
  doi          = {10.1109/ICECCS.2017.28},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/AndreNP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/AndreNP017,
  author       = {{\'{E}}tienne Andr{\'{e}} and
                  Hoang Gia Nguyen and
                  Laure Petrucci and
                  Jun Sun},
  editor       = {Clark W. Barrett and
                  Misty D. Davies and
                  Temesghen Kahsai},
  title        = {Parametric Model Checking Timed Automata Under Non-Zenoness Assumption},
  booktitle    = {{NASA} Formal Methods - 9th International Symposium, {NFM} 2017, Moffett
                  Field, CA, USA, May 16-18, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10227},
  pages        = {35--51},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-57288-8\_3},
  doi          = {10.1007/978-3-319-57288-8\_3},
  timestamp    = {Sat, 19 Aug 2023 09:51:51 +0200},
  biburl       = {https://dblp.org/rec/conf/nfm/AndreNP017.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmics/2017,
  editor       = {Laure Petrucci and
                  Cristina Seceleanu and
                  Ana Cavalcanti},
  title        = {Critical Systems: Formal Methods and Automated Verification - Joint
                  22nd International Workshop on Formal Methods for Industrial Critical
                  Systems - and - 17th International Workshop on Automated Verification
                  of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20,
                  2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10471},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-67113-0},
  doi          = {10.1007/978-3-319-67113-0},
  isbn         = {978-3-319-67112-3},
  timestamp    = {Mon, 21 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fmics/2017.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/AndreKPP16,
  author       = {{\'{E}}tienne Andr{\'{e}} and
                  Michal Knapik and
                  Wojciech Penczek and
                  Laure Petrucci},
  editor       = {J{\"{o}}rg Desel and
                  Alex Yakovlev},
  title        = {Controlling Actions and Time in Parametric Timed Automata},
  booktitle    = {16th International Conference on Application of Concurrency to System
                  Design, {ACSD} 2016, Torun, Poland, June 19-24, 2016},
  pages        = {45--54},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/ACSD.2016.20},
  doi          = {10.1109/ACSD.2016.20},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/AndreKPP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/CotiLP16,
  author       = {Camille Coti and
                  Charles Lakos and
                  Laure Petrucci},
  editor       = {Lawrence Cabac and
                  Lars Michael Kristensen and
                  Heiko R{\"{o}}lke},
  title        = {Formally Proving and Enhancing a Self-Stabilising Distributed Algorithm},
  booktitle    = {Proceedings of the International Workshop on Petri Nets and Software
                  Engineering 2016, including the International Workshop on Biological
                  Processes {\&} Petri Nets 2016 co-located with the 37th International
                  Conference on Application and Theory of Petri Nets and Concurrency
                  Petri Nets 2016 and the 16th International Conference on Application
                  of Concurrency to System Design {ACSD} 2016, Toru{\'{n}}, Poland,
                  June 20-21, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1591},
  pages        = {255--274},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {https://ceur-ws.org/Vol-1591/paper17.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:38 +0100},
  biburl       = {https://dblp.org/rec/conf/apn/CotiLP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/LeBQP16,
  author       = {Khanh Le and
                  Thang H. Bui and
                  Tho Quan and
                  Laure Petrucci},
  editor       = {Lawrence Cabac and
                  Lars Michael Kristensen and
                  Heiko R{\"{o}}lke},
  title        = {A Framework for Fast Congestion Detection in Wireless Sensor Networks
                  Using Clustering and Petri-Net-based Verification},
  booktitle    = {Proceedings of the International Workshop on Petri Nets and Software
                  Engineering 2016, including the International Workshop on Biological
                  Processes {\&} Petri Nets 2016 co-located with the 37th International
                  Conference on Application and Theory of Petri Nets and Concurrency
                  Petri Nets 2016 and the 16th International Conference on Application
                  of Concurrency to System Design {ACSD} 2016, Toru{\'{n}}, Poland,
                  June 20-21, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1591},
  pages        = {329--334},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {https://ceur-ws.org/Vol-1591/paper21.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/apn/LeBQP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/DelahayeLP16,
  author       = {Beno{\^{\i}}t Delahaye and
                  Didier Lime and
                  Laure Petrucci},
  editor       = {Barbara Jobstmann and
                  K. Rustan M. Leino},
  title        = {Parameter Synthesis for Parametric Interval Markov Chains},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation - 17th International
                  Conference, {VMCAI} 2016, St. Petersburg, FL, USA, January 17-19,
                  2016. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9583},
  pages        = {372--390},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-662-49122-5\_18},
  doi          = {10.1007/978-3-662-49122-5\_18},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vmcai/DelahayeLP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CotiLP16,
  author       = {Camille Coti and
                  Charles Lakos and
                  Laure Petrucci},
  title        = {Formally Proving and Enhancing a Self-Stabilising Distributed Algorithm},
  journal      = {CoRR},
  volume       = {abs/1601.03767},
  year         = {2016},
  url          = {http://arxiv.org/abs/1601.03767},
  eprinttype    = {arXiv},
  eprint       = {1601.03767},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/CotiLP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/AndreP15,
  author       = {{\'{E}}tienne Andr{\'{e}} and
                  Laure Petrucci},
  editor       = {Daniel Moldt and
                  Heiko R{\"{o}}lke and
                  Harald St{\"{o}}rrle},
  title        = {Unifying Patterns for Modelling Timed Relationships in Systems and
                  Properties},
  booktitle    = {Proceedings of the International Workshop on Petri Nets and Software
                  Engineering (PNSE'15), including the International Workshop on Petri
                  Nets for Adaptive Discrete Event Control Systems {(ADECS} 2015) {A}
                  satellite event of the conferences: 36th International Conference
                  on Application and Theory of Petri Nets and Concurrency Petri Nets
                  2015 and 15th International Conference on Application of Concurrency
                  to System Design {ACSD} 2015, Brussels, Belgium, June 22-23, 2015},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1372},
  pages        = {25--40},
  publisher    = {CEUR-WS.org},
  year         = {2015},
  url          = {https://ceur-ws.org/Vol-1372/paper2.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:38 +0100},
  biburl       = {https://dblp.org/rec/conf/apn/AndreP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ithet/AndreP15,
  author       = {{\'{E}}tienne Andr{\'{e}} and
                  Laure Petrucci},
  title        = {Decrypting cryptography},
  booktitle    = {2015 International Conference on Information Technology Based Higher
                  Education and Training, {ITHET} 2015, Lisbon, Portugal, June 11-13,
                  2015},
  pages        = {1--5},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/ITHET.2015.7218013},
  doi          = {10.1109/ITHET.2015.7218013},
  timestamp    = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl       = {https://dblp.org/rec/conf/ithet/AndreP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soict/LeBQPA15,
  author       = {Khanh Le and
                  Thang H. Bui and
                  Tho Quan and
                  Laure Petrucci and
                  {\'{E}}tienne Andr{\'{e}}},
  editor       = {Huynh Quyet Thang and
                  Le Anh Phuong and
                  Luc De Raedt and
                  Yves Deville and
                  Marc Bui and
                  Truong Thi Dieu Linh and
                  Thi{-}Oanh Nguyen and
                  Dinh Viet Sang and
                  Nguyen Ba Ngoc},
  title        = {Component-Based Abstraction of Petri Net Models: An Application for
                  Congestion Verification of Wireless Sensor Networks},
  booktitle    = {Proceedings of the Sixth International Symposium on Information and
                  Communication Technology, Hue City, Vietnam, December 3-4, 2015},
  pages        = {342--349},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2833258.2833298},
  doi          = {10.1145/2833258.2833298},
  timestamp    = {Mon, 16 Jan 2023 17:00:33 +0100},
  biburl       = {https://dblp.org/rec/conf/soict/LeBQPA15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/LeNNMPQAPL14,
  author       = {Dinh{-}Thuan Le and
                  Huu{-}Vu Nguyen and
                  Van{-}Tinh Nguyen and
                  Phuong{-}Nam Mai and
                  Bao{-}Trung Pham{-}Duy and
                  Thanh{-}Tho Quan and
                  {\'{E}}tienne Andr{\'{e}} and
                  Laure Petrucci and
                  Yang Liu},
  editor       = {Franck Cassez and
                  Jean{-}Fran{\c{c}}ois Raskin},
  title        = {PeCAn: Compositional Verification of Petri Nets Made Easy},
  booktitle    = {Automated Technology for Verification and Analysis - 12th International
                  Symposium, {ATVA} 2014, Sydney, NSW, Australia, November 3-7, 2014,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8837},
  pages        = {242--247},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11936-6\_18},
  doi          = {10.1007/978-3-319-11936-6\_18},
  timestamp    = {Mon, 15 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/LeNNMPQAPL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ithet/Genon-CatalotPT14,
  author       = {Denis Genon{-}Catalot and
                  Laure Petrucci and
                  Michel Tabouret},
  title        = {Nationwide industrial cooperation for long-life learning and apprenticeships},
  booktitle    = {2014 Information Technology Based Higher Education and Training, {ITHET}
                  2014, York, United Kingdom, September 11-13, 2014},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/ITHET.2014.7155711},
  doi          = {10.1109/ITHET.2014.7155711},
  timestamp    = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl       = {https://dblp.org/rec/conf/ithet/Genon-CatalotPT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ithet/ViennetP14,
  author       = {Emmanuel Viennet and
                  Laure Petrucci},
  title        = {Monitoring students performances in French Institutes of Technology
                  using the ScoDoc software},
  booktitle    = {2014 Information Technology Based Higher Education and Training, {ITHET}
                  2014, York, United Kingdom, September 11-13, 2014},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/ITHET.2014.7155707},
  doi          = {10.1109/ITHET.2014.7155707},
  timestamp    = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ithet/ViennetP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/LinP14,
  editor       = {Shang{-}Wei Lin and
                  Laure Petrucci},
  title        = {Proceedings 2nd French Singaporean Workshop on Formal Methods and
                  Applications, {FSFMA} 2014, Singapore, 13th May 2014},
  series       = {{EPTCS}},
  volume       = {156},
  year         = {2014},
  url          = {https://doi.org/10.4204/EPTCS.156},
  doi          = {10.4204/EPTCS.156},
  timestamp    = {Fri, 19 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/LinP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/KristensenPP13,
  author       = {Lars Michael Kristensen and
                  Wojciech Penczek and
                  Laure Petrucci},
  title        = {Preface},
  journal      = {Fundam. Informaticae},
  volume       = {122},
  number       = {1-2},
  year         = {2013},
  url          = {https://doi.org/10.3233/FI-2013-780},
  doi          = {10.3233/FI-2013-780},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/KristensenPP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/DedovaP13,
  author       = {Anna Dedova and
                  Laure Petrucci},
  title        = {From Code to Coloured Petri Nets: Modelling Guidelines},
  journal      = {Trans. Petri Nets Other Model. Concurr.},
  volume       = {8},
  pages        = {71--88},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40465-8\_4},
  doi          = {10.1007/978-3-642-40465-8\_4},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/topnoc/DedovaP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/ChoppyPS13,
  author       = {Christine Choppy and
                  Laure Petrucci and
                  Alfred Sanogo},
  editor       = {Daniel Moldt},
  title        = {Coloured Petri Nets Refinements},
  booktitle    = {Joint Proceedings of the International Workshop on Petri Nets and
                  Software Engineering (PNSE'13) and the International Workshop on Modeling
                  and Business Environments (ModBE'13), Milano, Italy, June 24 - 25,
                  2013},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {989},
  pages        = {187--201},
  publisher    = {CEUR-WS.org},
  year         = {2013},
  url          = {https://ceur-ws.org/Vol-989/paper11.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:38 +0100},
  biburl       = {https://dblp.org/rec/conf/apn/ChoppyPS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/EvangelistaKP13,
  author       = {Sami Evangelista and
                  Lars Michael Kristensen and
                  Laure Petrucci},
  editor       = {Dang Van Hung and
                  Mizuhito Ogawa},
  title        = {Multi-threaded Explicit State Space Exploration with State Reconstruction},
  booktitle    = {Automated Technology for Verification and Analysis - 11th International
                  Symposium, {ATVA} 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8172},
  pages        = {208--223},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-319-02444-8\_16},
  doi          = {10.1007/978-3-319-02444-8\_16},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/EvangelistaKP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/AndrePP13,
  author       = {{\'{E}}tienne Andr{\'{e}} and
                  Giuseppe Pellegrino and
                  Laure Petrucci},
  editor       = {V{\'{\i}}ctor A. Braberman and
                  Laurent Fribourg},
  title        = {Precise Robustness Analysis of Time Petri Nets with Inhibitor Arcs},
  booktitle    = {Formal Modeling and Analysis of Timed Systems - 11th International
                  Conference, {FORMATS} 2013, Buenos Aires, Argentina, August 29-31,
                  2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8053},
  pages        = {1--15},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40229-6\_1},
  doi          = {10.1007/978-3-642-40229-6\_1},
  timestamp    = {Tue, 14 May 2019 10:00:38 +0200},
  biburl       = {https://dblp.org/rec/conf/formats/AndrePP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/AndreLPHLHK13,
  author       = {{\'{E}}tienne Andr{\'{e}} and
                  Yousra Lembachar and
                  Laure Petrucci and
                  Francis Hulin{-}Hubard and
                  Alban Linard and
                  Lom Hillah and
                  Fabrice Kordon},
  title        = {CosyVerif: An Open Source Extensible Verification Environment},
  booktitle    = {2013 18th International Conference on Engineering of Complex Computer
                  Systems, Singapore, July 17-19, 2013},
  pages        = {33--36},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/ICECCS.2013.15},
  doi          = {10.1109/ICECCS.2013.15},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/AndreLPHLHK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/AndreBDHHKLP13,
  author       = {{\'{E}}tienne Andr{\'{e}} and
                  Beno{\^{\i}}t Barbot and
                  Clement Demoulins and
                  Lom{-}Messan Hillah and
                  Francis Hulin{-}Hubard and
                  Fabrice Kordon and
                  Alban Linard and
                  Laure Petrucci},
  editor       = {Lindsay Groves and
                  Jing Sun},
  title        = {A Modular Approach for Reusing Formalisms in Verification Tools of
                  Concurrent Systems},
  booktitle    = {Formal Methods and Software Engineering - 15th International Conference
                  on Formal Engineering Methods, {ICFEM} 2013, Queenstown, New Zealand,
                  October 29 - November 1, 2013, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8144},
  pages        = {199--214},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-41202-8\_14},
  doi          = {10.1007/978-3-642-41202-8\_14},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/AndreBDHHKLP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/KlaiAP13,
  author       = {Kais Klai and
                  Naim Aber and
                  Laure Petrucci},
  editor       = {Parosh Aziz Abdulla and
                  Igor Potapov},
  title        = {Verification of Reachability Properties for Time Petri Nets},
  booktitle    = {Reachability Problems - 7th International Workshop, {RP} 2013, Uppsala,
                  Sweden, September 24-26, 2013 Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8169},
  pages        = {159--170},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-41036-9\_15},
  doi          = {10.1007/978-3-642-41036-9\_15},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/rp/KlaiAP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/KlaiAP13,
  author       = {Kais Klai and
                  Naim Aber and
                  Laure Petrucci},
  editor       = {C{\'{e}}sar S{\'{a}}nchez and
                  Kristen Brent Venable and
                  Esteban Zim{\'{a}}nyi},
  title        = {A New Approach to Abstract Reachability State Space of Time Petri
                  Nets},
  booktitle    = {2013 20th International Symposium on Temporal Representation and Reasoning,
                  Pensacola, FL, USA, September 26-28, 2013},
  pages        = {117--124},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/TIME.2013.22},
  doi          = {10.1109/TIME.2013.22},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/time/KlaiAP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijccbs/BoukalaP12,
  author       = {Mohand Cherif Boukala and
                  Laure Petrucci},
  title        = {Distributed model-checking and counterexample search for {CTL} logic},
  journal      = {Int. J. Crit. Comput. Based Syst.},
  volume       = {3},
  number       = {1/2},
  pages        = {44--59},
  year         = {2012},
  url          = {https://doi.org/10.1504/IJCCBS.2012.045076},
  doi          = {10.1504/IJCCBS.2012.045076},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijccbs/BoukalaP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/HillahKLP12,
  author       = {Lom{-}Messan Hillah and
                  Fabrice Kordon and
                  Charles Lakos and
                  Laure Petrucci},
  title        = {Extending pnml Scope: {A} Framework to Combine Petri Nets Types},
  journal      = {Trans. Petri Nets Other Model. Concurr.},
  volume       = {6},
  pages        = {46--70},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-35179-2\_3},
  doi          = {10.1007/978-3-642-35179-2\_3},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/topnoc/HillahKLP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/ChoppyDEKPY12,
  author       = {Christine Choppy and
                  Anna Dedova and
                  Sami Evangelista and
                  Kais Klai and
                  Laure Petrucci and
                  Samir Youcef},
  title        = {Modelling and Formal Verification of the {NEO} Protocol},
  journal      = {Trans. Petri Nets Other Model. Concurr.},
  volume       = {6},
  pages        = {197--225},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-35179-2\_9},
  doi          = {10.1007/978-3-642-35179-2\_9},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/topnoc/ChoppyDEKPY12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/DedovaP12,
  author       = {Anna Dedova and
                  Laure Petrucci},
  editor       = {Lawrence Cabac and
                  Michael Duvigneau and
                  Daniel Moldt},
  title        = {From Code to Coloured Petri Nets: Modelling Guidelines},
  booktitle    = {Proceedings of the International Workshop on Petri Nets and Software
                  Engineering, Hamburg, Germany, June 25-26, 2012},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {851},
  pages        = {109--124},
  publisher    = {CEUR-WS.org},
  year         = {2012},
  url          = {https://ceur-ws.org/Vol-851/paper8.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:38 +0100},
  biburl       = {https://dblp.org/rec/conf/apn/DedovaP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/EvangelistaLPP12,
  author       = {Sami Evangelista and
                  Alfons Laarman and
                  Laure Petrucci and
                  Jaco van de Pol},
  editor       = {Supratik Chakraborty and
                  Madhavan Mukund},
  title        = {Improved Multi-Core Nested Depth-First Search},
  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        = {269--283},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33386-6\_22},
  doi          = {10.1007/978-3-642-33386-6\_22},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/atva/EvangelistaLPP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/monterey/AndreKOP12,
  author       = {{\'{E}}tienne Andr{\'{e}} and
                  Kais Klai and
                  Hanen Ochi and
                  Laure Petrucci},
  editor       = {Radu Calinescu and
                  David Garlan},
  title        = {A Counterexample-Based Incremental and Modular Verification Approach},
  booktitle    = {Large-Scale Complex {IT} Systems. Development, Operation and Management
                  - 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7539},
  pages        = {283--302},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-34059-8\_15},
  doi          = {10.1007/978-3-642-34059-8\_15},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/monterey/AndreKOP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/HillahKLP11,
  author       = {Lom{-}Messan Hillah and
                  Fabrice Kordon and
                  Charles Lakos and
                  Laure Petrucci},
  editor       = {Michael Duvigneau and
                  Daniel Moldt and
                  Kunihiko Hiraishi},
  title        = {Extending {PNML} Scope: the Prioritised Petri Nets Experience},
  booktitle    = {Proceedings of the International Workshop on Petri Nets and Software
                  Engineering, Newcastle upon Tyne, UK, June 20-21, 2011},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {723},
  pages        = {92--106},
  publisher    = {CEUR-WS.org},
  year         = {2011},
  url          = {https://ceur-ws.org/Vol-723/paper7.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:38 +0100},
  biburl       = {https://dblp.org/rec/conf/apn/HillahKLP11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/ChoppyDP11,
  author       = {Christine Choppy and
                  J{\"{o}}rg Desel and
                  Laure Petrucci},
  editor       = {Michael Duvigneau and
                  Daniel Moldt and
                  Kunihiko Hiraishi},
  title        = {Specialisation and Generalisation of Processes},
  booktitle    = {Proceedings of the International Workshop on Petri Nets and Software
                  Engineering, Newcastle upon Tyne, UK, June 20-21, 2011},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {723},
  pages        = {109--123},
  publisher    = {CEUR-WS.org},
  year         = {2011},
  url          = {https://ceur-ws.org/Vol-723/paper8.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/apn/ChoppyDP11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/EvangelistaPY11,
  author       = {Sami Evangelista and
                  Laure Petrucci and
                  Samir Youcef},
  editor       = {Tevfik Bultan and
                  Pao{-}Ann Hsiung},
  title        = {Parallel Nested Depth-First Searches for {LTL} Model Checking},
  booktitle    = {Automated Technology for Verification and Analysis, 9th International
                  Symposium, {ATVA} 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6996},
  pages        = {381--396},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-24372-1\_27},
  doi          = {10.1007/978-3-642-24372-1\_27},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/EvangelistaPY11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/2011,
  editor       = {Lars Michael Kristensen and
                  Laure Petrucci},
  title        = {Applications and Theory of Petri Nets - 32nd International Conference,
                  {PETRI} {NETS} 2011, Newcastle, UK, June 20-24, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6709},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-21834-7},
  doi          = {10.1007/978-3-642-21834-7},
  isbn         = {978-3-642-21833-0},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/2011.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/ChoppyMP10,
  author       = {Christine Choppy and
                  Micaela Mayero and
                  Laure Petrucci},
  title        = {Coloured Petri net refinement specification and correctness proof
                  with Coq},
  journal      = {Innov. Syst. Softw. Eng.},
  volume       = {6},
  number       = {3},
  pages        = {195--202},
  year         = {2010},
  url          = {https://doi.org/10.1007/s11334-010-0131-2},
  doi          = {10.1007/S11334-010-0131-2},
  timestamp    = {Thu, 13 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/isse/ChoppyMP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/ChoppyDEHKP10,
  author       = {Christine Choppy and
                  Anna Dedova and
                  Sami Evangelista and
                  Silien Hong and
                  Kais Klai and
                  Laure Petrucci},
  editor       = {Johan Lilius and
                  Wojciech Penczek},
  title        = {The {NEO} Protocol for Large-Scale Distributed Database Systems: Modelling
                  and Initial Verification},
  booktitle    = {Applications and Theory of Petri Nets, 31st International Conference,
                  {PETRI} {NETS} 2010, Braga, Portugal, June 21-25, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6128},
  pages        = {145--164},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-13675-7\_10},
  doi          = {10.1007/978-3-642-13675-7\_10},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/ChoppyDEHKP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/HillahKPT10,
  author       = {Lom{-}Messan Hillah and
                  Fabrice Kordon and
                  Laure Petrucci and
                  Nicolas Tr{\`{e}}ves},
  editor       = {Johan Lilius and
                  Wojciech Penczek},
  title        = {{PNML} Framework: An Extendable Reference Implementation of the Petri
                  Net Markup Language},
  booktitle    = {Applications and Theory of Petri Nets, 31st International Conference,
                  {PETRI} {NETS} 2010, Braga, Portugal, June 21-25, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6128},
  pages        = {318--327},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-13675-7\_20},
  doi          = {10.1007/978-3-642-13675-7\_20},
  timestamp    = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/HillahKPT10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/monterey/LakosP10,
  author       = {Charles Lakos and
                  Laure Petrucci},
  editor       = {Radu Calinescu and
                  Ethan K. Jackson},
  title        = {Modular State Spaces for Prioritised Petri Nets},
  booktitle    = {Foundations of Computer Software. Modeling, Development, and Verification
                  of Adaptive Systems - 16th Monterey Workshop 2010, Redmond, WA, USA,
                  March 31- April 2, 2010, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6662},
  pages        = {136--156},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-21292-5\_8},
  doi          = {10.1007/978-3-642-21292-5\_8},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/monterey/LakosP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/HaddadKPPT09,
  author       = {Serge Haddad and
                  Fabrice Kordon and
                  Laure Petrucci and
                  Jean{-}Fran{\c{c}}ois Pradat{-}Peyre and
                  Nicolas Tr{\`{e}}ves},
  title        = {Efficient state-based analysis by introducing bags in Petri nets color
                  domains},
  booktitle    = {American Control Conference, {ACC} 2009. St. Louis, Missouri, USA,
                  June 10-12, 2009},
  pages        = {5018--5025},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://doi.org/10.1109/ACC.2009.5160020},
  doi          = {10.1109/ACC.2009.5160020},
  timestamp    = {Fri, 03 Dec 2021 13:02:58 +0100},
  biburl       = {https://dblp.org/rec/conf/amcc/HaddadKPPT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/KindlerP09,
  author       = {Ekkart Kindler and
                  Laure Petrucci},
  editor       = {Giuliana Franceschinis and
                  Karsten Wolf},
  title        = {Towards a Standard for Modular Petri Nets: {A} Formalisation},
  booktitle    = {Applications and Theory of Petri Nets, 30th International Conference,
                  {PETRI} {NETS} 2009, Paris, France, June 22-26, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5606},
  pages        = {43--62},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02424-5\_5},
  doi          = {10.1007/978-3-642-02424-5\_5},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/KindlerP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/ChoppyMP09,
  author       = {Christine Choppy and
                  Micaela Mayero and
                  Laure Petrucci},
  editor       = {Ewen Denney and
                  Dimitra Giannakopoulou and
                  Corina S. Pasareanu},
  title        = {Coloured Petri net refinement specification, and correctness proof
                  with Coq},
  booktitle    = {First {NASA} Formal Methods Symposium - {NFM} 2009, Moffett Field,
                  California, USA, April 6-8, 2009},
  series       = {{NASA} Conference Proceedings},
  volume       = {{NASA/CP-2009-215407}},
  pages        = {156--165},
  year         = {2009},
  timestamp    = {Tue, 17 Jul 2012 14:23:04 +0200},
  biburl       = {https://dblp.org/rec/conf/nfm/ChoppyMP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BardinFLP08,
  author       = {S{\'{e}}bastien Bardin and
                  Alain Finkel and
                  J{\'{e}}r{\^{o}}me Leroux and
                  Laure Petrucci},
  title        = {{FAST:} acceleration from theory to practice},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {10},
  number       = {5},
  pages        = {401--424},
  year         = {2008},
  url          = {https://doi.org/10.1007/s10009-008-0064-3},
  doi          = {10.1007/S10009-008-0064-3},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sttt/BardinFLP08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/KlaiP08,
  author       = {Kais Klai and
                  Laure Petrucci},
  editor       = {Jonathan Billington and
                  Zhenhua Duan and
                  Maciej Koutny},
  title        = {Modular construction of the symbolic observation graph},
  booktitle    = {8th International Conference on Application of Concurrency to System
                  Design {(ACSD} 2008), Xi'an, China, June 23-27, 2008},
  pages        = {88--97},
  publisher    = {{IEEE}},
  year         = {2008},
  url          = {https://doi.org/10.1109/ACSD.2008.4574600},
  doi          = {10.1109/ACSD.2008.4574600},
  timestamp    = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl       = {https://dblp.org/rec/conf/acsd/KlaiP08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/ChoppyPR08,
  author       = {Christine Choppy and
                  Laure Petrucci and
                  Gianna Reggio},
  editor       = {Fabrice Kordon and
                  Tullio Vardanega},
  title        = {A Modelling Approach with Coloured Petri Nets},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2008, 13th Ada-Europe
                  International Conference on Reliable Software Technologies, Venice,
                  Italy, June 16-20, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5026},
  pages        = {73--86},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-68624-8\_6},
  doi          = {10.1007/978-3-540-68624-8\_6},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/ChoppyPR08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ChoppyMP08,
  author       = {Christine Choppy and
                  Micaela Mayero and
                  Laure Petrucci},
  editor       = {Eerke A. Boiten and
                  John Derrick and
                  Gerhard Schellhorn},
  title        = {Experimenting Formal Proofs of Petri Nets Refinements},
  booktitle    = {Proceedings of the 13th {BAC-FACS} Refinement Workshop, Refine@FM
                  2008, Turku, Finland, May 27, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {214},
  pages        = {231--254},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2008.06.011},
  doi          = {10.1016/J.ENTCS.2008.06.011},
  timestamp    = {Fri, 17 Feb 2023 10:04:20 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/ChoppyMP08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/LakosP07,
  author       = {Charles Lakos and
                  Laure Petrucci},
  title        = {Modular state space exploration for timed petri nets},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {9},
  number       = {3-4},
  pages        = {393--411},
  year         = {2007},
  url          = {https://doi.org/10.1007/s10009-007-0033-2},
  doi          = {10.1007/S10009-007-0033-2},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sttt/LakosP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/KlaiPR07,
  author       = {Kais Klai and
                  Laure Petrucci and
                  Michel A. Reniers},
  editor       = {John Derrick and
                  J{\"{u}}ri Vain},
  title        = {An Incremental and Modular Technique for Checking {LTL{\textbackslash}X}
                  Properties of Petri Nets},
  booktitle    = {Formal Techniques for Networked and Distributed Systems - {FORTE}
                  2007, 27th {IFIP} {WG} 6.1 International Conference, Tallinn, Estonia,
                  June 27-29, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4574},
  pages        = {280--295},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73196-2\_18},
  doi          = {10.1007/978-3-540-73196-2\_18},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/KlaiPR07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dsonline/KordonP06,
  author       = {Fabrice Kordon and
                  Laure Petrucci},
  title        = {Toward Formal-Methods Oecumenism?},
  journal      = {{IEEE} Distributed Syst. Online},
  volume       = {7},
  number       = {7},
  year         = {2006},
  url          = {https://doi.org/10.1109/MDSO.2006.47},
  doi          = {10.1109/MDSO.2006.47},
  timestamp    = {Mon, 13 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dsonline/KordonP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ap2pc/KarouiKP06,
  author       = {Hager Karoui and
                  Rushed Kanawati and
                  Laure Petrucci},
  editor       = {Sam Joseph and
                  Zoran Despotovic and
                  Gianluca Moro and
                  Sonia Bergamaschi},
  title        = {Cooperative {CBR} System for Peer Agent Committee Formation},
  booktitle    = {Agents and Peer-to-Peer Computing - 5th International Workshop, {AP2PC}
                  2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {4461},
  pages        = {51--62},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-3-540-79705-0\_5},
  doi          = {10.1007/978-3-540-79705-0\_5},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/ap2pc/KarouiKP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ewcbr/KarouiKP06,
  author       = {Hager Karoui and
                  Rushed Kanawati and
                  Laure Petrucci},
  editor       = {Thomas Roth{-}Berghofer and
                  Mehmet H. G{\"{o}}ker and
                  H. Altay G{\"{u}}venir},
  title        = {{COBRAS:} Cooperative {CBR} System for Bibliographical Reference Recommendation},
  booktitle    = {Advances in Case-Based Reasoning, 8th European Conference, {ECCBR}
                  2006, Fethiye, Turkey, September 4-7, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4106},
  pages        = {76--90},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11805816\_8},
  doi          = {10.1007/11805816\_8},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/ewcbr/KarouiKP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/HillahKPT06,
  author       = {Lom Hillah and
                  Fabrice Kordon and
                  Laure Petrucci{-}Dauchy and
                  Nicolas Tr{\`{e}}ves},
  editor       = {Elie Najm and
                  Jean{-}Fran{\c{c}}ois Pradat{-}Peyre and
                  V{\'{e}}ronique Donzeau{-}Gouge},
  title        = {{PN} Standardisation: {A} Survey},
  booktitle    = {Formal Techniques for Networked and Distributed Systems - {FORTE}
                  2006, 26th {IFIP} {WG} 6.1 International Conference, Paris, France,
                  September 26-29, 2006},
  series       = {Lecture Notes in Computer Science},
  volume       = {4229},
  pages        = {307--322},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11888116\_23},
  doi          = {10.1007/11888116\_23},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/HillahKPT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/ChoppyHKKPT06,
  author       = {Christine Choppy and
                  Serge Haddad and
                  Hanna Klaudel and
                  Fabrice Kordon and
                  Laure Petrucci and
                  Yann Thierry{-}Mieg},
  editor       = {Kamel Barkaoui and
                  Ana Cavalcanti and
                  Antonio Cerone},
  title        = {Tutorial on Formal Methods for Distributed and Cooperative Systems},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2006, Third International
                  Colloquium, Tunis, Tunisia, November 20-24, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4281},
  pages        = {362--365},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11921240\_25},
  doi          = {10.1007/11921240\_25},
  timestamp    = {Mon, 21 Feb 2022 14:40:49 +0100},
  biburl       = {https://dblp.org/rec/conf/ictac/ChoppyHKKPT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/BillingtonGP05,
  author       = {Jonathan Billington and
                  Guy Edward Gallasch and
                  Laure Petrucci},
  title        = {Verification of the Class of Stop-and-Wait Protocols Modelled by Coloured
                  Petri Nets},
  journal      = {Nord. J. Comput.},
  volume       = {12},
  number       = {3},
  pages        = {251--274},
  year         = {2005},
  timestamp    = {Wed, 03 May 2006 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/njc/BillingtonGP05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/LakosP04,
  author       = {Charles Lakos and
                  Laure Petrucci},
  title        = {Modular Analysis of Systems Composed of Semiautonomous Subsystems},
  booktitle    = {4th International Conference on Application of Concurrency to System
                  Design {(ACSD} 2004), 16-18 June 2004, Hamilton, Canada},
  pages        = {185--196},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.org/10.1109/CSD.2004.1309131},
  doi          = {10.1109/CSD.2004.1309131},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/LakosP04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/KristensenP04,
  author       = {Lars Michael Kristensen and
                  Laure Petrucci},
  editor       = {Jordi Cortadella and
                  Wolfgang Reisig},
  title        = {An Approach to Distributed State Space Exploration for Coloured Petri
                  Nets},
  booktitle    = {Applications and Theory of Petri Nets 2004, 25th International Conference,
                  {ICATPN} 2004, Bologna, Italy, June 21-25, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3099},
  pages        = {474--483},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-27793-4\_28},
  doi          = {10.1007/978-3-540-27793-4\_28},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/KristensenP04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/PetrucciBKQ03,
  author       = {Laure Petrucci and
                  Jonathan Billington and
                  Lars Michael Kristensen and
                  Zahid H. Qureshi},
  title        = {Developing a Formal Specification for the Mission System of a Maritime
                  Surveillance Aircraft},
  booktitle    = {3rd International Conference on Application of Concurrency to System
                  Design {(ACSD} 2003), 18-20 June 2003, Guimaraes, Portugal},
  pages        = {92--101},
  publisher    = {{IEEE} Computer Society},
  year         = {2003},
  url          = {https://doi.org/10.1109/CSD.2003.1207703},
  doi          = {10.1109/CSD.2003.1207703},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/PetrucciBKQ03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BillingtonCHKKPPSW03,
  author       = {Jonathan Billington and
                  S{\o}ren Christensen and
                  Kees M. van Hee and
                  Ekkart Kindler and
                  Olaf Kummer and
                  Laure Petrucci and
                  Reinier Post and
                  Christian Stehno and
                  Michael Weber},
  editor       = {Wil M. P. van der Aalst and
                  Eike Best},
  title        = {The Petri Net Markup Language: Concepts, Technology, and Tools},
  booktitle    = {Applications and Theory of Petri Nets 2003, 24th International Conference,
                  {ICATPN} 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2679},
  pages        = {483--505},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-44919-1\_31},
  doi          = {10.1007/3-540-44919-1\_31},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/BillingtonCHKKPPSW03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BardinFLP03,
  author       = {S{\'{e}}bastien Bardin and
                  Alain Finkel and
                  J{\'{e}}r{\^{o}}me Leroux and
                  Laure Petrucci},
  editor       = {Warren A. Hunt Jr. and
                  Fabio Somenzi},
  title        = {{FAST:} Fast Acceleration of Symbolikc Transition Systems},
  booktitle    = {Computer Aided Verification, 15th International Conference, {CAV}
                  2003, Boulder, CO, USA, July 8-12, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2725},
  pages        = {118--121},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-45069-6\_12},
  doi          = {10.1007/978-3-540-45069-6\_12},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/BardinFLP03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/lib/Berard01,
  author       = {B{\'{e}}atrice B{\'{e}}rard and
                  Michel Bidoit and
                  Alain Finkel and
                  Fran{\c{c}}ois Laroussinie and
                  Antoine Petit and
                  Laure Petrucci and
                  Philippe Schnoebelen and
                  Pierre McKenzie},
  title        = {Systems and Software Verification, Model-Checking Techniques and Tools},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/978-3-662-04558-9},
  doi          = {10.1007/978-3-662-04558-9},
  isbn         = {978-3-642-07478-3},
  timestamp    = {Fri, 17 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/lib/Berard01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BerthelotP01,
  author       = {G{\'{e}}rard Berthelot and
                  Laure Petrucci},
  title        = {Specification and validation of a concurrent system: an educational
                  project},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {3},
  number       = {4},
  pages        = {372--381},
  year         = {2001},
  url          = {https://doi.org/10.1007/s100090100064},
  doi          = {10.1007/S100090100064},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sttt/BerthelotP01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/ChristensenP00,
  author       = {S{\o}ren Christensen and
                  Laure Petrucci},
  title        = {Modular Analysis of Petri Nets},
  journal      = {Comput. J.},
  volume       = {43},
  number       = {3},
  pages        = {224--242},
  year         = {2000},
  url          = {https://doi.org/10.1093/comjnl/43.3.224},
  doi          = {10.1093/COMJNL/43.3.224},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/ChristensenP00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/BelalaBP00,
  author       = {Faiza Belala and
                  Mohamed Bettaz and
                  Laure Petrucci{-}Dauchy},
  title        = {Concurrent Systems Analysis Using ECATNets},
  journal      = {Log. J. {IGPL}},
  volume       = {8},
  number       = {2},
  pages        = {149--164},
  year         = {2000},
  url          = {https://doi.org/10.1093/jigpal/8.2.149},
  doi          = {10.1093/JIGPAL/8.2.149},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/igpl/BelalaBP00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/ChristensenP98,
  author       = {S{\o}ren Christensen and
                  Laure Petrucci},
  title        = {How to determine and use place flows in coloured Petri nets},
  booktitle    = {Proceedings of the {IEEE} International Conference on Systems, Man
                  and Cybernetics, {SMC} 1998, Hyatt Regency La Jolla, San Diego, California,
                  USA, October 11-14,1998},
  pages        = {66--71},
  publisher    = {{IEEE}},
  year         = {1998},
  url          = {https://doi.org/10.1109/ICSMC.1998.725385},
  doi          = {10.1109/ICSMC.1998.725385},
  timestamp    = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl       = {https://dblp.org/rec/conf/smc/ChristensenP98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/ChristensenP95,
  author       = {S{\o}ren Christensen and
                  Laure Petrucci},
  editor       = {Giorgio De Michelis and
                  Michel Diaz},
  title        = {Modular State Space Analysis of Coloured Petri Nets},
  booktitle    = {Application and Theory of Petri Nets 1995, 16th International Conference,
                  Turin, Italy, June 26-30, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {935},
  pages        = {201--217},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-60029-9\_41},
  doi          = {10.1007/3-540-60029-9\_41},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/ChristensenP95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/FinkelP94,
  author       = {Alain Finkel and
                  Laure Petrucci},
  title        = {Composition/d{\'{e}}composition de r{\'{e}}seaux de petri
                  et de leurs graphes de couverture},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {28},
  number       = {2},
  pages        = {73--124},
  year         = {1994},
  url          = {https://doi.org/10.1051/ita/1994280200731},
  doi          = {10.1051/ITA/1994280200731},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/FinkelP94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/ChristensenP92,
  author       = {S{\o}ren Christensen and
                  Laure Petrucci},
  editor       = {Kurt Jensen},
  title        = {Towards a Modular Analysis of Coloured Petri Nets},
  booktitle    = {Application and Theory of Petri Nets 1992, 13th International Conference,
                  Sheffield, UK, June 22-26, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {616},
  pages        = {113--133},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55676-1\_7},
  doi          = {10.1007/3-540-55676-1\_7},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/ChristensenP92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/FinkelP91,
  author       = {Alain Finkel and
                  Laure Petrucci},
  editor       = {Kim Guldstrand Larsen and
                  Arne Skou},
  title        = {Avoiding State Exposion by Composition of Minimal Covering Graphs},
  booktitle    = {Computer Aided Verification, 3rd International Workshop, {CAV} '91,
                  Aalborg, Denmark, July, 1-4, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {575},
  pages        = {169--180},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/3-540-55179-4\_17},
  doi          = {10.1007/3-540-55179-4\_17},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/FinkelP91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/DimitroviciHP90,
  author       = {Christian Dimitrovici and
                  Udo Hummert and
                  Laure Petrucci},
  editor       = {Grzegorz Rozenberg},
  title        = {Semantics, composition and net properties of algebraic high-level
                  nets},
  booktitle    = {Advances in Petri Nets 1991, Papers from the 11th International Conference
                  on Applications and Theory of Petri Nets, Paris, France, June 1990},
  series       = {Lecture Notes in Computer Science},
  volume       = {524},
  pages        = {93--117},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/BFb0019971},
  doi          = {10.1007/BFB0019971},
  timestamp    = {Fri, 17 Jul 2020 16:12:46 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/DimitroviciHP90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BerthelotJP90,
  author       = {G{\'{e}}rard Berthelot and
                  Colette Johnen and
                  Laure Petrucci},
  editor       = {Edmund M. Clarke and
                  Robert P. Kurshan},
  title        = {{PAPETRI:} Environment for the Analysis of Petri Nets},
  booktitle    = {Computer Aided Verification, 2nd International Workshop, {CAV} '90,
                  New Brunswick, NJ, USA, June 18-21, 1990, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {531},
  pages        = {13--22},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/BFb0023715},
  doi          = {10.1007/BFB0023715},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/BerthelotJP90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/BerthelotJP90,
  author       = {G{\'{e}}rard Berthelot and
                  Colette Johnen and
                  Laure Petrucci},
  editor       = {Edmund M. Clarke and
                  Robert P. Kurshan},
  title        = {{PAPETRI:} Environment for the Analysis of {PETRI} Nets},
  booktitle    = {Computer-Aided Verification, Proceedings of a {DIMACS} Workshop 1990,
                  New Brunswick, New Jersey, USA, June 18-21, 1990},
  series       = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
  volume       = {3},
  pages        = {43--56},
  publisher    = {{DIMACS/AMS}},
  year         = {1990},
  url          = {https://doi.org/10.1090/dimacs/003/05},
  doi          = {10.1090/DIMACS/003/05},
  timestamp    = {Mon, 22 May 2023 16:07:35 +0200},
  biburl       = {https://dblp.org/rec/conf/dimacs/BerthelotJP90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics