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

Filtrer vos résultats

97 Résultats
authFullName_s : Philippe Dhaussy

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

Proposed Algorithms to the State Explosion Problem

Lamia Allal , Ghalem Belalem , Philippe Dhaussy , Ciprian Teodorov
Aynur Unal; Malaya Nayak; Durgesh Kumar Mishra; Dharm Singh; Joshi Amit. Smart Trends in Information Technology and Computer Communications. First International Conference, SmartCom 2016, Jaipur, India, August 6–7, 2016, Revised Selected Papers, 628, Springer, pp.211-217, 2016, Communications in Computer and Information Science book series (CCIS), 978-981-10-3433-6 (eBook); 978-981-10-3432-9 (Softcover). ⟨10.1007/978-981-10-3433-6_26⟩
Chapitre d'ouvrage hal-02515359v1

Data Management Mechanisms for Internet of Things: A position paper

Ousmane Diallo , Philippe Dhaussy , Ciprian Teodorov
CSCI 2019, The American Council on Science and Education, Dec 2019, Las Vegas, United States. pp.61, ⟨10.1109/CSCI49370.2019⟩
Communication dans un congrès hal-02515160v1

Environment-driven reachability for timed systems

Ciprian Teodorov , Philippe Dhaussy , Luka Le Roux
International Journal on Software Tools for Technology Transfer, 2017, 19 (2), pp.229-245. ⟨10.1007/s10009-015-0401-2⟩
Article dans une revue hal-01373335v1

Embedded UML Model Execution to Bridge the Gap Between Design and Runtime

Valentin Besnard , Matthias Brun , Frédéric Jouault , Ciprian Teodorov , Philippe Dhaussy
MDE@DeRun 2018 : First International Workshop on Model-Driven Engineering for Design-Runtime Interaction in Complex Systems, Jun 2018, Toulouse, France
Communication dans un congrès hal-01802247v1

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

Formalisation d’une Approche Compositionnelle de Patrons de Propriétés

Djamila Baroudi , Philippe Dhaussy , Nait Bahloul Safia
AFADL 2016, i, Jun 2016, Besançon, France
Communication dans un congrès hal-01326333v1

TOWARDS A TRANSFORMATION APPROACH OF TIMED UML MARTE SPECIFICATIONS FOR OBSERVER-BASED FORMAL VERIFICATION

Nadia Menad , Philippe Dhaussy , Zoé Drey , Rachida Mekki
Computing and Informatics, 2016, 35, pp.1001-1031
Article dans une revue hal-01326351v1
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

User context models : a framework to ease software formal verifications

Amine Raji , Philippe Dhaussy
ICEIS'10 - International Conference on Enterprise Information Systems, Jun 2010, Madeire, Portugal
Communication dans un congrès hal-00635904v1

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

Transformation de modèles UML vers Fiacre, via les langages intermédiaires tUML et ABCD

Frédéric Jouault , Ciprian Teodorov , Jérôme Delatour , Luka Le Roux , Philippe Dhaussy
Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2014, 109
Article dans une revue hal-01006656v1

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

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

Techniques and Challenges for Trace Processing from a Model-Checking Perspective

Vincent Ribaud , Ciprian Teodorov , Zoé Drey , Luka Leroux , Philippe Dhaussy
International Joint Conferences on Computer, Information, Systems Sciences, & Engineering - CISSE 2014, University of Bridgeport, Dec 2014, Bridgeport, United States
Communication dans un congrès hal-01119571v1

A Model Checkable UML Soccer Player

Valentin Besnard , Ciprian Teodorov , Frédéric Jouault , Matthias Brun , Philippe Dhaussy
3rd Workshop on Model-Driven Engineering Tools, Sep 2019, Munich, Germany
Communication dans un congrès hal-02375996v1
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

Modèles orientés utilisateurs pour la vérification formelle en contexte industriel

Amine Raji , Philippe Dhaussy
IDM'11, Jun 2011, Lille, France
Communication dans un congrès hal-00635763v1

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

Unified LTL Verification and Embedded Execution of UML Models

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

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

Formal Validation with Model-Checking Techniques

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