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


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
hal-01864790v1  Communication dans un congrès
Obeid FadiPhilippe 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 FadiPhilippe 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
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-00517466v1  Communication dans un congrès
Martin MonperrusAntoine BeugnardJoël Champeau. A Definition of Abstraction Level for Metamodels
7th IEEE Workshop on Model-Based Development for Computer Based systems, 2009, San Francisco, United States. ⟨10.1109/ECBS.2009.41⟩
hal-00635969v1  Chapitre d'ouvrage
Jean-Philippe BabauPhilippe DhaussyPierre-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-00676423v1  Chapitre d'ouvrage
Philippe DhaussyJean-Charles RogerFré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-01298623v1  Article dans une revue
Amel BenabbouSafia Nait BahloulDhaussy Philippe. Context-aware approach for formal verification
EAI Endorsed Transactions on Context-aware Systems and Applications, 2016, 3 (7), pp.1-10. ⟨10.4108/eai.12-2-2016.151085⟩
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-00471931v1  Communication dans un congrès
Amine RajiPhilippe Dhaussy. USER CONTEXT MODELS : A FRAMEWORK TO EASE SOFTWARE FORMAL VERIFICATIONS
12th International Conference on Enterprise Information Systems, Jun 2010, Funchal, Madeira, Portugal. pp.1
hal-01121845v1  Article dans une revue
Charbel Geryes AounIyas AlloushYvon KermarrecJoël ChampeauOussama Kassem Zein. A Modeling Approach for Marine Observatory
Sensors & Transducers Journal, International Frequency Sensor Association (IFSA), 2015, Sensors & Transducers Journal, 185 (2), pp.129-139
hal-00822656v1  Direction d'ouvrage, Proceedings, Dossier
Loïc LagadecAlain Plantec. Proceedings of the 2012 International Workshop on Smalltalk Technologies
ACM digital library, pp.68, 2012, 978-1-4503-1897-6
hal-01090466v1  Chapitre d'ouvrage
Nader KhammassiJean-Christophe Le Lann. XPU: A C++ Metaprogramming Approach to Ease Parallelism Expression: Parallelization Methodology, Internal Design and Practical Application
Parallel Programming: Practical Aspects, Models and Current Limitations, NOVA publishers, pp.175-198, 2014, 978-1-60741-263-2
...
hal-00690923v1  Communication dans un congrès
Hanh Nhi TranChristian Percebois. Towards a Rule-level Verification Framework for Property-Preserving Graph Transformations
ICST (International Conference on Software Testing, Verification and Validation) Workshop on Verification and validation Of model Transformations (VOLT), Apr 2012, Montreal, Canada
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-02375996v1  Communication dans un congrès
Valentin BesnardCiprian TeodorovFrédéric JouaultMatthias BrunPhilippe Dhaussy. A Model Checkable UML Soccer Player
3rd Workshop on Model-Driven Engineering Tools, Sep 2019, Munich, Germany
hal-00782814v1  Article dans une revue
Ciprian TeodorovLoïc Lagadec. Model-driven physical-design automation for FPGAs: fast prototyping and legacy reuse
Software: Practice and Experience, Wiley, 2013, 44 (4), pp.455-482. ⟨10.1002/spe.2190⟩
...
hal-01119571v1  Communication dans un congrès
Vincent RibaudCiprian TeodorovZoé DreyLuka LerouxPhilippe Dhaussy. Techniques and Challenges for Trace Processing from a Model-Checking Perspective
International Joint Conferences on Computer, Information, Systems Sciences, & Engineering - CISSE 2014, University of Bridgeport, Dec 2014, Bridgeport, United States
...
hal-01203649v1  Communication dans un congrès
Khaoula Es-SalhiSiham Rim BoudaoudCiprian TeodorovZoé DreyVincent Ribaud. KriQL: a query language for the diagnosis of transition systems
15th International Workshop on Automated Verification of Critical Systems - AVOCS'15, Sep 2015, Edimburgh, United Kingdom. pp.151-165
...
hal-01756186v1  Communication dans un congrès
Vincent LeildeVincent Ribaud. Does Process Assessment Drive Process Learning? The Case of a Bachelor Capstone Project
2017 IEEE 30th Conference on Software Engineering Education and Training (CSEE&T), Nov 2017, Savannah, France. ⟨10.1109/CSEET.2017.39⟩
...
hal-01933792v1  Communication dans un congrès
Vincent LeildeVincent RibaudCiprian TeodorovPhilippe Dhaussy. A Problem-Oriented Approach to Critical System Design and Diagnosis Support
1st International Workshop on Modeling, Verification and Testing of Dependable Critical Systems (DETECT 2018), Oct 2018, Marrakesh, Morocco
...
hal-01559688v1  Communication dans un congrès
Vincent LeildeVincent RibaudCiprian TeodorovPhilippe Dhaussy. A Diagnosis Framework for Critical Systems Verification
15th International Conference on Software Engineering and Formal Methods, SEFM 2017, Sep 2017, Trente, Italy. Short Papers 1-6