Dennis Hendriks

According to our database, Dennis Hendriks authored at least 12 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Reducing the computational effort of symbolic supervisor synthesis.

Sander Thuijsman, Dennis Hendriks, Michel A. Reniers

Discret. Event Dyn. Syst., December, 2024

2023

An interview study about the use of logs in embedded software engineering.

Nan Yang, Pieter J. L. Cuijpers, Dennis Hendriks, Ramon R. H. Schiffelers, Johan Lukkien, Alexander Serebrenik

Empir. Softw. Eng., March, 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, Ramon R. H. Schiffelers, Sander Thuijsman, J. J. Verbakel, J. A. Vogel

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

gLTSdiff: A Generalized Framework for Structural Comparison of Software Behavior.

Dennis Hendriks, Wytse Oortwijn

Proceedings of the 26th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

2022

A Systematic Approach for Interfacing Component-Based Software with an Active Automata Learning Tool.

Dennis Hendriks, Kousar Aslam

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering, 2022

Constructive Model Inference: Model Learning for Component-based Software Architectures.

Bram Hooimeijer, Marc Geilen, Jan Friso Groote, Dennis Hendriks, Ramon R. H. Schiffelers

Proceedings of the 17th International Conference on Software Technologies, 2022

A Multi-level Methodology for Behavioral Comparison of Software-Intensive Systems.

Dennis Hendriks, Arjan P. van der Meer, Wytse Oortwijn

Proceedings of the Formal Methods for Industrial Critical Systems, 2022

2021

Efficiently enforcing mutual state exclusion requirements in symbolic supervisor synthesis.

Sander Thuijsman, Michel A. Reniers, Dennis Hendriks

Proceedings of the 17th IEEE International Conference on Automation Science and Engineering, 2021

2019

Improving Model Inference in Industry by Combining Active and Passive Learning.

Nan Yang, Kousar Aslam, Ramon R. H. Schiffelers, Leonard Lensink, Dennis Hendriks, Loek Cleophas, Alexander Serebrenik

Proceedings of the 26th IEEE International Conference on Software Analysis, 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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

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

Proceedings of the 15th IEEE International Conference on Automation Science and Engineering, 2019

2014

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014