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

Filtrer vos résultats

37 Résultats
hal_authIdPerson_i : 879133

Contribution à la formalisation de contextes et d'exigences pour la validation formelle de logiciels embarqués

Philippe Dhaussy , Pierre-Yves Pillain , Stephen Creff , Amine Raji , Yves Le Traon , et al.
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-00517222v1

Expérimentation de composants de preuve pour le développement de composants logiciels embarqués

Arnaud Du Sorbier , Stephane de Belloy , Florian Turpin , Philippe Dhaussy
Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2008, 85
Article dans une revue hal-00517279v1

Modélisation et analyse formelle d'un protocole de communication acoustique

Philippe Dhaussy
Journée CPER, Seatech Week'08, 2008, Brest, France
Communication dans un congrès hal-00517280v1

An Experimentation of Real-Time Software Validation Technique With Timed Observers

Philippe Dhaussy , Jean-Charles Roger
2nd Embedded Real Time Software Congress (ERTS'04), 2004, Toulouse, France
Communication dans un congrès hal-00517291v1

Testing Parametrized Real-Time Systems

Armelle Prigent , Olivier Roux , Philippe Dhaussy
WRTRTES'03, 2003, Italy
Communication dans un congrès hal-00517294v1

Software Design Methodology for Embedded Systems

Philippe Dhaussy , Joël Champeau
Conference of research topics, Nov 2001, Bucarest, Romania
Communication dans un congrès hal-00517296v1

Using Parallel and Distributed Reachability in Model Checking

Lamia Allal , Ghalem Belalem , Philippe Dhaussy , Ciprian Teodorov
Ambient Communications and Computer Systems, pp.143-154, 2018, ⟨10.1007/978-981-10-7386-1_12⟩
Chapitre d'ouvrage hal-02515020v1