Sander Thuijsman

15 papers C 2Journal 10Unranked 3

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	Reducing the computational effort of symbolic supervisor synthesis. Discret. Event Dyn. Syst. Sander Thuijsman, Dennis Hendriks, Michel A. Reniers
2024	J	`jnl`	Supervisory Control for Dynamic Feature Configuration in Product Lines. ACM Trans. Embed. Comput. Syst. Sander Thuijsman, Michel A. Reniers
2023	J	`jnl`	Correction to: Transformational supervisor synthesis for evolving systems. Discret. Event Dyn. Syst. Sander Thuijsman, Michel A. Reniers
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	J	`jnl`	Tool interoperability for model-based systems engineering. CoRR Sander Thuijsman, Gökhan Kahraman, Alireza Mohamadkhani, Ferry Timmers, Loek Cleophas, Marc Geilen, Jan Friso Groote, Michel A. Reniers, Ramon R. H. Schiffelers, Jeroen Voeten
2023	J	`jnl`	Transformational Supervisor Localization. CoRR Sander Thuijsman, Kai Cai, Michel A. Reniers
2023	J	`jnl`	Transformational Supervisor Localization. IEEE Control. Syst. Lett. Sander Thuijsman, Kai Cai, Michel A. Reniers
2022	J	`jnl`	Supervisory Control for Dynamic Feature Configuration in Product Lines. CoRR Sander Thuijsman, Michel A. Reniers
2022	J	`jnl`	Transformational supervisor synthesis for evolving systems. Discret. Event Dyn. Syst. Sander Thuijsman, Michel A. Reniers
2021	—	`conf`	Efficiently enforcing mutual state exclusion requirements in symbolic supervisor synthesis. CASE Sander Thuijsman, Michel A. Reniers, Dennis Hendriks
2020	J	`jnl`	Conversion of LSAT behavioral specifications to automata. CoRR Sander Thuijsman, Michel A. Reniers
2020	C	`conf`	Supervisory Control for Dynamic Feature Configuration in Product Lines. FDL Michel A. Reniers, Sander Thuijsman
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	C	`conf`	Synthesis of Supremal Successful Normal Actuator Attackers on Normal Supervisors. ACC Liyong Lin, Sander Thuijsman, Yuting Zhu, Simon Ware, Rong Su, Michel A. Reniers
2018	J	`jnl`	Synthesis of Successful Actuator Attackers on Supervisors. CoRR Liyong Lin, Sander Thuijsman, Yuting Zhu, Simon Ware, Rong Su, Michel A. Reniers