Davy Maes

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 7

Top Topics

Consistency Checking

Temporal Constraints

Query Answering

Change Impact Analysis

Top Venues

STAF (Co-Located Events)

Publications

Jeroen Zwysen, Felicien Ihirwe, Ken Vanherpen, Maarten Vergouwen, Umut Caliskan, Davy Maes
A Rule-Based Log Analysis Approach for State-Machine Governed Systems. ICEIS (2) (2024)
Geert Vanderhulst, Johan Van Noten, Davy Maes
SPARQLe Up Your Knowledge Graphs with on-the-fly Computed Triples. ISWC (Posters/Demos/Industry) (2023)
Ken Vanherpen, Paul De Meulenaere, Yon Vanommeslaeghe, Davy Maes
Validation Of EPSim - An Embedded Platform Simulator For Control-Embedded Co-Design. ANNSIM (2022)
Sam Weckx, Steven Robyns, Jonathan Baake, Edward Kikken, Roeland De Geest, Merwan Birem, Davy Maes
A cloud-based digital twin for monitoring of an adaptive clamping mechanism used for high performance composite machining. ISM (2021)
Bart Meyers, Simon Van Mierlo, Davy Maes, Hans Vangheluwe
Efficient Software Controller Variant Development and Validation (ECoVaDeVa) Overview of a Flemish ICON Project. STAF (Co-Located Events) (2019)
Andreas Demuth, Roland Kretschmer, Michael Tröls, Georgios Kanakis, Davy Maes, Alexander Egyed
Experiences on Traceability and Consistency Checking across Engineering Tools in an Automation Solution Company. Software Engineering (2018)
Andreas Demuth, Roland Kretschmer, Alexander Egyed, Davy Maes
Introducing Traceability and Consistency Checking for Change Impact Analysis across Engineering Tools in an Automation Solution Company: An Experience Report. ICSME (2016)