Dennis Hendriks

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 11

Top Topics

Finite Automata

Software Engineering

Computational Effort

Decision Theoretic

Top Venues

Publications

Wan J. Fokkink, Martijn A. Goorden, Dennis Hendriks, D. A. van Beek, Albert T. Hofkamp, Ferdie F. H. Reijnen, L. F. P. Etman, L. Moormann, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Jacobus E. Rooda, Jeffrey L. Derevensky, Ramon R. H. Schiffelers, Sander Thuijsman, J. J. Verbakel, J. A. Vogel
Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit. TACAS (2) (2023)
Dennis Hendriks, Wytse Oortwijn
gLTSdiff: A Generalized Framework for Structural Comparison of Software Behavior. MODELS (2023)
Nan Yang, Pieter J. L. Cuijpers, Dennis Hendriks, Ramon R. H. Schiffelers, Johan Lukkien, Alexander Serebrenik
An interview study about the use of logs in embedded software engineering. Empir. Softw. Eng. 28 (2) (2023)
Dennis Hendriks, Kousar Aslam
A Systematic Approach for Interfacing Component-Based Software with an Active Automata Learning Tool. ISoLA (2) (2022)
Dennis Hendriks, Arjan P. van der Meer, Wytse Oortwijn
A Multi-level Methodology for Behavioral Comparison of Software-Intensive Systems. FMICS (2022)
Bram Hooimeijer, Marc Geilen, Jan Friso Groote, Dennis Hendriks, Ramon R. H. Schiffelers
Constructive Model Inference: Model Learning for Component-based Software Architectures. ICSOFT (2022)
Dennis Hendriks, Arjan P. van der Meer, Wytse Oortwijn
A Multi-level Methodology for Behavioral Comparison of Software-Intensive Systems. CoRR (2022)
Sander Thuijsman, Michel A. Reniers, Dennis Hendriks
Efficiently enforcing mutual state exclusion requirements in symbolic supervisor synthesis. CASE (2021)
Nan Yang, Kousar Aslam, Ramon R. H. Schiffelers, Leonard Lensink, Dennis Hendriks, Loek Cleophas, Alexander Serebrenik
Improving Model Inference in Industry by Combining Active and Passive Learning. SANER (2019)
Sander Thuijsman, Dennis Hendriks, Rolf J. M. Theunissen, Michel A. Reniers, Ramon R. H. Schiffelers
Computational Effort of BDD-based Supervisor Synthesis of Extended Finite Automata. CASE (2019)
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
RERS 2019: Combining Synthesis with Real-World Models. TACAS (3) (2019)
D. A. van Beek, Wan J. Fokkink, Dennis Hendriks, Albert T. Hofkamp, Jasen Markovski, Joanna M. van de Mortel-Fronczak, Michel A. Reniers
CIF 3: Model-Based Engineering of Supervisory Controllers. TACAS (2014)