Filtrer vos résultats
- 38
- 5
- 29
- 6
- 5
- 1
- 1
- 1
- 43
- 1
- 2
- 2
- 5
- 8
- 5
- 8
- 4
- 1
- 1
- 2
- 2
- 1
- 1
- 41
- 2
- 39
- 39
- 7
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 43
- 22
- 10
- 7
- 6
- 5
- 5
- 4
- 3
- 3
- 3
- 3
- 3
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
43 résultats
|
|
|
triés par
|
|
|
QUAIL: A Quantitative Security Analyzer for Imperative CodeCAV 2013 - 25th International Conference on Computer Aided Verification, Jul 2013, Saint Petersburg, Russia. pp.702-707, ⟨10.1007/978-3-642-39799-8_49⟩
Communication dans un congrès
hal-01242615v1
|
||
|
|
A Parametric Counterexample Refinement Approach for Robust Timed SpecificationsProceedings Fourth Workshop on Foundations of Interface Technologies (FIT 2012), Mar 2012, Tallinn, Estonia. pp.17 - 33, ⟨10.4204/EPTCS.87.3⟩
Communication dans un congrès
hal-01088011v1
|
||
|
|
Verification of Interlocking Systems Using Statistical Model Checking18th IEEE International Symposium on High Assurance Systems Engineering (HASE), Jan 2017, Singapore, Singapore. pp.61 - 68, ⟨10.1109/HASE.2017.10⟩
Communication dans un congrès
hal-01591338v1
|
||
|
|
Statistical Model Checking with Changes and Simulink2014
Pré-publication, Document de travail
hal-01087821v1
|
||
|
|
Statistical Model Checking with Change DetectionTransactions on Foundations for Mastering Change, 1, pp.157-179, 2016, 978-3-319-46507-4. ⟨10.1007/978-3-319-46508-1_9⟩
Chapitre d'ouvrage
hal-01242138v1
|
||
|
|
The Deviation Attack: A Novel Denial-of-Service Attack Against IKEv2TrustCom 2019 - 18th IEEE International Conference on Trust, Security and Privacy in Computing and Communications, Aug 2019, Rotorua, New Zealand. pp.1-8
Communication dans un congrès
hal-01980276v2
|
||
Parametric model-checking of time {Petri} nets with stopwatches using the state-class graph6th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2008), 2008, Saint Malo, France. pp.280-294
Communication dans un congrès
hal-00523613v1
|
|||
|
|
Optimizing the Resource Requirements of Hierarchical Scheduling SystemsACM SIGBED Review, 2016, 13 (3), pp.41-48. ⟨10.1145/2983185.2983192⟩
Article dans une revue
hal-01406459v1
|
||
|
|
PyEcdar: Towards Open Source Implementation for Timed Systems11th International Symposium on Automated Technology for Verification and Analysis, Oct 2013, Hanoi, France. pp.460 - 463, ⟨10.1007/978-3-319-02444-8_35⟩
Communication dans un congrès
hal-01087318v1
|
||
|
|
Robust Specification of Real Time Components9th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2011), Sep 2011, Aalborg, Denmark. pp.129 - 144, ⟨10.1007/978-3-642-24310-3_10⟩
Communication dans un congrès
hal-01088002v1
|
||
Synthèse de contraintes de conception à partir de réseaux de Petri temporels paramétrés6ieme Colloque Francophone sur la Modélisation des Systèmes Réactifs (MSR'07), Oct 2007, Lyon, France
Communication dans un congrès
hal-01112533v1
|
|||
|
|
Specification Theories for Probabilistic and Real-Time SystemsFPS@ETAPS, Apr 2014, Grenoble, France. ⟨10.1007/978-3-642-54848-2_7⟩
Communication dans un congrès
hal-01087364v1
|
||
|
|
A Formal Modeling and Analysis Framework for Software Product Line of Preemptive Real-Time SystemsSymposium on Applied Computing, Apr 2016, Pise, Italy. pp.1562 - 1565, ⟨10.1145/2851613.2851977⟩
Communication dans un congrès
hal-01241673v2
|
||
Symbolic Unfolding of Parametric Stopwatch Petri Netsthe 8th International Symposium on Automated Technology for Verification and Analysis (ATVA 2010), Sep 2010, Singapore, Singapore. pp.291-305
Communication dans un congrès
hal-00523593v1
|
|||
|
|
Plasma Lab: A Modular Statistical Model Checking PlatformISoLA, Oct 2016, Corfou, Greece. pp.77 - 93, ⟨10.1007/978-3-319-47166-2_6⟩
Communication dans un congrès
hal-01387435v1
|
||
|
|
Real-Time SpecificationsInternational Journal on Software Tools for Technology Transfer, 2015, 17 (1), pp.29. ⟨10.1007/s10009-013-0286-x⟩
Article dans une revue
hal-01087799v1
|
||
|
|
Statistical Model Checking of Simulink Models with Plasma Lab Fourth International Workshop on Formal Techniques for Safety-Critical Systems, Nov 2015, Paris, France
Communication dans un congrès
hal-01241249v1
|
||
|
|
Structural Refinement for the Modal nu-CalculusICTAC, Sep 2014, Bucarest, Romania. pp.169 - 187, ⟨10.1007/978-3-319-10882-7_11⟩
Communication dans un congrès
hal-01087295v1
|
||
|
|
High-level Frameworks for the Specification and Verification of Scheduling Problems2017
Pré-publication, Document de travail
hal-01613576v1
|
||
|
|
Vérification et dépliages de réseaux de Petri temporels paramétrésGénie logiciel [cs.SE]. Université de Nantes, 2009. Français. ⟨NNT : ⟩
Thèse
tel-00466429v1
|
||
|
|
Model Checking the IKEv2 Protocol Using SpinPST 2019 - 17th International Conference on Privacy, Security and Trust, Aug 2019, Fredericton, Canada. pp.1-9
Communication dans un congrès
hal-02062292v2
|
||
|
|
A framework for the rigorous design of highly adaptive timed systems1st FME Workshop on Formal Methods in Software Engineering (FormaliSE), May 2013, San Francisco, United States. pp.64 - 70, ⟨10.1109/FormaliSE.2013.6612279⟩
Communication dans un congrès
hal-01087810v1
|
||
|
|
Parametric and Quantitative Extensions of Modal Transition SystemsFPS@ETAPS, Apr 2014, Grenoble, France. ⟨10.1007/978-3-642-54848-2_6⟩
Communication dans un congrès
hal-01087363v1
|
||
|
|
A Model-Based Framework for the Specification and Analysis of Hierarchical Scheduling SystemsFMICS-AVoCS, Sep 2016, Pise, Italy. pp.133 - 141, ⟨10.1007/978-3-319-45943-1_9⟩
Communication dans un congrès
hal-01241681v2
|
||
|
|
A Formalism for Stochastic Adaptive SystemsLeveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, Oct 2014, Corfu, Greece. pp.160 - 176, ⟨10.1007/978-3-662-45231-8_12⟩
Communication dans un congrès
hal-01087327v1
|
||
|
|
Smart Sampling for Lightweight Verification of Markov Decision ProcessesInternational Journal on Software Tools for Technology Transfer, 2015, 17 (4), pp.469-484. ⟨10.1007/s10009-015-0383-0⟩
Article dans une revue
hal-01088633v2
|
||
|
|
Statistical Model Checking of LLVM Code2017
Pré-publication, Document de travail
hal-01640097v1
|
||
|
|
Symbolic Unfolding of Parametric Stopwatch Petri NetsFormal Methods in System Design, 2013, 43 (3), pp.493-519. ⟨10.1007/s10703-013-0188-2⟩
Article dans une revue
hal-00840368v1
|
||
Diagnosis using unfoldings of parametric time Petri nets8th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2010), Sep 2010, Vienna, Austria. pp.137-151
Communication dans un congrès
hal-00523597v1
|
|||
|
|
Parametric Model-Checking of Stopwatch Petri NetsJournal of Universal Computer Science, 2009, 15 (17), pp.3273-3304. ⟨10.3217/jucs-015-17-3273⟩
Article dans une revue
hal-00489033v1
|
- 1
- 2