Academic Posters ESI symposium 2025
Academic Posters ESI symposium 2025
Topic Optimal Resource-Constrained Periodic Scheduling | Authors Roel van Os, Marc Geilen, Martijn Hendriks, Twan Basten | University Eindhoven University of Technology | Link |
Topic 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 | University Eindhoven University of Technology | Link |
Topic Stark: Software Tool for the Analysis of
Robustness in the unKnown environment | Authors Sebastián Betancourt, Valentina Castiglioni, Michele Loreti, Simone Tini | University Eindhoven University of Technology | Link |
Topic SSTraGen
A (semi-)Automated Extraction Method
for Behavioral Models | Authors P.H.M. van Spaendonck, Msc. | University Eindhoven University of Technology | Link |
Topic Multilevel discrete-event systems with a local bus
architecture | Authors Marzhan Baubekova, Martijn Goorden, Michel Reniers, Asia van de Mortel, Koos Rooda, Wan Fokkink | University Eindhoven University of Technology | Link |
Topic Synthesis-Based Engineering in Storm Surge Barriers | Authors Marijn Minkenberg, Martijn Goorden, Michel Reniers | University Eindhoven University of Technology | Link |
Topic Type-Safe Requalification | Authors Daniel A.A. Pelsmaeker
Casper Bach | University Delft University of Technology | Link |
Topic Simplify Automated
Restructurings with Koncrete | Authors Luka Milijak
Casper Bach | University Delft University of Technology | Link |
Topic MuPPet: Multi-person 2D-to-3D Pose Lifting | Authors Thomas C. Markhorst
Zhi-Yi Lin
Jouh Yeong Chew
Jan C. van Gemert
Xucong Zhang | University Delft University of Technology | Link |
Topic ExSyn Explainable Synthesis of Supervisory Controllers | Authors Calvin Terpstra,
supervised by Dennis Hendriks, Frits Vaandrager and Ivo ter Horst | University Radboud University | Link |
Topic TiCToC: Testing in Times of Continuous | Authors Lars van Arragon, Gijs van Cuyck, Tannaz Zemeni | University Radboud University | Link |
Topic Do REST API Fuzzers Need to be Different Than Traditional Fuzzers? | Authors Stefan van den Berg
Christian Daniele | University Radboud University | Link |
Topic 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 | University Fontys University of Applied Science | Link |
Topic Joint Innovation Center on Digital Lifecycle Management (JIC-DLM) | Authors Huub Keizers
Luuk van der Heijden
Nastassia Vilfan
Hans Voordijk | University University of Twente | Link |
Topic Pervasive Intelligent Diagnostics for
High-Tech Systems | Authors Rob Bemthuis
Thomas Nagele
Cor van der Struijf | University University of Twente | Link |
Topic Physics-based Intelligent Diagnostics for High-Tech Systems | Authors Richard Loendersloot
Annemieke Meghoe
Tiedo Tinga | University University of Twente | Link |
Topic From Monitoring to Intelligence in Cyber Physical Systems | Authors Dr. Sabari Nathan Anbalagan | University University of Twente/ Zorro | Link |
Topic iXAI - Simplifying AI Explainability for Everyone | Authors Thanh Nguyen | University University of Twente/ Zorro | Link |
Topic Formalization of CPS Lifecycle Knowledge for Zero-Downtime | Authors Manzi Aime Ntagengerwa | University University of Twente/ Zorro | Link |
Topic InfoPos: Effects of Knowledge and Data Positions on ML-Assisted Solution Design for Industrial CPS | Authors Dr. Ir. Uraz Odyurt | University University of Twente/ Zorro | Link |
Topic CPSLint A Domain-Specific Language for the Preparation of Industrial CPS Data for ML Workflows | Authors Omer Sayilir | University University of Twente/ Zorro | Link |
Topic A Framework for Demonstrator Development in Cyber-Physical Systems | Authors Faizan Ahmed
Pieter Zeilstra
Sebastian Piest
Jeroen Linssen | University University of Twente/ Zorro | Link |
Topic Probing graph properties in graph embeddings | Authors Tom Pelletreau-Duris
co-supervised by Jieying Chen, Michael Cochez, Stefan Schlobach | University University of Amsterdam/ Zorro | Link |
Topic Empowering Sustainability: Energy Labelling of Digital Services in
the Computing Continuum | Authors Saeedeh Baneshi, Ana-Lucia Varbanescu, Anuj Pathania, Benny Akesson, Andy Pimentel | University University of Amsterdam | Link |