Laure Petrucci

According to our database, Laure Petrucci authored at least 98 papers between 1990 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Preface.

Luca Bernardinello, Jetty Kleijn, Laure Petrucci

Fundam. Informaticae, 2024

On-The-Fly Algorithm for Reachability in Parametric Timed Games (Extended Version).

Mikael Bisgaard Dahlsen-Jensen, Baptiste Fievet, Laure Petrucci, Jaco van de Pol

CoRR, 2024

A rewriting-logic-with-SMT-based formal analysis and parameter synthesis framework for parametric time Petri nets.

Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci

CoRR, 2024

On-The-Fly Algorithm for Reachability in Parametric Timed Games.

Mikael Bisgaard Dahlsen-Jensen, Baptiste Fievet, Laure Petrucci, Jaco van de Pol

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

2023

Development and Verification of a Microservice Architecture for a Fire Risk Notification System.

Ruben Dobler Strand, Lars Michael Kristensen, Laure Petrucci

Trans. Petri Nets Other Model. Concurr., 2023

Optimal Scheduling of Agents in ADTrees: Specialised Algorithm and Declarative Models.

Jaime Arias, Carlos Olarte, Laure Petrucci, Lukasz Masko, Wojciech Penczek, Teofil Sidoruk

CoRR, 2023

Strategic (Timed) Computation Tree Logic.

Jaime Arias, Wojciech Jamroga, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk

Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023

Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving.

Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci, Fredrik Rømming

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2023

2022

Modular Analysis of Tree-Topology Models.

Jaime Arias, Michal Knapik, Wojciech Penczek, Laure Petrucci

Proceedings of the Formal Methods and Software Engineering, 2022

Distributed Explicit State Space Exploration with State Reconstruction for RDMA Networks.

Sami Evangelista, Laure Petrucci, Lars Michael Kristensen

Proceedings of the 26th International Conference on Engineering of Complex Computer Systems, 2022

A Formal Model for Fault Tolerant Parallel Matrix Factorization.

Camille Coti, Laure Petrucci, Daniel Alberto Torres González

Proceedings of the 26th International Conference on Engineering of Complex Computer Systems, 2022

Minimal Schedule with Minimal Number of Agents in Attack-Defence Trees.

Jaime Arias, Laure Petrucci, Lukasz Masko, Wojciech Penczek, Teofil Sidoruk

Proceedings of the 26th International Conference on Engineering of Complex Computer Systems, 2022

Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata.

Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci, Fredrik Rømming

Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, 2022

Efficient Convex Zone Merging in Parametric Timed Automata.

Étienne André, Dylan Marinho, Laure Petrucci, Jaco van de Pol

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2022

Formal Specification and Validation of a Data-driven Software System for Fire Risk Prediction.

Ruben Dobler Strand, Lars Michael Kristensen, Laure Petrucci

Proceedings of the 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), 2022

2021

Quasi-optimal partial order reduction.

Camille Coti, Laure Petrucci, César Rodríguez, Marcelo Sousa

Formal Methods Syst. Des., 2021

Distributed parametric model checking timed automata under non-Zenoness assumption.

Étienne André, Hoang Gia Nguyen, Laure Petrucci, Jun Sun

Formal Methods Syst. Des., 2021

Minimal Schedule with Minimal Number of Agents in Attack-Defence Trees.

Jaime Arias, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk

CoRR, 2021

Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata.

Étienne André, Jaime Arias, Laure Petrucci, Jaco van de Pol

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

Fault-Tolerant LU Factorization Is Low Cost.

Camille Coti, Laure Petrucci, Daniel Alberto Torres González

Proceedings of the Euro-Par 2021: Parallel Processing, 2021

ADT2AMAS: Managing Agents in Attack-Defence Scenarios.

Jaime Arias, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk

Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021

2020

Modular Analysis of Tree-Topology Models.

Laure Petrucci, Michal Knapik

CoRR, 2020

On Completeness of Liveness Synthesis for Parametric Timed Automata (Extended Abstract).

Jaco van de Pol, Laure Petrucci

Proceedings of the Recent Trends in Algebraic Development Techniques, 2020

Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-agent Systems.

Jaime Arias, Carlos E. Budde, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk, Mariëlle Stoelinga

Proceedings of the Formal Methods and Software Engineering, 2020

2019

Parametric Verification: An Introduction.

Étienne André, Michal Knapik, Didier Lime, Wojciech Penczek, Laure Petrucci

Trans. Petri Nets Other Model. Concurr., 2019

Timed ATL: Forget Memory, Just Count.

Michal Knapik, Étienne André, Laure Petrucci, Wojciech Jamroga, Wojciech Penczek

J. Artif. Intell. Res., 2019

Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-Agent Systems.

Jaime Arias, Carlos E. Budde, Wojciech Penczek, Laure Petrucci, Mariëlle Stoelinga

CoRR, 2019

Minimal-Time Synthesis for Parametric Timed Automata.

Étienne André, Vincent Bloemen, Laure Petrucci, Jaco van de Pol

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Squeezing State Spaces of (Attack-Defence) Trees.

Laure Petrucci, Michal Knapik, Wojciech Penczek, Teofil Sidoruk

Proceedings of the 24th International Conference on Engineering of Complex Computer Systems, 2019

2018

Specialisation and Generalisation of Processes.

Christine Choppy, Jörg Desel, Laure Petrucci

Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model., 2018

Layered and Collecting NDFS with Subsumption for Parametric Timed Automata.

Hoang Gia Nguyen, Laure Petrucci, Jaco van de Pol

Proceedings of the 23rd International Conference on Engineering of Complex Computer Systems, 2018

State Compression Based on One-Sided Communications for Distributed Model Checking.

Camille Coti, Sami Evangelista, Laure Petrucci

Proceedings of the 23rd International Conference on Engineering of Complex Computer Systems, 2018

Parameter Synthesis Algorithms for Parametric Interval Markov Chains.

Laure Petrucci, Jaco van de Pol

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2018

One-Sided Communications for More Efficient Parallel State Space Exploration over RDMA Clusters.

Camille Coti, Sami Evangelista, Laure Petrucci

Proceedings of the Euro-Par 2018: Parallel Processing, 2018

Quasi-Optimal Partial Order Reduction.

Huyen T. T. Nguyen, César Rodríguez, Marcelo Sousa, Camille Coti, Laure Petrucci

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

Parallel Model Checking Algorithms for Linear-Time Temporal Logic.

Jiri Barnat, Vincent Bloemen, Alexandre Duret-Lutz, Alfons Laarman, Laure Petrucci, Jaco van de Pol, Etienne Renault

Proceedings of the Handbook of Parallel Constraint Reasoning., 2018

2017

Parametric Model Checking Timed Automata Under Non-Zenoness Assumption.

Étienne André, Hoang Gia Nguyen, Laure Petrucci, Jun Sun

Proceedings of the NASA Formal Methods - 9th International Symposium, 2017

Efficient Parameter Synthesis Using Optimized State Exploration Strategies.

Étienne André, Hoang Gia Nguyen, Laure Petrucci

Proceedings of the 22nd International Conference on Engineering of Complex Computer Systems, 2017

2016

Parameter Synthesis for Parametric Interval Markov Chains.

Benoît Delahaye, Didier Lime, Laure Petrucci

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2016

A Framework for Fast Congestion Detection in Wireless Sensor Networks Using Clustering and Petri-Net-based Verification.

Khanh Le, Thang H. Bui, Tho Quan, Laure Petrucci

Proceedings of the International Workshop on Petri Nets and Software Engineering 2016, 2016

Formally Proving and Enhancing a Self-Stabilising Distributed Algorithm.

Camille Coti, Charles Lakos, Laure Petrucci

Proceedings of the International Workshop on Petri Nets and Software Engineering 2016, 2016

Controlling Actions and Time in Parametric Timed Automata.

Étienne André, Michal Knapik, Wojciech Penczek, Laure Petrucci

Proceedings of the 16th International Conference on Application of Concurrency to System Design, 2016

2015

Component-Based Abstraction of Petri Net Models: An Application for Congestion Verification of Wireless Sensor Networks.

Khanh Le, Thang H. Bui, Tho Quan, Laure Petrucci, Étienne André

Proceedings of the Sixth International Symposium on Information and Communication Technology, 2015

Decrypting cryptography.

Étienne André, Laure Petrucci

Proceedings of the 2015 International Conference on Information Technology Based Higher Education and Training, 2015

Unifying Patterns for Modelling Timed Relationships in Systems and Properties.

Étienne André, Laure Petrucci

Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'15), 2015

2014

Monitoring students performances in French Institutes of Technology using the ScoDoc software.

Emmanuel Viennet, Laure Petrucci

Proceedings of the 2014 Information Technology Based Higher Education and Training, 2014

Nationwide industrial cooperation for long-life learning and apprenticeships.

Denis Genon-Catalot, Laure Petrucci, Michel Tabouret

Proceedings of the 2014 Information Technology Based Higher Education and Training, 2014

PeCAn: Compositional Verification of Petri Nets Made Easy.

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

Proceedings of the Automated Technology for Verification and Analysis, 2014

2013

From Code to Coloured Petri Nets: Modelling Guidelines.

Anna Dedova, Laure Petrucci

Trans. Petri Nets Other Model. Concurr., 2013

Preface.

Lars Michael Kristensen, Wojciech Penczek, Laure Petrucci

Fundam. Informaticae, 2013

A New Approach to Abstract Reachability State Space of Time Petri Nets.

Kais Klai, Naim Aber, Laure Petrucci

Proceedings of the 2013 20th International Symposium on Temporal Representation and Reasoning, 2013

Verification of Reachability Properties for Time Petri Nets.

Kais Klai, Naim Aber, Laure Petrucci

Proceedings of the Reachability Problems - 7th International Workshop, 2013

A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems.

Étienne André, Benoît Barbot, Clement Demoulins, Lom-Messan Hillah, Francis Hulin-Hubard, Fabrice Kordon, Alban Linard, Laure Petrucci

Proceedings of the Formal Methods and Software Engineering, 2013

CosyVerif: An Open Source Extensible Verification Environment.

Étienne André, Yousra Lembachar, Laure Petrucci, Francis Hulin-Hubard, Alban Linard, Lom Hillah, Fabrice Kordon

Proceedings of the 2013 18th International Conference on Engineering of Complex Computer Systems, 2013

Precise Robustness Analysis of Time Petri Nets with Inhibitor Arcs.

Étienne André, Giuseppe Pellegrino, Laure Petrucci

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2013

Multi-threaded Explicit State Space Exploration with State Reconstruction.

Sami Evangelista, Lars Michael Kristensen, Laure Petrucci

Proceedings of the Automated Technology for Verification and Analysis, 2013

Coloured Petri Nets Refinements.

Christine Choppy, Laure Petrucci, Alfred Sanogo

Proceedings of the 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, 2013

2012

Extending pnml Scope: A Framework to Combine Petri Nets Types.

Lom-Messan Hillah, Fabrice Kordon, Charles Lakos, Laure Petrucci

Trans. Petri Nets Other Model. Concurr., 2012

Modelling and Formal Verification of the NEO Protocol.

Christine Choppy, Anna Dedova, Sami Evangelista, Kais Klai, Laure Petrucci, Samir Youcef

Trans. Petri Nets Other Model. Concurr., 2012

Distributed model-checking and counterexample search for CTL logic.

Mohand Cherif Boukala, Laure Petrucci

Int. J. Crit. Comput. Based Syst., 2012

A Counterexample-Based Incremental and Modular Verification Approach.

Étienne André, Kais Klai, Hanen Ochi, Laure Petrucci

Proceedings of the Large-Scale Complex IT Systems. Development, Operation and Management, 2012

Improved Multi-Core Nested Depth-First Search.

Sami Evangelista, Alfons Laarman, Laure Petrucci, Jaco van de Pol

Proceedings of the Automated Technology for Verification and Analysis, 2012

2011

Parallel Nested Depth-First Searches for LTL Model Checking.

Sami Evangelista, Laure Petrucci, Samir Youcef

Proceedings of the Automated Technology for Verification and Analysis, 2011

Extending PNML Scope: the Prioritised Petri Nets Experience.

Lom-Messan Hillah, Fabrice Kordon, Charles Lakos, Laure Petrucci

Proceedings of the International Workshop on Petri Nets and Software Engineering, 2011

2010

Coloured Petri net refinement specification and correctness proof with Coq.

Christine Choppy, Micaela Mayero, Laure Petrucci

Innov. Syst. Softw. Eng., 2010

Modular State Spaces for Prioritised Petri Nets.

Charles Lakos, Laure Petrucci

Proceedings of the Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems, 2010

PNML Framework: An Extendable Reference Implementation of the Petri Net Markup Language.

Lom-Messan Hillah, Fabrice Kordon, Laure Petrucci, Nicolas Trèves

Proceedings of the Applications and Theory of Petri Nets, 2010

The NEO Protocol for Large-Scale Distributed Database Systems: Modelling and Initial Verification.

Christine Choppy, Anna Dedova, Sami Evangelista, Silien Hong, Kais Klai, Laure Petrucci

Proceedings of the Applications and Theory of Petri Nets, 2010

2009

Towards a Standard for Modular Petri Nets: A Formalisation.

Ekkart Kindler, Laure Petrucci

Proceedings of the Applications and Theory of Petri Nets, 2009

Efficient state-based analysis by introducing bags in Petri nets color domains.

Serge Haddad, Fabrice Kordon, Laure Petrucci, Jean-François Pradat-Peyre, Nicolas Trèves

Proceedings of the American Control Conference, 2009

2008

FAST: acceleration from theory to practice.

Sébastien Bardin, Alain Finkel, Jérôme Leroux, Laure Petrucci

Int. J. Softw. Tools Technol. Transf., 2008

Experimenting Formal Proofs of Petri Nets Refinements.

Christine Choppy, Micaela Mayero, Laure Petrucci

Proceedings of the 13th BAC-FACS Refinement Workshop, 2008

A Modelling Approach with Coloured Petri Nets.

Christine Choppy, Laure Petrucci, Gianna Reggio

Proceedings of the Reliable Software Technologies, 2008

Modular construction of the symbolic observation graph.

Kais Klai, Laure Petrucci

Proceedings of the 8th International Conference on Application of Concurrency to System Design (ACSD 2008), 2008

2007

Modular state space exploration for timed petri nets.

Charles Lakos, Laure Petrucci

Int. J. Softw. Tools Technol. Transf., 2007

An Incremental and Modular Technique for Checking LTL\X Properties of Petri Nets.

Kais Klai, Laure Petrucci, Michel A. Reniers

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2007

2006

Toward Formal-Methods Oecumenism?

Fabrice Kordon, Laure Petrucci

IEEE Distributed Syst. Online, 2006

Tutorial on Formal Methods for Distributed and Cooperative Systems.

Christine Choppy, Serge Haddad, Hanna Klaudel, Fabrice Kordon, Laure Petrucci, Yann Thierry-Mieg

Proceedings of the Theoretical Aspects of Computing, 2006

PN Standardisation: A Survey.

Lom Hillah, Fabrice Kordon, Laure Petrucci-Dauchy, Nicolas Trèves

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006

COBRAS: Cooperative CBR System for Bibliographical Reference Recommendation.

Hager Karoui, Rushed Kanawati, Laure Petrucci

Proceedings of the Advances in Case-Based Reasoning, 8th European Conference, 2006

Cooperative CBR System for Peer Agent Committee Formation.

Hager Karoui, Rushed Kanawati, Laure Petrucci

Proceedings of the Agents and Peer-to-Peer Computing - 5th International Workshop, 2006

2005

Verification of the Class of Stop-and-Wait Protocols Modelled by Coloured Petri Nets.

Jonathan Billington, Guy Edward Gallasch, Laure Petrucci

Nord. J. Comput., 2005

2004

An Approach to Distributed State Space Exploration for Coloured Petri Nets.

Lars Michael Kristensen, Laure Petrucci

Proceedings of the Applications and Theory of Petri Nets 2004, 2004

Modular Analysis of Systems Composed of Semiautonomous Subsystems.

Charles Lakos, Laure Petrucci

Proceedings of the 4th International Conference on Application of Concurrency to System Design (ACSD 2004), 2004

2003

FAST: Fast Acceleration of Symbolikc Transition Systems.

Sébastien Bardin, Alain Finkel, Jérôme Leroux, Laure Petrucci

Proceedings of the Computer Aided Verification, 15th International Conference, 2003

The Petri Net Markup Language: Concepts, Technology, and Tools.

Jonathan Billington, Søren Christensen, Kees M. van Hee, Ekkart Kindler, Olaf Kummer, Laure Petrucci, Reinier Post, Christian Stehno, Michael Weber

Proceedings of the Applications and Theory of Petri Nets 2003, 2003

Developing a Formal Specification for the Mission System of a Maritime Surveillance Aircraft.

Laure Petrucci, Jonathan Billington, Lars Michael Kristensen, Zahid H. Qureshi

Proceedings of the 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 2003

2001

Specification and validation of a concurrent system: an educational project.

Gérard Berthelot, Laure Petrucci

Int. J. Softw. Tools Technol. Transf., 2001

Systems and Software Verification, Model-Checking Techniques and Tools.

Béatrice Bérard, Michel Bidoit, Alain Finkel, François Laroussinie, Antoine Petit, Laure Petrucci, Philippe Schnoebelen, Pierre McKenzie

Springer, ISBN: 9783540415237, 2001

2000

Concurrent Systems Analysis Using ECATNets.

Faiza Belala, Mohamed Bettaz, Laure Petrucci-Dauchy

Log. J. IGPL, 2000

Modular Analysis of Petri Nets.

Søren Christensen, Laure Petrucci

Comput. J., 2000

1998

How to determine and use place flows in coloured Petri nets.

Søren Christensen, Laure Petrucci

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998

1995

Modular State Space Analysis of Coloured Petri Nets.

Søren Christensen, Laure Petrucci

Proceedings of the Application and Theory of Petri Nets 1995, 1995

1994

Composition/décomposition de réseaux de petri et de leurs graphes de couverture.

Alain Finkel, Laure Petrucci

RAIRO Theor. Informatics Appl., 1994

1992

Towards a Modular Analysis of Coloured Petri Nets.

Søren Christensen, Laure Petrucci

Proceedings of the Application and Theory of Petri Nets 1992, 1992

1991

Avoiding State Exposion by Composition of Minimal Covering Graphs.

Alain Finkel, Laure Petrucci

Proceedings of the Computer Aided Verification, 3rd International Workshop, 1991

1990

PAPETRI: Environment for the Analysis of Petri Nets.

Gérard Berthelot, Colette Johnen, Laure Petrucci

Proceedings of the Computer Aided Verification, 2nd International Workshop, 1990

Semantics, composition and net properties of algebraic high-level nets.

Christian Dimitrovici, Udo Hummert, Laure Petrucci

Proceedings of the Advances in Petri Nets 1991, 1990