Julien Provost

27 papers C 6Journal 7Unranked 14
YearRankTypeTitle / Venue / Authors
2021 J jnl
Extending Signal Temporal Logic with Quantitative Semantics by Intervals for Robust Monitoring of Cyber-physical Systems.
ACM Trans. Cyber Phys. Syst.
Bingzhuo Zhong, Claudius Jordan, Julien Provost
2020 J jnl
Design-to-Test Approach for Programmable Controllers in Safety-Critical Automation Systems.
IEEE Trans. Ind. Informatics
Canlong Ma, Julien Provost
2020 J jnl
Sensor Failure Detection in Ambient Assisted Living Using Association Rule Mining.
Sensors
Nancy E. ElHady, Stephan M. Jonas, Julien Provost, Veit Senner
2019 C conf
FBBeam: An Erlang-based IEC 61499 Implementation.
INDIN
Laurin Prenzel, Julien Provost
2019 J jnl
Framework for Flexible, Adaptive Support of Test Management by Means of Software Agents.
IEEE Robotics Autom. Lett.
Claudius V. Jordan, Franziska Maurer, Sven Lowenberg, Julien Provost
2019 — conf
IEC 61499 Runtime Environments: A State of the Art Comparison.
EUROCAST (2)
Laurin Prenzel, Alois Zoitl, Julien Provost
2019 C conf
Training Convolutional Neural Networks with Synthesized Data for Object Recognition in Industrial Manufacturing.
ETFA
Jason Li, Per-Lage Götvall, Julien Provost, Knut Åkesson
2018 J jnl
A Systematic Survey on Sensor Failure Detection and Fault-Tolerance in Ambient Assisted Living.
Sensors
Nancy E. ElHady, Julien Provost
2018 — conf
Comparative study of flexible and decentralized agent-based and service-oriented control architectures for production systems.
CASE
Steffen Ruppert, Frank Schonung, Tanja Walz, Julien Provost
2018 — conf
Event-Driven Production Rescheduling in Job Shop Environments.
CASE
Florian Pfitzer, Julien Provost, Carina Mieth, Wolfgang Liertz
2018 — conf
Extension of the Plant Feature Approach Introducing Temporal Relations.
CASE
Claudius V. Jordan, Judit Cuezva Herrero, Julien Provost
2018 C conf
Implementation and Evaluation of IEC 61499 Basic Function Blocks in Erlang.
ETFA
Laurin Prenzel, Julien Provost
2018 — conf
Towards Sensor Failure Detection in Ambient Assisted Living: Sensors Correlations.
CASE
Nancy E. ElHady, Julien Provost
2017 — conf
A model-based testing framework with reduced set of test cases for programmable controllers.
CASE
Canlong Ma, Julien Provost
2017 C conf
An educational toolbox on supervisory control theory using MATLAB Simulink stateflow: From Theory to practice in one week.
EDUCON
Claudius Jordan, Canlong Ma, Julien Provost
2017 J jnl
An event-driven manufacturing information system architecture for Industry 4.0.
Int. J. Prod. Res.
Alfred Theorin, Kristofer Bengtsson, Julien Provost, Michael Lieder, Charlotta Johnsson, Thomas Lundholm, Bengt Lennartson
2017 C conf
Development of a methodology for monitoring and prediction of road surface conditions in highly automated driving.
ETFA
Eduardo Manas Pont, Julien Provost, Christian Kuenzel
2017 — conf
Hybrid dynamic control of a sewage sludge dewatering and incineration process.
CASE
Steffen Ruppert, Christian Stocker, Markus Koitka, Peter Schmittel, Julien Provost
2016 — conf
DTT-MAT: A software toolbox on a design-to-test approach for testing of embedded programmable controllers.
CASE
Canlong Ma, Julien Provost
2016 — conf
Psychoacoustic impacts estimation in manufacturing based on accelerometer measurement using artificial neural networks.
CASE
Minjie Zou, Laura Folk, Julien Provost
2015 — conf
Design-to-test approach for black-box testing of programmable controllers.
CASE
Canlong Ma, Julien Provost
2014 J jnl
Generation of Single Input Change Test Sequences for Conformance Test of Programmable Logic Controllers.
IEEE Trans. Ind. Informatics
Julien Provost, Jean-Marc Roussel, Jean-Marc Faure
2013 — conf
Multi-view hand tracking using epipolar geometry-based consistent labeling for an industrial application.
ICDSC
Yixiao Yun, Irene Yu-Hua Gu, Julien Provost, Knut Åkesson
2013 — conf
Online Support for Shop-Floor Operators Using Body Movements Tracking.
IFAC HMS
Julien Provost, Amir Hossein Ebrahimi, Knut Åkesson
2012 C conf
Planning in assembly systems - A common modeling for products and resources.
ETFA
Julien Provost, Bengt Lennartson, Martin Fabian, Åsa Fasth, Johan Stahre
2011 — conf
A formal semantics for Grafcet specifications.
CASE
Julien Provost, Jean-Marc Roussel, Jean-Marc Faure
2010 — conf
SIC-testability of sequential logic controllers.
WODES
Julien Provost, Jean-Marc Roussel, Jean-Marc Faure