 |
|
|
||
|---|---|---|
| hal-00862488v1
Chapitre d'ouvrage
Analyse à partir du modèle Hermes. Modélisation et analyse de systèmes embarqués, Lavoisier, pp.180-206, 2013, SEE, 978-2-7462-3900-5 |
||
| hal-01006676v1
Article dans une revue
Vérification formelle de propriétés : Application de l'outil OBP au cas d'étude CCS Génie logiciel, C & S, 2014, 109 |
||
| hal-01006656v1
Article dans une revue
Transformation de modèles UML vers Fiacre, via les langages intermédiaires tUML et ABCD Génie logiciel, C & S, 2014, 109 |
||
| hal-01373287v1
Article dans une revue
Past-Free[ze] reachability analysis: reaching further with DAG-directed exhaustive state-space analysis Journal of Software Testing, Verification, and Reliability, John Wiley & Sons, 2016, ⟨10.1002/stvr.1611⟩  |
||
| hal-00843139v1
Chapitre d'ouvrage
Model-Based Analysis Embedded systems, Analysis and Modeling with SysML, UML and AADL, Wiley, pp.157-184, 2013 |
||
| hal-02434620v1
Communication dans un congrès
Partially Bounded Context-Aware Verification 17th 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⟩ |
||
| hal-02502387v1
Communication dans un congrès
A Domain-specific Modeling Framework for Attack Surface Modeling ICISSP 2020 : 6th International Conference on Information Systems Security and Privacy, Feb 2020, Valetta, Malta. pp.341 - 348, ⟨10.5220/0008916203410348⟩ |
||
| hal-01373335v1
Article dans une revue
Environment-driven reachability for timed systems International Journal on Software Tools for Technology Transfer, Springer Verlag, 2017, 19 (2), pp.229-245. ⟨10.1007/s10009-015-0401-2⟩ |
||
|
|
||