Accéder directement au contenu Accéder directement à la navigation


hal-00517270v1  Communication dans un congrès
Amine RajiPhilippe Dhaussy. Automatic Formal Model Derivation from Use Cases
6ème Journées sur l'Ingénierie Dirigée par les Modèles (IDM'10), Mars 2010, Pau, 2010, France. pp.Non renseigne
hal-00517292v1  Communication dans un congrès
Theurer WolfgangFrançois MekerkeJoël ChampeauPhilippe Dhaussy. Vers la gestion de la cohérence dans les processus multi-modèles métier
Congrès francophone du management de projet, 2004, France
hal-00517289v1  Communication dans un congrès
Philippe DhaussyJean-Charles Roger. Expérimentation d'une technique de vérification formelle dans le cadre d'un processus d'Ingénierie Dirigée par les Modèles
Journée GDR STRQdS, Systèmes embarqués : points de vue industriels et académiques, 2005, Paris, France
...
hal-00470523v1  Communication dans un congrès
Philippe DhaussyPierre-Yves PillainStephen CreffAmine RajiYves Le Traon et al.  Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation
Model Driven Engineering Languages and Systems (Models'09), Oct 2009, Denver, United States. pp.438-452, ⟨10.1007/978-3-642-04425-0⟩
...
hal-02270437v1  Communication dans un congrès
Philippe DhaussyJ.C. RogerH. BonninE SavesJ. Honore et al.  Experimentation of Timed Observers for Avionics Models Validation
Conference ERTS'06, Jan 2006, Toulouse, France
hal-01006697v1  Communication dans un congrès
Philippe DhaussyCiprian Teodorov. Context-aware Veri cation of a Landing Gear System
ABZ 2014, Jun 2014, Toulouse, France. pp.52-65
hal-00636875v1  Communication dans un congrès
Amine RajiPhilippe Dhaussy. Use Cases Modeling for Scalable Model-Checking
APSEC'11, Dec 2011, Minh City, Vietnam
hal-00569028v1  Communication dans un congrès
Amine RajiPhilippe DhaussyBruno Aizier. Automating Context Description for Software Formal Verification
Workshop MoDVVa, Model-Driven Engineering, Verification, and Validation, 2010, Oslo, Norway
hal-00635533v1  Communication dans un congrès
Xavier DumasFrédéric BoniolPhilippe DhaussyEric Bonnafous. Application of partial-order methods for the verification of closed-loop SDL systems
SAC'11 - 26th Symposium On Applied Computing, Mar 2011, TaiChung, Taiwan. pp.ACM 978-1-4503-0113-8/11/03
hal-01864825v1  Communication dans un congrès
Amel BenabbouSafia Nait BahloulPhilippe Dhaussy. An Automated Transformation Approach for Requirement Specification
Conf ITQM’16, Aug 2016, Séoul, South Korea
hal-01585318v1  Communication dans un congrès
Valentin BesnardMatthias BrunPhilippe DhaussyFrédéric JouaultDavid Olivier et al.  Towards one Model Interpreter for Both Design and Deployment
3rd International Workshop on Executable Modeling (EXE 2017), Sep 2017, Austin, United States
hal-00517274v1  Communication dans un congrès
Xavier DumasClaire PagettiLaurent SagaspePierre BieberPhilippe Dhaussy. Vers la génération de modèles de sûreté de fonctionnement
conférences LMO'08 et CAL'08, Mar 2008, Montréal, France. pp.Non renseigne
hal-00517290v1  Communication dans un congrès
Jean-Charles RogerPhilippe Dhaussy. Implementation of testing automata for timed model validation
Movep'04, 2004, Brussel, Belgium
hal-01326351v1  Article dans une revue
Nadia MenadPhilippe DhaussyZoé DreyRachida Mekki. TOWARDS A TRANSFORMATION APPROACH OF TIMED UML MARTE SPECIFICATIONS FOR OBSERVER-BASED FORMAL VERIFICATION
Computing and Informatics, Slovak University Press, Bratislava, 2016, 35, pp.1001-1031
...
hal-01289454v1  Communication dans un congrès
S HeimXavier DumasE BonnafousPhilippe DhaussyC Teodorov et al.  Model Checking of SCADE Designed Systems
8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, TOULOUSE, France
hal-00635904v1  Communication dans un congrès
Amine RajiPhilippe Dhaussy. User context models : a framework to ease software formal verifications
ICEIS'10 - International Conference on Enterprise Information Systems, Jun 2010, Madeire, Portugal
hal-02515160v1  Communication dans un congrès
Ousmane DialloPhilippe DhaussyCiprian Teodorov. Data Management Mechanisms for Internet of Things: A position paper
CSCI 2019, The American Council on Science and Education, Dec 2019, Las Vegas, United States. pp.61, ⟨10.1109/CSCI49370.2019⟩
hal-02515359v1  Chapitre d'ouvrage
Lamia AllalGhalem BelalemPhilippe DhaussyCiprian Teodorov. Proposed Algorithms to the State Explosion Problem
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⟩
hal-01802247v1  Communication dans un congrès
Valentin BesnardMatthias BrunFrédéric JouaultCiprian TeodorovPhilippe Dhaussy. Embedded UML Model Execution to Bridge the Gap Between Design and Runtime
MDE@DeRun 2018 : First International Workshop on Model-Driven Engineering for Design-Runtime Interaction in Complex Systems, Jun 2018, Toulouse, France
hal-01373335v1  Article dans une revue
Ciprian TeodorovPhilippe DhaussyLuka Le Roux. Environment-driven reachability for timed systems
International Journal on Software Tools for Technology Transfer, Springer Verlag, 2017, 19 (2), pp.229-245. ⟨10.1007/s10009-015-0401-2⟩
...
hal-01406604v1  Communication dans un congrès
Vincent LeildeVincent RibaudPhilippe Dhaussy. Model-based Diagnosis Patterns for Model Checking
PAME 2016, Oct 2016, St Malo, France. pp.7-12
hal-00517273v1  Communication dans un congrès
Philippe DhaussyA. Monégier Du SorbierEric Bonnafous. Expérimentation d'un langage de contexte et de propriétés pour la validation formelle de modèles logiciels
Séminaire Action IDM-INNFORSID : Exigence, Traçabilité et Co-conception dans les processus de développement, 2009, Paris, France
hal-00517288v1  Chapitre d'ouvrage
Joël ChampeauPhilippe DhaussyFrançois MekerkeJean-Charles Roger. Model Management for Formal Validation
Summer School MDD4DRES, Hermes, pp.149-174, 2006
hal-01206527v1  Communication dans un congrès
Philippe Dhaussy. Formal Validation with Model-Checking Techniques
ICNTC'2012, Dec 2012, Chlef, Algérie
hal-01864787v1  Communication dans un congrès
Obeid FadiPhilippe Dhaussy. Model-checking for Secured Component Implementation.
17th International Conference on Security and Management (SAM’18), Jul 2018, Las Vegas, United States