Laure Petrucci

ORCID

Publication Activity (10 Years)

Years Active: 1990-2024
Publications (10 Years): 52

Top Venues

Publications

Étienne André, Jaime Arias, Benoît Barbot, Francis Hulin-Hubard, Fabrice Kordon, Van-François Le, Laure Petrucci
CosyVerif: The Path to Formalisms Cohabitation. Petri Nets (2024)
Mikael Bisgaard Dahlsen-Jensen, Baptiste Fievet, Laure Petrucci, Jaco van de Pol
On-The-Fly Algorithm for Reachability in Parametric Timed Games (Extended Version). CoRR (2024)
Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci
A rewriting-logic-with-SMT-based formal analysis and parameter synthesis framework for parametric time Petri nets. CoRR (2024)
Luca Bernardinello, Jetty Kleijn, Laure Petrucci
Preface. Fundam. Informaticae 190 (2-4) (2024)
Mikael Bisgaard Dahlsen-Jensen, Baptiste Fievet, Laure Petrucci, Jaco van de Pol
On-The-Fly Algorithm for Reachability in Parametric Timed Games. TACAS (3) (2024)
Jaime Arias, Carlos Olarte, Laure Petrucci, Lukasz Masko, Wojciech Penczek, Teofil Sidoruk
Optimal Scheduling of Agents in ADTrees: Specialized Algorithm and Declarative Models. IEEE Trans. Reliab. 73 (2) (2024)
Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci, Fredrik Rømming
Symbolic analysis and parameter synthesis for networks of parametric timed automata with global variables using Maude and SMT solving. Sci. Comput. Program. 233 (2024)
Jaime Arias, Carlos Olarte, Laure Petrucci, Lukasz Masko, Wojciech Penczek, Teofil Sidoruk
Optimal Scheduling of Agents in ADTrees: Specialised Algorithm and Declarative Models. CoRR (2023)
Ruben Dobler Strand, Lars Michael Kristensen, Laure Petrucci
Development and Verification of a Microservice Architecture for a Fire Risk Notification System. Trans. Petri Nets Other Model. Concurr. 17 (2023)
Jaime Arias, Wojciech Jamroga, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk
Strategic (Timed) Computation Tree Logic. CoRR (2023)
Jaime Arias, Wojciech Jamroga, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk
Strategic (Timed) Computation Tree Logic. AAMAS (2023)
Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci, Fredrik Rømming
Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving. Petri Nets (2023)
Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci, Fredrik Rømming
Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving. CoRR (2023)
Étienne André, Dylan Marinho, Laure Petrucci, Jaco van de Pol
Efficient Convex Zone Merging in Parametric Timed Automata. CoRR (2022)
Ruben Dobler Strand, Lars Michael Kristensen, Laure Petrucci
Formal Specification and Validation of a Data-driven Software System for Fire Risk Prediction. PNSE@Petri Nets (2022)
Étienne André, Dylan Marinho, Laure Petrucci, Jaco van de Pol
Efficient Convex Zone Merging in Parametric Timed Automata. FORMATS (2022)
Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci, Fredrik Rømming
Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata. FTSCS (2022)
Jaime Arias, Michal Knapik, Wojciech Penczek, Laure Petrucci
Modular Analysis of Tree-Topology Models. ICFEM (2022)
Jaime Arias, Laure Petrucci, Lukasz Masko, Wojciech Penczek, Teofil Sidoruk
Minimal Schedule with Minimal Number of Agents in Attack-Defence Trees. ICECCS (2022)
Camille Coti, Laure Petrucci, Daniel Alberto Torres González
A Formal Model for Fault Tolerant Parallel Matrix Factorization. ICECCS (2022)
Sami Evangelista, Laure Petrucci, Lars Michael Kristensen
Distributed Explicit State Space Exploration with State Reconstruction for RDMA Networks. ICECCS (2022)
Jaime Arias, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk
ADT2AMAS: Managing Agents in Attack-Defence Scenarios. AAMAS (2021)
Camille Coti, Laure Petrucci, Daniel Alberto Torres González
Fault-Tolerant LU Factorization Is Low Cost. Euro-Par (2021)
Camille Coti, Laure Petrucci, César Rodríguez, Marcelo Sousa
Quasi-optimal partial order reduction. Formal Methods Syst. Des. 57 (1) (2021)
Jaime Arias, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk
Minimal Schedule with Minimal Number of Agents in Attack-Defence Trees. CoRR (2021)
Étienne André, Hoang Gia Nguyen, Laure Petrucci, Jun Sun
Distributed parametric model checking timed automata under non-Zenoness assumption. Formal Methods Syst. Des. 59 (1) (2021)
Étienne André, Jaime Arias, Laure Petrucci, Jaco van de Pol
Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata. TACAS (1) (2021)
Laure Petrucci, Michal Knapik
Modular Analysis of Tree-Topology Models. CoRR (2020)
Jaime Arias, Carlos E. Budde, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk, Mariëlle Stoelinga
Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-agent Systems. ICFEM (2020)
Jaco van de Pol, Laure Petrucci
On Completeness of Liveness Synthesis for Parametric Timed Automata (Extended Abstract). WADT (2020)
Étienne André, Michal Knapik, Didier Lime, Wojciech Penczek, Laure Petrucci
Parametric Verification: An Introduction. CoRR (2019)
Étienne André, Vincent Bloemen, Laure Petrucci, Jaco van de Pol
Minimal-Time Synthesis for Parametric Timed Automata. CoRR (2019)
Laure Petrucci, Michal Knapik, Wojciech Penczek, Teofil Sidoruk
Squeezing State Spaces of (Attack-Defence) Trees. ICECCS (2019)
Étienne André, Michal Knapik, Didier Lime, Wojciech Penczek, Laure Petrucci
Parametric Verification: An Introduction. Trans. Petri Nets Other Model. Concurr. 14 (2019)
Jaime Arias, Carlos E. Budde, Wojciech Penczek, Laure Petrucci, Mariëlle Stoelinga
Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-Agent Systems. CoRR (2019)
Étienne André, Vincent Bloemen, Laure Petrucci, Jaco van de Pol
Minimal-Time Synthesis for Parametric Timed Automata. TACAS (2) (2019)
Michal Knapik, Étienne André, Laure Petrucci, Wojciech Jamroga, Wojciech Penczek
Timed ATL: Forget Memory, Just Count. J. Artif. Intell. Res. 66 (2019)
Christine Choppy, Jörg Desel, Laure Petrucci
Specialisation and Generalisation of Processes. Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model. 13 (Special) (2018)
Laure Petrucci, Jaco van de Pol
Parameter Synthesis Algorithms for Parametric Interval Markov Chains. FORTE (2018)
Hoang Gia Nguyen, Laure Petrucci, Jaco van de Pol
Layered and Collecting NDFS with Subsumption for Parametric Timed Automata. ICECCS (2018)
Camille Coti, Sami Evangelista, Laure Petrucci
One-Sided Communications for More Efficient Parallel State Space Exploration over RDMA Clusters. Euro-Par (2018)
Huyen T. T. Nguyen, César Rodríguez, Marcelo Sousa, Camille Coti, Laure Petrucci
Quasi-Optimal Partial Order Reduction. CAV (2) (2018)
Huyen T. T. Nguyen, César Rodríguez, Marcelo Sousa, Camille Coti, Laure Petrucci
Quasi-Optimal Partial Order Reduction. CoRR (2018)
Camille Coti, Sami Evangelista, Laure Petrucci
State Compression Based on One-Sided Communications for Distributed Model Checking. ICECCS (2018)
Étienne André, Hoang Gia Nguyen, Laure Petrucci, Jun Sun
Parametric Model Checking Timed Automata Under Non-Zenoness Assumption. NFM (2017)
Étienne André, Laure Petrucci, Wojciech Jamroga, Michal Knapik, Wojciech Penczek
Timed ATL: Forget Memory, Just Count. AAMAS (2017)
Étienne André, Hoang Gia Nguyen, Laure Petrucci
Efficient Parameter Synthesis Using Optimized State Exploration Strategies. ICECCS (2017)
Camille Coti, Charles Lakos, Laure Petrucci
Formally Proving and Enhancing a Self-Stabilising Distributed Algorithm. CoRR (2016)
Khanh Le, Thang H. Bui, Tho Quan, Laure Petrucci
A Framework for Fast Congestion Detection in Wireless Sensor Networks Using Clustering and Petri-Net-based Verification. PNSE @ Petri Nets (2016)
Benoît Delahaye, Didier Lime, Laure Petrucci
Parameter Synthesis for Parametric Interval Markov Chains. VMCAI (2016)
Étienne André, Michal Knapik, Wojciech Penczek, Laure Petrucci
Controlling Actions and Time in Parametric Timed Automata. ACSD (2016)
Camille Coti, Charles Lakos, Laure Petrucci
Formally Proving and Enhancing a Self-Stabilising Distributed Algorithm. PNSE @ Petri Nets (2016)
Khanh Le, Thang H. Bui, Tho Quan, Laure Petrucci, Étienne André
Component-Based Abstraction of Petri Net Models: An Application for Congestion Verification of Wireless Sensor Networks. SoICT (2015)
Étienne André, Laure Petrucci
Decrypting cryptography. ITHET (2015)
Étienne André, Laure Petrucci
Unifying Patterns for Modelling Timed Relationships in Systems and Properties. PNSE @ Petri Nets (2015)
Denis Genon-Catalot, Laure Petrucci, Michel Tabouret
Nationwide industrial cooperation for long-life learning and apprenticeships. ITHET (2014)
Emmanuel Viennet, Laure Petrucci
Monitoring students performances in French Institutes of Technology using the ScoDoc software. ITHET (2014)
Dinh-Thuan Le, Huu-Vu Nguyen, Van-Tinh Nguyen, Phuong-Nam Mai, Bao-Trung Pham-Duy, Thanh-Tho Quan, Étienne André, Laure Petrucci, Yang Liu
PeCAn: Compositional Verification of Petri Nets Made Easy. ATVA (2014)
Kais Klai, Naim Aber, Laure Petrucci
Verification of Reachability Properties for Time Petri Nets. RP (2013)
Kais Klai, Naim Aber, Laure Petrucci
A New Approach to Abstract Reachability State Space of Time Petri Nets. TIME (2013)
Sami Evangelista, Lars Michael Kristensen, Laure Petrucci
Multi-threaded Explicit State Space Exploration with State Reconstruction. ATVA (2013)
Étienne André, Yousra Lembachar, Laure Petrucci, Francis Hulin-Hubard, Alban Linard, Lom Hillah, Fabrice Kordon
CosyVerif: An Open Source Extensible Verification Environment. ICECCS (2013)
Étienne André, Benoît Barbot, Clement Demoulins, Lom-Messan Hillah, Francis Hulin-Hubard, Fabrice Kordon, Alban Linard, Laure Petrucci
A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems. ICFEM (2013)
Anna Dedova, Laure Petrucci
From Code to Coloured Petri Nets: Modelling Guidelines. Trans. Petri Nets Other Model. Concurr. 8 (2013)
Lars Michael Kristensen, Wojciech Penczek, Laure Petrucci
Preface. Fundam. Informaticae 122 (1-2) (2013)
Étienne André, Giuseppe Pellegrino, Laure Petrucci
Precise Robustness Analysis of Time Petri Nets with Inhibitor Arcs. FORMATS (2013)
Christine Choppy, Laure Petrucci, Alfred Sanogo
Coloured Petri Nets Refinements. PNSE+ModPE (2013)
Lom-Messan Hillah, Fabrice Kordon, Charles Lakos, Laure Petrucci
Extending pnml Scope: A Framework to Combine Petri Nets Types. Trans. Petri Nets Other Model. Concurr. 6 (2012)
Mohand Cherif Boukala, Laure Petrucci
Distributed model-checking and counterexample search for CTL logic. Int. J. Crit. Comput. Based Syst. 3 (1/2) (2012)
Christine Choppy, Anna Dedova, Sami Evangelista, Kais Klai, Laure Petrucci, Samir Youcef
Modelling and Formal Verification of the NEO Protocol. Trans. Petri Nets Other Model. Concurr. 6 (2012)
Étienne André, Kais Klai, Hanen Ochi, Laure Petrucci
A Counterexample-Based Incremental and Modular Verification Approach. Monterey Workshop (2012)
Sami Evangelista, Alfons Laarman, Laure Petrucci, Jaco van de Pol
Improved Multi-Core Nested Depth-First Search. ATVA (2012)
Anna Dedova, Laure Petrucci
From Code to Coloured Petri Nets: Modelling Guidelines. PNSE (2012)
Christine Choppy, Jörg Desel, Laure Petrucci
Specialisation and Generalisation of Processes. PNSE (2011)
Sami Evangelista, Laure Petrucci, Samir Youcef
Parallel Nested Depth-First Searches for LTL Model Checking. ATVA (2011)
Lom-Messan Hillah, Fabrice Kordon, Charles Lakos, Laure Petrucci
Extending PNML Scope: the Prioritised Petri Nets Experience. PNSE (2011)
Charles Lakos, Laure Petrucci
Modular State Spaces for Prioritised Petri Nets. Monterey Workshop (2010)
Christine Choppy, Micaela Mayero, Laure Petrucci
Coloured Petri net refinement specification and correctness proof with Coq. Innov. Syst. Softw. Eng. 6 (3) (2010)
Lom-Messan Hillah, Fabrice Kordon, Laure Petrucci, Nicolas Trèves
PNML Framework: An Extendable Reference Implementation of the Petri Net Markup Language. Petri Nets (2010)
Christine Choppy, Anna Dedova, Sami Evangelista, Silien Hong, Kais Klai, Laure Petrucci
The NEO Protocol for Large-Scale Distributed Database Systems: Modelling and Initial Verification. Petri Nets (2010)
Christine Choppy, Micaela Mayero, Laure Petrucci
Coloured Petri net refinement specification, and correctness proof with Coq. NASA Formal Methods (2009)
Ekkart Kindler, Laure Petrucci
Towards a Standard for Modular Petri Nets: A Formalisation. Petri Nets (2009)
Serge Haddad, Fabrice Kordon, Laure Petrucci, Jean-François Pradat-Peyre, Nicolas Trèves
Efficient state-based analysis by introducing bags in Petri nets color domains. ACC (2009)
Christine Choppy, Micaela Mayero, Laure Petrucci
Experimenting Formal Proofs of Petri Nets Refinements. Electron. Notes Theor. Comput. Sci. 214 (2008)
Kais Klai, Laure Petrucci
Modular construction of the symbolic observation graph. ACSD (2008)
Sébastien Bardin, Alain Finkel, Jérôme Leroux, Laure Petrucci
FAST: acceleration from theory to practice. Int. J. Softw. Tools Technol. Transf. 10 (5) (2008)
Christine Choppy, Laure Petrucci, Gianna Reggio
A Modelling Approach with Coloured Petri Nets. Ada-Europe (2008)
Charles Lakos, Laure Petrucci
Modular state space exploration for timed petri nets. Int. J. Softw. Tools Technol. Transf. 9 (3-4) (2007)
Kais Klai, Laure Petrucci, Michel A. Reniers
An Incremental and Modular Technique for Checking LTL\X Properties of Petri Nets. FORTE (2007)
Christine Choppy, Serge Haddad, Hanna Klaudel, Fabrice Kordon, Laure Petrucci, Yann Thierry-Mieg
Tutorial on Formal Methods for Distributed and Cooperative Systems. ICTAC (2006)
Fabrice Kordon, Laure Petrucci
Toward Formal-Methods Oecumenism? IEEE Distributed Syst. Online 7 (7) (2006)
Hager Karoui, Rushed Kanawati, Laure Petrucci
Cooperative CBR System for Peer Agent Committee Formation. AP2PC (2006)
Hager Karoui, Rushed Kanawati, Laure Petrucci
COBRAS: Cooperative CBR System for Bibliographical Reference Recommendation. ECCBR (2006)
Jonathan Billington, Guy Edward Gallasch, Laure Petrucci
Verification of the Class of Stop-and-Wait Protocols Modelled by Coloured Petri Nets. Nord. J. Comput. 12 (3) (2005)
Lars Michael Kristensen, Laure Petrucci
An Approach to Distributed State Space Exploration for Coloured Petri Nets. ICATPN (2004)
Charles Lakos, Laure Petrucci
Modular Analysis of Systems Composed of Semiautonomous Subsystems. ACSD (2004)
Jonathan Billington, Søren Christensen, Kees M. van Hee, Ekkart Kindler, Olaf Kummer, Laure Petrucci, Reinier Post, Christian Stehno, Michael Weber
The Petri Net Markup Language: Concepts, Technology, and Tools. ICATPN (2003)
Laure Petrucci, Jonathan Billington, Lars Michael Kristensen, Zahid H. Qureshi
Developing a Formal Specification for the Mission System of a Maritime Surveillance Aircraft. ACSD (2003)
Sébastien Bardin, Alain Finkel, Jérôme Leroux, Laure Petrucci
FAST: Fast Acceleration of Symbolikc Transition Systems. CAV (2003)
Gérard Berthelot, Laure Petrucci
Specification and validation of a concurrent system: an educational project. Int. J. Softw. Tools Technol. Transf. 3 (4) (2001)

Laure Petrucci.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Laure Petrucci