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 | 10 | 2023 |
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 | 6 | 2023 |
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 | 8 | 2022 |
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 | 3 | 2021 |
Modeling Relationships Between Feature Model Views G Kahraman, L Cleophas, R Schiffelers 2021 ACM/IEEE International Conference on Model Driven Engineering Languages …, 2021 | 2 | 2021 |
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 | 14 | 2021 |
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 | 21 | 2021 |
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 | 9 | 2021 |
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 | 1 | 2021 |
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 | 17 | 2020 |
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 | 4 | 2020 |
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 | 5 | 2020 |
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 | 3 | 2020 |
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 | 12 | 2019 |
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 | 4 | 2019 |
Active learning of industrial software with data L Sanchez, JF Groote, RRH Schiffelers International Conference on Fundamentals of Software Engineering, 95-110, 2019 | 2 | 2019 |
Defining A Functional Specification Language In The Metrology Domain AP van Zanten, M van den Brand, S Adyanthaya, R Schiffelers, J Voeten | | 2019 |