Dennis Hendriks

16 papers A 3C 3Journal 5Unranked 5

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Overview and Performance Evaluation of Supervisory Controller Synthesis with Eclipse ESCET v4.0. CoRR Dennis Hendriks, Michel A. Reniers, Wan J. Fokkink, Wytse Oortwijn
2025	C	`conf`	Towards Synthesis-Based Engineering for Cyber-Physical Production Systems. MODELSWARD Wytse Oortwijn, Yuri Blankenstein, Jos Hegge, Dennis Hendriks, Piërre van de Laar, Bram van der Sanden, Laura van Veen, Nan Yang
2025	J	`jnl`	gLTSdiff: a generalized framework for structural comparison of software behavior. Softw. Syst. Model. Dennis Hendriks, Wytse Oortwijn
2024	J	`jnl`	Reducing the computational effort of symbolic supervisor synthesis. Discret. Event Dyn. Syst. Sander Thuijsman, Dennis Hendriks, Michel A. Reniers
2023	J	`jnl`	An interview study about the use of logs in embedded software engineering. Empir. Softw. Eng. Nan Yang, Pieter J. L. Cuijpers, Dennis Hendriks, Ramon R. H. Schiffelers, Johan Lukkien, Alexander Serebrenik
2023	—	`conf`	Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit. TACAS (2) 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, Ramon R. H. Schiffelers, Sander Thuijsman, J. J. Verbakel, J. A. Vogel
2023	A	`conf`	gLTSdiff: A Generalized Framework for Structural Comparison of Software Behavior. MODELS Dennis Hendriks, Wytse Oortwijn
2022	C	`conf`	A Multi-level Methodology for Behavioral Comparison of Software-Intensive Systems. FMICS Dennis Hendriks, Arjan P. van der Meer, Wytse Oortwijn
2022	J	`jnl`	A Multi-level Methodology for Behavioral Comparison of Software-Intensive Systems. CoRR Dennis Hendriks, Arjan P. van der Meer, Wytse Oortwijn
2022	—	`conf`	A Systematic Approach for Interfacing Component-Based Software with an Active Automata Learning Tool. ISoLA (2) Dennis Hendriks, Kousar Aslam
2022	C	`conf`	Constructive Model Inference: Model Learning for Component-based Software Architectures. ICSOFT Bram Hooimeijer, Marc Geilen, Jan Friso Groote, Dennis Hendriks, Ramon R. H. Schiffelers
2021	—	`conf`	Efficiently enforcing mutual state exclusion requirements in symbolic supervisor synthesis. CASE Sander Thuijsman, Michel A. Reniers, Dennis Hendriks
2019	—	`conf`	Computational Effort of BDD-based Supervisor Synthesis of Extended Finite Automata. CASE Sander Thuijsman, Dennis Hendriks, Rolf J. M. Theunissen, Michel A. Reniers, Ramon R. H. Schiffelers
2019	A	`conf`	Improving Model Inference in Industry by Combining Active and Passive Learning. SANER Nan Yang, Kousar Aslam, Ramon R. H. Schiffelers, Leonard Lensink, Dennis Hendriks, Loek Cleophas, Alexander Serebrenik
2019	—	`conf`	RERS 2019: Combining Synthesis with Real-World Models. TACAS (3) 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
2014	A	`conf`	CIF 3: Model-Based Engineering of Supervisory Controllers. TACAS D. A. van Beek, Wan J. Fokkink, Dennis Hendriks, Albert T. Hofkamp, Jasen Markovski, Joanna M. van de Mortel-Fronczak, Michel A. Reniers