Accéder directement au contenu Accéder directement à la navigation
  1. Recherche


hal-00517281v1  Article dans une revue
Theurer Wolfgang, Frédéric Boniol, Philippe Dhaussy, Claire Pagetti. 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
Philippe Dhaussy, Frédéric Boniol. 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-00676423v1  Chapitre d'ouvrage
Philippe Dhaussy, Jean-Charles Roger, Frédéric Boniol. 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
Frédéric Boniol, Philippe Dhaussy, Luka Le Roux, Jean-Charles Roger. 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-00517285v1  Communication dans un congrès
Frédéric Boniol, Philippe Dhaussy, Claire Pagetti. Points de vue et sémantiques ad hoc
Atelier SéMo'07, 2007, France. pp.Non renseigne
hal-00517269v1  Communication dans un congrès
Xavier Dumas, Frédéric Boniol, Philippe Dhaussy, Eric Bonnafous. 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
Xavier Dumas, Frédéric Boniol, Philippe Dhaussy, Eric Bonnafous. 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
Philippe Dhaussy, Julien Auvray, Stephane de Belloy, Frédéric Boniol, Eric Landel. 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
Philippe Dhaussy, Frédéric Boniol, Stephane de Belloy, Julien Auvray, Eric Landel. 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
Philippe Dhaussy, Pierre-Yves Pillain, Dominique Kerjean, Stephane de Belloy, Arnaud Du Sorbier et al.  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
Xavier Dumas, Frédéric Boniol, Philippe Dhaussy, Eric Bonnafous. 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
Eric Bonnafous, Frédéric Boniol, Philippe Dhaussy, Xavier Dumas. 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-00635897v1  Communication dans un congrès
Xavier Dumas, Frédéric Boniol, Philippe Dhaussy, Eric Bonnafous. 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
Philippe Dhaussy, Frédéric Boniol, Jean-Charles Roger. Reducing State Explosion with Context Modeling for Model-Checking
HASE'11, Nov 2011, Boca Ranton, United States
hal-00635533v1  Communication dans un congrès
Xavier Dumas, Frédéric Boniol, Philippe Dhaussy, Eric Bonnafous. 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
Philippe Dhaussy, Frédéric Boniol, Jean-Charles Roger, Amine Raji, Yves Le Traon et al.  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⟩