SIC-testability of sequential logic controllers. - Julien Provost; Jean-Marc Roussel; Jean-Marc Faure (WODES, 2010)

A formal semantics for Grafcet specifications. - Julien Provost; Jean-Marc Roussel; Jean-Marc Faure (CASE, 2011)

Planning in assembly systems - A common modeling for products and resources. - Julien Provost; Bengt Lennartson; Martin Fabian; Åsa Fasth; Johan Stahre (ETFA, 2012)

Multi-view hand tracking using epipolar geometry-based consistent labeling for an industrial application. - Yixiao Yun; Irene Yu-Hua Gu; Julien Provost; Knut Åkesson (ICDSC, 2013)

Online Support for Shop-Floor Operators Using Body Movements Tracking. - Julien Provost; Amir Hossein Ebrahimi; Knut Åkesson (IFAC HMS, 2013)

Generation of Single Input Change Test Sequences for Conformance Test of Programmable Logic Controllers. - Julien Provost; Jean-Marc Roussel; Jean-Marc Faure (IEEE Trans. Ind. Informatics, 2014)

Design-to-test approach for black-box testing of programmable controllers. - Canlong Ma; Julien Provost (CASE, 2015)

DTT-MAT: A software toolbox on a design-to-test approach for testing of embedded programmable controllers. - Canlong Ma; Julien Provost (CASE, 2016)

Psychoacoustic impacts estimation in manufacturing based on accelerometer measurement using artificial neural networks. - Minjie Zou; Laura Folk; Julien Provost (CASE, 2016)

A model-based testing framework with reduced set of test cases for programmable controllers. - Canlong Ma; Julien Provost (CASE, 2017)

Hybrid dynamic control of a sewage sludge dewatering and incineration process. - Steffen Ruppert; Christian Stocker; Markus Koitka; Peter Schmittel; Julien Provost (CASE, 2017)

An educational toolbox on supervisory control theory using MATLAB Simulink stateflow: From Theory to practice in one week. - Claudius Jordan; Canlong Ma; Julien Provost (EDUCON, 2017)

Development of a methodology for monitoring and prediction of road surface conditions in highly automated driving. - Eduardo Manas Pont; Julien Provost; Christian Kuenzel (ETFA, 2017)

An event-driven manufacturing information system architecture for Industry 4.0. - Alfred Theorin; Kristofer Bengtsson; Julien Provost; Michael Lieder; Charlotta Johnsson; Thomas Lundholm; Bengt Lennartson (Int. J. Prod. Res., 2017)

Towards Sensor Failure Detection in Ambient Assisted Living: Sensors Correlations. - Nancy E. ElHady; Julien Provost (CASE, 2018)

Extension of the Plant Feature Approach Introducing Temporal Relations. - Claudius V. Jordan; Judit Cuezva Herrero; Julien Provost (CASE, 2018)

Event-Driven Production Rescheduling in Job Shop Environments. - Florian Pfitzer; Julien Provost; Carina Mieth; Wolfgang Liertz (CASE, 2018)

Comparative study of flexible and decentralized agent-based and service-oriented control architectures for production systems. - Steffen Ruppert; Frank Schonung; Tanja Walz; Julien Provost (CASE, 2018)

Implementation and Evaluation of IEC 61499 Basic Function Blocks in Erlang. - Laurin Prenzel; Julien Provost (ETFA, 2018)

A Systematic Survey on Sensor Failure Detection and Fault-Tolerance in Ambient Assisted Living. - Nancy E. ElHady; Julien Provost (Sensors, 2018)

Training Convolutional Neural Networks with Synthesized Data for Object Recognition in Industrial Manufacturing. - Jason Li; Per-Lage Götvall; Julien Provost; Knut Åkesson (ETFA, 2019)

IEC 61499 Runtime Environments: A State of the Art Comparison. - Laurin Prenzel; Alois Zoitl; Julien Provost (EUROCAST (2), 2019)

FBBeam: An Erlang-based IEC 61499 Implementation. - Laurin Prenzel; Julien Provost (INDIN, 2019)

Framework for Flexible, Adaptive Support of Test Management by Means of Software Agents. - Claudius V. Jordan; Franziska Maurer; Sven Lowenberg; Julien Provost (IEEE Robotics Autom. Lett., 2019)

Sensor Failure Detection in Ambient Assisted Living Using Association Rule Mining. - Nancy E. ElHady; Stephan M. Jonas; Julien Provost; Veit Senner (Sensors, 2020)

Design-to-Test Approach for Programmable Controllers in Safety-Critical Automation Systems. - Canlong Ma; Julien Provost (IEEE Trans. Ind. Informatics, 2020)

Extending Signal Temporal Logic with Quantitative Semantics by Intervals for Robust Monitoring of Cyber-physical Systems. - Bingzhuo Zhong; Claudius Jordan; Julien Provost (ACM Trans. Cyber Phys. Syst., 2021)