BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Laurent:Yoann

Contributed to:

SAC 20152015
CAiSE 20142014
ECMFA 20142014
SAC 20142014
SAC 20132013

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.