Travelled to:1 × Greece
1 × Portugal
1 × South Korea
1 × Spain
1 × United Kingdom
Collaborated with:R.Bendraou M.Gervais S.Baarir D.E.Khelladi
Talks about:process (4) softwar (3) formal (3) framework (2) verif (2) fuml (2) conform (1) verifi (1) method (1) extens (1)
Person: Yoann Laurent
DBLP: Laurent:Yoann
Contributed to:
2015
2014
201420142013Wrote 5 papers:
- SAC-2015-KhelladiBBLG #consistency #framework #process #verification
- A framework to formally verify conformance of a software process to a software method (DEK, RB, SB, YL, MPG), pp. 1518–1525.
- CAiSE-2014-LaurentBBG #formal method #process #verification
- Formalization of fUML: An Application to Process Verification (YL, RB, SB, MPG), pp. 347–363.
- ECMFA-2014-LaurentBBG #alloy #framework #process #verification
- Alloy4SPV : A Formal Framework for Software Process Verification (YL, RB, SB, MPG), pp. 83–100.
- SAC-2014-LaurentBBG #declarative #process
- Planning for declarative processes (YL, RB, SB, MPG), pp. 1126–1133.
- SAC-2013-LaurentBG #debugging #modelling #uml
- Executing and debugging UML models: an fUML extension (YL, RB, MPG), pp. 1095–1102.