William Durand
According to our database1,
William Durand
authored at least 6 papers
between 2014 and 2017.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2017
Combining Model Inference and Passive Testing in the Same Framework to Test Industrial Systems.
Int. J. Inf. Syst. Model. Des., 2017
2016
Automated test generation for production systems with a model-based testing approach. (Génération de tests automatisés pour des systèmes de production avec une approche basée modèle).
PhD thesis, 2016
2015
Proceedings of the 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2015
Autofunk: An Inference-Based Formal Model Generation Framework for Production Systems.
Proceedings of the FM 2015: Formal Methods, 2015
Autofunk, a fast and scalable framework for building formal models from production systems.
Proceedings of the 9th ACM International Conference on Distributed Event-Based Systems, 2015
2014
Proceedings of the Fifth Symposium on Information and Communication Technology, 2014