 |
|
|
||
|---|---|---|
| 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-00517288v1
Chapitre d'ouvrage
Model Management for Formal Validation Summer School MDD4DRES, Hermes, pp.149-174, 2006 |
||
| hal-00517283v1
Article dans une revue
Expérimentation de contextes de preuve et d'observateurs temporisés pour la validation d'un protocole avionique REE - Revue de l’électricité électronique, See, 2007, pp.51-59 |
||
|
|
||
| hal-00517223v1
Communication dans un congrès
AADL model transformation for formal verification 3rd IEEE International UML&AADL workshop (hosted by ICECCS 2008), Apr 2008, Belfast, Ireland |
||
| hal-00517287v1
Communication dans un congrès
Un assistant de preuve basé sur la technique des observateurs AFADL'06, 2006, Paris, France |
||
| hal-00517290v1
Communication dans un congrès
Implementation of testing automata for timed model validation Movep'04, 2004, Brussel, Belgium |
||
| hal-00517291v1
Communication dans un congrès
An Experimentation of Real-Time Software Validation Technique With Timed Observers 2nd Embedded Real Time Software Congress (ERTS'04), 2004, Toulouse, France |
||
| hal-00517293v1
Communication dans un congrès
Mise en oeuvre d'observateurs temporisés pour la validation de logiciels temps réel Neptune'04, 2004, Paris, France |
||
| hal-00517289v1
Communication dans un congrès
Expérimentation d'une technique de vérification formelle dans le cadre d'un processus d'Ingénierie Dirigée par les Modèles Journée GDR STRQdS, Systèmes embarqués : points de vue industriels et académiques, 2005, Paris, France |
||
| hal-00517284v1
Communication dans un congrès
Mise en oeuvre d'unités de preuve pour la vérification formelle de modèles Conf IDM'07, 2007, Toulouse, France. pp.101-116 |
||
| hal-00517286v1
Communication dans un congrès
Experimentation of Timed Observers for Validation of an Avionics Software Conference ERTS'06, 2006, Toulouse, France |
||
| 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-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⟩ |
||
|
|
||