William Durand

Publication Activity (10 Years)

Years Active: 2014-2017
Publications (10 Years): 4

Top Topics

Probabilistic Model

Production System

Top Venues

Int. J. Inf. Syst. Model. Des.

Blaise Pascal University, Clermont-Ferrand, France (PHD)

Education History

Blaise Pascal University, Clermont-Ferrand, France

PHD

Publications

Sébastien Salva, William Durand
Combining Model Inference and Passive Testing in the Same Framework to Test Industrial Systems. Int. J. Inf. Syst. Model. Des. 8 (1) (2017)
William Durand, Sébastien Salva
Passive testing of production systems based on model inference. MEMOCODE (2015)
William Durand, Sébastien Salva
Autofunk: An Inference-Based Formal Model Generation Framework for Production Systems. FM (2015)
Sébastien Salva, William Durand
Autofunk, a fast and scalable framework for building formal models from production systems. DEBS (2015)
William Durand, Sébastien Salva
Inferring models with rule-based expert systems. SoICT (2014)