Laure Petrucci
LIPN, CNRS UMR 7030
Professeur des Universités, IUT de Villetaneuse, Université Paris 13
LIPN, CNRS UMR 7030
Professeur des Universités, IUT de Villetaneuse, Université Paris 13
Publications
Livres
| Distributed Systems: Design and Algorithms S. Haddad, F. Kordon, L. Pautet et L. Petrucci John Wiley & Sons, Mai 2011 |
|
| Models and Analysis in Distributed Systems S. Haddad, F. Kordon, L. Pautet et L. Petrucci John Wiley & Sons, Mai 2011 |
|
| Systèmes répartis en action : de l'embarqué aux systèmes large échelle F. Kordon, L. Pautet et L. Petrucci Hermès, 978-2-7462-1943-4, 2008 |
|
| Méthodes formelles pour les systèmes répartis et coopératifs S. Haddad, F. Kordon et L. Petrucci Hermès, 2-7462-1447-4, Novembre 2006 |
|
| Systems and Software Verification. Model-Checking Techniques and Tools B. Bérard, M. Bidoit, A. Finkel, F. Laroussinie, A. Petit, L. Petrucci et Ph. Schnoebelen Springer, 3-540-41523-8, 2001 |
Chapitres de livres
| Parallel Model Checking Algorithms for Linear-Time Temporal Logic J. Barnat, V. Bloemen, A. Duret-Lutz, A. Laarman, L. Petrucci, J. van de Pol et É. Renault 457-507, Springer, Handbook of Parallel Constraint Reasoning, 12, L. Sais et Y. Hamadi (eds.), 2018. |
|
| Modular State Spaces for Prioritised Petri nets C. Lakos et L. Petrucci 136-156, Springer, Lecture Notes in Computer Science, 6662, Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems - 16th Monterey Workshop, Redmond, WA, USA, March 31-April 2, 2010, Revised Selected Papers, R. Calinescu et E. Jackson (eds.), Avril 2011 |
|
| Modular Synthesis of Petri Nets from Regular Languages E. Badouel, P. Darondeau et L. Petrucci 1-21, Universities Press, Perspectives in Concurrency Theory, K. Lodaya et M. Mukund (eds.), Décembre 2008 |
|
| Semantics, composition and net properties of algebraic high-level nets C. Dimitrovici, U. Hummert et L. Petrucci 93-117, Springer, Lecture Notes in Computer Science, 524, Advances in Petri Nets 1991, 1992 |
Édition d'ouvrages collectifs
| Proceedings of the 1st International Workshop on Petri Net Games, Examples and Quizzes for Education, Contest and Fun (PENGE'24), Genève, Suisse CEUR Workshop Proceedings, 3721, J. Desel et L. Petrucci, 2024 |
|
| Special Issue on Application and Theory of Petri Nets 2--4, Fundamenta Informaticae, 190, L. Bernardinello, J. Kleijn et L. Petrucci, 2024 |
|
| Proceedings of the 21st International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS'23), Antwerp, Belgium 14138, Springer, Lecture Notes in Computer Science, L. Petrucci et J. Sproston, Septembre 2023 |
|
| Proceedings of the 43rd International Conference on Petri Nets and other Models of Concurrency (PetriNets'22), Bergen, Norway 13288, Springer, Lecture Notes in Computer Science, L. Bernardinello et L. Petrucci, Juin 2022 |
|
| Proceedings of the International Workshop on Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems (FMICS-AVoCS 2017), Torino, Italy Springer, Lecture Notes in Computer Science, 10471, A. Cavalcanti, L. Petrucci et C. Seceleanu, Septembre 2017 |
|
| Proceedings of the 2nd French-Singaporean workshop on Formal Models and Applications, Singapore 156, Electronic Proceedings in Theoretical Computer Science, S.W. Lin et L. Petrucci, Mai 2014 |
|
| Special Issue on Application and Theory of Petri Nets 1--2, Fundamenta Informaticae, 122, L. Kristensen, W. Penczek et L. Petrucci, 2013 |
|
| Proceedings of the 32nd International Conference on Petri Nets and other Models of Concurrency (PetriNets'11), Newcastle-upon-Tyne, UK 6709, Springer, Lecture Notes in Computer Science, L. Kristensen et L. Petrucci, Juin 2011 |
|
| Fifth Special Issue on Application of Concurrency to System Design 3, Fundamenta Informaticae, 86, R. Janicki et L. Petrucci, 2008 |
Revues internationales
| Optimal Scheduling of Agents in ADTrees: Specialised Algorithm and Declarative Models J. Arias, Ł. Maśko, W. Penczek, L. Petrucci et T. Sidoruk 73(2):861--875, IEEE Transactions on Reliability, 2024 |
|
| Symbolic Analysis and Parameter Synthesis for Networks of Parametric Timed Automata with Global Variables using Maude and SMT Solving J. Arias, K. Bae, C. Olarte, P. Ölveczky, L. Petrucci et F. Rømming 38 pages, Elsevier, Science of Computer Programming, 233(C), 2024 |
|
| Development and Verification of a Microservice Architecture for a Fire Risk Notification System R. D. Strand, L. M. Kristensen et L. Petrucci 27-53, Springer, Lecture Notes in Computer Science, 17, Transactions on Petri Nets and Other Models of Concurrency, 2023 |
|
| Distributed parametric model checking timed automata under non-Zenoness assumption É. André, H. G. Nguyen, L. Petrucci et J. Sun Springer, Formal Methods in System Design, novembre 2022. |
|
| Quasi-Optimal Partial Order Reduction C. Coti, L. Petrucci, C. Rodríguez et M. Sousa 1--31, Springer, Formal Methods in System Design, octobre 2020. |
|
| Parametric Verification: An Introduction É. André, M. Knapik, D. Lime, W. Penczek et L. Petrucci 64--100, Springer, Lecture Notes in Computer Science, 14, Transactions on Petri Nets and Other Models of Concurrency, Novembre 2019 |
|
| Timed ATL: Forget Memory, Just Count É. André, W. Jamroga, M. Knapik, W. Penczek et L. Petrucci 197--223, Journal of Artificial Intelligence Research, 66, Septembre 2019 |
|
| Specialisation and Generalisation of Processes C. Choppy, J. Desel et L. Petrucci Special Issue on Conceptual Modelling in Honour of Heinrich C. Mayr, Enterprise Modelling and Information Systems Architectures, 13:1, 35-46, GI - German Informatics Society, Février 2018 |
|
| From Code to Coloured Petri Nets: Modelling Guidelines A. Dedova et L. Petrucci 71-88, Springer, Lecture Notes in Computer Science, 8, Transactions on Petri Nets and Other Models of Concurrency, 2013 |
|
| Distributed CTL Model-Checking and counterexample search C. Boukala et L. Petrucci 1, 44-59, Inderscience, 3, International Journal of Critical Computer-Based Systems, Janvier 2012 |
|
| Extending PNML Scope: a Framework to Combine Petri Nets Types L. Hillah, C. Lakos, F. Kordon et L. Petrucci 46-70, Springer, Lecture Notes in Computer Science, 6, Transactions on Petri Nets and Other Models of Concurrency, Novembre 2012 |
|
| Modelling and formal verification of the NEO protocol C. Choppy, A. Dedova, S. Evangelista, K. Klai, L. Petrucci et S. Youcef 197-225, Springer, Lecture Notes in Computer Science, 6, Transactions on Petri Nets and Other Models of Concurrency, Novembre 2012 |
|
| Coloured Petri net refinement specification and correctness proof with Coq C. Choppy, M. Mayero et L. Petrucci 195-202, Springer, 3, Innovations in Systems and Software Engineering, Avril 2010 |
|
| Application des méthodes formelles à la robotique modulaire --- Méthodes formelles pour l'analyse des robots autonomes et modulaires L. Hillah, F. Kordon et L. Petrucci 4, 459-478, Hermès, 42, Journal Européen des Systèmes automatisés, 2008 |
|
| FAST: Acceleration from theory to practice S. Bardin, A. Finkel, J. Leroux et L. Petrucci 5, 401-424, 10, Journal of Software Tools for Technology Transfer, Octobre 2008 |
|
| Modular State Space Exploration for Timed Petri Nets C. Lakos et L. Petrucci 3-4, 393-411, 9, Journal of Software Tools for Technology Transfer, Juin 2007 |
|
| FAST Verification of the Class of Stop-and-Wait Protocols Modelled by Coloured Petri Nets J. Billington, G. E. Gallasch et L. Petrucci 3, 275-307, 12, Nordic Journal of Computing, Automne 2005 |
|
| Specification and Validation of a Concurrent System: An Educational Project G. Berthelot et L. Petrucci 4, 372-381, 3, Journal of Software Tools for Technology Transfer, 2001 |
|
| Modular analysis of Petri nets S. Christensen et L. Petrucci 3, 224-242, 43, The Computer Journal, 2000 |
Autres revues
| CosyVerif: an Online Verification Platform J. Arias, B. Barbot, F. Hulin-Hubard, F. Kordon, et L. Petrucci Gesellschaft für Informatik, Petri Net Newsletter, Mai 2021 |
|
| Congestion Verification on Abstracted Wireless Sensor Networks with WSN-PN Tool K. Le, T. Bui, T. T. Quan, L. Petrucci, et É.André 1, 33-40, 4, Journal of Advances in Computer Networks, Mars 2016 |
|
| Guidelines for Application Papers submitted to PETRI NETS K. van Hee, L. M. Kristensen et L. Petrucci Gesellschaft für Informatik, Petri Net Newsletter, Octobre 2010 |
|
| A primer on the Petri Net Markup Language and ISO/IEC 15909-2 L. Hillah, E. Kindler, F. Kordon, L. Petrucci et N. Trèves 9-28, Gesellschaft für Informatik, 76, Petri Net Newsletter (originally presented at the 10th International workshop on Practical Use of Coloured Petri Nets and the CPN Tools -- CPN'09), Octobre 2009 |
|
| Cover Picture Story: Experiments with Modular State Spaces L. Petrucci Cover page and 5-10, 68, Petri Net Newsletter, Avril 2005 |
|
| Concurrent systems analysis using ECATNets F. Belala, M. Bettaz et L. Petrucci 2, 149-164, 8, Logic Journal of the IGPL, 2000 |
|
| Propriétés de la composition/décomposition de réseaux de Petri et de leurs graphes de couverture A. Finke et L. Petrucci 2, 73-124, 28, RAIRO Informatique Théorique et Applications, 1994 |
|
| A generic example for testing performance of reachability and covering graphs construction algorithms G. Berthelot, A. Finkel, C. Johnen et L. Petrucci 6-7, 35, Petri Net Newsletter, 1990 |
|
| Combining Finkel's and Jensen's reduction techniques to build covering trees for coloured nets L. Petrucci 32-36, 36, Petri Net Newsletter, 1990 |
Conférences internationales
| Behind the Scene of the Model Checking Contest, Analysis of Results from 2018 to 2023 N. Amat, E. G. Amparore, B. Berthomieu, P. Bouvier, S. Dal Zilio, P. G. Jensen, L. Jezequel, F. Kordon, S. Li, E. Paviot-Adet, L. Petrucci, J. Srba, Y. Thierry-Mieg et K. Wolf Springer, Lecture Notes in Computer Science, International Toolympics Challenge, novembre 2024 |
|
| Model Checking and Synthesis for Strategic Timed CTL using Strategies in Rewriting Logics J. Arias, C. Olarte, W. Penczek, L. Petrucci et T. Sidoruk ACM International Conference Proceedings, 26th International Symposium on Principles and Practice of Declarative Programming (PPDP'24), Milan, Italie, septembre 2024 |
|
| CosyVerif: the Path to Formalisms Cohabitation É. André, J. Arias, B. Barbot, F. Hulin-Hubard, F. Kordon, V.-F. Le et L. Petrucci 432--444, Springer, Lecture Notes in Computer Science, 14628, 45th International Conference on Petri Nets and other Models of Concurrency (PetriNets'24), Genève, Suisse, Juin 2024 |
|
| On-The-Fly Algorithm for Reachability in Parametric Timed Games M. B. Dahlsen-Jensen, B. Fiévet, L. Petrucci et J. van de Pol 194-212, Springer, Lecture Notes in Computer Science, 14572, 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'24), Luxembourg, Avril 2024. [Article long + Artefact] |
|
| Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving J. Arias, K. Bae, C. Olarte, P. Ölveczky, L. Petrucci et F. Rømming Springer, Lecture Notes in Computer Science, 44th International Conference on Petri Nets and other Models of Concurrency (PetriNets'23), Lisbonne, Portugal, Juin 2023 |
|
| Strategic (Timed) Computation Tree Logic J. Arias, W. Jamroga, W. Penczek, L. Petrucci et T. Sidoruk 22nd International Conference on Autonomous Agents and Multiagent Systems (AAMAS'23), Londres, UK, Mai 2023 |
|
| Modular Analysis of Tree-Topology Models J. Arias, M. Knapik, W. Penczek et L. Petrucci Springer, Lecture Notes in Computer Science, 23rd International Conference on Formal Engineering Methods (ICFEM'22), Madrid, Espagne, Octobre 2022 |
|
| Efficient Convex Zone Merging in Parametric Timed Automata É. André, D. Marinho, L. Petrucci et J. van de Pol Springer, Lecture Notes in Computer Science, 20th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2022), Varsovie, Pologne, Septembre 2022 |
|
| A Formal Model for Fault Tolerant Parallel Matrix Factorization C. Coti, L. Petrucci et D.A. Torres Gonzalez IEEE, 26th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'22), Hiroshima City, Japon, Mars 2022 |
|
| Distributed Explicit State Space Exploration with State Reconstruction for RDMA Networks S. Avengelista, L.M. Kristensen et L. Petrucci IEEE, 26th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'22), Hiroshima City, Japon, Mars 2022 |
|
| Minimal Schedule with Minimal Number of Agents in Attack-Defence Trees J. Arias, Ł. Maśko, W. Penczek, L. Petrucci et T. Sidoruk IEEE, 26th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'22), Hiroshima City, Japon, Mars 2022 |
|
| Fault-tolerant LU factorisation is low cost C. Coti, L. Petrucci et D.A. Torres Gonzalez Springer, Lecture Notes in Computer Science, 27th International European Conference on Parallel and Distributed Computing (Euro-Par'21), Lisbonne, Portugal, Août 2021 |
|
| ADT2AMAS: Managing Agents in Attack-Defence Scenarios J. Arias, W. Penczek, L. Petrucci et T. Sidoruk 20th International Conference on Autonomous Agents and Multiagent Systems (AAMAS'21), Mai 2021. [Article outil + Artefact + Poster] |
|
| Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata É. André, J. Arias, L. Petrucci et J. van de Pol 311-329, Springer, Lecture Notes in Computer Science, 12651, 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'21), Mars 2021. [Article long + Artefact] |
|
| Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-Agent Systems J. Arias, C. E. Budde, W. Penczek, L. Petrucci, T. Sidoruk et M. Stoelinga 3-19, Springer, Lecture Notes in Computer Science, 12531, 22nd International Conference on Formal Engineering Methods (ICFEM'20), Singapore, Mars 2021 |
|
| Squeezing State Spaces of (Attack-Defence) Trees M. Knapik, W. Penczek, L. Petrucci et T. Sidoruk 71-80, IEEE, 24th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'19), Guangzhou, China, Novembre 2019 |
|
| Minimal-Time Synthesis for Parametric Timed Automata É. André, V. Bloemen, L. Petrucci et J. van de Pol 432-446, Springer, Lecture Notes in Computer Science, 11428, 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'19), Prague, République Tchèque, Avril 2019. [Article long + Artefact + Poster] |
|
| Layered and Collecting NDFS with Subsumption for Parametric Timed Automata H. G. Nguyen, L. Petrucci et J. van de Pol IEEE, 23rd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'18), Melbourne, Australia, A.W. Lin et J. Sun (eds.), Décembre 2018 |
|
| State Compression Based on One-Sided Communications for Distributed Model Checking C. Coti, S. Evangelista et L. Petrucci IEEE, 23rd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'18), Melbourne, Australia, A.W. Lin et J. Sun (eds.), Décembre 2018 |
|
| One-Sided Communications for more Efficient Parallel State Space Exploration over RDMA Clusters C. Coti, S. Evangelista et L. Petrucci 432-446, Springer, Lecture Notes in Computer Science, 11014, 24th International European Conference on Parallel and Distributed Computing (Euro-Par'18), Torino, Italy, Août 2018 |
|
| Quasi-Optimal Partial Order Reduction H. T. T. Nguyen, C. Rodríguez, M. Sousa, C. Coti et L. Petrucci 354-371, Springer, Lecture Notes in Computer Science, 10982, 30th International Conference on Computer Aided Verification (CAV'18), Oxford, UK, H. Chockler et G. Weissenbacher (eds.), Juillet 2018. [Article long + Artefact] |
|
| Parameter Synthesis Algorithms for Parametric Interval Markov Chains L. Petrucci et J. van de Pol 121-140, Springer, Lecture Notes in Computer Science, 10854, 38th IFIP International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE'18), Madrid, Spain, C. Baier et L. Caires (eds.), Juin 2018 |
|
| Efficient parameter synthesis using optimized state exploration strategies É. André, H. G. Nguyen et L. Petrucci 1-10, IEEE, 22nd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'17), Fukuoka, Japan, Z. Hu et G. Bai (eds.), Novembre 2017 |
|
| Parametric model checking timed automata under non-Zenoness assumption É. André, H.G. Nguyen, L. Petrucci et J. Sun 35-51, Springer, Lecture Notes in Computer Science, 10227, Proc. of the 9th NASA Formal Methods Symposium (NFM2017), Moffett Field, CA, USA, Mai 2017 |
|
| Controlling Actions and Time in Parametric Timed Automata É. André, M. Knapik, W. Penczek et L. Petrucci 45-54, IEEE, 16th Int. Conf. on Application of Concurrency to System Design (ACSD'16), Torún, Poland, Juin 2016 |
|
| Parameter Synthesis for Parametric Interval Markov Chains B. Delahaye, D. Lime et L. Petrucci 372-390, Springer, Lecture Notes in Computer Science, 9583, 17th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'16), St. Petersburg, Florida, USA, Janvier 2016 |
|
| COCA: Congestion-Oriented Clustering Algorithm for Wireless Sensor Networks K. Le, T. Bui, T. T. Quan et L. Petrucci 450-454, IEEE, 8th IEEE Int. Conf. on Communication Software and Networks (ICCSN'16), Beijing, China, Juin 2016 |
|
| Decrypting Cryptography É. André et L. Petrucci IEEE Computer Society, Proc. of the 14th International Conference on Information Technology Based Higher Education and Training (ITHET'15), Lisbon, Portugal, Juin 2015 |
|
| PeCAn: Compositional Verification of Petri Nets Made Easy D. T. Le, H. V. Nguyen, V. T. Nguyen, P. N. Mai, T. T. Quan, É. André, L. Petrucci et Y. Liu (Tool paper), 242-247, Springer, Lecture Notes in Computer Science, 8837, 12th International Symposium on Automated Technology for Verification and Analysis (ATVA'14), Sydney, Australia, F. Cassez et J.-F. Raskin (eds.), Novembre 2014 |
|
| A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems É. André, B. Barbot, C. Démoulins, L. Hillah, F. Hulin-Hubard, F. Kordon, A. Linard et L. Petrucci, 199-214, Springer, Lecture Notes in Computer Science, 8144, 15th International Conference on Formal Engineering Methods (ICFEM 2013), Queenstown, New Zealand, L. Groves et J. Sun (eds.), Octobre 2013 |
|
| CosyVerif: An Open Source Extensible Verification Environment É. André, L. Hillah, F. Hulin-Hubard, F. Kordon, Y. Lembachar, A. Linard et L. Petrucci (short paper), 33-36, IEEE, 18th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'13), Singapore, Y. Liu et A. Martin (eds.), Juillet 2013 |
|
| Precise Robustness Analysis of Time Petri Nets with Inhibitor Arcs É. André, G. Pellegrino et L. Petrucci 1-15, Springer, Lecture Notes in Computer Science, 8053, 11th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS'13), Buenos Aires, Argentina, V. Braberman et L. Fribourg (eds.), Août 2013 |
|
| Multi-threaded Explicit State Space Exploration with State Reconstruction S. Evangelista, L. M. Kristensen et L. Petrucci 208-223, Springer, Lecture Notes in Computer Science, 8172, 11th International Symposium on Automated Technology for Verification and Analysis (ATVA13), Hanoï, Vietnam, Octobre 2013 |
|
| A New Approach to Abstract Reachability State Space of Time Petri Nets K. Klai, N. Aber et L. Petrucci 117-124, IEEE, 20th IEEE International Symposium on Temporal Representation and Reasoning (TIME'13), Pensacola, FL, USA, C. Sanchez, B. Venable et E. Zimanyi (eds.), Septembre 2013 |
|
| Verification of Reachability Properties for Time Petri Nets K. Klai, N. Aber et L. Petrucci 159-170, Springer, Lecture Notes in Computer Science, 8169, Uppsala, Sweden, 7th International Workshop on Reachability Problems (RP 2013), P.A. Abdulla et I. Potapov (eds.), Septembre 2013 |
|
| A Counterexample-Based Incremental and Modular Verification Approach É. André, H. Ochi, K. Klai et L. Petrucci 283-302, Springer, Lecture Notes in Computer Science, 7539, Oxford, England, 17th Monterey Workshop on Development, Operation and Management of Large-Scale Complex IT Systems, R.Calinescu et D. Garlan (eds.), Septembre 2012 |
|
| Improved Multi-Core Nested Depth-First Search S. Evangelista, A. Laarman, L. Petrucci et J. van de Pol 269-283, Springer, Lecture Notes in Computer Science, 7561, 10th International Symposium on Automated Technology for Verification and Analysis (ATVA12), Thiruvananthapuram, India, Octobre 2012 |
|
| Parallel Nested Depth-First Searches for LTL Model Checking S. Evangelista, L. Petrucci et S. Youcef apar, 381-396, Springer, Lecture Notes in Computer Science, 6996, Proceedings of the 9th International Symposium on Automated Technology for Verification and Analysis (ATVA11), Taipei, Taiwan, Octobre 2011 |
|
| PNML Framework: an extendable reference implementation of the Petri Net Markup Language L. Hillah, F. Kordon, L. Petrucci et N. Trèves , 318-327, Springer, Lecture Notes in Computer Science, 6128, Proceedings of the 31st International Conference on Petri Nets and other Models of Concurrency (PetriNets'10), Juin 2010 |
|
| The NEO Protocol for Large-Scale Distributed Database Systems: Modelling and Initial Verification C. Choppy, A. Dedova, S. Evangelista, S. Hong, K. Klai et L. Petrucci 145-164, Springer, Lecture Notes in Computer Science, 6128, Proceedings of the 31st International Conference on Petri Nets and other Models of Concurrency (PetriNets'10), Juin 2010 |
|
| Towards a Standard for Modular Petri Nets: A Formalisation E. Kindler et L. Petrucci 43-62, Springer, Lecture Notes in Computer Science, 5606, Proceedings of the 30th International Conference on Petri Nets and other Models of Concurrency (PetriNets'09), Juin 2009 |
|
| Efficient state-based analysis by introducing bags in Petri nets colour domains S. Haddad, F. Kordon, L. Petrucci, J.-F. Pradat-Peyre et N. Trèves 5018-5025, IEEE Comp. Soc. Press, Proc. 28th American Control Conference (ACC2009), St Louis, Missouri, USA, Juin 2009 |
|
| A modelling approach with coloured Petri nets C. Choppy, L. Petrucci et G. Reggio 73-86, Springer, Lecture Notes in Computer Science, 5026, Proc. 13th Int. Conf. on Reliable Software Technologies - Ada-Europe, Venice, Italy, Juin 2008 |
|
| Modular Construction of the Symbolic Observation Graph K. Klai et L. Petrucci 88-97, IEEE Comp. Soc. Press, Proc. 8th Int. Conf. on Application of Concurrency to System Design (ACSD'08), Xi'an, China, Juin 2008 |
|
| An Incremental and Modular Technique for Checking LTL\X Properties of Petri Nets K. Klai, L. Petrucci et M. Reniers 280-295, Springer, Lecture Notes in Computer Science, 4574, Proc. 27th International Conference on Formal Methods for Networked and Distributed Systems (FORTE'07), Tallinn, Estonia, Juin 2007 |
|
| PN standardisation: a survey L. Hillah, F. Kordon, L. Petrucci et N. Trèves 307-322, Springer, Lecture Notes in Computer Science, 4229, Proc. 26th International Conference on Formal Methods for Networked and Distributed Systems (FORTE'06), Paris, France, E. Najm et J.-F. Pradat-Peyre (eds.), Septembre 2006 |
|
| Modular Analysis of Systems Composed of Semiautonomous Subsystems C. Lakos et L. Petrucci 185-194, IEEE Computer Society Press, Proc. 4th Int. Conf. on Application of Concurrency to System Design (ACSD'04), Hamilton, Canada, Juin 2004 |
|
| An Approach to Distributed State Space Exploration for Coloured Petri Nets L. Kristensen et L. Petrucci 474-483, Springer, Lecture Notes in Computer Science, 3099, Proceedings of the 25th International Conference on Petri Nets and other Models of Concurrency (PetriNets'04), Juin 2004 |
|
| FAST: Fast Acceleration of Symbolic Transition systems S. Bardin, A. Finkel, J. Leroux et L. Petrucci 118-121, Springer, Lecture Notes in Computer Science, 2725, Proc. 15th Int. Conf. on Computer Aided Verification (CAV'2003), Boulder, CO, USA, Juillet 2003 |
|
| Developing a Formal Specification for the Mission System of a Maritime Surveillance Aircraft L. Petrucci, L. M. Kristensen, J. Billington et Z. H. Qureshi 92-101, IEEE Computer Society Press, Proc. 3rd Int. Conf. on Application of Concurrency to System Design (ACSD'03), Guimarães, Portugal, Juin 2003 |
|
| Formal specification and analysis of airborne mission systems L. M. Kristensen, J. Billington, L. Petrucci, Z. Qureshi et R. Kiefer Proc. 21st IEEE Digital Avionics Systems Conference (DASC'2002), Irvine, CA, USA, Octobre 2002 |
|
| How to determine and use place flows in coloured Petri nets S. Christensen et L. Petrucci 66-71, Proc. IEEE Int. Conf. Systems, Man, and Cybernetics (SMC'98), San Diego, CA, USA, Octobre 1998 |
|
| Modular state space analysis of coloured Petri nets S. Christensen et L. Petrucci 201-217, Springer, Lecture Notes in Computer Science, 935, Proc. 16th Int. Conf. Application and Theory of Petri Nets (ICATPN'95), Turin, Italy, Juin 1995 |
|
| Avoiding state explosion by composition of minimal covering graphs A. Finkel et L. Petrucci 169-180, Springer, Lecture Notes in Computer Science, 575, Proc. 3rd Int. Workshop Computer Aided Verification (CAV'91), Aalborg, Denmark, Juillet 1991 |
|
| PAPETRI : environment for the analysis of Petri nets G. Berthelot, C. Johnen et L. Petrucci 43-55, American Mathematical Society, Series in Discrete Mathematics and Theoretical Computer Science (DIMACS), 3, Proc. 2nd Int. Workshop Computer-Aided Verification (CAV'90), New Brunswick, NJ, USA, Juin 1990, 1992 |
|
| Towards a modular analysis of coloured Petri nets S. Christensen et L. Petrucci 113-133, Springer, Lecture Notes in Computer Science, 616, Proc. 13th Int. Conf. Application and Theory of Petri Nets (ICATPN'92), Sheffield, UK, Juin 1992 |
|
| The properties of algebraic nets schemes in some semantics C. Dimitrovici, U. Hummert et L. Petrucci 180-203, Proc. 11th Int. Conf. Application and Theory of Petri Nets (ICATPN'90), Paris, France, Juin 1990 |
Workshops, posters et autres conférences
| The Experience of an Interdisciplinary Course: Individual Presentation on the Internet V. Chesneau et L. Petrucci Proceedings of the IEEE International Conference on IT in Higher Education and Training, Paris, France, novembre 2024 |
|
| Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata J. Arias, K. Bae, C. Olarte, P. Ölveczky, L. Petrucci et F. Rømming Proceedings of the 8th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS'22), Auckland, Nouvelle-Zélande, Décembre 2022 |
|
| Formal Specification and Validation of a Data-driven Software System for Fire Risk Prediction R. D. Strand, L. Kristensen et L. Petrucci Proceedings of the workshop on Petri Nets and Software Engineering (PNSE'22), Bergen, Norvège, Juin 2022 |
|
| Taming NDFS for Parametric Timed Automata J. van de Pol et L. Petrucci 8th IFIP WG 1.8 Workshop on Trends in Concurrency Theory (TRENDS'19), Amsterdam, Pays-Bas, Août 2019 |
|
| Process scheduling on volatile nodes for fault-tolerant linear algebra C. Coti, L. Petrucci et D.A. Torres Gonzalez Poster au 3rd Workshop on Data Locality (COLOC'19), Götingen, Allemagne, Août 2019 |
|
| Pruning NDFS for Parametric Timed Automata J. van de Pol et L. Petrucci 6th International Workshop on Synthesis of Complex Parameters (SynCoP2019), Prague, Czech Republic, Avril 2019 |
|
| Fault-tolerant matrix factorisation: a formal model and proof C. Coti, L. Petrucci et D.A. Torres Gonzalez 6th International Workshop on Synthesis of Complex Parameters (SynCoP2019), Prague, Czech Republic, Avril 2019 |
|
| Timed ATL: Forget Memory, Just Count É. André, W. Jamroga, M. Knapik, W. Penczek et L. Petrucci (poster), 1460-1462, ACM Press, 16th International Conference on Autonomous Agents and Multiagent Systems (AAMAS2017), São Paulo, Brazil, Mai 2017 |
|
| Formally Proving and Enhancing a Self-Stabilising Distributed Algorithm C. Coti, C. Lakos et L. Petrucci 255-274, Proceedings of the workshop on Petri Nets and Software Engineering (PNSE'16), Torún, Poland, Juin 2016 |
|
| A Framework for Fast Congestion Detection in Wireless Sensor Networks Using Clustering and Petri Net-based Verification K. Le, T. Bui, T. T. Quan et L. Petrucci 329-334, Workshop on Petri Nets and Software Engineering (PNSE'16), Torún, Poland, Juin 2016 |
|
| Parametric Interval Markov Chains: Synthesis Revisited L. Petrucci et J. van de Pol Lecture Notes in Computer Science, 9583, Springer. Research Ideas - 21st International Workshop on Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems (FMICS-AVoCS 2016), Pisa, Italy, Septembre 2016 |
|
| Unifying Patterns for Modelling Timed Relationships in Systems and Properties É. André et L. Petrucci 25-40, CEUR, Workshop Proceedings, 1372, Workshop on Petri Nets and Software Engineering (PNSE'15), Brussels, Belgium, D. Moldt, H. Rölke et H. Störrle (eds.), Juin 2015 |
|
| Component-Based Abstraction of Petri Net Models: An Application for Congestion Verification of Wireless Sensor Networks K. Le, T. Bui, T. T. Quan, L. Petrucci et É. André 342-349, ACM Press, New York, NY, USA, Sixth International Symposium on Information and Communication Technology (SoICT 2015), Hue City, Viet Nam, L. De Raedt, Y. Deville, M. Bui et T. T. D. Linh (eds.), Décembre 2015 |
|
| Congestion Verification on Abstracted Wireless Sensor Networks with WSN-PN Tool K. Le, T. Bui, T. T. Quan, L. Petrucci et É. André International Conference on Systems, Control and Communications (ICSCC'15), Singapore, Novembre 2015 |
|
| Teaching formal methods: Experience at UPMC and UP13 with CosyVerif É. André, F. Kordon et L. Petrucci 31-34, IEEE, 25th European Association for Education in Electrical and Information Engineering annual International Conference (EAEEIE'14), Izmir, Turkey, Mai 2014 |
|
| Nationwide Industrial Cooperation for Long-Life Learning and Apprenticeships D. Genon-Catalot, L. Petrucci et M. Tabouret 1-6, IEEE, 13th International Conference on Information Technology Based Higher Education and Training (ITHET'14), York, UK, Septembre 2014 |
|
| Monitoring Students Performances in French Institutes of Technology using the ScoDoc Software E. Viennet et L. Petrucci 1-6, IEEE, 13th International Conference on Information Technology Based Higher Education and Training (ITHET'14), York, UK, Septembre 2014 |
|
| Coloured Petri Nets Refinements C. Choppy, L. Petrucci et A. Sanogo 187-201, CEUR, Workshop Proceedings, 989, Proc. of the workshop on Petri Nets and Software Engineering (PNSE'13), Milan, Italy, D. Moldt (ed.), Juin 2013 |
|
| Professional Experience Validation Process at a National Level D. Genon-Catalot, L. Petrucci et M. Tabouret 11-15, IEEE, 24th European Association for Education in Electrical and Information Engineering annual International Conference (EAEEIE'13), Chania, Greece, Mai 2013 |
|
| Specialisation and Generalisation of Processes C. Choppy, J. Desel et L. Petrucci 109-123, CEUR, Workshop Proceedings, 723, Proceedings of the workshop on Petri Nets and Software Engineering (PNSE'11), Newcastle, UK, Juin 2011 |
|
| Extending PNML Scope: the Prioritised Petri Nets Experience L. Hillah, C. Lakos, F. Kordon et L. Petrucci 92--106, CEUR, Workshop Proceedings, 723, Proceedings of the workshop on Petri Nets and Software Engineering (PNSE'11), Newcastle, UK, Juin 2011 |
|
| Distributed CTL Model-Checking and counterexample search C. Boukala et L. Petrucci , 12 pages, British Computer Society, eWiC, Proc. 3rd International Workshop on Verification and Evaluation of Computer and Communication Systems (VECOS'09), Rabat, Morocco, Juillet 2009 |
|
| A framework for the definition of variants of high-level Petri nets E. Kindler et L. Petrucci Proc. Workshop on Practical Use of Coloured Petri Nets, Aarhus, Denmark, Octobre 2009 |
|
| Experimenting Formal Proofs of Petri Nets Refinements C. Choppy, M. Mayero et L. Petrucci 231-254, Elsevier Science, entcs, 214, Proc. Workshop REFINE (associated with FM2008), Turku, Finland, Mai 2008 |
|
| Aggregating views for Petri net model construction J. Desel et L. Petrucci 17-31, Proc. Workshop on Petri Nets and Distributed Systems (PNDS'08, associated with Petri Nets 2008), Xi'an, China, Juin 2008 |
|
| Designing coloured Petri net models: a method C. Choppy, L. Petrucci et G. Reggio Proceedings published as Report DAIMI-PB 584, Aarhus, DK, 167-186, Proc. Workshop on Practical Use of Coloured Petri Nets, Aarhus, Denmark, Octobre 2007 |
|
| Modular State Spaces and Place Fusion C. Lakos et L. Petrucci 175-190, University of Podlasie, Workshop on Petri Nets and Software Engineering (PNSE'07, associated with PETRI NETS'07), Siedlce, Poland, Juin 2007 |
|
| Modular Discrete Pseudo-State Graphs for Time Petri Nets S. Mazouz et L. Petrucci 272, 223-244, Universität Hamburg Bericht, Workshop on Modelling of Objects, Components and Agents (MOCA'06, associated with PETRI NETS'06), Turku, Finland, Juin 2006 |
|
| Towards a methodology for modelling with Petri nets C. Choppy et L. Petrucci Proceedings published as Report DAIMI-PB 570, Aarhus, DK, 39-56, Proc. Workshop on Practical Use of Coloured Petri Nets, Aarhus, Denmark, Octobre 2004 |
|
| COAST : des réseaux de Petri à la planification assistée S. Bardin et L. Petrucci 285-298, Proc. 6ème Conférence sur les Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'2004), Besançon, France, Juin 2004 |
|
| From PNML to counter systems for accelerating Petri Nets with Fast S. Bardin et L. Petrucci 26-40, Proc. of the Workshop on Interchange Formats for Petri Nets (at PetriNets 2004), Juin 2004 |
|
| Specification and Validation of a Concurrent System: An Educational Project G. Berthelot et L. Petrucci Proceedings published as Report DAIMI-PB 547, Aarhus, DK, 55-72, Proc. Workshop on Practical Use of High-Level Nets, Aarhus, Denmark, Juin 2000 |
|
| Structural analysis of workflow nets with shared resources K. Barkaoui et L. Petrucci Proceedings published as Computing Science Report 98/7, Eindhoven University of Technology, NL, 82-95, Proc. Workflow Management: Net-based Concepts, Models, Techniques and Tools (WFM'98), Lisbon, Portugal, Juin 1998 |
|
| Un algorithme en $n^3/2$ pour le problème de la borne des bonnes places d'un réseau de Petri A. Finkel, O. Marcé et L. Petrucci 401-418, Hermès, Proc. 4ème Colloque Francophone sur l'Ingénierie des Protocoles, Rennes, France, 1995 |
Communications invitées
| On Completeness of Liveness Synthesis for Parametric Timed Automata J. van de Pol et L. Petrucci 3-10, Springer, Lecture Notes in Computer Science, 12669, Proc. 25th International Workshop on Algebraic Development Techniques (WADT'20), 2021 |
|
| A formal approach to designing autonomous systems: from Intelligent Transport Systems to Robots F. Kordon et L. Petrucci Proc. 2nd National Workshop on Control Architectures of Robots: from models to execution on distributed control architectures, Paris, France, Mai 2007 |
|
| The Petri Net Markup Language: Concepts, Technology and Tools J. Billington, S. Christensen, K. van Hee, E. Kindler, O. Kummer, L. Petrucci, R. Post, C. Stehno et M. Weber 483-505, Springer, Lecture Notes in Computer Science, 2679, Proc. 24th Int. Conf. Application and Theory of Petri Nets (Petri Nets'2003), Eindhoven, The Netherlands, Juin 2003 |
Tutoriels dans des conférences internationales
| Parametric Verification É. André, D. Lime, W. Penczek et L. Petrucci 1-day tutorial at Petri Nets'17, Zaragossa, Spain, Juin 2017 |
|
| Parametric Verification É. André, D. Lime, W. Penczek et L. Petrucci 1-day tutorial at Petri Nets'16, Toru\'n, Poland, Juin 2016 |
|
| From Symmetric Nets to Symmetric Nets with Bags S. Baarir, F. Kordon et L. Petrucci 1-day tutorial at Petri Nets'15, Brussels, Belgium, Juin 2015 |
|
| From Symmetric Nets to Symmetric Nets with Bags S. Baarir, F. Kordon et L. Petrucci 1-day tutorial at Petri Nets'14, Tunis, Tunisia, Juin 2014 |
|
| Tutorial on Formal Methods for Distributed and Cooperative Systems C. Choppy, S. Haddad, H. Klaudel, F. Kordon, L. Petrucci et Y. Thierry-Mieg 362--365, Springer, Lecture Notes in Computer Science, 4281, Proc. 3rd Int. Coll. on Theoretical Aspects of Computing (1-day tutorial at ICTAC'06), Tunis, Tunisia, Novembre 2006 |
Thèses
| Modélisation, vérification et applications L. Petrucci Mémoire d'habilitation à diriger des recherches, Université d'Evry, Décembre 2002 |
|
| Techniques d'analyse des réseaux de Petri algébriques L. Petrucci Thèse de Doctorat, Université Pierre et Marie Curie, France, Janvier 1991 |