Publications
Books
| Distributed Systems: Design and Algorithms S. Haddad, F. Kordon, L. Pautet, and L. Petrucci John Wiley & Sons, May 2011 |
|
| Models and Analysis in Distributed Systems S. Haddad, F. Kordon, L. Pautet, and L. Petrucci John Wiley & Sons, May 2011 |
|
| Systèmes répartis en action : de l'embarqué aux systèmes large échelle F. Kordon, L. Pautet, and 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, and L. Petrucci Hermès, 2-7462-1447-4, November 2006 |
|
| Systems and Software Verification. Model-Checking Techniques and Tools B. Bérard, M. Bidoit, A. Finkel, F. Laroussinie, A. Petit, L. Petrucci, and Ph. Schnoebelen Springer, 3-540-41523-8, 2001 |
Book chapters
| Parallel Model Checking Algorithms for Linear-Time Temporal Logic J. Barnat, V. Bloemen, A. Duret-Lutz, A. Laarman, L. Petrucci, J. van de Pol and É. Renault 457-507, Springer, Handbook of Parallel Constraint Reasoning, 12, L. Sais and Y. Hamadi (eds.), 2018. |
|
| Modular State Spaces for Prioritised Petri nets C. Lakos and 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 and E. Jackson (eds.), April 2011 |
|
| Modular Synthesis of Petri Nets from Regular Languages E. Badouel, P. Darondeau, and L. Petrucci 1--21, Universities Press, Perspectives in Concurrency Theory, K. Lodaya and M. Mukund (eds.), December 2008 |
|
| Semantics, composition and net properties of algebraic high-level nets C. Dimitrovici, U. Hummert, and L. Petrucci 93-117, Springer, Lecture Notes in Computer Science, 524, Advances in Petri Nets 1991, 1992 |
Edition of collective works
| Proceedings of the 1st International Workshop on Petri Net Games, Examples and Quizzes for Education, Contest and Fun (PENGE'24), Geneva, Switzerland CEUR Workshop Proceedings, 3721, J. Desel and L. Petrucci, 2024 |
|
| Special Issue on Application and Theory of Petri Nets 2--4, Fundamenta Informaticae, 190, L. Bernardinello, J. Kleijn and 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 and J. Sproston, September 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 and L. Petrucci, June 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, and C. Seceleanu, September 2017 |
|
| Proceedings of the 2nd French-Singaporean workshop on Formal Models and Applications, Singapore 156, Electronic Proceedings in Theoretical Computer Science, S.W. Lin and L. Petrucci, May 2014 |
|
| Special Issue on Application and Theory of Petri Nets 1--2, Fundamenta Informaticae, 122, L. Kristensen, W. Penczek, and 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 and L. Petrucci, June 2011 |
|
| Fifth Special Issue on Application of Concurrency to System Design 3, Fundamenta Informaticae, 86, R. Janicki and L. Petrucci, 2008 |
International journals
| Optimal Scheduling of Agents in ADTrees: Specialised Algorithm and Declarative Models J. Arias, Ł. Maśko, W. Penczek, L. Petrucci and 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 and 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 and 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 and J. Sun Springer, Formal Methods in System Design, November 2022. |
|
| Quasi-Optimal Partial Order Reduction C. Coti, L. Petrucci, C. Rodríguez and M. Sousa 1--31, Springer, Formal Methods in System Design, October 2020. |
|
| Parametric Verification: An Introduction É. André, M. Knapik, D. Lime, W. Penczek and L. Petrucci 64--100, Springer, Lecture Notes in Computer Science, 14, Transactions on Petri Nets and Other Models of Concurrency, November 2019 |
|
| Timed ATL: Forget Memory, Just Count É. André, W. Jamroga, M. Knapik, W. Penczek and L. Petrucci 197--223, Journal of Artificial Intelligence Research, 66, September 2019 |
|
| Specialisation and Generalisation of Processes C. Choppy, J. Desel, and 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, February 2018 |
|
| From Code to Coloured Petri Nets: Modelling Guidelines A. Dedova and 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 and L. Petrucci 1, 44-59, Inderscience, 3, International Journal of Critical Computer-Based Systems, January 2012 |
|
| Extending PNML Scope: a Framework to Combine Petri Nets Types L. Hillah, C. Lakos, F. Kordon, and L. Petrucci 46-70, Springer, Lecture Notes in Computer Science, 6, Transactions on Petri Nets and Other Models of Concurrency, November 2012 |
|
| Modelling and formal verification of the NEO protocol C. Choppy, A. Dedova, S. Evangelista, K. Klai, L. Petrucci, and S. Youcef 197-225, Springer, Lecture Notes in Computer Science, 6, Transactions on Petri Nets and Other Models of Concurrency, November 2012 |
|
| Coloured Petri net refinement specification and correctness proof with Coq C. Choppy, M. Mayero, and L. Petrucci 195-202, Springer, 3, Innovations in Systems and Software Engineering, April 2010 |
|
| Application des méthodes formelles à la robotique modulaire - Méthodes formelles pour l'analyse des robots autonomes et modulaires L. Hillah, F. Kordon, and L. Petrucci 4, 459-478, Hermès, 42, Journal Euopéen des Systèmes automatisés, 2008 |
|
| FAST: Acceleration from theory to practice S. Bardin, A. Finkel, J. Leroux, and L. Petrucci 5, 401-424, 10, Journal of Software Tools for Technology Transfer, October 2008 |
|
| Modular State Space Exploration for Timed Petri Nets C. Lakos and L. Petrucci 3-4, 393-411, 9, Journal of Software Tools for Technology Transfer, June 2007 |
|
| FAST Verification of the Class of Stop-and-Wait Protocols Modelled by Coloured Petri Nets J. Billington, G. E. Gallasch, and L. Petrucci 3, 275-307, 12, Nordic Journal of Computing, Fall 2005 |
|
| Specification and Validation of a Concurrent System: An Educational Project G. Berthelot and L. Petrucci 4, 372-381, 3, Journal of Software Tools for Technology Transfer, 2001 |
|
| Modular analysis of Petri nets S. Christensen and L. Petrucci 3, 224-242, 43, The Computer Journal, 2000 |
Other journals
| CosyVerif: an Online Verification Platform J. Arias, B. Barbot, F. Hulin-Hubard, F. Kordon, and L. Petrucci Gesellschaft für Informatik, Petri Net Newsletter, May 2021 |
|
| Congestion Verification on Abstracted Wireless Sensor Networks with WSN-PN Tool K. Le, T. Bui, T. T. Quan, L. Petrucci, and É.André 1, 33-40, 4, Journal of Advances in Computer Networks, March 2016 |
|
| Guidelines for Application Papers submitted to PETRI NETS K. van Hee, L. M. Kristensen, and L. Petrucci Gesellschaft für Informatik, Petri Net Newsletter, October 2010 |
|
| A primer on the Petri Net Markup Language and ISO/IEC 15909-2 L. Hillah, E. Kindler, F. Kordon, L. Petrucci, and 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), October 2009 |
|
| Cover Picture Story: Experiments with Modular State Spaces L. Petrucci Cover page and 5-10, 68, Petri Net Newsletter, April 2005 |
|
| Concurrent systems analysis using ECATNets F. Belala, M. Bettaz, and 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. Finkel and 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, and 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 |
International Conferences
| 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 and K. Wolf Springer, Lecture Notes in Computer Science, International Toolympics Challenge, november 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), Milano, Italy, september 2024 |
|
| CosyVerif: the Path to Formalisms Cohabitation É. André, J. Arias, B. Barbot, F. Hulin-Hubard, F. Kordon, V.-F. Le and L. Petrucci 432--444, Springer, Lecture Notes in Computer Science, 14628, 45th International Conference on Petri Nets and other Models of Concurrency (PetriNets'24), Geneva, Switzerland, June 2024 |
|
| On-The-Fly Algorithm for Reachability in Parametric Timed Games M. B. Dahlsen-Jensen, B. Fiévet, L. Petrucci and 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), April 2024. [Regular tool paper + 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 and F. Rømming Springer, Lecture Notes in Computer Science, 44th International Conference on Petri Nets and other Models of Concurrency (PetriNets'23), Lisbon, Portugal, June 2023 |
|
| Strategic (Timed) Computation Tree Logic J. Arias, W. Jamroga, W. Penczek, L. Petrucci and T. Sidoruk 22nd International Conference on Autonomous Agents and Multiagent Systems (AAMAS'23), London, UK, May 2023 |
|
| Modular Analysis of Tree-Topology Models J. Arias, M. Knapik, W. Penczek and L. Petrucci Springer, Lecture Notes in Computer Science, 23rd International Conference on Formal Engineering Methods (ICFEM'22), Madrid, Spain, October 2022 |
|
| Efficient Convex Zone Merging in Parametric Timed Automata É. André, D. Marinho, L. Petrucci and J. van de Pol Springer, Lecture Notes in Computer Science, 20th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2022), Warsaw, Poland, September 2022 |
|
| A Formal Model for Fault Tolerant Parallel Matrix Factorization C. Coti, L. Petrucci and D.A. Torres Gonzalez IEEE, 26th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'22), Hiroshima City, Japan, March 2022 |
|
| Distributed Explicit State Space Exploration with State Reconstruction for RDMA Networks S. Avengelista, L.M. Kristensen and L. Petrucci IEEE, 26th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'22), Hiroshima City, Japan, March 2022 |
|
| Minimal Schedule with Minimal Number of Agents in Attack-Defence Trees J. Arias, Ł. Maśko, W. Penczek, L. Petrucci and T. Sidoruk IEEE, 26th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'22), Hiroshima City, Japan, March 2022 |
|
| Fault-tolerant LU factorisation is low cost C. Coti, L. Petrucci and D.A. Torres Gonzalez Springer, Lecture Notes in Computer Science, 27th International European Conference on Parallel and Distributed Computing (Euro-Par'21), Lisbon, Portugal, August 2021 |
|
| ADT2AMAS: Managing Agents in Attack-Defence Scenarios J. Arias, W. Penczek, L. Petrucci and T. Sidoruk 20th International Conference on Autonomous Agents and Multiagent Systems (AAMAS'21), May 2021. [Tool paper + Artefact + Poster] |
|
| Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata É. André, J. Arias, L. Petrucci and 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), March 2021. [Regular paper + Artefact] |
|
| Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-Agent Systems J. Arias, C. E. Budde, W. Penczek, L. Petrucci, T. Sidoruk and M. Stoelinga 3-19, Springer, Lecture Notes in Computer Science, 12531, 22nd International Conference on Formal Engineering Methods (ICFEM'20), Singapore, March 2021 |
|
| Squeezing State Spaces of (Attack-Defence) Trees M. Knapik, W. Penczek, L. Petrucci and T. Sidoruk 71-80, IEEE, 24th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'19), Guangzhou, China, November 2019 |
Minimal-Time Synthesis for Parametric Timed Automata É. André, V. Bloemen, L. Petrucci and 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, Czech Republic, April 2019. [Regular paper + Artefact + Poster] |
| Layered and Collecting NDFS with Subsumption for Parametric Timed Automata H. G. Nguyen, L. Petrucci and 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.), December 2018 |
|
| State Compression Based on One-Sided Communications for Distributed Model Checking C. Coti, S. Evangelista and L. Petrucci IEEE, 23rd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'18), Melbourne, Australia, A.W. Lin et J. Sun (eds.), December 2018 |
|
| One-Sided Communications for more Efficient Parallel State Space Exploration over RDMA Clusters C. Coti, S. Evangelista and 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, August 2018 |
|
| Quasi-Optimal Partial Order Reduction H. T. T. Nguyen, C. Rodríguez, M. Sousa, C. Coti, and L. Petrucci 354-371, Springer, Lecture Notes in Computer Science, 10982, 30th International Conference on Computer Aided Verification (CAV'18), Oxford, UK, H. Chockler and G. Weissenbacher (eds.), July 2018. [Regular paper + Artefact] |
|
| Parameter Synthesis Algorithms for Parametric Interval Markov Chains L. Petrucci and J. van de Pol 21-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 and L. Caires (eds.), June 2018 |
|
| Efficient parameter synthesis using optimized state exploration strategies É. André, H. G. Nguyen, and L. Petrucci 1-10, IEEE, 22nd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'17), Fukuoka, Japan, Z. Hu and G. Bai (eds.), November 2017 |
|
| Parametric model checking timed automata under non-Zenoness assumption É. André, H.G. Nguyen, L. Petrucci, and J. Sun 35-51, Springer, Lecture Notes in Computer Science, 10227, Proc. of the 9th NASA Formal Methods Symposium (NFM2017), Moffett Field, CA, USA, May 2017 |
|
| Controlling Actions and Time in Parametric Timed Automata É. André, M. Knapik, W. Penczek, and L. Petrucci 45-54, IEEE, 16th Int. Conf. on Application of Concurrency to System Design (ACSD'16), Torún, Poland, June 2016 |
|
| Parameter Synthesis for Parametric Interval Markov Chains B. Delahaye, D. Lime, and 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, January 2016 |
|
| COCA: Congestion-Oriented Clustering Algorithm for Wireless Sensor Networks K. Le, T. Bui, T. T. Quan, and L. Petrucci 450-454, IEEE, 8th IEEE Int. Conf. on Communication Software and Networks (ICCSN'16), Beijing, China, June 2016 |
|
| Decrypting Cryptography É. André, and L. Petrucci IEEE Computer Society, Proc. of the 14th International Conference on Information Technology Based Higher Education and Training (ITHET'15), Lisbon, Portugal, June 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, and 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 and J.-F. Raskin (eds.), November 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, and 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 and J. Sun (eds.), October 2013 |
|
| CosyVerif: An Open Source Extensible Verification Environment É. André, L. Hillah, F. Hulin-Hubard, F. Kordon, Y. Lembachar, A. Linard, and L. Petrucci (short paper), 33-36, IEEE, 18th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'13), Singapore, Y. Liu and A. Martin (eds.), July 2013 |
|
| Precise Robustness Analysis of Time Petri Nets with Inhibitor Arcs É. André, G. Pellegrino, and 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 and L. Fribourg (eds.), August 2013 |
|
| Multi-threaded Explicit State Space Exploration with State Reconstruction S. Evangelista, L. M. Kristensen, and L. Petrucci 208-223, Springer, Lecture Notes in Computer Science, 8172, 11th International Symposium on Automated Technology for Verification and Analysis (ATVA13), Hanoï, Vietnam, October 2013 |
|
| A New Approach to Abstract Reachability State Space of Time Petri Nets K. Klai, N. Aber, and L. Petrucci 117-124, IEEE, 20th IEEE International Symposium on Temporal Representation and Reasoning (TIME'13), Pensacola, FL, USA, C. Sanchez, B. Venable, and E. Zimanyi (eds.), September 2013 |
|
| Verification of Reachability Properties for Time Petri Nets K. Klai, N. Aber, and L. Petrucci 159-170, Springer, Lecture Notes in Computer Science, 8169, Uppsala, Sweden, 7th International Workshop on Reachability Problems (RP 2013), P. A. Abdulla and I. Potapov (eds.), September 2013 |
|
| A Counterexample-Based Incremental and Modular Verification Approach É. André, H. Ochi, K. Klai, and 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.), September 2012 |
|
| Improved Multi-Core Nested Depth-First Search S. Evangelista, A. Laarman, L. Petrucci, and 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, October 2012 |
|
| Parallel Nested Depth-First Searches for LTL Model Checking S. Evangelista, L. Petrucci, and S. Youcef 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, October 2011 |
|
| PNML Framework: an extendable reference implementation of the Petri Net Markup Language L. Hillah, F. Kordon, L. Petrucci, and 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), June 2010 |
|
| The NEO Protocol for Large-Scale Distributed Database Systems: Modelling and Initial Verification C. Choppy, A. Dedova, S. Evangelista, S. Hong, K. Klai, and 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), June 2010 |
|
| Towards a Standard for Modular Petri Nets: A Formalisation E. Kindler and 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), June 2009 |
|
| Efficient state-based analysis by introducing bags in Petri nets colour domains S. Haddad, F. Kordon, L. Petrucci, J.-F. Pradat-Peyre, and N. Trèves 5018-5025, IEEE Comp. Soc. Press, Proc. 28th American Control Conference (ACC2009), St Louis, Missouri, USA, June 2009 |
|
| A modelling approach with coloured Petri nets C. Choppy, L. Petrucci, and G. Reggio 73-86, Springer, Lecture Notes in Computer Science, 5026, Proc. 13th Int. Conf. on Reliable Software Technologies - Ada-Europe, Venice, Italy, June 2008 |
|
| Modular Construction of the Symbolic Observation Graph K. Klai and L. Petrucci 88-97, IEEE Comp. Soc. Press, Proc. 8th Int. Conf. on Application of Concurrency to System Design (ACSD'08), Xi'an, China, June 2008 |
|
| An Incremental and Modular Technique for Checking LTL\X Properties of Petri Nets K. Klai, L. Petrucci, and 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, June 2007 |
|
| PN standardisation: a survey L. Hillah, F. Kordon, L. Petrucci, and 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 and J.-F. Pradat-Peyre (eds.), September 2006 |
|
| Modular Analysis of Systems Composed of Semiautonomous Subsystems C. Lakos and L. Petrucci 185-194, IEEE Computer Society Press, Proc. 4th Int. Conf. on Application of Concurrency to System Design (ACSD'04), Hamilton, Canada, June 2004 |
|
| An Approach to Distributed State Space Exploration for Coloured Petri Nets L. Kristensen and 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), June 2004 |
|
| FAST: Fast Acceleration of Symbolic Transition systems S. Bardin, A. Finkel, J. Leroux, and L. Petrucci 118-121, Springer, Lecture Notes in Computer Science, 2725, Proc. 15th Int. Conf. on Computer Aided Verification (CAV'2003), Boulder, CO, USA, July 2003 |
|
| Developing a Formal Specification for the Mission System of a Maritime Surveillance Aircraft L. Petrucci, L. M. Kristensen, J. Billington, and 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, June 2003 |
|
| Formal specification and analysis of airborne mission systems L. M. Kristensen, J. Billington, L. Petrucci, Z. Qureshi, and R. Kiefer Proc. 21st IEEE Digital Avionics Systems Conference (DASC'2002), Irvine, CA, USA, October 2002 |
|
| How to determine and use place flows in coloured Petri nets S. Christensen and L. Petrucci 66-71, Proc. IEEE Int. Conf. Systems, Man, and Cybernetics (SMC'98), San Diego, CA, USA, October 1998 |
|
| Modular state space analysis of coloured Petri nets S. Christensen and 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, June 19955 |
|
| Avoiding state explosion by composition of minimal covering graphs A. Finkel and L. Petrucci 169-180, Springer, Lecture Notes in Computer Science, 575, Proc. 3rd Int. Workshop Computer Aided Verification (CAV'91), Aalborg, Denmark, July 1991 |
|
| PAPETRI : environment for the analysis of Petri nets G. Berthelot, C. Johnen, and 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, June 1990, 1992 |
|
| Towards a modular analysis of coloured Petri nets S. Christensen and 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, June 1992 |
|
| The properties of algebraic nets schemes in some semantics C. Dimitrovici, U. Hummert, and L. Petrucci 180-203, Proc. 11th Int. Conf. Application and Theory of Petri Nets (ICATPN'90), Paris, France, June 1990 |
Workshops, posters and other conferences
| The Experience of an Interdisciplinary Course: Individual Presentation on the Internet V. Chesneau and L. Petrucci Proceedings of the IEEE International Conference on IT in Higher Education and Training, Paris, France, november 2024 |
|
| Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata J. Arias, K. Bae, C. Olarte, P. Ölveczky, L. Petrucci and F. Rømming Proceedings of the 8th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS'22), Auckland, New Zealand, December 2022 |
|
| Formal Specification and Validation of a Data-driven Software System for Fire Risk Prediction R. D. Strand, L. Kristensen, and L. Petrucci Proceedings of the workshop on Petri Nets and Software Engineering (PNSE'22), Bergen, Norway, June 2022 |
|
| Taming NDFS for Parametric Timed Automata J. van de Pol, and L. Petrucci 8th IFIP WG 1.8 Workshop on Trends in Concurrency Theory (TRENDS'19), Amsterdam, The Netherlands, August 2019 |
|
| Process scheduling on volatile nodes for fault-tolerant linear algebra C. Coti, L. Petrucci and D.A. Torres Gonzalez Poster at the 3rd Workshop on Data Locality (COLOC'19), Götingen, Germany, August 2019 |
|
| Pruning NDFS for Parametric Timed Automata J. van de Pol, and L. Petrucci 6th International Workshop on Synthesis of Complex Parameters (SynCoP2019), Prague, Czech Republic, April 2019 |
|
| Fault-tolerant matrix factorisation: a formal model and proof C. Coti, L. Petrucci and D.A. Torres Gonzalez 6th International Workshop on Synthesis of Complex Parameters (SynCoP2019), Prague, Czech Republic, April 2019 |
|
| Timed ATL: Forget Memory, Just Count É. André, W. Jamroga, M. Knapik, W. Penczek, and L. Petrucci (poster), 1460-1462, ACM Press, 16th International Conference on Autonomous Agents and Multiagent Systems (AAMAS2017), São Paulo, Brazil, May 2017 |
|
| Formally Proving and Enhancing a Self-Stabilising Distributed Algorithm C. Coti, C. Lakos, and L. Petrucci 255-274, Proceedings of the workshop on Petri Nets and Software Engineering (PNSE'16), Torún, Poland, June 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, and L. Petrucci 329-334, Workshop on Petri Nets and Software Engineering (PNSE'16), Torún, Poland, June 2016 |
|
| Parametric Interval Markov Chains: Synthesis Revisited L. Petrucci and 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, September 2016 |
|
| Unifying Patterns for Modelling Timed Relationships in Systems and Properties É. André and L. Petrucci 25-40, CEUR, Workshop Proceedings, 1372, Workshop on Petri Nets and Software Engineering (PNSE'15), Brussels, Belgium, D. Moldt, H. Rölke, and H. Störrle (eds.), June 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, and É. 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, and T. T. D. Linh (eds.), December 2015 |
|
| Congestion Verification on Abstracted Wireless Sensor Networks with WSN-PN Tool K. Le, T. Bui, T. T. Quan, L. Petrucci, and É. André International Conference on Systems, Control and Communications (ICSCC'15), Singapore, November 2015 |
|
| Teaching formal methods: Experience at UPMC and UP13 with CosyVerif É. André, F. Kordon, and L. Petrucci 31-34, IEEE, 25th European Association for Education in Electrical and Information Engineering annual International Conference (EAEEIE'14), Izmir, Turkey, May 2014 |
|
| Nationwide Industrial Cooperation for Long-Life Learning and Apprenticeships D. Genon-Catalot, L. Petrucci, and M. Tabouret 1-6, IEEE, 13th International Conference on Information Technology Based Higher Education and Training (ITHET'14), York, UK, September 2014 |
|
| Monitoring Students Performances in French Institutes of Technology using the ScoDoc Software E. Viennet and L. Petrucci 1-6, IEEE, 13th International Conference on Information Technology Based Higher Education and Training (ITHET'14), York, UK, September 2014 |
|
| Coloured Petri Nets Refinements C. Choppy, L. Petrucci, and 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.), June 2013 |
|
| Professional Experience Validation Process at a National Level D. Genon-Catalot, L. Petrucci, and M. Tabouret 11-15, IEEE, 24th European Association for Education in Electrical and Information Engineering annual International Conference (EAEEIE'13), Chania, Greece, May 2013 |
|
| Specialisation and Generalisation of Processes C. Choppy, J. Desel, and L. Petrucci 109-123, CEUR, Workshop Proceedings, 723, Proceedings of the workshop on Petri Nets and Software Engineering (PNSE'11), Newcastle, UK, June 2011 |
|
| Extending PNML Scope: the Prioritised Petri Nets Experience L. Hillah, C. Lakos, F. Kordon, and L. Petrucci 92-106, CEUR, Workshop Proceedings, 723, Proceedings of the workshop on Petri Nets and Software Engineering (PNSE'11), Newcastle, UK, June 2011 |
|
| Distributed CTL Model-Checking and counterexample search C. Boukala and 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, July 2009 |
|
| A framework for the definition of variants of high-level Petri nets E. Kindler and L. Petrucci Proc. Workshop on Practical Use of Coloured Petri Nets, Aarhus, Denmark, October 2009 |
|
| Experimenting Formal Proofs of Petri Nets Refinements C. Choppy, M. Mayero, and L. Petrucci 231-254, Elsevier Science, entcs, 214, Proc. Workshop REFINE (associated with FM2008), Turku, Finland, May 2008 |
|
| Aggregating views for Petri net model construction J. Desel and L. Petrucci 17-31, Proc. Workshop on Petri Nets and Distributed Systems (PNDS'08, associated with Petri Nets 2008), Xi'an, China, June 2008 |
|
| Designing coloured Petri net models: a method C. Choppy, L. Petrucci, and G. Reggio Proceedings published as Report DAIMI-PB 584, Aarhus, DK, 167-186, Proc. Workshop on Practical Use of Coloured Petri Nets, Aarhus, Denmark, October 2007 |
|
| Modular State Spaces and Place Fusion C. Lakos and L. Petrucci 175-190, University of Podlasie, Workshop on Petri Nets and Software Engineering (PNSE'07, associated with PETRI NETS'07), Siedlce, Poland, June 2007 |
|
| Modular Discrete Pseudo-State Graphs for Time Petri Nets S. Mazouz and 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, June 2006 |
|
| Towards a methodology for modelling with Petri nets C. Choppy and L. Petrucci Proceedings published as Report DAIMI-PB 570, Aarhus, DK, 39-56, Proc. Workshop on Practical Use of Coloured Petri Nets, Aarhus, Denmark, October 2004 |
|
| COAST : des réseaux de Petri à la planification assistée S. Bardin and 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, June 2004 |
|
| From PNML to counter systems for accelerating Petri Nets with Fast S. Bardin and L. Petrucci 26-40, Proc. of the Workshop on Interchange Formats for Petri Nets (at PetriNets 2004), June 2004 |
|
| Specification and Validation of a Concurrent System: An Educational Project G. Berthelot and L. Petrucci Proceedings published as Report DAIMI-PB 547, Aarhus, DK, 55-72, Proc. Workshop on Practical Use of High-Level Nets, Aarhus, Denmark, June 2000 |
|
| Structural analysis of workflow nets with shared resources K. Barkaoui and 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, June 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é, and L. Petrucci 401-418, Hermès, Proc. 4ème Colloque Francophone sur l'Ingénierie des Protocoles, Rennes, France, 1995 |
Invited communications
| On Completeness of Liveness Synthesis for Parametric Timed Automata J. van de Pol and 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 and L. Petrucci Proc. 2nd National Workshop on Control Architectures of Robots: from models to execution on distributed control architectures, Paris, France, May 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, and 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, June 2003 |
Tutorials in international conferences
| Parametric Verification É. André, D. Lime, W. Penczek, and L. Petrucci 1-day tutorial at Petri Nets'17, Zaragossa, Spain, June 2017 |
|
| Parametric Verification É. André, D. Lime, W. Penczek, and L. Petrucci 1-day tutorial at Petri Nets'16, Toru\'n, Poland, June 2016 |
|
| From Symmetric Nets to Symmetric Nets with Bags S. Baarir, F. Kordon, and L. Petrucci 1-day tutorial at Petri Nets'15, Brussels, Belgium, June 2015 |
|
| From Symmetric Nets to Symmetric Nets with Bags S. Baarir, F. Kordon, and L. Petrucci 1-day tutorial at Petri Nets'14, Tunis, Tunisia, June 2014 |
|
| Tutorial on Formal Methods for Distributed and Cooperative Systems C. Choppy, S. Haddad and H. Klaudel, F. Kordon, L. Petrucci, and 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, November 2006 |
Theses
| Modélisation, vérification et applications L. Petrucci Habilitation Thesis, Université d'Evry, December 2002 |
|
| Techniques d'analyse des réseaux de Petri algébriques L. Petrucci PhD, Université Pierre et Marie Curie, France, January 1991 |