Academic Posters ESI symposium 2025
Optimal Resource-Constrained Periodic Scheduling
Authors: Roel van Os, Marc Geilen, Martijn Hendriks, Twan Basten
Eindhoven University of Technology
A Complete Formal Specification and Verification of the BesW software control system of the Maeslant Storm Surge Barrier
Authors: Adrian Beers, Jore Booy, Jan Friso Groote, Johan van den Bogaard, Mark Bouwman
Eindhoven University of Technology
Stark: Software Tool for the Analysis of Robustness in the unKnown environment
Authors: Sebastián Betancourt, Valentina Castiglioni, Michele Loreti, Simone Tini
Eindhoven University of Technology
SSTraGen A (semi-)Automated Extraction Method for Behavioral Models
Author: P.H.M. van Spaendonck, Msc.
Eindhoven University of Technology
Multilevel discrete-event systems with a local bus architecture
Authors: Marzhan Baubekova, Martijn Goorden, Michel Reniers, Asia van de Mortel, Koos Rooda, Wan Fokkink
Eindhoven University of Technology
Synthesis-Based Engineering in Storm Surge Barriers
Authors: Marijn Minkenberg, Martijn Goorden, Michel Reniers
Eindhoven University of Technology
Type-Safe Requalification
Authors: Daniel A.A. Pelsmaeker Casper Bach
Delft University of Technology
Simplify Automated Restructurings with Koncrete
Authors: Luka Milijak Casper Bach
Delft University of Technology
ExSyn Explainable Synthesis of Supervisory Controllers
Authors: Calvin Terpstra, supervised by Dennis Hendriks, Frits Vaandrager and Ivo ter Horst
Radboud University
TiCToC: Testing in Times of Continuous
Authors: Lars van Arragon, Gijs van Cuyck, Tannaz Zemeni
Radboud University
Do REST API Fuzzers Need to be Different Than Traditional Fuzzers?
Authors: Stefan van den Berg Christian Daniele
Radboud University
TNO-ESI & Fontys MBSE cooperation In the domain of Flexible Manufacturing Systems
Authors: Bram van der Sanden Jos Hegge Gert-Jan van den Braak Teade Punter
Fontys University of Applied Science
Joint Innovation Center on Digital Lifecycle Management (JIC-DLM)
Authors: Huub Keizers Luuk van der Heijden Nastassia Vilfan Hans Voordijk
University of Twente
Pervasive Intelligent Diagnostics for High-Tech Systems
Authors: Rob Bemthuis Thomas Nagele Cor van der Struijf
University of Twente
Physics-based Intelligent Diagnostics for High-Tech Systems
Authors: Richard Loendersloot Annemieke Meghoe Tiedo Tinga
University of Twente
From Monitoring to Intelligence in Cyber Physical Systems
Author: Dr. Sabari Nathan Anbalagan
University of Twente/ Zorro
iXAI - Simplifying AI Explainability for Everyone
Author: Thanh Nguyen
University of Twente/ Zorro
Formalization of CPS Lifecycle Knowledge for Zero-Downtime
Author: Manzi Aime Ntagengerwa
University of Twente/ Zorro
CPSLint A Domain-Specific Language for the Preparation of Industrial CPS Data for ML Workflows
Author: Omer Sayilir
University of Twente/ Zorro
A Framework for Demonstrator Development in Cyber-Physical Systems
Authors: Faizan Ahmed Pieter Zeilstra Sebastian Piest Jeroen Linssen
University of Twente/ Zorro
Probing graph properties in graph embeddings
Authors: Tom Pelletreau-Duris co-supervised by Jieying Chen, Michael Cochez, Stefan Schlobach
University of Amsterdam/ Zorro
Empowering Sustainability: Energy Labelling of Digital Services in the Computing Continuum
Authors: Saeedeh Baneshi, Ana-Lucia Varbanescu, Anuj Pathania, Benny Akesson, Andy Pimentel
University of Amsterdam