Travelled to:1 × Denmark
1 × Portugal
1 × Spain
1 × Taiwan
1 × USA
Collaborated with:A.Raji N.Menad X.Dumas F.Boniol E.Bonnafous V.Besnard M.Brun F.Jouault C.Teodorov P.Y.Pillain S.Creff Y.L.Traon B.Baudry
Talks about:verif (3) softwar (2) context (2) formal (2) model (2) transform (1) multiform (1) framework (1) properti (1) descript (1)
Person: Philippe Dhaussy
DBLP: Dhaussy:Philippe
Contributed to:
2013
2011
2010
20092018Wrote 5 papers:
- SEFM-2013-MenadD #approach #multi #requirements
- A Transformation Approach for Multiform Time Requirements (NM, PD), pp. 16–30.
- SAC-2011-DumasDBB #partial order #verification
- Application of partial-order methods for the verification of closed-loop SDL systems (XD, PD, FB, EB), pp. 1666–1673.
- ICEIS-ISAS-2010-RajiD #framework #modelling
- User Context Models — A Framework to Ease Software Formal Verifications (AR, PD), pp. 380–383.
- MoDELS-2009-DhaussyPCRTB #validation
- Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation (PD, PYP, SC, AR, YLT, BB), pp. 438–452.
- MoDELS-2018-BesnardBJTD #embedded #execution #ltl #modelling #uml #verification
- Unified LTL Verification and Embedded Execution of UML Models (VB, MB, FJ, CT, PD), pp. 112–122.