关注
Ramon R.H. Schiffelers
Ramon R.H. Schiffelers
在 tue.nl 的电子邮件经过验证
标题
引用次数
年份
Eclipse ESCET™: The eclipse supervisory control engineering toolkit
WJ Fokkink, MA Goorden, D Hendriks, DA van Beek, AT Hofkamp, ...
International Conference on Tools and Algorithms for the Construction and …, 2023
102023
An interview study about the use of logs in embedded software engineering
N Yang, P Cuijpers, D Hendriks, R Schiffelers, J Lukkien, A Serebrenik
Empirical Software Engineering 28 (2), 43, 2023
62023
Tool interoperability for model-based systems engineering
S Thuijsman, G Kahraman, A Mohamadkhani, F Timmers, L Cleophas, ...
arXiv preprint arXiv:2302.03503, 2023
2023
Constructive Model Inference: Model Learning for Component-based Software Architectures.
B Hooimeijer, M Geilen, JF Groote, D Hendriks, RRH Schiffelers
ICSOFT, 146-158, 2022
82022
Single-state state machines in model-driven software engineering: an exploratory study
N Yang, P Cuijpers, R Schiffelers, J Lukkien, A Serebrenik
Empirical Software Engineering 26, 1-46, 2021
32021
Modeling Relationships Between Feature Model Views
G Kahraman, L Cleophas, R Schiffelers
2021 ACM/IEEE International Conference on Model Driven Engineering Languages …, 2021
22021
Logs and models in engineering complex embedded systems
N Yang, P Cuijpers, R Schiffelers, J Lukkien, A Serebrenik
2021 IEEE International Conference on Software Maintenance and Evolution …, 2021
2021
LSAT: Specification and analysis of product logistics in flexible manufacturing systems
B van der Sanden, Y Blankenstein, R Schiffelers, J Voeten
2021 IEEE 17th International Conference on Automation Science and …, 2021
142021
Empirical Studies of Software Engineering Practice for a High-tech System
N Yang, PJL Cuijpers, RRH Schiffelers, JJ Lukkien, A Serebrenik
IEEE International Conference on Software Maintenance and Evolution …, 2021
2021
An interview study of how developers use execution logs in embedded software engineering
N Yang, P Cuijpers, R Schiffelers, J Lukkien, A Serebrenik
2021 IEEE/ACM 43rd International Conference on Software Engineering …, 2021
212021
Supervisor synthesis and throughput optimization of partially-controllable manufacturing systems
BJC van Putten, B van der Sanden, M Reniers, J Voeten, R Schiffelers
Discrete Event Dynamic Systems 31, 103-135, 2021
92021
Taming the state-space explosion in the makespan optimization of Flexible Manufacturing Systems
J Bastos, J Voeten, S Stuijk, R Schiffelers, H Corporaal
ACM Transactions on Cyber-Physical Systems 5 (2), 1-26, 2021
12021
Interface protocol inference to aid understanding legacy software components
K Aslam, L Cleophas, R Schiffelers, M van den Brand
Software and Systems Modeling 19, 1519-1540, 2020
172020
Painting flowers: Reasons for using single-state state machines in model-driven engineering
N Yang, P Cuijpers, R Schiffelers, J Lukkien, A Serebrenik
Proceedings of the 17th International Conference on Mining Software …, 2020
42020
SMT-based verification of temporal properties for component-based software systems
R Jonk, J Voeten, M Geilen, T Basten, R Schiffelers
IFAC-PapersOnLine 53 (4), 493-500, 2020
52020
Model analytics for industrial MDE ecosystems
Ö Babur, A Suresh, W Alberts, L Cleophas, R Schiffelers, ...
Model Management and Analytics for Large Scale Systems, 273-316, 2020
32020
Computational effort of BDD-based supervisor synthesis of extended finite automata
S Thuijsman, D Hendriks, R Theunissen, M Reniers, R Schiffelers
2019 IEEE 15th International Conference on Automation Science and …, 2019
122019
Inferring timed message sequence charts from execution traces of large-scale component-based software systems
R Jonk, J Voeten, M Geilen, R Theunissen, Y Blankenstein, T Basten, ...
Eindhoven University of Technology, Department of Electrical Engineering …, 2019
42019
Active learning of industrial software with data
L Sanchez, JF Groote, RRH Schiffelers
International Conference on Fundamentals of Software Engineering, 95-110, 2019
22019
Defining A Functional Specification Language In The Metrology Domain
AP van Zanten, M van den Brand, S Adyanthaya, R Schiffelers, J Voeten
2019
系统目前无法执行此操作,请稍后再试。
文章 1–20