Filtrer vos résultats
- 18
- 10
- 4
- 3
- 1
- 18
- 1
- 1
- 2
- 4
- 1
- 1
- 2
- 3
- 1
- 3
- 1
- 13
- 5
- 12
- 7
- 7
- 6
- 1
- 1
- 1
- 1
- 18
- 10
- 7
- 7
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
|
triés par
|
Expérimentation d'une technique de vérification formelle dans le cadre d'un processus d'Ingénierie Dirigée par les ModèlesJournée GDR STRQdS, Systèmes embarqués : points de vue industriels et académiques, 2005, Paris, France
Communication dans un congrès
hal-00517289v1
|
|||
Model Management for Formal ValidationSummer School MDD4DRES, Hermes, pp.149-174, 2006
Chapitre d'ouvrage
hal-00517288v1
|
|||
Validation formelle de logiciels embarqués2002
Autre publication scientifique
hal-00539805v1
|
|||
Implementation of testing automata for timed model validationMovep'04, 2004, Brussel, Belgium
Communication dans un congrès
hal-00517290v1
|
|||
|
|
Improving Model Checking with Context ModellingAdvances in Software Engineering, 2012, 2012, pp.ID 547157. ⟨10.1155/2012/547157⟩
Article dans une revue
hal-00738735v1
|
||
Model-Based AnalysisEmbedded systems, Analysis and Modeling with SysML, UML and AADL, Wiley, pp.157-184, 2013
Chapitre d'ouvrage
hal-00843139v1
|
|||
AADL model transformation for formal verification3rd IEEE International UML&AADL workshop (hosted by ICECCS 2008), Apr 2008, Belfast, Ireland
Communication dans un congrès
hal-00517223v1
|
|||
Un assistant de preuve basé sur la technique des observateursAFADL'06, 2006, Paris, France
Communication dans un congrès
hal-00517287v1
|
|||
Reducing State Explosion with Context Modeling for Model-CheckingHASE'11, Nov 2011, Boca Ranton, United States
Communication dans un congrès
hal-00636878v1
|
|||
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
|
|||
Expérimentation de contextes de preuve et d'observateurs temporisés pour la validation d'un protocole avioniqueLa Revue de l'électricité et de l'électronique, 2007, pp.51-59
Article dans une revue
hal-00517283v1
|
|||
Experimentation of Timed Observers for Validation of an Avionics SoftwareConference ERTS'06, 2006, Toulouse, France
Communication dans un congrès
hal-00517286v1
|
|||
Mise en oeuvre d'observateurs temporisés pour la validation de logiciels temps réelNeptune'04, 2004, Paris, France
Communication dans un congrès
hal-00517293v1
|
|||
|
|
Formalisation de contextes et d'exigences pour la validation formelle de logiciels embarquésRevue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2012, VOL 31 (6), pp.797-826. ⟨10.3166/tsi.31.797-826⟩
Article dans une revue
hal-00744434v1
|
||
Mise en oeuvre d'unités de preuve pour la vérification formelle de modèlesConf IDM'07, 2007, Toulouse, France. pp.101-116
Communication dans un congrès
hal-00517284v1
|
|||
Context Aware Model Exploration with OBP tool to Improve Model-CheckingERTS 2012, Feb 2012, Toulouse, France
Communication dans un congrès
hal-00676640v1
|
|||
Context Aware Model-Checking for Embedded SoftwareEmbedded Systems - Theory and Design Methodology, InTech, ISBN: 978-953-51-0167-3 p. 167-184, 2012
Chapitre d'ouvrage
hal-00676423v1
|
|||
An Experimentation of Real-Time Software Validation Technique With Timed Observers2nd Embedded Real Time Software Congress (ERTS'04), 2004, Toulouse, France
Communication dans un congrès
hal-00517291v1
|