Filtrer vos résultats
- 69
- 20
- 53
- 19
- 7
- 6
- 3
- 1
- 2
- 89
- 1
- 1
- 1
- 4
- 8
- 6
- 5
- 7
- 4
- 1
- 1
- 1
- 4
- 1
- 5
- 3
- 4
- 4
- 2
- 13
- 6
- 6
- 2
- 1
- 78
- 10
- 1
- 69
- 26
- 11
- 5
- 5
- 4
- 3
- 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
- 89
- 25
- 12
- 10
- 10
- 9
- 8
- 6
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 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
- 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
89 résultats
Verification of reachability properties for Time Petri NetsRP 2013 : 7th International Workshop on Reachability Problems, Sep 2013, Uppsala, Sweden. pp.159 - 170, ⟨10.1007/978-3-642-41036-9_15⟩
Communication dans un congrès
istex
hal-01464876v1
|
|||
A formal approach to designing autonomous systems: from Intelligent Transport Systems to Robots2nd National Workshop on Control Architectures of Robots: From Models to Execution on Distributed Control Architectures, May 2007, Paris, France. pp.15-26
Communication dans un congrès
hal-01335148v1
|
|||
|
|
Modular Analysis of Tree-Topology ModelsFormal Methods and Software Engineering, ICFEM, Oct 2022, Madrid, Spain. pp.36-53, ⟨10.1007/978-3-031-17244-1_3⟩
Communication dans un congrès
hal-03811772v1
|
||
Fault-Tolerant LU Factorization Is Low CostEuro-Par 2021, Sep 2021, Lisbon, Portugal. pp.536-549, ⟨10.1007/978-3-030-85665-6_33⟩
Communication dans un congrès
hal-03543720v1
|
|||
|
|
Modular Automata 2 Distributed Petri Nets 4 Synthesis[Research Report] RR-6192, INRIA. 2007
Rapport
inria-00148133v2
|
||
Distributed Systems Design and AlgorithmsHaddad, Serge; Kordon, Fabrice; Pautet, Laurent; Petrucci, Laure. John Wiley & Sons, Ltd., 2011
Ouvrages
hal-00779937v1
|
|||
|
|
Minimal Schedule with Minimal Number of Agents in Attack-Defence Trees26th International Conference on Engineering of Complex Computer Systems (ICECCS), Mar 2022, Hiroshima, Japan. pp.1-10, ⟨10.1109/ICECCS54210.2022.00009⟩
Communication dans un congrès
hal-03772716v1
|
||
|
|
Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving44th International Conference on Application and Theory of Petri Nets and Concurrency, Jun 2023, Caparica (Lisbonne), Portugal. pp.369-392, ⟨10.1007/978-3-031-33620-1_20⟩
Communication dans un congrès
hal-04153494v1
|
||
General introductionDistibuted Systems: Design and Algorithms, Wiley, pp.13-17, 2011, 9781848212503. ⟨10.1002/9781118601365.ch1⟩
Chapitre d'ouvrage
hal-01288072v1
|
|||
{Extending PNML Scope: the Prioritised Petri Nets Experience}Petri Net and Software Engineering (PNSE 2011), Jun 2011, Newcastle, United Kingdom. pp.92-106
Communication dans un congrès
hal-01282491v1
|
|||
Distributed Explicit State Space Exploration with State Reconstruction for RDMA NetworksThe 26th International Conference on Engineering of Complex Computer Systems, Mar 2022, Hiroshima City, Japan
Communication dans un congrès
hal-03624523v1
|
|||
COBRAS: Cooperative CBR System for Bibliographical Reference Recommendation8th european conference on Case Based Reasonning, 2006, Ölüdeniz/Fethiye, Turkey
Communication dans un congrès
hal-00084196v1
|
|||
|
|
Quasi-optimal partial order reductionFormal Methods in System Design, 2021, 57 (1), pp.3-33. ⟨10.1007/s10703-020-00350-4⟩
Article dans une revue
hal-03543713v1
|
||
|
|
Layered and Collecting NDFS with Subsumption for Parametric Timed Automata2018 23rd International Conference on Engineering of Complex Computer Systems (ICECCS), Dec 2018, Melbourne, Australia. pp.1-9, ⟨10.1109/ICECCS2018.2018.00009⟩
Communication dans un congrès
hal-03544085v1
|
||
|
|
Towards a methodology for modelling with Petri netsWorkshop on Practical Use of Coloured Petri Nets, 2004, Aarhus, Denmark. pp.39-56
Communication dans un congrès
hal-00003390v1
|
||
|
|
From PNML to counter systems for accelerating Petri Nets with FASTWorkshop on Interchange Formats for Petri Nets, 2004, Bologna, Italy. pp.26-40
Communication dans un congrès
hal-00003391v1
|
||
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⟩
Article dans une revue
hal-01272447v1
|
|||
CosyVerif: an Online Verification PlatformPetri Net Newsletter, 2021, 87, pp.5--7
Article dans une revue
hal-03777111v1
|
|||
Toward formal methods oecumenism?IEEE Distributed Systems Online, 2006, 7 (7), pp. 2. ⟨10.1109/MDSO.2006.47⟩
Article dans une revue
hal-00084199v1
|
|||
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⟩
Article dans une revue
istex
hal-01175915v1
|
|||
|
|
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⟩
Communication dans un congrès
hal-00926165v1
|
||
|
|
Parametric Verification: An IntroductionLNCS Transactions on Petri Nets and Other Models of Concurrency, 2019, ⟨10.1007/978-3-662-60651-3_3⟩
Article dans une revue
hal-03544041v1
|
||
Formal Specification and Validation of a Data-driven Software System for Fire Risk PredictionPetri Nets and Software Engineering 2022, Jun 2022, Bergen, Norway
Communication dans un congrès
hal-03772728v1
|
|||
|
|
Parallel Model Checking Algorithms for Linear-Time Temporal LogicHandbook of Parallel Constraint Reasoning, Springer International Publishing, pp.457-507, 2018, ⟨10.1007/978-3-319-63516-3_12⟩
Chapitre d'ouvrage
hal-03772757v1
|
||
|
|
Modularity and Petri Nets7th International Symposium on Programming and Systems (ISPS'2005), 2005, Alger, Algeria. pp.7-8
Communication dans un congrès
hal-00012214v1
|
||
Démarches de spécificationMéthodes formelles pour les systèmes répartis et coopératifs, Hermès, pp.27-49, 2006
Chapitre d'ouvrage
hal-00153747v1
|
|||
Verification of large-scale distributed database systems in the NEOPPOD projectWorkshop on Petri Nets and Software Engineering (PNSE'09, associated with Petri Nets 2009) - poster paper, Jun 2009, Paris, France. pp.315-316
Communication dans un congrès
hal-01298277v1
|
|||
The {NEO} Protocol for Large-Scale Distributed Database Systems: Modelling and Initial Verification31st International Conference on Petri Nets and Other Models of Concurrency (ICATPN 2010), Jun 2010, Braga, Portugal. pp.145-164, ⟨10.1007/978-3-642-13675-7_10⟩
Communication dans un congrès
istex
hal-01292604v1
|
|||
Introduction généraleSystèmes répartis en action : de l'embarqué aux systèmes à large échelle, 9, Hermès, pp.15-19, 2008, Traités IC2 - Informatique et systèmes d'information, 978-2-7462-1943-4
Chapitre d'ouvrage
hal-01304954v1
|
|||
Strategic (Timed) Computation Tree Logic22nd International Conference on Autonomous Agents and Multiagent Systems, May 2023, London, United Kingdom. pp.382-390
Communication dans un congrès
hal-04153471v1
|