8
Publications
270
Citations
8
H-Index
2002
Active since
Philippe Dhaussy is an author at École nationale supérieure de techniques avancées Bretagne specializing in engineering, systems engineering, and computer science.
Top concepts
EngineeringSystems EngineeringComputer ScienceFormal MethodsFormal VerificationVerificationProgram AnalysisSoftware TestingSoftware AnalysisSoftware Verification
Publications per year
2002–2021
8
8
Robotic ocean vehicles for marine science applications: the European ASIMOV project
A. Pascoal, Paulo Oliveira, Carlos Silvestre et al. · 2002 · 141 citations
AADL Execution Semantics Transformation for Formal Verification
Thomas Abdoul, Joël Champeau, Philippe Dhaussy et al. · 2008 · 27 citations
Unified LTL Verification and Embedded Execution of UML Models
Valentin Besnard, Matthias Brun, Frédéric Jouault et al. · 2018 · 23 citations
Engineering, Hardware Verification Language, Verification +22
Improving Model Checking with Context Modelling
Philippe Dhaussy, Frédéric Boniol, Jean-Charles Roger et al. · Advances in Software Engineering · 2012 · 19 citations · Full text
Rows per page
1–5 of 8