Search - Archive ouverte HAL Access content directly

Filter your results

87 Results
Image document

Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata

Jaime Arias , Kyungmin Bae , Carlos Olarte , Laure Petrucci , Peter Csaba Ölveczky , et al.
[Research Report] LIPN. 2022
Reports hal-03814256v1
Image document

An intelligent peer-to-peer multi-agent system for collaborative management of bibliographic databases

Hager Karoui , Rushed Kanawati , Laure Petrucci
Workshop on Case Based Reasoning, 2004, Cambridge, United Kingdom
Conference papers hal-00003389v1
Image document

Parameter Synthesis for Parametric Interval Markov Chains

Benoit Delahaye , Didier Lime , Laure Petrucci
17th International Conference on Verification, Model Checking, and Abstract Interpretation, Jan 2016, Saint Petersburg, Forida, United States. pp.372 - 390, ⟨10.1007/978-3-662-49122-5_18⟩
Conference papers hal-01590884v1

Teaching formal methods: Experience at UPMC and UP13 with CosyVerif

Étienne André , Fabrice Kordon , Laure Petrucci
25th EAEEIE annual International Conference, May 2014, Cesme, Turkey. pp.25-28, ⟨10.1109/EAEEIE.2014.6879378⟩
Conference papers hal-01215588v1

Models and Analysis in Distributed Systems

Serge Haddad , Fabrice Kordon , Laurent Pautet , Laure Petrucci
Haddad, Serge; Kordon, Fabrice; Pautet, Laurent; Petrucci, Laure. John Wiley & Sons, Ltd., 2011
Books hal-00779944v1
Image document

Parameter Synthesis for Parametric Interval Markov Chains

Benoit Delahaye , Didier Lime , Laure Petrucci
[Research Report] LINA-University of Nantes; Ecole Centrale de Nantes (ECN); LIPN. 2015
Reports hal-01219823v1

Méthodes formelles pour les systèmes répartis et coopératifs

Serge Haddad , Fabrice Kordon , Laure Petrucci
Hermès, pp.370, 2006, Traités IC2 - Informatique et systèmes d'information
Books hal-00084193v1

PN standardisation: a survey

Lom Hillah , Fabrice Kordon , Laure Petrucci , Nicolas Trèves
26th international conference on Formal Methods for Networked and Distributed Systems (FORTE'06), Sep 2006, Paris, France. pp.307-322, ⟨10.1007/11888116_23⟩
Conference papers hal-00084198v1

Une approche RàPC pour la formation d'un comité d'agents dans un système de recommandation d'égal-à-égal

Rushed Kanawati , Hager Karoui , Laure Petrucci
14ème atelier RàPC, 2006, Besançon, France
Conference papers hal-00084200v1
Image document

FAST: acceleration from theory to practice

Sebastien Bardin , Alain Finkel , Jérôme Leroux , Laure Petrucci
International Journal on Software Tools for Technology Transfer, 2008, 10 (5), pp.401-424. ⟨10.1007/s10009-008-0064-3⟩
Journal articles hal-00345968v1

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

Étienne André , Benoît Barbot , Clément Démoulins , Lom Messan Hillah , Francis Hulin-Hubard , et al.
15th International Conference on Formal Engineering Methods (ICFEM'13), Oct 2013, Queenstown, New Zealand. pp.199-214, ⟨10.1007/978-3-642-41202-8_14⟩
Conference papers istex hal-00926126v1

Tutorial on Formal Methods for Distributed and Cooperative Systems

Christine Choppy , Serge Haddad , Hanna Klaudel , Fabrice Kordon , Laure Petrucci , et al.
3rd International Colloquium on Theoretical Aspects of Computing (ICTAC 2006), Nov 2006, Tunis, Tunisia. pp.362--365, ⟨10.1007/11921240_25⟩
Conference papers istex hal-00340483v1

A new approach to abstract reachability state space of time petri nets

Kais Klai , Naim Aber , Laure Petrucci
TIME 2013 : 20th International Symposium on Temporal Representation and Reasoning, Sep 2013, Pensacola, United States. pp.117 - 124, ⟨10.1109/TIME.2013.22⟩
Conference papers hal-01261625v1
Image document

Cover Picture Story: Experiments with Modular State Spaces

Laure Petrucci
Petri Net Newsletter, 2005, 68, pp.cover and 5-10
Journal articles hal-00012227v1

The Petri Net Markup Language: Concepts, Technology and Tools

Laure Petrucci , Jonathan Billington , Søren Christensen , Kees van Hee , Ekkart Kindler , et al.
24th international conference on Application and Theory of Petri Nets, 2003, Netherlands. pp.483-505
Conference papers hal-00084186v1
Image document

COAST : des réseaux de Petri à la planification assistée

Sébastien Bardin , Laure Petrucci
6ème Conférence sur les Approches Formelles dans l'Assistance au Développement de Logiciels, 2004, Besançon, France. pp.285-298
Conference papers hal-00003394v1

Distributed and Modular State Space Exploration for Timed Petri Nets

Laure Petrucci , Charles Lakos
Workshop on Practical Use of Coloured Petri Nets, 2005, Aarhus, Denmark
Conference papers hal-00084190v1

Cooperative CBR system for peer agent committee formation

Rushed Kanawati , Hager Karoui , Laure Petrucci
workshop on Agents and Peer-ToPeer Computing, 2006, Hakodate, Japan
Conference papers hal-00084194v1

Modular Discrete Pseudo-State Graphs for Time Petri Nets

Samia Mazouz , Laure Petrucci
workshop on Modelling of Objects, Components and Agents, 2006, Turku, Finland. pp.223-244
Conference papers hal-00084197v1


Serge Haddad , Fabrice Kordon , Laurent Pautet , Laure Petrucci
Models and Analysis in Distributed Systems, Wiley, pp.17-20, 2011, 9781848213142
Book sections hal-01282495v1

Specialisation and Generalisation of Processes

Christine Choppy , Jörg Desel , Laure Petrucci
Enterprise Modelling and Information Systems Architectures, 2018
Journal articles hal-03544074v1

Quasi-Optimal Partial Order Reduction

Laure Petrucci , Huyen Nguyen , César Rodríguez , Marcelo Sousa , Camille Coti
Computer Aided Verification - 30th International Conference, CAV 2018, Jul 2018, Oxford, United Kingdom. pp.354-371, ⟨10.1007/978-3-319-96142-2_22⟩
Conference papers hal-03544076v1

A primer on the Petri Net Markup Language and ISO/IEC 15909-2

Lom Messan Hillah , Ekkart Kindler , Fabrice Kordon , Laure Petrucci , Nicolas Trèves
Petri Net Newsletter, 2009, 76, pp.9-28
Journal articles hal-01176321v1

PNML Framework: an extendable reference implementation of the Petri Net Markup Language

Lom Hillah , Fabrice Kordon , Laure Petrucci , Nicolas Treves
31st International Conference on Petri Nets and Other Models of Concurrency (ICATPN 2010), Jun 2010, Braga, Portugal. pp.318-327, ⟨10.1007/978-3-642-13675-7_20⟩
Conference papers istex hal-01125746v1

Application and Theory of Petri Nets and Concurrency

Luca Bernardinello , Laure Petrucci
Springer International Publishing, 13288, 2022, Lecture Notes in Computer Science, ⟨10.1007/978-3-031-06653-5⟩
Books hal-03772717v1

Parametric Model Checking Timed Automata Under Non-Zenoness Assumption

Étienne André , Hoang Gia Nguyen , Laure Petrucci , Jun Sun
NASA Formal Methods, May 2017, Moffett Field, United States. pp.35-51, ⟨10.1007/978-3-319-57288-8_3⟩
Conference papers hal-03772844v1

Toward formal methods oecumenism?

Fabrice Kordon , Laure Petrucci
IEEE Distributed Systems Online, 2006, 7 (7), pp. 2. ⟨10.1109/MDSO.2006.47⟩
Journal articles hal-00084199v1

Extending PNML Scope: a Framework to Combine Petri Nets Types

Lom Messan Hillah , Fabrice Kordon , Charles Lakos , Laure Petrucci
LNCS Transactions on Petri Nets and Other Models of Concurrency, 2012, Lecture Notes in Computer Science, 7400 (VI), pp.46-70. ⟨10.1007/978-3-642-35179-2_3⟩
Journal articles hal-01272447v1

CosyVerif: An Open Source Extensible Verification Environment

Étienne André , Yousra Lembachar , Laure Petrucci , Francis Hulin-Hubard , Alban Linard , et al.
18th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'13), Jul 2013, Singapore, Singapore. pp.33-36, ⟨10.1109/ICECCS.2013.15⟩
Conference papers hal-00926165v1

Application des méthodes formelles à la robotique modulaire

Lom Messan Hillah , Fabrice Kordon , Laure Petrucci
Journal Européen des Systèmes Automatisés (JESA), 2008, 42 (4), pp.459-478. ⟨10.3166/jesa.42.459-478⟩
Journal articles istex hal-01175915v1