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

Filtrer vos résultats

9 Résultats
authFullName_s : Xavier Dumas

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

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

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
Image document

Model Checking of SCADE Designed Systems

S Heim , Xavier Dumas , E Bonnafous , Philippe Dhaussy , C Teodorov , et al.
8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, TOULOUSE, France
Communication dans un congrès hal-01289454v1

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

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

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

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

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