Hugues Evrard
Orcid: 0009-0001-7956-0371
According to our database1,
Hugues Evrard
authored at least 15 papers
between 2013 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
2014
2016
2018
2020
2022
0
1
2
3
4
5
1
1
1
3
1
2
1
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Proceedings of the Model Checking Software - 29th International Symposium, 2023
2021
2020
Dagstuhl Artifacts Ser., 2020
Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems, 2020
Proceedings of the 34th European Conference on Object-Oriented Programming, 2020
2018
Trans. Petri Nets Other Model. Concurr., 2018
Proceedings of the 29th International Conference on Concurrency Theory, 2018
2017
Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous.
J. Log. Algebraic Methods Program., 2017
CoRR, 2017
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017
2016
DLC: Compiling a Concurrent System Formal Specification to a Distributed Implementation.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016
2015
Génération automatique d'implémentation distribuée à partir de modèles formels de processus concurrents asynchrones. (Automatic Distributed Code Generation from Formal Models of Asynchronous Concurrent Processes).
PhD thesis, 2015
Automatic Distributed Code Generation from Formal Models of Asynchronous Concurrent Processes.
Proceedings of the 23rd Euromicro International Conference on Parallel, 2015
2013
Proceedings of the Formal Techniques for Distributed Systems, 2013