Philippe Dhaussy

46 papers A 3B 3C 6Misc 1Journal 12Unranked 21

Year	Rank	Type	Title / Venue / Authors
2021	J	`jnl`	Unified verification and monitoring of executable UML specifications. Softw. Syst. Model. Valentin Besnard, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Philippe Dhaussy
2020	—	`conf`	Modular deployment of UML models for V&V activities and embedded execution. MoDELS (Companion) Valentin Besnard, Frédéric Jouault, Matthias Brun, Ciprian Teodorov, Philippe Dhaussy, Jérôme Delatour
2019	—	`conf`	A Model Checkable UML Soccer Player. MoDELS (Companion) Valentin Besnard, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Philippe Dhaussy
2019	J	`jnl`	Formal Verification of Security Pattern Composition: Application to SCADA. Comput. Informatics Fadi Obeid, Philippe Dhaussy
2019	A	`conf`	Verifying and Monitoring UML Models with Observer Automata: A Transformation-Free Approach. MoDELS Valentin Besnard, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Philippe Dhaussy
2018	—	`conf`	A Problem-Oriented Approach to Critical System Design and Diagnosis Support. MEDI Workshops Vincent Leildé, Vincent Ribaud, Ciprian Teodorov, Philippe Dhaussy
2018	C	`conf`	Domain-Oriented Verification Management. MEDI Vincent Leildé, Vincent Ribaud, Ciprian Teodorov, Philippe Dhaussy
2018	—	`conf`	Embedded UML Model Execution to Bridge the Gap Between Design and Runtime. STAF Workshops Valentin Besnard, Matthias Brun, Frédéric Jouault, Ciprian Teodorov, Philippe Dhaussy
2018	J	`jnl`	Precise use cases in a context-aware model-checking approach. Int. J. Crit. Comput. Based Syst. Amel Benabbou, Safia Nait Bahloul, Philippe Dhaussy
2018	A	`conf`	Unified LTL Verification and Embedded Execution of UML Models. MoDELS Valentin Besnard, Matthias Brun, Frédéric Jouault, Ciprian Teodorov, Philippe Dhaussy
2017	B	`conf`	A Diagnosis Framework for Critical Systems Verification (Short Paper). SEFM Vincent Leildé, Vincent Ribaud, Ciprian Teodorov, Philippe Dhaussy
2017	J	`jnl`	Environment-driven reachability for timed systems - Safety verification of an aircraft landing gear system. Int. J. Softw. Tools Technol. Transf. Ciprian Teodorov, Philippe Dhaussy, Luka Leroux
2017	—	`conf`	Towards One Model Interpreter for Both Design and Deployment. MoDELS (Satellite Events) Valentin Besnard, Matthias Brun, Philippe Dhaussy, Frédéric Jouault, David Olivier, Ciprian Teodorov
2016	J	`jnl`	A Parallel Algorithm for the State Space Exploration. Scalable Comput. Pract. Exp. Lamia Allal, Ghalem Belalem, Philippe Dhaussy, Ciprian Teodorov
2016	C	`conf`	An Organizing System to Perform and Enable Verification and Diagnosis Activities. IDEAL Vincent Leilde, Vincent Ribaud, Philippe Dhaussy
2016	J	`jnl`	Context-aware approach for formal verification. EAI Endorsed Trans. Context aware Syst. Appl. Amel Benabbou, Safia Nait Bahloul, Philippe Dhaussy
2016	—	`conf`	Model-based diagnosis patterns for model checking. PAME/VOLT@MoDELS Vincent Leilde, Vincent Ribaud, Philippe Dhaussy
2016	J	`jnl`	Past-Free[ze] reachability analysis: reaching further with DAG-directed exhaustive state-space analysis. Softw. Test. Verification Reliab. Ciprian Teodorov, Luka Leroux, Zoé Drey, Philippe Dhaussy
2016	J	`jnl`	Towards a Transformation Approach of Timed UML MARTE Specifications for Observer-Based Formal Verification. Comput. Informatics Nadia Menad, Philippe Dhaussy, Zoé Drey, Rachida Mekki
2014	C	`conf`	Context-Aware Verification of a Cruise-Control System. MEDI Ciprian Teodorov, Luka Leroux, Philippe Dhaussy
2014	—	`conf`	Context-Aware Verification of a Landing Gear System. ABZ (Case Study) Philippe Dhaussy, Ciprian Teodorov
2013	B	`conf`	A Transformation Approach for Multiform Time Requirements. SEFM Nadia Menad, Philippe Dhaussy
2013	C	`conf`	MDA Approach for Distributed and Real-Time embedded Systems Analysis and Verification - Overview and First Proposal. ICSOFT Nadia Menad, Philippe Dhaussy, Belhadri Messabih
2013	C	`conf`	Real-Time and Embedded Systems Challenges - Key Requirements and Issues. ICSOFT Nadia Menad, Philippe Dhaussy
2012	J	`jnl`	Formalisation de contextes et d'exigences pour la validation formelle de logiciels embarqués. Tech. Sci. Informatiques Philippe Dhaussy, Frédéric Boniol, Jean-Charles Roger, Amine Raji, Yves Le Traon, Benoit Baudry
2012	J	`jnl`	Improving Model Checking with Context Modelling. Adv. Softw. Eng. Philippe Dhaussy, Frédéric Boniol, Jean-Charles Roger, Luka Leroux
2011	Misc	`conf`	Application of partial-order methods for the verification of closed-loop SDL systems. SAC Xavier Dumas, Philippe Dhaussy, Frédéric Boniol, Eric Bonnafous
2011	—	`conf`	Improving formal verification practicability through user oriented models and context-awareness. MoDeVVa@MoDELS Amine Raji, Philippe Dhaussy
2011	—	`conf`	Reducing State Explosion with Context Modeling for Model-Checking. HASE Philippe Dhaussy, Jean-Charles Roger, Frédéric Boniol
2011	C	`conf`	Use Cases Modeling for Scalable Model-Checking. APSEC Amine Raji, Philippe Dhaussy
2011	—	`conf`	Use Cases for Context Aware Model-Checking. MoDELS (Workshops) Amine Raji, Philippe Dhaussy
2010	—	`conf`	Automatic Co-evolution of Models Using Traceability. ICSOFT (Selected Papers) Bastien Amar, Hervé Leblanc, Bernard Coulette, Philippe Dhaussy
2010	—	`conf`	Context Modelling and Partial-Order Reduction: Application to SDL Industrial Embedded Systems. SIES Xavier Dumas, Frédéric Boniol, Philippe Dhaussy, Eric Bonnafous
2010	—	`conf`	Trace Transformation Reuse to Guide Co-evolution of Models. ICSOFT (2) Bastien Amar, Hervé Leblanc, Bernard Coulette, Philippe Dhaussy
2010	—	`conf`	User Context Models - A Framework to Ease Software Formal Verifications. ICEIS (3) Amine Raji, Philippe Dhaussy
2009	A	`conf`	Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation. MoDELS Philippe Dhaussy, Pierre Yves Pillain, Stephen Creff, Amine Raji, Yves Le Traon, Benoit Baudry
2008	B	`conf`	AADL Execution Semantics Transformation for Formal Verification. ICECCS Thomas Abdoul, Joël Champeau, Philippe Dhaussy, Pierre Yves Pillain, Jean-Charles Roger
2008	—	`conf`	Un langage de contexte de preuve pour la validation formelle de modèles logiciels. CAL Philippe Dhaussy, Julien Auvray, Stéphane de Belloy, Frédéric Boniol, Eric Landel
2008	—	`conf`	Un langage de contexte de preuve pour la validation formelle de modèles logiciels. LMO Philippe Dhaussy, Julien Auvray, Stéphane de Belloy, Frédéric Boniol, Eric Landel
2008	—	`conf`	Using context descriptions and property definition patterns for software formal verification. ICST Workshops Philippe Dhaussy, Julien Auvray, Stéphane de Belloy, Frédéric Boniol, Eric Landel
2008	—	`conf`	Vers la génération de modèles de sûreté de fonctionnement. CAL Xavier Dumas, Claire Pagetti, Laurent Sagaspe, Pierre Bieber, Philippe Dhaussy
2008	—	`conf`	Vers la génération de modèles de sûreté de fonctionnement. LMO Xavier Dumas, Claire Pagetti, Laurent Sagaspe, Pierre Bieber, Philippe Dhaussy
2007	J	`jnl`	Mise en œuvre de composants MDA pour la validation formelle de modèles de systèmes d'information embarqués. Ingénierie des Systèmes d Inf. Philippe Dhaussy, Frédéric Boniol
2007	J	`jnl`	Un cadre conceptuel pour la modélisation multi point de vue de systèmes embarqués. Obj. Logiciel Base données Réseaux Wolfgang Theurer, Frédéric Boniol, Philippe Dhaussy, Claire Pagetti
2002	—	`conf`	Extending the Translation from SDL to Promela. SPIN Armelle Prigent, Franck Cassez, Philippe Dhaussy, Olivier F. Roux
2001	—	`conf`	Object Framework for Mission Control. ISAS-SCI (1) Joël Champeau, Philippe Dhaussy, Laurent Latreille, Fabien Degroote