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

Filtrer vos résultats

20 Résultats
authFullName_s : Frédéric Boniol
Page :
triés par

Application of partial-order methods for the verification of closed-loop SDL systems

 Xavier Dumas , Frédéric Boniol , Philippe Dhaussy , Eric Bonnafous
SAC'11 - 26th Symposium On Applied Computing, Mar 2011, TaiChung, Taiwan. pp.ACM 978-1-4503-0113-8/11/03
Communication dans un congrès hal-00635533v1

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

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 et al.
conférences LMO'08 et CAL'08, Mar 2008, Montréal, Canada. pp.Non renseigne
Communication dans un congrès hal-00517275v1

Improving Model Checking with Context Modelling

 Philippe Dhaussy , Frédéric Boniol , Jean-Charles Roger , Luka Leroux
Advances in Software Engineering, 2012, 2012, pp.ID 547157. ⟨10.1155/2012/547157⟩
Article dans une revue hal-00738735v1

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

Reducing State Explosion with Context Modeling for Model-Checking

 Philippe Dhaussy , Frédéric Boniol , Jean-Charles Roger
HASE'11, Nov 2011, Boca Ranton, United States
Communication dans un congrès hal-00636878v1

Analyse à partir du modèle

 Frédéric Boniol , Philippe Dhaussy , Luka Le Roux , Jean-Charles Roger
Hermes. 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

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

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

Context Modelling and Partial-Order Reduction: Application to SDL Industrial Embedded Systems

 Xavier Dumas , Frédéric Boniol , Philippe Dhaussy , Eric Bonnafous
IEEE SIES'10 - Symposium on industrial Embedded Systems, Jul 2010, Trento, Italy
Communication dans un congrès hal-00635897v1

Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation

 Philippe Dhaussy , Frédéric Boniol , Pierre-Yves Pillain , Xavier Dumas
Topcased days, Feb 2011, Toulouse, France
Communication dans un congrès hal-00635653v1

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 et al.
ICSTW'08, IEEE International Conference on Software Testing Verification and Validation Workshop, 2008, France
Communication dans un congrès hal-00517276v1

Formalisation de contextes et d'exigences pour la validation formelle de logiciels embarqués

 Philippe Dhaussy , Frédéric Boniol , Jean-Charles Roger , Amine Raji , Yves Le Traon et al.
Revue 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è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

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

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

Context Aware Model Exploration with OBP tool to Improve Model-Checking

 Philippe Dhaussy , Jean-Charles Roger , Luka Leroux , Frédéric Boniol
ERTS 2012, Feb 2012, Toulouse, France
Communication dans un congrès hal-00676640v1

Context Aware Model-Checking for Embedded Software

 Philippe Dhaussy , Jean-Charles Roger , Frédéric Boniol
Embedded Systems - Theory and Design Methodology, InTech, ISBN: 978-953-51-0167-3 p. 167-184, 2012
Chapitre d'ouvrage hal-00676423v1
Page :