Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Laure Petrucci
@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} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.