Recherche - ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne Accéder directement au contenu

Filtrer vos résultats

37 Résultats
Auteur : personID (entier) : 879133

Vers la génération de modèles de sûreté de fonctionnement

Xavier Dumas , Claire Pagetti , Laurent Sagaspe , Pierre Bieber , Philippe Dhaussy
conférences LMO'08 et CAL'08, Mar 2008, Montréal, France. pp.Non renseigne
Communication dans un congrès hal-00517274v1

Implementation of testing automata for timed model validation

Jean-Charles Roger , Philippe Dhaussy
Movep'04, 2004, Brussel, Belgium
Communication dans un congrès hal-00517290v1

Automatic Formal Model Derivation from Use Cases

Amine Raji , Philippe Dhaussy
6ème Journées sur l'Ingénierie Dirigée par les Modèles (IDM'10), Mars 2010, Pau, 2010, France. pp.Non renseigne
Communication dans un congrès hal-00517270v1

Expérimentation d'une technique de vérification formelle dans le cadre d'un processus d'Ingénierie Dirigée par les Modèles

Philippe Dhaussy , Jean-Charles Roger
Journée GDR STRQdS, Systèmes embarqués : points de vue industriels et académiques, 2005, Paris, France
Communication dans un congrès hal-00517289v1

Vers la gestion de la cohérence dans les processus multi-modèles métier

Theurer Wolfgang , François Mekerke , Joël Champeau , Philippe Dhaussy
Congrès francophone du management de projet, 2004, France
Communication dans un congrès hal-00517292v1
Image document

Experimentation of Timed Observers for Avionics Models Validation

Philippe Dhaussy , J.C. Roger , H. Bonnin , E Saves , J. Honore , et al.
Conference ERTS'06, Jan 2006, Toulouse, France
Communication dans un congrès hal-02270437v1

Expérimentation d'un langage de contexte et de propriétés pour la validation formelle de modèles logiciels

Philippe Dhaussy , A. Monégier Du Sorbier , Eric Bonnafous
Séminaire Action IDM-INNFORSID : Exigence, Traçabilité et Co-conception dans les processus de développement, 2009, Paris, France
Communication dans un congrès hal-00517273v1

Model Management for Formal Validation

Joël Champeau , Philippe Dhaussy , François Mekerke , Jean-Charles Roger
Summer School MDD4DRES, Hermes, pp.149-174, 2006
Chapitre d'ouvrage hal-00517288v1

Systèmes Informatiques de Confince, Objectifs Zéro-Défaut

Armelle Prigent , Philippe Dhaussy , Roux Olivier
Systèmes Informatiques de Confince, Objectifs Zéro-Défaut, 2002, France. pp./
Communication dans un congrès hal-00540746v1

Partial Order Application for Software Formal Verification

Xavier Dumas , Frédéric Boniol , Philippe Dhaussy , Eric Bonnafous
Conférence Embedded Real Time Software and Systems (ERTS'10), May 2010, Toulouse, France. pp.Non renseigne
Communication dans un congrès hal-00517269v1

Un langage de contexte de preuve pour la validation formelle de modèles logiciels

Philippe Dhaussy , Julien Auvray , Stephane de Belloy , Frédéric Boniol , Eric Landel
conférences LMO'08 et CAL'08, Mar 2008, Montréal, Canada. pp.Non renseigne
Communication dans un congrès hal-00517275v1

Extending translation from SDL to Promela

Armelle Prigent , Franck Cassez , Philippe Dhaussy , Olivier Roux
Atelier SéMo'07, 2001, Grenoble, France
Communication dans un congrès hal-00517295v1

Expérimentation d'unités de preuve pour la validation formelle de logiciels embarqués critiques

Philippe Dhaussy , Pierre-Yves Pillain , Dominique Kerjean , Stephane de Belloy , Arnaud Du Sorbier , et al.
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
Communication dans un congrès hal-00517224v1

AADL model transformation for formal verification

Thomas Abdoul , Joël Champeau , Philippe Dhaussy , Pierre-Yves Pillain , Jean-Charles Roger
3rd IEEE International UML&AADL workshop (hosted by ICECCS 2008), Apr 2008, Belfast, Ireland
Communication dans un congrès hal-00517223v1

Context Constraints Method for Software Formal Verification

Xavier Dumas , Frédéric Boniol , Philippe Dhaussy , Eric Bonnafous
ESA Workshop on Avionics Data, Control and Software Systems (ADCSS), Nov 2009, Noordwijk, Netherlands
Communication dans un congrès hal-00517272v1

Description d'un modèle de traçabilité pour la mise en oeuvre d'une technique de validation formelle de modèles

Bastien Amar , Philippe Dhaussy , Hervé Le Blanc , Bernard Coulette
Revue Génie logiciel, 2008, France
Communication dans un congrès hal-00517278v1

Un cadre conceptuel pour la modélisation multi points de vue de systèmes embarqués

Theurer Wolfgang , Frédéric Boniol , Philippe Dhaussy , Claire Pagetti
Revue des Sciences et Technologies de l'Information - Série L'Objet : logiciel, bases de données, réseaux, 2007, 13, pp.79-110. ⟨10.3166/obj.13.2-3.79-110⟩
Article dans une revue hal-00517281v1

Un assistant de preuve basé sur la technique des observateurs

Philippe Dhaussy , Jean-Charles Roger
AFADL'06, 2006, Paris, France
Communication dans un congrès hal-00517287v1

Mise en oeuvre de composants MDA pour la validation formelle de modèles de systèmes d'information embarqués

Philippe Dhaussy , Frédéric Boniol
Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, 2007, 12 (5), pp.133-157. ⟨10.3166/isi.12.5.133-157⟩
Article dans une revue istex hal-00517282v1

Modélisation de Contextes et Réduction d'Ordres-Partiel pour la Vérification Efficace de Systèmes SDL

Xavier Dumas , Frédéric Boniol , Philippe Dhaussy , Eric Bonnafous
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
Communication dans un congrès hal-00517271v1

Using context descriptions and property definition patterns for software formal verification

Philippe Dhaussy , Frédéric Boniol , Stephane de Belloy , Julien Auvray , Eric Landel
ICSTW'08, IEEE International Conference on Software Testing Verification and Validation Workshop, 2008, France
Communication dans un congrès hal-00517276v1

Expérimentation de contextes de preuve et d'observateurs temporisés pour la validation d'un protocole avionique

Philippe Dhaussy , Jean-Charles Roger , Hugue Bonnin , Julien Honoré
La 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 Software

Philippe Dhaussy , Jean-Charles Roger , Hugue Bonnin , Eric Saves , Julien Honoré , et al.
Conference 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éel

Philippe Dhaussy , Jean-Charles Roger , Olivier Habart
Neptune'04, 2004, Paris, France
Communication dans un congrès hal-00517293v1

Réflexion pour un processus de validation de modèles logiciels

Philippe Dhaussy
6ème Journées sur l'Ingénierie Dirigée par les Modèles (IDM'10), Mars 2010, Pau, 2010, France. pp.Non renseigne
Communication dans un congrès hal-00517267v1

Trace Transformation Reuse to Guide Co-evolution of Models

Bastien Amar , Hervé Le Blanc , Philippe Dhaussy , Bernard Coulette
5th Int. Conference on Software and Data Technologies (ICSOFT'10), Jul 2010, Athens, Greece. pp.Non renseigne
Communication dans un congrès hal-00517268v1

Experience of an efficient and actual MDE process : design and verification of ATC onboard system

Eric Bonnafous , Frédéric Boniol , Philippe Dhaussy , Xavier Dumas
Conférences on UML&FORMAL METHODS, Oct 2008, Kitakyushu-city, Japan
Communication dans un congrès hal-00517277v1

Mise en oeuvre d'unités de preuve pour la vérification formelle de modèles

Philippe Dhaussy , Jean-Charles Roger , Frédéric Boniol
Conf IDM'07, 2007, Toulouse, France. pp.101-116
Communication dans un congrès hal-00517284v1

Points de vue et sémantiques ad hoc

Frédéric Boniol , Philippe Dhaussy , Claire Pagetti
Atelier SéMo'07, 2007, France. pp.Non renseigne
Communication dans un congrès hal-00517285v1

Object Framework for Mission Control

Joël Champeau , Philippe Dhaussy , Laurent Latreille , Fabien Degroote
5th World Multi-conference on Systemics, Cybernetics and Informatics, Jul 2001, United States
Communication dans un congrès hal-00517297v1