Canlong Ma; Julien Provost.A model-based testing framework with reduced set of test cases for programmable controllers.13th IEEE Conference on Automation Science and Engineering (CASE 2017).2017

Steffen Ruppert; Christian Stöcker; Markus Koitka; Peter Schmittel; Julien Provost.Hybrid dynamic control of a sewage sludge dewatering and incineration process.13th IEEE International Conference on Automation Science and Engineering (CASE 2017).2017

Eduardo Manas Pont; Christian Kuenzel; Julien Provost.Development of a Methodology for Monitoring and Prediction of Road Surface Conditions in Highly Automated Driving.22nd IEEE International Conference on Emerging Technologies And Factory Automation (ETFA 2017).2017

Canlong Ma; Julien Provost.Using plant model features to generate reduced test cases for programmable controllers.20th World Congress of the International Federation of Automatic Control.2017

Kevin Fouquet; Julien Provost.A Signal-Interpreted Approach to the Supervisory Control Theory Problem.20th World Congress of the International Federation of Automatic Control.2017

Laurin Prenzel; Julien Provost.Dynamic Software Updating of IEC 61499 Implementation Using Erlang Runtime System.20th World Congress of the International Federation of Automatic Control.2017

Sebastian Q. Roder; Julien Provost.Dynamic Software Update of Stateflow Charts using Erlang Runtime System.20th World Congress of the International Federation of Automatic Control.2017

Claudius Jordan; Canlong Ma; Julien Provost.An Educational Toolbox on Supervisory Control Theory using MATLAB Simulink Stateflow -- From Theory to Practice in one week .8th IEEE Global Engineering Education Conference (EDUCON 2017).2017