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


...
hal-02428581v1  Communication dans un congrès
Andrey SadovykhTewfik ZiadiAlessandra BagnatoThorsten BergerJan-Philipp Steghöfer et al.  REVaMP 2 Project: Towards Round-Trip Engineering of Software Product Lines -Approach, Intermediate Results and Challenges
International Conference on Objects, Components, Models and Patterns (TOOLS 2019), Oct 2019, Innopolis, Russia
...
tel-02319224v1  Thèse
Fadi Obeid. Validation formelle d'implantation de patrons de sécurité
Génie logiciel [cs.SE]. ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne, 2018. Français. ⟨NNT : 2018ENTA0002⟩
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-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-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-00470512v1  Communication dans un congrès
Tewfik ZiadiXavier BlancAmine Raji. From Requirements to Code Revisited
12th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC'09), Mar 2009, Tokyo, Japan. pp.228 - 235, ⟨10.1109/ISORC.2009.29⟩
...
inria-00477563v1  Communication dans un congrès
Martin MonperrusJoël ChampeauBrigitte Hoeltzener. Counts count
Proceedings of the MoDELS'07 Workshops, 2007, Nashville, United States
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
...
tel-00728431v1  Thèse
Amine Raji. Intégration des activités de preuve dans le processus de développement de logiciels pour les systèmes embarqués
Génie logiciel [cs.SE]. Télécom Bretagne, Université de Bretagne-Sud, 2012. Français
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-01780556v1  Communication dans un congrès
Lamia AllalGhalem BelalemPhilippe DhaussyCiprian 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-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
...
inria-00468656v1  Article dans une revue
Ali KoudriJoël ChampeauDenis AulagnierDidier Vojtisek. Processus MOPCOM pour SoC/SoPC
Génie logiciel, Génie industriel multimédia, 2009
...
tel-00514492v1  Thèse
Martin Monperrus. La mesure des modèles par les modèles : une approche générative
Génie logiciel [cs.SE]. Université Rennes 1, 2008. Français
...
hal-01804280v1  Communication dans un congrès
Ahcène BounceurBezoui MadaniMassinissa LounisReinhardt EulerCiprian Teodorov. A new dominating tree routing algorithm for efficient leader election in IoT networks
15th IEEE Annual Consumer Communications & Networking Conference (CCNC), Jan 2018, Las Vegas, United States. ⟨10.1109/CCNC.2018.8319292⟩
...
hal-02434620v1  Communication dans un congrès
Luka Le RouxCiprian Teodorov. Partially Bounded Context-Aware Verification
17th International Conference on Software Engineering and Formal Methods, SEFM 2019, Sep 2019, Oslo, Norway. pp.532-548, ⟨10.1007/978-3-030-30446-1_28⟩
hal-00635555v1  Communication dans un congrès
Amine RajiPhilippe DhaussyBenoît Baudry. Formal Extension of Use Cases for Context-Aware Verification
MoDeVVA 2011 - Model-Driven Engineering, Verification, and Validation: Integrating Verification and Validation in MDE, Oct 2011, Wellington, New Zealand
...
hal-02433749v1  Communication dans un congrès
Valentin BesnardCiprian TeodorovFrédéric JouaultMatthias BrunPhilippe 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-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