|
||
---|---|---|
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-00676640v1
Communication dans un congrès
Context Aware Model Exploration with OBP tool to Improve Model-Checking ERTS 2012, Feb 2012, Toulouse, France |
||
hal-00517285v1
Communication dans un congrès
Points de vue et sémantiques ad hoc Atelier SéMo'07, 2007, France. pp.Non renseigne |
||
hal-00517269v1
Communication dans un congrès
Partial Order Application for Software Formal Verification Conférence Embedded Real Time Software and Systems (ERTS'10), May 2010, Toulouse, France. pp.Non renseigne |
||
hal-00517272v1
Communication dans un congrès
Context Constraints Method for Software Formal Verification ESA Workshop on Avionics Data, Control and Software Systems (ADCSS), Nov 2009, Noordwijk, Netherlands |
||
hal-00517275v1
Communication dans un congrès
Un langage de contexte de preuve pour la validation formelle de modèles logiciels conférences LMO'08 et CAL'08, Mar 2008, Montréal, Canada. pp.Non renseigne |
||
hal-00517276v1
Communication dans un congrès
Using context descriptions and property definition patterns for software formal verification ICSTW'08, IEEE International Conference on Software Testing Verification and Validation Workshop, 2008, France |
||
hal-00517224v1
Communication dans un congrès
Expérimentation d'unités de preuve pour la validation formelle de logiciels embarqués critiques Journée ADA-France 2007 : méthodes, processus, modèles et outils pour l'ingénierie du logiciel embarqué temps réel critique, 2007, Brest, France |
||
hal-00517271v1
Communication dans un congrès
Modélisation de Contextes et Réduction d'Ordres-Partiel pour la Vérification Efficace de Systèmes SDL Conférence Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'10), Poitiers-Futuroscope, 09-11, Jun 2010, Poitiers, France. pp.Non renseigne |
||
hal-00517277v1
Communication dans un congrès
Experience of an efficient and actual MDE process : design and verification of ATC onboard system Conférences on UML&FORMAL METHODS, Oct 2008, Kitakyushu-city, Japan |
||
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-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⟩ ![]() |
||
|