Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

97 Résultats
authFullName_s : Philippe Dhaussy
Page :
triés par

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

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

Use Cases Modeling for Scalable Model-Checking

 Amine Raji , Philippe Dhaussy
APSEC'11, Dec 2011, Minh City, Vietnam
Communication dans un congrès hal-00636875v1

Automating Context Description for Software Formal Verification

 Amine Raji , Philippe Dhaussy , Bruno Aizier
Workshop MoDVVa, Model-Driven Engineering, Verification, and Validation, 2010, Oslo, Norway
Communication dans un congrès hal-00569028v1

Towards one Model Interpreter for Both Design and Deployment

 Valentin Besnard , Matthias Brun , Philippe Dhaussy , Frédéric Jouault , David Olivier et al.
3rd International Workshop on Executable Modeling (EXE 2017), Sep 2017, Austin, United States
Communication dans un congrès hal-01585318v1

An Automated Transformation Approach for Requirement Specification

 Amel Benabbou , Safia Nait Bahloul , Philippe Dhaussy
Conf ITQM’16, Aug 2016, Séoul, South Korea
Communication dans un congrès hal-01864825v1

Modular Deployment of UML Models for V&V Activities and Embedded Execution

 Valentin Besnard , Frédéric Jouault , Matthias Brun , Ciprian Teodorov , Philippe Dhaussy et al.
MoDeVVa, Oct 2020, Virtual Event, Canada. ⟨10.1145/3417990.3419227⟩
Communication dans un congrès hal-02929122v1

Context-aware Veri cation of a Landing Gear System

 Philippe Dhaussy , Ciprian Teodorov
ABZ 2014, Jun 2014, Toulouse, France. pp.52-65
Communication dans un congrès hal-01006697v1

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

Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation

 Philippe Dhaussy , Pierre-Yves Pillain , Stephen Creff , Amine Raji , Yves Le Traon et al.
Model Driven Engineering Languages and Systems (Models'09), Oct 2009, Denver, United States. pp.438-452, ⟨10.1007/978-3-642-04425-0⟩
Communication dans un congrès hal-00470523v1

Unified verification and monitoring of executable UML specifications. A transformation-free approach

 Valentin Besnard , Ciprian Teodorov , Frédéric Jouault , Matthias Brun , Philippe Dhaussy et al.
Software and Systems Modeling, 2021, ⟨10.1007/s10270-021-00923-9⟩
Article dans une revue hal-03463358v1

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

Model-based Diagnosis Patterns for Model Checking

 Vincent Leilde , Vincent Ribaud , Philippe Dhaussy
PAME 2016, Oct 2016, St Malo, France. pp.7-12
Communication dans un congrès hal-01406604v1

Model-checking for Secured Component Implementation.

 Obeid Fadi , Philippe Dhaussy
17th International Conference on Security and Management (SAM’18), Jul 2018, Las Vegas, United States
Communication dans un congrès hal-01864787v1

Distributed algorithm to fight the state explosion problem

 Lamia Allal , Ghalem Belalem , Philippe Dhaussy , Ciprian Teodorov
INDERSCIENCE International Journal of Internet Technology and Secured Transactions., 2018, 8 (3), pp.398 - 411. ⟨10.1504/IJITST.2018.10014833⟩
Article dans une revue hal-01716143v1

Unified LTL Verification and Embedded Execution of UML Models

 Valentin Besnard , Matthias Brun , Frédéric Jouault , Ciprian Teodorov , Philippe Dhaussy et al.
21st International Conference on Model Driven Engineering Languages and Systems (MODELS), Oct 2018, Copenhague, Denmark
Communication dans un congrès hal-01887948v1

Vérification formelle de propriétés : Application de l'outil OBP au cas d'étude CCS

 Philippe Dhaussy , Luka Le Roux , Ciprian Teodorov
Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2014, 109
Article dans une revue hal-01006676v1

Formal Validation with Model-Checking Techniques

 Philippe Dhaussy
ICNTC'2012, Dec 2012, Chlef, Algérie
Communication dans un congrès hal-01206527v1

Modélisation algorithmique et synthèse d'architectures assistées par model-checking

 Jean-Christophe Le Lann , Philippe Dhaussy , Pierre-Laurent Lagalaye
CAL 2012-, May 2012, Montpellier, France
Communication dans un congrès hal-00703785v1

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

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

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

A Problem-Oriented Approach to Critical System Design and Diagnosis Support

 Vincent Leilde , Vincent Ribaud , Ciprian Teodorov , Philippe Dhaussy
1st International Workshop on Modeling, Verification and Testing of Dependable Critical Systems (DETECT 2018), Oct 2018, Marrakesh, Morocco
Communication dans un congrès hal-01933792v1

A High-level Formalism to Elaborate Context for a Context-aware Verification Approach

 Amel Benabbou , Safia Nait Bahloul , Philippe Dhaussy
ICIST 2016, Mar 2016, Barcelone, Spain
Communication dans un congrès hal-01298704v1

Model-Based Analysis

 Frederic Boniol , Philippe Dhaussy , Luka Le Roux , Jean-Charles Roger
Embedded systems, Analysis and Modeling with SysML, UML and AADL, Wiley, pp.157-184, 2013
Chapitre d'ouvrage hal-00843139v1
Page :