Pierre-Yves Gibello
Orcid: 0000-0002-1507-709X
According to our database1,
Pierre-Yves Gibello
authored at least 4 papers
between 2012 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
0
1
2
3
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2021
Combining formal and machine learning techniques for the generation of JML specifications.
Proceedings of the FTfJP 2021: Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs, 2021
2015
Proceedings of the 2015 IEEE RIVF International Conference on Computing & Communication Technologies, 2015
Proceedings of the 8th IEEE International Conference on Cloud Computing, 2015
2012
The distribution of computing services for buildings design and optimal management: Cloud computing based on software component standard.
Proceedings of the 38th Annual Conference on IEEE Industrial Electronics Society, 2012