Peter Faymonville
Orcid: 0000-0001-5778-4908
According to our database1,
Peter Faymonville
authored at least 15 papers
between 2009 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2010
2012
2014
2016
2018
2020
2022
2024
0
1
2
3
4
5
6
1
1
1
1
1
4
1
2
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Int. J. Softw. Tools Technol. Transf., October, 2024
2019
The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results.
CoRR, 2019
Proceedings of the Computer Aided Verification - 31st International Conference, 2019
2017
The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results.
Proceedings of the Proceedings Sixth Workshop on Synthesis, 2017
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017
Proceedings of the Runtime Verification - 17th International Conference, 2017
Proceedings of the Computer Aided Verification - 29th International Conference, 2017
2016
Proceedings of the Runtime Verification - 16th International Conference, 2016
2015
2014
Proceedings of the Proceedings Fifth International Symposium on Games, 2014
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2014
2009
Proceedings of the ACM SIGKDD Workshop on Human Computation, Paris, France, June 28, 2009, 2009
Proceedings of the 12th IEEE International Conference on Computer Vision Workshops, 2009