William Durand

According to our database1, William Durand authored at least 6 papers between 2014 and 2017.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

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
Passive testing of production systems based on model inference.
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
Inferring models with rule-based expert systems.
Proceedings of the Fifth Symposium on Information and Communication Technology, 2014


  Loading...