Philippe Dhaussy

According to our database, Philippe Dhaussy authored at least 44 papers between 2001 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Unified verification and monitoring of executable UML specifications.

Valentin Besnard, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Philippe Dhaussy

Softw. Syst. Model., 2021

2020

Modular deployment of UML models for V&V activities and embedded execution.

Valentin Besnard, Frédéric Jouault, Matthias Brun, Ciprian Teodorov, Philippe Dhaussy, Jérôme Delatour

Proceedings of the MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020

2019

Formal Verification of Security Pattern Composition: Application to SCADA.

Fadi Obeid, Philippe Dhaussy

Comput. Informatics, 2019

Verifying and Monitoring UML Models with Observer Automata: A Transformation-Free Approach.

Valentin Besnard, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Philippe Dhaussy

Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2019

A Model Checkable UML Soccer Player.

Valentin Besnard, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Philippe Dhaussy

Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019

2018

Precise use cases in a context-aware model-checking approach.

Amel Benabbou, Safia Nait Bahloul, Philippe Dhaussy

Int. J. Crit. Comput. Based Syst., 2018

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

Valentin Besnard, Matthias Brun, Frédéric Jouault, Ciprian Teodorov, Philippe Dhaussy

Proceedings of the Software Technologies: Applications and Foundations, 2018

Unified LTL Verification and Embedded Execution of UML Models.

Valentin Besnard, Matthias Brun, Frédéric Jouault, Ciprian Teodorov, Philippe Dhaussy

Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2018

Domain-Oriented Verification Management.

Vincent Leildé, Vincent Ribaud, Ciprian Teodorov, Philippe Dhaussy

Proceedings of the Model and Data Engineering - 8th International Conference, 2018

A Problem-Oriented Approach to Critical System Design and Diagnosis Support.

Vincent Leildé, Vincent Ribaud, Ciprian Teodorov, Philippe Dhaussy

Proceedings of the New Trends in Model and Data Engineering, 2018

2017

Environment-driven reachability for timed systems - Safety verification of an aircraft landing gear system.

Ciprian Teodorov, Philippe Dhaussy, Luka Leroux

Int. J. Softw. Tools Technol. Transf., 2017

A Diagnosis Framework for Critical Systems Verification (Short Paper).

Vincent Leildé, Vincent Ribaud, Ciprian Teodorov, Philippe Dhaussy

Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017

Towards One Model Interpreter for Both Design and Deployment.

Valentin Besnard, Matthias Brun, Philippe Dhaussy, Frédéric Jouault, David Olivier, Ciprian Teodorov

Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

2016

Past-Free[ze] reachability analysis: reaching further with DAG-directed exhaustive state-space analysis.

Ciprian Teodorov, Luka Leroux, Zoé Drey, Philippe Dhaussy

Softw. Test. Verification Reliab., 2016

A Parallel Algorithm for the State Space Exploration.

Lamia Allal, Ghalem Belalem, Philippe Dhaussy, Ciprian Teodorov

Scalable Comput. Pract. Exp., 2016

Context-aware approach for formal verification.

Amel Benabbou, Safia Nait Bahloul, Philippe Dhaussy

EAI Endorsed Trans. Context aware Syst. Appl., 2016

Towards a Transformation Approach of Timed UML MARTE Specifications for Observer-Based Formal Verification.

Nadia Menad, Philippe Dhaussy, Zoé Drey, Rachida Mekki

Comput. Informatics, 2016

Model-based diagnosis patterns for model checking.

Vincent Leilde, Vincent Ribaud, Philippe Dhaussy

Proceedings of the Joint Proceedings of the Second International Workshop on Patterns in Model Engineering and the Fifth International Workshop on the Verification of Model Transformation, 2016

An Organizing System to Perform and Enable Verification and Diagnosis Activities.

Vincent Leilde, Vincent Ribaud, Philippe Dhaussy

Proceedings of the Intelligent Data Engineering and Automated Learning - IDEAL 2016, 2016

2014

Context-Aware Verification of a Cruise-Control System.

Ciprian Teodorov, Luka Leroux, Philippe Dhaussy

Proceedings of the Model and Data Engineering - 4th International Conference, 2014

Context-Aware Verification of a Landing Gear System.

Philippe Dhaussy, Ciprian Teodorov

Proceedings of the ABZ 2014: The Landing Gear Case Study, 2014

2013

A Transformation Approach for Multiform Time Requirements.

Nadia Menad, Philippe Dhaussy

Proceedings of the Software Engineering and Formal Methods - 11th International Conference, 2013

MDA Approach for Distributed and Real-Time embedded Systems Analysis and Verification - Overview and First Proposal.

Nadia Menad, Philippe Dhaussy, Belhadri Messabih

Proceedings of the ICSOFT 2013, 2013

Real-Time and Embedded Systems Challenges - Key Requirements and Issues.

Nadia Menad, Philippe Dhaussy

Proceedings of the ICSOFT 2013, 2013

2012

Formalisation de contextes et d'exigences pour la validation formelle de logiciels embarqués.

Philippe Dhaussy, Frédéric Boniol, Jean-Charles Roger, Amine Raji, Yves Le Traon, Benoit Baudry

Tech. Sci. Informatiques, 2012

Improving Model Checking with Context Modelling.

Philippe Dhaussy, Frédéric Boniol, Jean-Charles Roger, Luka Leroux

Adv. Softw. Eng., 2012

2011

Application of partial-order methods for the verification of closed-loop SDL systems.

Xavier Dumas, Philippe Dhaussy, Frédéric Boniol, Eric Bonnafous

Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

Improving formal verification practicability through user oriented models and context-awareness.

Amine Raji, Philippe Dhaussy

Proceedings of the 8th International Workshop on Model-Driven Engineering, 2011

Use Cases for Context Aware Model-Checking.

Amine Raji, Philippe Dhaussy

Proceedings of the Models in Software Engineering, 2011

Reducing State Explosion with Context Modeling for Model-Checking.

Philippe Dhaussy, Jean-Charles Roger, Frédéric Boniol

Proceedings of the 13th IEEE International Symposium on High-Assurance Systems Engineering, 2011

Use Cases Modeling for Scalable Model-Checking.

Amine Raji, Philippe Dhaussy

Proceedings of the 18th Asia Pacific Software Engineering Conference, 2011

2010

Context Modelling and Partial-Order Reduction: Application to SDL Industrial Embedded Systems.

Xavier Dumas, Frédéric Boniol, Philippe Dhaussy, Eric Bonnafous

Proceedings of the IEEE Fifth International Symposium on Industrial Embedded Systems, 2010

Automatic Co-evolution of Models Using Traceability.

Bastien Amar, Hervé Leblanc, Bernard Coulette, Philippe Dhaussy

Proceedings of the Software and Data Technologies - 5th International Conference, 2010

Trace Transformation Reuse to Guide Co-evolution of Models.

Bastien Amar, Hervé Leblanc, Bernard Coulette, Philippe Dhaussy

Proceedings of the ICSOFT 2010, 2010

User Context Models - A Framework to Ease Software Formal Verifications.

Amine Raji, Philippe Dhaussy

Proceedings of the ICEIS 2010 - Proceedings of the 12th International Conference on Enterprise Information Systems, Volume 3, ISAS, Funchal, Madeira, Portugal, June 8, 2010

2009

Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation.

Philippe Dhaussy, Pierre Yves Pillain, Stephen Creff, Amine Raji, Yves Le Traon, Benoit Baudry

Proceedings of the Model Driven Engineering Languages and Systems, 2009

2008

Vers la génération de modèles de sûreté de fonctionnement.

Xavier Dumas, Claire Pagetti, Laurent Sagaspe, Pierre Bieber, Philippe Dhaussy

Proceedings of the Langages et Modèles à Objets, 2008

Un langage de contexte de preuve pour la validation formelle de modèles logiciels.

Philippe Dhaussy, Julien Auvray, Stéphane de Belloy, Frédéric Boniol, Eric Landel

Proceedings of the Langages et Modèles à Objets, 2008

Using context descriptions and property definition patterns for software formal verification.

Philippe Dhaussy, Julien Auvray, Stéphane de Belloy, Frédéric Boniol, Eric Landel

Proceedings of the First International Conference on Software Testing Verification and Validation, 2008

AADL Execution Semantics Transformation for Formal Verification.

Thomas Abdoul, Joël Champeau, Philippe Dhaussy, Pierre Yves Pillain, Jean-Charles Roger

Proceedings of the 13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31 2008, 2008

2007

Mise en œuvre de composants MDA pour la validation formelle de modèles de systèmes d'information embarqués.

Philippe Dhaussy, Frédéric Boniol

Ingénierie des Systèmes d Inf., 2007

Un cadre conceptuel pour la modélisation multi point de vue de systèmes embarqués.

Wolfgang Theurer, Frédéric Boniol, Philippe Dhaussy, Claire Pagetti

Obj. Logiciel Base données Réseaux, 2007

2002

Extending the Translation from SDL to Promela.

Armelle Prigent, Franck Cassez, Philippe Dhaussy, Olivier F. Roux

Proceedings of the Model Checking of Software, 2002

2001

Object Framework for Mission Control.

Joël Champeau, Philippe Dhaussy, Laurent Latreille, Fabien Degroote

Proceedings of the World Multiconference on Systemics, Cybernetics and Informatics, 2001