Filtrer vos résultats
- 37
- 17
- 35
- 9
- 3
- 3
- 1
- 1
- 1
- 1
- 54
- 1
- 1
- 2
- 1
- 3
- 3
- 3
- 1
- 2
- 6
- 4
- 5
- 3
- 2
- 4
- 2
- 4
- 2
- 3
- 2
- 1
- 46
- 8
- 43
- 11
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 54
- 30
- 9
- 9
- 6
- 4
- 4
- 3
- 3
- 3
- 3
- 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
54 résultats
|
|
|
triés par
|
{Compositional Analysis of Discrete Time Petri nets}1st workshop on Petri Nets Compositions (CompoNet 2011), Jun 2011, Newcastle, United Kingdom. pp.17-31
Communication dans un congrès
hal-01282489v1
|
|||
|
|
From Symbolic Verification To Domain Specific LanguagesFormal Languages and Automata Theory [cs.FL]. Sorbonne Université UPMC; Laboratoire d'informatique de Paris 6 [LIP6], 2016
HDR
tel-02104341v1
|
||
|
|
Symbolic Model Checking of stutter invariant properties Using Generalized Testing Automata20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2014, Apr 2014, Grenoble, France. pp.440-454, ⟨10.1007/978-3-642-54862-8_38⟩
Communication dans un congrès
hal-01216559v1
|
||
Verification of Finite-State SystemsModels and Analysis in Distributed Systems, Wiley, pp.155-220, 2011, 9781848213142
Chapitre d'ouvrage
hal-01288078v1
|
|||
|
|
Towards Distributed Software Model-Checking using Decision Diagrams25th International Conference on Computer Aided Verification (CAV), Jul 2013, Saint-Petersbourg, Russia. pp.830-845, ⟨10.1007/978-3-642-39799-8_58⟩
Communication dans un congrès
hal-01215999v1
|
||
Modélisation et vérification de systèmes répartis :une approche intégrée avec LfPApproches Formelles dans l'Assistance au Développement de Logiciels (AFADL), Jan 2003, Rennes, France
Communication dans un congrès
hal-01530423v1
|
|||
|
|
Modeling and Analyzing Wireless Sensor Networks with VeriSensorPetri Net and Software Engineering (PNSE), Jun 2012, Hamburg, Germany. pp.60-76
Communication dans un congrès
hal-00822408v1
|
||
|
|
Presentation of the 9th Edition of the Model Checking ContestTools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Proceedings, Part III, Apr 2019, Prague, Czech Republic. pp.50-68, ⟨10.1007/978-3-030-17502-3_4⟩
Communication dans un congrès
hal-02094047v1
|
||
Modeling and Analyzing Wireless Sensor Networks with VeriSensor: an Integrated WorkflowLNCS Transactions on Petri Nets and Other Models of Concurrency, 2013, VIII, pp.24-47. ⟨10.1007/978-3-642-40465-8_2⟩
Article dans une revue
istex
hal-00840204v1
|
|||
|
|
Efficient Strategies to Compute Invariants, Bounds and Stable Places of Petri netsPetri Nets and Software Engineering PNSE'23, Jun 2023, Lisbon, Portugal
Communication dans un congrès
hal-04142675v1
|
||
Automated Controllability and Synthesis with Hierarchical Set Decision Diagrams11th International Workshop on Discrete Event Systems (WODES'10), Sep 2010, Berlin, Germany. pp.281-286, ⟨10.3182/20100830-3-DE-4013.00047⟩
Communication dans un congrès
hal-01293801v1
|
|||
|
|
Modeling a Cache Coherence Protocol with the Guarded Action LanguageWorkshop on Models for Formal Analysis of Real Systems, Apr 2018, Thessaloniki, Greece. ⟨10.4204/EPTCS.268.3⟩
Communication dans un congrès
hal-02172237v1
|
||
|
|
A Symbolic Symbolic State Space Representation24th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE '04), Sep 2004, Madrid, Spain. pp.276-291, ⟨10.1007/978-3-540-30232-2_18⟩
Communication dans un congrès
hal-01520673v1
|
||
|
|
MCC’2017 - The Seventh Model Checking ContestLNCS Transactions on Petri Nets and Other Models of Concurrency, 11090, pp.181-209, 2018, Lecture Notes in Computer Science, ⟨10.1007/978-3-662-58381-4_9⟩
Proceedings/Recueil des communications
hal-01917492v1
|
||
|
|
Symbolic and Structural Model-CheckingFundamenta Informaticae, 2022, 183 (3-4), pp.319-342. ⟨10.3233/FI-2021-2090⟩
Article dans une revue
hal-03147423v2
|
||
|
|
Collision Avoidance in Intelligent Transport Systems: towards an Application of Control Theory9th International Workshop on Discrete Event Systems (WODES'08), May 2008, Goteborg, Sweden. pp.346-351, ⟨10.1109/WODES.2008.4605970⟩
Communication dans un congrès
hal-01303699v1
|
||
|
|
Hierarchical Set Decision Diagrams and Regular Models15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Mar 2009, York, United Kingdom. pp.1-15, ⟨10.1007/978-3-642-00768-2_1⟩
Communication dans un congrès
hal-01294397v1
|
||
|
|
Formal verification of mobile robot protocolsDistributed Computing, 2016, 29 (6), pp.459-487. ⟨10.1007/s00446-016-0271-1⟩
Article dans une revue
hal-01344903v1
|
||
|
|
Building Efficient Model Checkers using Hierarchical Set Decision Diagrams and Automatic SaturationFundamenta Informaticae, 2009, 94 (3-4), pp.413-437. ⟨10.3233/FI-2009-137⟩
Article dans une revue
hal-01121192v1
|
||
Nouvelles techniques de Model Checking pour la vérification de systèmes complexesGénie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2004, 69, pp.17-23
Article dans une revue
hal-01175956v1
|
|||
|
|
Automatic Symmetry Detection in Well-Formed Nets24th International Conference on Theory and Application of Petri Nets, Jun 2003, Eindhoven, Netherlands. pp.82-101, ⟨10.1007/3-540-44919-1_9⟩
Communication dans un congrès
hal-01531070v1
|
||
|
|
Report on the Model Checking Contest at Petri Nets 2011LNCS Transactions on Petri Nets and Other Models of Concurrency, 2012, Lecture Notes in Computer Science, 7400 (VI), pp.169-196. ⟨10.1007/978-3-642-35179-2_8⟩
Article dans une revue
hal-01270053v1
|
||
|
|
Vérification formelle et robots mobiles15èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), May 2013, Pornic, France. pp.1-4
Communication dans un congrès
hal-00818707v1
|
||
Processus de fabrication de systèmes répartis centré sur un modèle : l'expérience du projet MORSELa Revue de l'électricité et de l'électronique, 2006, 3, pp.102-111. ⟨10.3845/ree.2006.036⟩
Article dans une revue
hal-01175911v1
|
|||
Controllability for Discrete Event Systems Modeled in VeriJInternational Journal of Critical Computer-Based Systems, 2014, 5 (3/4), pp.218-240. ⟨10.1504/IJCCBS.2014.064668⟩
Article dans une revue
hal-01176427v1
|
|||
|
|
Hierarchy is Good For Discrete Time: a Compositional Approach to Discrete Time VerificationDagstuhl seminar "Architecture-Driven Semantic Analysis of Embedded Systems", Jul 2012, Dagstuhl, Germany. pp.38-39
Communication dans un congrès
hal-00822416v1
|
||
|
|
Bridging the Gap Between Formal Methods and Software Engineering Using Model-based TechnologyPetri Nets and Software Engineering. International Workshop, PNSE'16, 2016, Torun, Poland
Communication dans un congrès
hal-02104397v1
|
||
|
|
Symbolic Model-Checking using ITS-toolsTools and Algorithms for the Construction and Analysis of Systems, Apr 2015, London, United Kingdom. pp.231-237, ⟨10.1007/978-3-662-46681-0_20⟩
Communication dans un congrès
hal-02104373v1
|
||
|
|
Software Architecture of Modern Model CheckersComputing and Software Science, State of the Art and Perspectives, 10000, Springer, pp.393-419, 2019, Lecture Notes in Computer Science, ⟨10.1007/978-3-319-91908-9_20⟩
Chapitre d'ouvrage
hal-02343325v1
|
||
UML Behavioral Consistency Checking Using Instantiable Petri netsInnovations in Systems and Software Engineering, 2008, 4 (3), pp.293-300. ⟨10.1007/s11334-008-0065-0⟩
Article dans une revue
istex
hal-01175957v1
|
- 1
- 2