Follow
Philippe Dhaussy
Title
Cited by
Cited by
Year
Robotic ocean vehicles for marine science applications: the european asimov project
A Pascoal, P Oliveira, C Silvestre, L Sebastião, M Rufino, V Barroso, ...
OCEANS 2000 MTS/IEEE Conference and Exhibition. Conference Proceedings (Cat …, 2000
1932000
Evaluating context descriptions and property definition patterns for software formal validation
P Dhaussy, PY Pillain, S Creff, A Raji, Y Le Traon, B Baudry
Model Driven Engineering Languages and Systems: 12th International …, 2009
612009
Global control synthesis for an MIMD/FPGA machine
P Dhaussy, JM Filloque, B Pottier, S Rubini
Proceedings of IEEE Workshop on FPGA's for Custom Computing Machines, 72-81, 1994
511994
AADL execution semantics transformation for formal verification
T Abdoul, J Champeau, P Dhaussy, PY Pillain, JC Roger
13th IEEE International Conference on Engineering of Complex Computer …, 2008
492008
Reducing state explosion with context modeling for model-checking
P Dhaussy, JC Roger, F Boniol
2011 IEEE 13th International Symposium on High-Assurance Systems Engineering …, 2011
452011
Improving model checking with context modelling
P Dhaussy, F Boniol, JC Roger, L Leroux
Advances in Software Engineering 2012 (1), 547157, 2012
412012
Unified LTL verification and embedded execution of UML models
V Besnard, M Brun, F Jouault, C Teodorov, P Dhaussy
Proceedings of the 21th ACM/IEEE International Conference on Model Driven …, 2018
302018
Environment-driven reachability for timed systems: Safety verification of an aircraft landing gear system
C Teodorov, P Dhaussy, L Le Roux
International Journal on Software Tools for Technology Transfer 19, 229-245, 2017
222017
Cdl (context description language): syntax and semantics
P Dhaussy, JC Roger
Rapport technique, ENSTA-Bretagne 37, 2011
222011
Extending the Translation from SDL to Promela
A Prigent, F Cassez, P Dhaussy, O Roux
Model Checking Software: 9th International SPIN Workshop Grenoble, France …, 2002
202002
Past‐Free [ze] reachability analysis: reaching further with DAG‐directed exhaustive state‐space analysis
C Teodorov, L Le Roux, Z Drey, P Dhaussy
Software Testing, Verification and Reliability 26 (7), 516-542, 2016
192016
Context-aware verification of a landing gear system
P Dhaussy, C Teodorov
ABZ 2014: The Landing Gear Case Study: Case Study Track, Held at the 4th …, 2014
152014
Unified verification and monitoring of executable UML specifications: a transformation-free approach
V Besnard, C Teodorov, F Jouault, M Brun, P Dhaussy
Software and Systems Modeling 20 (6), 1825-1855, 2021
132021
Verifying and monitoring UML models with observer automata: a transformation-free approach
V Besnard, C Teodorov, F Jouault, M Brun, P Dhaussy
2019 ACM/IEEE 22nd International Conference on Model Driven Engineering …, 2019
132019
Towards One Model Interpreter for Both Design and Deployment.
V Besnard, M Brun, P Dhaussy, F Jouault, D Olivier, C Teodorov
MoDELS (Satellite Events), 102-108, 2017
132017
Transformation de modèles UML vers Fiacre, via les langages intermédiaires tUML et ABCD
F Jouault, C Teodorov, J Delatour, L Le Roux, P Dhaussy
Génie logiciel: le magazine de l'ingénierie du logiciel et des systèmes 109, xx, 2014
132014
Using context descriptions and property definition patterns for software formal verification
P Dhaussy, J Auvray, S De Belloy, F Boniol, E Landel
2008 IEEE International Conference on Software Testing Verification and …, 2008
132008
Mise en œuvre de composants MDA pour la validation formelle de modèles de systèmes d'information embarqués.
P Dhaussy, F Boniol
INGENIERIE DES SYSTEMES D INFORMATION 12 (5), 133, 2007
132007
Context-aware verification of a cruise-control system
C Teodorov, L Leroux, P Dhaussy
Model and Data Engineering: 4th International Conference, MEDI 2014, Larnaca …, 2014
102014
Embedded UML model execution to bridge the gap between design and runtime
V Besnard, M Brun, F Jouault, C Teodorov, P Dhaussy
Software Technologies: Applications and Foundations: STAF 2018 Collocated …, 2018
92018
The system can't perform the operation now. Try again later.
Articles 1–20