Travelled to:
1 × Italy
1 × Spain
Collaborated with:
J.Julliand P.Masson O.Kouchnarenko F.Peureux
Talks about:
modal (2) constraint (1) workflow (1) approxim (1) generat (1) verifi (1) system (1) specif (1) under (1) event (1)
Person: Hadrien Bride
DBLP: Bride:Hadrien
Contributed to:
Wrote 2 papers:
- SAC-2015-BrideJM #approximate #generative #testing
- Tri-modal under-approximation of event systems for test generation (HB, JJ, PAM), pp. 1737–1744.
- IFM-2014-BrideKP #constraints #specification #theorem proving #using #verification #workflow
- Verifying Modal Workflow Specifications Using Constraint Solving (HB, OK, FP), pp. 171–186.