Accéder directement au contenu Accéder directement à la navigation
  1. Recherche


hal-01716143v1  Article dans une revue
Lamia Allal, Ghalem Belalem, Philippe Dhaussy, Ciprian Teodorov. Distributed algorithm to fight the state explosion problem
INDERSCIENCE International Journal of Internet Technology and Secured Transactions., Inderscience Enterprises, 2018, 8 (3), pp.398 - 411. ⟨10.1504/IJITST.2018.10014833⟩
hal-01373317v1  Article dans une revue
Lamia Allal, Ghalem Belalem, Philippe Dhaussy, Ciprian Teodorov. A Parallel Algorithm for the State Space Exploration
Scalable Computing : Practice and Experience, West University of Timisoara, 2016, Scalable Computing: Practice and Experience, 17 (2), pp.129-141. ⟨10.12694/scpe.v17i2.1161⟩
hal-01780556v1  Communication dans un congrès
Lamia Allal, Ghalem Belalem, Philippe Dhaussy, Ciprian Teodorov. Using Parallel and Distributed Reachability in Model Checking
Recent Advancement in Computer, Communication and Computational Sciences (RACCCS-2017), Sep 2017, Ajmer, India. pp.143-154, ⟨10.1007/978-981-10-7386-1_12⟩
hal-02515359v1  Chapitre d'ouvrage
Lamia Allal, Ghalem Belalem, Philippe Dhaussy, Ciprian 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-00635969v1  Chapitre d'ouvrage
Jean-Philippe Babau, Philippe Dhaussy, Pierre-Yves Pillain. Model integration for formal qualification of timing-aware software data acquisition components
Model Driven Engineering for Distributed Real-Times and Embedded Systems, ISTE, pp.167-200, 2010
hal-01864825v1  Communication dans un congrès
Amel Benabbou, Safia Nait Bahloul, Philippe Dhaussy. An Automated Transformation Approach for Requirement Specification
Conf ITQM’16, Aug 2016, Séoul, South Korea
hal-01936730v1  Article dans une revue
Amel Benabbou, Safia Nait Bahloul, Philippe Dhaussy. Precise use cases in a context-aware model-checking approach
International Journal of Critical Computer-Based Systems, Inderscience, 2018, 8 (3/4), ⟨10.1504/IJCCBS.2018.10017704⟩
hal-01802247v1  Communication dans un congrès
Valentin Besnard, Matthias Brun, Frédéric Jouault, Ciprian Teodorov, Philippe 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-02375996v1  Communication dans un congrès
Valentin Besnard, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Philippe Dhaussy. A Model Checkable UML Soccer Player
3rd Workshop on Model-Driven Engineering Tools, Sep 2019, Munich, Germany
hal-01585318v1  Communication dans un congrès
Valentin Besnard, Matthias Brun, Philippe Dhaussy, Frédéric Jouault, David 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-02433749v1  Communication dans un congrès
Valentin Besnard, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Philippe Dhaussy. Verifying and Monitoring UML Models with Observer Automata: A Transformation-Free Approach
22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2019, 2019, Munich, Germany. pp.161-171, ⟨10.1109/MODELS.2019.000-5⟩
hal-01887948v1  Communication dans un congrès
Valentin Besnard, Matthias Brun, Frédéric Jouault, Ciprian Teodorov, Philippe Dhaussy. Unified LTL Verification and Embedded Execution of UML Models
21st International Conference on Model Driven Engineering Languages and Systems (MODELS), Oct 2018, Copenhague, Denmark
hal-00843139v1  Chapitre d'ouvrage
Frederic Boniol, Philippe Dhaussy, Luka Le Roux, Jean-Charles Roger. Model-Based Analysis
Embedded systems, Analysis and Modeling with SysML, UML and AADL, Wiley, pp.157-184, 2013
hal-00862488v1  Chapitre d'ouvrage
Frédéric Boniol, Philippe Dhaussy, Luka Le Roux, Jean-Charles Roger. Analyse à partir du modèle
Hermes. Modélisation et analyse de systèmes embarqués, Lavoisier, pp.180-206, 2013, SEE, 978-2-7462-3900-5
hal-01006697v1  Communication dans un congrès
Philippe Dhaussy, Ciprian Teodorov. Context-aware Veri cation of a Landing Gear System
ABZ 2014, Jun 2014, Toulouse, France. pp.52-65
hal-00676423v1  Chapitre d'ouvrage
Philippe Dhaussy, Jean-Charles Roger, Frédéric Boniol. Context Aware Model-Checking for Embedded Software
Embedded Systems - Theory and Design Methodology, InTech, ISBN: 978-953-51-0167-3 p. 167-184, 2012
hal-02515160v1  Communication dans un congrès
Ousmane Diallo, Philippe Dhaussy, Ciprian 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-01864787v1  Communication dans un congrès
Obeid Fadi, Philippe Dhaussy. Model-checking for Secured Component Implementation.
17th International Conference on Security and Management (SAM’18), Jul 2018, Las Vegas, United States
hal-01864790v1  Communication dans un congrès
Obeid Fadi, Philippe Dhaussy. Secure Communication Protocol: Application to Large Number of Distributed Sensors
17th International Conference on Security and Management (SAM’18), Jul 2018, Las Vegas, United States
hal-01864805v1  Communication dans un congrès
Obeid Fadi, Philippe Dhaussy. Validation formelle d’architecture logicielle basée sur des patrons de sécurité
17e journées AFADL 2018, Approches Formelles dans l’Assistance au Développement de Logiciel, Jun 2018, Grenoble, France