Filtrer vos résultats
- 7
- 3
- 4
- 4
- 2
- 10
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 10
- 7
- 3
- 2
- 2
- 2
- 1
- 10
- 8
- 6
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
|
triés par
|
Environment-driven reachability for timed systemsInternational Journal on Software Tools for Technology Transfer, 2017, 19 (2), pp.229-245. ⟨10.1007/s10009-015-0401-2⟩
Article dans une revue
hal-01373335v1
|
|||
Practical multiverse debugging through user-defined reductionsMODELS '22: ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems, Oct 2022, Montreal Quebec Canada, Canada. pp.87-97, ⟨10.1145/3550355.3552447⟩
Communication dans un congrès
hal-03891589v1
|
|||
|
|
Partially Bounded Context-Aware Verification17th International Conference on Software Engineering and Formal Methods, SEFM 2019, Sep 2019, Oslo, Norway. pp.532-548, ⟨10.1007/978-3-030-30446-1_28⟩
Communication dans un congrès
hal-02434620v1
|
||
|
|
A Domain-specific Modeling Framework for Attack Surface ModelingICISSP 2020 : 6th International Conference on Information Systems Security and Privacy, Feb 2020, Valetta, Malta. pp.341 - 348, ⟨10.5220/0008916203410348⟩
Communication dans un congrès
hal-02502387v1
|
||
Vérification formelle de propriétés : Application de l'outil OBP au cas d'étude CCSGénie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2014, 109
Article dans une revue
hal-01006676v1
|
|||
Model-Based AnalysisEmbedded systems, Analysis and Modeling with SysML, UML and AADL, Wiley, pp.157-184, 2013
Chapitre d'ouvrage
hal-00843139v1
|
|||
Transformation de modèles UML vers Fiacre, via les langages intermédiaires tUML et ABCDGénie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2014, 109
Article dans une revue
hal-01006656v1
|
|||
Analyse à partir du modèleHermes. Modélisation et analyse de systèmes embarqués, Lavoisier, pp.180-206, 2013, SEE, 978-2-7462-3900-5
Chapitre d'ouvrage
hal-00862488v1
|
|||
|
|
Security property modeling7th International Conference on Information Systems Security and Privacy, ICISSP 2021, Feb 2021, Vienne - Virtual Online, Austria. pp.694-701, ⟨10.5220/0010388206940701⟩
Communication dans un congrès
hal-03188864v1
|
||
Past-Free[ze] reachability analysis: reaching further with DAG-directed exhaustive state-space analysisJournal of Software Testing, Verification and Reliability, 2016, ⟨10.1002/stvr.1611⟩
Article dans une revue
istex
hal-01373287v1
|