 |
|
|
||
|---|---|---|
| hal-00517281v1
Article dans une revue
Un cadre conceptuel pour la modélisation multi points de vue de systèmes embarqués Revue des Sciences et Technologies de l'Information - Série L'Objet : logiciel, bases de données, réseaux, Hermès-Lavoisier, 2007, 13, pp.79-110. ⟨10.3166/obj.13.2-3.79-110⟩ |
||
| hal-00517282v1
Article dans une revue
Mise en oeuvre de composants MDA pour la validation formelle de modèles de systèmes d'information embarqués Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, Lavoisier, 2007, 12 (5), pp.133-157. ⟨10.3166/isi.12.5.133-157⟩  |
||
| hal-00738735v1
Article dans une revue
Improving Model Checking with Context Modelling Advances in Software Engineering, 2012, 2012, pp.ID 547157. ⟨10.1155/2012/547157⟩ |
||
| hal-00676423v1
Chapitre d'ouvrage
Context Aware Model-Checking for Embedded Software Embedded Systems - Theory and Design Methodology, InTech, ISBN: 978-953-51-0167-3 p. 167-184, 2012 |
||
| 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-00843139v1
Chapitre d'ouvrage
Model-Based Analysis Embedded systems, Analysis and Modeling with SysML, UML and AADL, Wiley, pp.157-184, 2013 |
||
| hal-00676640v1
Communication dans un congrès
Context Aware Model Exploration with OBP tool to Improve Model-Checking ERTS 2012, Feb 2012, Toulouse, France |
||
| hal-00635653v1
Communication dans un congrès
Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation Topcased days, Feb 2011, Toulouse, France |
||
| hal-00635897v1
Communication dans un congrès
Context Modelling and Partial-Order Reduction: Application to SDL Industrial Embedded Systems IEEE SIES'10 - Symposium on industrial Embedded Systems, Jul 2010, Trento, Italy |
||
| hal-00636878v1
Communication dans un congrès
Reducing State Explosion with Context Modeling for Model-Checking HASE'11, Nov 2011, Boca Ranton, United States |
||
| hal-00635533v1
Communication dans un congrès
Application of partial-order methods for the verification of closed-loop SDL systems SAC'11 - 26th Symposium On Applied Computing, Mar 2011, TaiChung, Taiwan. pp.ACM 978-1-4503-0113-8/11/03 |
||
| hal-00744434v1
Article dans une revue
Formalisation de contextes et d'exigences pour la validation formelle de logiciels embarqués Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2012, VOL 31 (6), pp.797-826. ⟨10.3166/tsi.31.797-826⟩ |
||
| hal-00847250v1
Article dans une revue
The Small Octagons of MaximalWidth Discrete and Computational Geometry, Springer Verlag, 2013, 49 (3), pp.589-600. ⟨10.1007/s00454-013-9489-x⟩ |
||
|
|
||