Yoann Laurent

Publication Activity (10 Years)

Years Active: 2013-2018
Publications (10 Years): 1

Top Topics

Software Process

Multi Objective Genetic Algorithm

Top Venues

MoDELS (Workshops)

Pierre and Marie Curie University, Paris, France (PHD)

Education History

Pierre and Marie Curie University, Paris, France

PHD

Publications

Souheib Baarir, Reda Bendraou, Hakan Metin, Yoann Laurent
ProVer: an SMT-based approach for process verification. MoDELS (Workshops) (2018)
Djamel Eddine Khelladi, Reda Bendraou, Souheib Baarir, Yoann Laurent, Marie-Pierre Gervais
A framework to formally verify conformance of a software process to a software method. SAC (2015)
Yoann Laurent, Reda Bendraou, Souheib Baarir, Marie-Pierre Gervais
Formalization of fUML: An Application to Process Verification. CAiSE (2014)
Yoann Laurent, Reda Bendraou, Souheib Baarir, Marie-Pierre Gervais
Alloy4SPV : A Formal Framework for Software Process Verification. ECMFA (2014)
Yoann Laurent, Reda Bendraou, Souheib Baarir, Marie-Pierre Gervais
Planning for declarative processes. SAC (2014)
Yoann Laurent, Reda Bendraou, Marie-Pierre Gervais
Executing and debugging UML models: an fUML extension. SAC (2013)
Yoann Laurent, Reda Bendraou, Marie-Pierre Gervais
Generation of process using multi-objective genetic algorithm. ICSSP (2013)