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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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