| CIF 3: Model-based engineering of supervisory controllers DA van Beek, WJ Fokkink, D Hendriks, A Hofkamp, J Markovski, ... Tools and Algorithms for the Construction and Analysis of Systems: 20th …, 2014 | 126 | 2014 |
| Improving model inference in industry by combining active and passive learning N Yang, K Aslam, R Schiffelers, L Lensink, D Hendriks, L Cleophas, ... 2019 IEEE 26th International Conference on Software Analysis, Evolution and …, 2019 | 32 | 2019 |
| RERS 2019: combining synthesis with real-world models M Jasper, M Mues, A Murtovi, M Schlüter, F Howar, B Steffen, M Schordan, ... Tools and Algorithms for the Construction and Analysis of Systems: 25 Years …, 2019 | 32 | 2019 |
| 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 |
| 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 | 11 | 2023 |
| A transformation framework for the Compositional Interchange Format for hybrid systems D Hendriks, RRH Schiffelers, M Hüfner, C Sonntag 18th IFAC World Congress, 2011 | 11 | 2011 |
| 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), 1-56, 2023 | 8 | 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 |
| Definition of the compositional interchange format JCM Baeten, DA van Beek, D Hendriks, AT Hofkamp, DEN Agut, ... Technical Report Deliverable, 2010 | 8 | 2010 |
| A multi-level methodology for behavioral comparison of software-intensive systems D Hendriks, A Meer, W Oortwijn International Conference on Formal Methods for Industrial Critical Systems …, 2022 | 6 | 2022 |
| CIF 2 simulator SVG visualization D Hendriks Eindhoven Unversity of Technology, r2830 edition, January, 2012 | 5 | 2012 |
| A systematic approach for interfacing component-based software with an active automata learning tool D Hendriks, K Aslam International Symposium on Leveraging Applications of Formal Methods, 216-236, 2022 | 4 | 2022 |
| Efficiently enforcing mutual state exclusion requirements in symbolic supervisor synthesis S Thuijsman, M Reniers, D Hendriks 2021 IEEE 17th International Conference on Automation Science and …, 2021 | 2 | 2021 |
| Conceptual model of the Compositional Interchange Format, version 2.1. 1 D Hendriks, AT Hofkamp, RRH Schiffelers Eindhoven Unversity of Technology, 2012 | 2 | 2012 |
| Definition of the compositional interchange format DEN Agut, DA van Beek, RRH Schiffelers, D Hendriks, AT Hofkamp, ... Technical Report Multiform Deliverable D 1.1. 2, Multiform, 2010 | 2 | 2010 |
| Artifact for the paper'gLTSdiff: A Generalized Framework for Structural Comparison of Software Behavior' D Hendriks, WHM Oortwijn Zenodo, 2023 | 1 | 2023 |
| Getting a Grip on the Ever‐Changing Software in Cyber‐Physical Systems W Oortwijn, D Hendriks, A van der Meer, B Huijbrechts INSIGHT 25 (4), 89-95, 2022 | 1 | 2022 |
| Compositional Interchange Format (CIF) 3.0. 0 Metamodel Reference Documentation D Hendriks Eindhoven University of Technology: Eindhoven, The Netherlands, 8-20, 2015 | 1 | 2015 |
| gLTSdiff: A Generalized Framework for Structural Comparison of Software Behavior D Hendriks, W Oortwijn 2023 ACM/IEEE 26th International Conference on Model Driven Engineering …, 2023 | | 2023 |
| Synthesis-based engineering of supervisory controllers W Fokkink, M Goorden, D Hendriks, J van de Mortel-Fronczak, W Oortwijn, ... Mironiek, 22-26, 2023 | | 2023 |
