CIF 3: Model-Based Engineering of Supervisory Controllers. - D. A. van Beek; Wan J. Fokkink; Dennis Hendriks; Albert T. Hofkamp; Jasen Markovski; Joanna M. van de Mortel-Fronczak; Michel A. Reniers (TACAS, 2014)

Computational Effort of BDD-based Supervisor Synthesis of Extended Finite Automata. - Sander Thuijsman; Dennis Hendriks; Rolf J. M. Theunissen; Michel A. Reniers; Ramon R. H. Schiffelers (CASE, 2019)

RERS 2019: Combining Synthesis with Real-World Models. - Marc Jasper; Malte Mues; Alnis Murtovi; Maximilian Schlüter; Falk Howar; Bernhard Steffen; Markus Schordan; Dennis Hendriks; Ramon R. H. Schiffelers; Harco Kuppens; Frits W. Vaandrager (TACAS (3), 2019)

Improving Model Inference in Industry by Combining Active and Passive Learning. - Nan Yang 009; Kousar Aslam; Ramon R. H. Schiffelers; Leonard Lensink; Dennis Hendriks; Loek Cleophas; Alexander Serebrenik (SANER, 2019)

Efficiently enforcing mutual state exclusion requirements in symbolic supervisor synthesis. - Sander Thuijsman; Michel A. Reniers; Dennis Hendriks (CASE, 2021)

A Multi-level Methodology for Behavioral Comparison of Software-Intensive Systems. - Dennis Hendriks; Arjan P. van der Meer; Wytse Oortwijn (FMICS, 2022)

Constructive Model Inference: Model Learning for Component-based Software Architectures. - Bram Hooimeijer; Marc Geilen; Jan Friso Groote; Dennis Hendriks; Ramon R. H. Schiffelers (ICSOFT, 2022)

A Systematic Approach for Interfacing Component-Based Software with an Active Automata Learning Tool. - Dennis Hendriks; Kousar Aslam (ISoLA (2), 2022)

gLTSdiff: A Generalized Framework for Structural Comparison of Software Behavior. - Dennis Hendriks; Wytse Oortwijn (MODELS, 2023)

Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit. - Wan J. Fokkink; Martijn A. Goorden; Dennis Hendriks; D. A. van Beek; Albert T. Hofkamp; Ferdie F. H. Reijnen; L. F. P. Etman; Lars Moormann; Joanna M. van de Mortel-Fronczak; Michel A. Reniers; Jacobus E. Rooda; Bram van der Sanden; et al. (TACAS (2), 2023)

An interview study about the use of logs in embedded software engineering. - Nan Yang 009; Pieter J. L. Cuijpers; Dennis Hendriks; Ramon R. H. Schiffelers; Johan Lukkien; Alexander Serebrenik (Empir. Softw. Eng., 2023)

Reducing the computational effort of symbolic supervisor synthesis. - Sander Thuijsman; Dennis Hendriks; Michel A. Reniers (Discret. Event Dyn. Syst., 2024)

Towards Synthesis-Based Engineering for Cyber-Physical Production Systems. - Wytse Oortwijn; Yuri Blankenstein; Jos Hegge; Dennis Hendriks; Piërre van de Laar; Bram van der Sanden; Laura van Veen; Nan Yang 009 (MODELSWARD, 2025)