Dennis Hendriks
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
6
Active years
2014–2025
Best venue rank
A
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | MODELSWARD | Towards Synthesis-Based Engineering for Cyber-Physical Production Systems. | Wytse Oortwijn, Yuri Blankenstein, Jos Hegge, Dennis Hendriks, Pirre van de Laar, Bram van der Sanden, Laura van Veen, Nan Yang |
| 2023 | MODELS | gLTSdiff: A Generalized Framework for Structural Comparison of Software Behavior. | Dennis Hendriks, Wytse Oortwijn |
| 2023 | TACAS | 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 |
| 2022 | FMICS | A Multi-level Methodology for Behavioral Comparison of Software-Intensive Systems. | Dennis Hendriks, Arjan P. van der Meer, Wytse Oortwijn |
| 2022 | ICSoft | Constructive Model Inference: Model Learning for Component-based Software Architectures. | Bram Hooimeijer, Marc Geilen, Jan Friso Groote, Dennis Hendriks, Ramon R. H. Schiffelers |
| 2022 | ISoLA | A Systematic Approach for Interfacing Component-Based Software with an Active Automata Learning Tool. | Dennis Hendriks, Kousar Aslam |
| 2019 | TACAS | RERS 2019: Combining Synthesis with Real-World Models. | Marc Jasper, Malte Mues, Alnis Murtovi, Maximilian Schlter, Falk Howar, Bernhard Steffen, Markus Schordan, Dennis Hendriks, Ramon R. H. Schiffelers, Harco Kuppens, Frits W. Vaandrager |
| 2014 | TACAS | 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 |