Julien Provost

According to our database, Julien Provost authored at least 27 papers between 2010 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2021

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

2020

Design-to-Test Approach for Programmable Controllers in Safety-Critical Automation Systems.

Canlong Ma, Julien Provost

IEEE Trans. Ind. Informatics, 2020

Sensor Failure Detection in Ambient Assisted Living Using Association Rule Mining.

Nancy E. ElHady, Stephan M. Jonas, Julien Provost, Veit Senner

Sensors, 2020

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

FBBeam: An Erlang-based IEC 61499 Implementation.

Laurin Prenzel, Julien Provost

Proceedings of the 17th IEEE International Conference on Industrial Informatics, 2019

IEC 61499 Runtime Environments: A State of the Art Comparison.

Laurin Prenzel, Alois Zoitl, Julien Provost

Proceedings of the Computer Aided Systems Theory - EUROCAST 2019, 2019

Training Convolutional Neural Networks with Synthesized Data for Object Recognition in Industrial Manufacturing.

Jason Li, Per-Lage Götvall, Julien Provost, Knut Åkesson

Proceedings of the 24th IEEE International Conference on Emerging Technologies and Factory Automation, 2019

2018

A Systematic Survey on Sensor Failure Detection and Fault-Tolerance in Ambient Assisted Living.

Nancy E. ElHady, Julien Provost

Sensors, 2018

Implementation and Evaluation of IEC 61499 Basic Function Blocks in Erlang.

Laurin Prenzel, Julien Provost

Proceedings of the 23rd IEEE International Conference on Emerging Technologies and Factory Automation, 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

Proceedings of the 14th IEEE International Conference on Automation Science and Engineering, 2018

Event-Driven Production Rescheduling in Job Shop Environments.

Florian Pfitzer, Julien Provost, Carina Mieth, Wolfgang Liertz

Proceedings of the 14th IEEE International Conference on Automation Science and Engineering, 2018

Extension of the Plant Feature Approach Introducing Temporal Relations.

Claudius V. Jordan, Judit Cuezva Herrero, Julien Provost

Proceedings of the 14th IEEE International Conference on Automation Science and Engineering, 2018

Towards Sensor Failure Detection in Ambient Assisted Living: Sensors Correlations.

Nancy E. ElHady, Julien Provost

Proceedings of the 14th IEEE International Conference on Automation Science and Engineering, 2018

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

Development of a methodology for monitoring and prediction of road surface conditions in highly automated driving.

Eduardo Manas Pont, Julien Provost, Christian Kuenzel

Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, 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

Proceedings of the 2017 IEEE Global Engineering Education Conference, 2017

Hybrid dynamic control of a sewage sludge dewatering and incineration process.

Steffen Ruppert, Christian Stocker, Markus Koitka, Peter Schmittel, Julien Provost

Proceedings of the 13th IEEE Conference on Automation Science and Engineering, 2017

A model-based testing framework with reduced set of test cases for programmable controllers.

Canlong Ma, Julien Provost

Proceedings of the 13th IEEE Conference on Automation Science and Engineering, 2017

2016

Psychoacoustic impacts estimation in manufacturing based on accelerometer measurement using artificial neural networks.

Minjie Zou, Laura Folk, Julien Provost

Proceedings of the IEEE International Conference on Automation Science and Engineering, 2016

DTT-MAT: A software toolbox on a design-to-test approach for testing of embedded programmable controllers.

Canlong Ma, Julien Provost

Proceedings of the IEEE International Conference on Automation Science and Engineering, 2016

2015

Design-to-test approach for black-box testing of programmable controllers.

Canlong Ma, Julien Provost

Proceedings of the IEEE International Conference on Automation Science and Engineering, 2015

2014

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

2013

Online Support for Shop-Floor Operators Using Body Movements Tracking.

Julien Provost, Amir Hossein Ebrahimi, Knut Åkesson

Proceedings of the 12th IFAC/IFIP/IFORS/IEA Symposium on Analysis, 2013

Multi-view hand tracking using epipolar geometry-based consistent labeling for an industrial application.

Yixiao Yun, Irene Yu-Hua Gu, Julien Provost, Knut Åkesson

Proceedings of the Seventh International Conference on Distributed Smart Cameras, 2013

2012

Planning in assembly systems - A common modeling for products and resources.

Julien Provost, Bengt Lennartson, Martin Fabian, Åsa Fasth, Johan Stahre

Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012

2011

A formal semantics for Grafcet specifications.

Julien Provost, Jean-Marc Roussel, Jean-Marc Faure

Proceedings of the IEEE Conference on Automation Science and Engineering, 2011

2010

SIC-testability of sequential logic controllers.

Julien Provost, Jean-Marc Roussel, Jean-Marc Faure

Proceedings of the 10th International Workshop on Discrete Event Systems, 2010