Yoann Laurent

According to our database, Yoann Laurent authored at least 8 papers between 2013 and 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2018

ProVer: an SMT-based approach for process verification.

Souheib Baarir, Reda Bendraou, Hakan Metin, Yoann Laurent

Proceedings of MODELS 2018 Workshops: ModComp, 2018

2015

Alloy4PV : un Framework pour la Vérification de Procédés Métiers. (Alloy4PV : a Framework for Business Process Verification).

Yoann Laurent

PhD thesis, 2015

A framework to formally verify conformance of a software process to a software method.

Djamel Eddine Khelladi, Reda Bendraou, Souheib Baarir, Yoann Laurent, Marie-Pierre Gervais

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

2014

Planning for declarative processes.

Yoann Laurent, Reda Bendraou, Souheib Baarir, Marie-Pierre Gervais

Proceedings of the Symposium on Applied Computing, 2014

Alloy4SPV : A Formal Framework for Software Process Verification.

Yoann Laurent, Reda Bendraou, Souheib Baarir, Marie-Pierre Gervais

Proceedings of the Modelling Foundations and Applications - 10th European Conference, 2014

Formalization of fUML: An Application to Process Verification.

Yoann Laurent, Reda Bendraou, Souheib Baarir, Marie-Pierre Gervais

Proceedings of the Advanced Information Systems Engineering, 2014

2013

Executing and debugging UML models: an fUML extension.

Yoann Laurent, Reda Bendraou, Marie-Pierre Gervais

Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Generation of process using multi-objective genetic algorithm.

Yoann Laurent, Reda Bendraou, Marie-Pierre Gervais

Proceedings of the International Conference on Software and System Process, 2013