Filter your results
- 67
- 20
- 53
- 17
- 7
- 6
- 3
- 1
- 2
- 87
- 1
- 1
- 3
- 8
- 6
- 5
- 7
- 4
- 1
- 1
- 1
- 4
- 1
- 5
- 3
- 4
- 4
- 2
- 13
- 6
- 6
- 2
- 1
- 76
- 10
- 1
- 67
- 26
- 11
- 5
- 5
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 87
- 25
- 10
- 10
- 8
- 8
- 6
- 6
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
87 Results
|
Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata[Research Report] LIPN. 2022
Reports
hal-03814256v1
|
||
|
An intelligent peer-to-peer multi-agent system for collaborative management of bibliographic databasesWorkshop on Case Based Reasoning, 2004, Cambridge, United Kingdom
Conference papers
hal-00003389v1
|
||
|
Parameter Synthesis for Parametric Interval Markov Chains17th 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 CosyVerif25th 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 SystemsHaddad, Serge; Kordon, Fabrice; Pautet, Laurent; Petrucci, Laure. John Wiley & Sons, Ltd., 2011
Books
hal-00779944v1
|
|||
|
Parameter Synthesis for Parametric Interval Markov Chains[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ératifsHermès, pp.370, 2006, Traités IC2 - Informatique et systèmes d'information
Books
hal-00084193v1
|
|||
|
PN standardisation: a survey26th 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-à-égal14ème atelier RàPC, 2006, Besançon, France
Conference papers
hal-00084200v1
|
|||
|
FAST: acceleration from theory to practiceInternational 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 Systems15th 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 Systems3rd 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 netsTIME 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
|
|||
|
Cover Picture Story: Experiments with Modular State SpacesPetri Net Newsletter, 2005, 68, pp.cover and 5-10
Journal articles
hal-00012227v1
|
||
The Petri Net Markup Language: Concepts, Technology and Tools24th international conference on Application and Theory of Petri Nets, 2003, Netherlands. pp.483-505
Conference papers
hal-00084186v1
|
|||
|
COAST : des réseaux de Petri à la planification assistée6è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 NetsWorkshop on Practical Use of Coloured Petri Nets, 2005, Aarhus, Denmark
Conference papers
hal-00084190v1
|
|||
Cooperative CBR system for peer agent committee formationworkshop on Agents and Peer-ToPeer Computing, 2006, Hakodate, Japan
Conference papers
hal-00084194v1
|
|||
Modular Discrete Pseudo-State Graphs for Time Petri Netsworkshop on Modelling of Objects, Components and Agents, 2006, Turku, Finland. pp.223-244
Conference papers
hal-00084197v1
|
|||
IntroductionModels and Analysis in Distributed Systems, Wiley, pp.17-20, 2011, 9781848213142
Book sections
hal-01282495v1
|
|||
Specialisation and Generalisation of ProcessesEnterprise Modelling and Information Systems Architectures, 2018
Journal articles
hal-03544074v1
|
|||
|
Quasi-Optimal Partial Order ReductionComputer 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-2Petri Net Newsletter, 2009, 76, pp.9-28
Journal articles
hal-01176321v1
|
|||
PNML Framework: an extendable reference implementation of the Petri Net Markup Language31st 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 ConcurrencySpringer 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 AssumptionNASA 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?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 TypesLNCS 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 Environment18th 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 modulaireJournal 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
|