Julien Provost
Title
Cited by
Cited by
Year
An event-driven manufacturing information system architecture for Industry 4.0
A Theorin, K Bengtsson, J Provost, M Lieder, C Johnsson, T Lundholm, ...
International Journal of Production Research 55 (5), 1297-1311, 2017
2002017
Translating Grafcet specifications into Mealy machines for conformance test purposes
J Provost, JM Roussel, JM Faure
Control Engineering Practice 19 (9), 947-957, 2011
502011
Review of model-based testing approaches in production automation and adjacent domains-current challenges and research gaps
S Rösch, S Ulewicz, J Provost, B Vogel-Heuser
Journal of Software Engineering and Applications, 2015
402015
An event-driven manufacturing information system architecture
A Theorin, K Bengtsson, J Provost, M Lieder, C Johnsson, T Lundholm, ...
IFAC/IEEE Symposium on Information Control Problems in Manufacturing, INCOM …, 2015
352015
Generation of single input change test sequences for conformance test of programmable logic controllers
J Provost, JM Roussel, JM Faure
IEEE Transactions on Industrial Informatics 10 (3), 1696-1704, 2014
232014
A systematic survey on sensor failure detection and fault-tolerance in ambient assisted living
NE ElHady, J Provost
Sensors 18 (7), 1991, 2018
222018
A formal semantics for Grafcet specifications
J Provost, JM Roussel, JM Faure
2011 IEEE International Conference on Automation Science and Engineering …, 2011
212011
From task allocation towards resource allocation when optimising assembly systems
Å Fasth, J Provost, M Fabian, J Stahre, B Lennartson
Procedia CIRP 3, 400-405, 2012
132012
Testing programmable logic controllers from finite state machines specification
J Provost, JM Roussel, JM Faure
2011 3rd International Workshop on Dependable Control of Discrete Systems, 1-6, 2011
122011
Test sequence construction from SFC specification
J Provost, JM Roussel, JM Faure
IFAC Proceedings Volumes 42 (5), 299-304, 2009
102009
Dynamic Software Updating of IEC 61499 Implementation Using Erlang Runtime System
L Prenzel, J Provost
20th World Congress of the International Federation of Automatic Control, 2017
92017
A model-based testing framework with reduced set of test cases for programmable controllers
C Ma, J Provost
13th IEEE Conference on Automation Science and Engineering (CASE 2017), 2017
82017
PLC implementation of symbolic, modular supervisory controllers
L Prenzel, J Provost
IFAC-PapersOnLine 51 (7), 304-309, 2018
72018
SIC-testability of sequential logic controllers
J Provost, JM Roussel, JM Faure
IFAC Proceedings Volumes 43 (12), 193-198, 2010
72010
Development of a Methodology for Monitoring and Prediction of Road Surface Conditions in Highly Automated Driving
EM Pont, C Kuenzel, J Provost
22nd IEEE International Conference on Emerging Technologies And Factory …, 2017
62017
DTT-MAT: A software toolbox on a design-to-test approach for testing of embedded programmable controllers
C Ma, J Provost
2016 IEEE International Conference on Automation Science and Engineering …, 2016
62016
Design-to-test approach for black-box testing of programmable controllers
C Ma, J Provost
2015 IEEE International Conference on Automation Science and Engineering …, 2015
62015
Conformance test of logic controllers of critical systems from industrial specifications
F Chériaux, L Picci, J Provost, JM Faure
52010
An educational toolbox on supervisory control theory using MATLAB Simulink Stateflow: From theory to practice in one week
C Jordan, C Ma, J Provost
2017 IEEE Global Engineering Education Conference (EDUCON), 632-639, 2017
42017
IEC 61499 runtime environments: A state of the art comparison
L Prenzel, A Zoitl, J Provost
International Conference on Computer Aided Systems Theory, 453-460, 2019
32019
The system can't perform the operation now. Try again later.
Articles 1–20