Get started
Author

Yoann Laurent

OpenAlex ID: A5083674054
Executing and debugging UML models
2013 · Yoann Laurent, Reda Bendraou, et al. · ACM Symposium on Applied Computing · 20
Formalization of fUML: An Application to Process Verification
2014 · Yoann Laurent, Reda Bendraou, et al. · Lecture notes in computer science · 14
A framework to formally verify conformance of a software process to a software method
2015 · Djamel-Eddine Khelladi, Reda Bendraou, et al. · ACM Symposium on Applied Computing · 10
Planning for declarative processes
2014 · Yoann Laurent, Reda Bendraou, et al. · ACM Symposium on Applied Computing · 5
Alloy4SPV : A Formal Framework for Software Process Verification
2014 · Yoann Laurent, Reda Bendraou, et al. · Lecture notes in computer science · 4
Generation of process using multi-objective genetic algorithm
2013 · Yoann Laurent, Reda Bendraou, et al. · International Conference on Software and System Process · 3
Alloy4PV : un Framework pour la Vérification de Procédés Métiers
2015 · Yoann Laurent · theses.fr (ABES) · 2
PDF
ProVer: an SMT-based approach for process verification.
2018 · Souheib Baarir, Reda Bendraou, et al. · HAL
Works count: 8
Citation count: 58
H-index: 4
I10-index: 3
Year
Topic
Type