227 citations
- KU LeuvenBE24 papers
- University of AntwerpBE23 papers
- Ghent UniversityBE19 papers
- Hasselt UniversityBE9 papers
- University of ReadingGB7 papers
- Technical University of MunichDE5 papers
- Vrije Universiteit BrusselBE5 papers
- Eindhoven University of TechnologyNL4 papers
- University of MonsBE3 papers
- Core Laboratories (United States)US2 papers
- Corvinus University of BudapestHU2 papers
- Ghent University HospitalBE2 papers
9 papers · 1 filter
Learning Realtime One-Counter Automata
Véronique Bruyère, Guillermo A. Pérez, Gaëtan Staquet
We present a new learning algorithm for realtime one-counter automata. Our algorithm uses membership and equivalence queries as in Angluin's L* algorithm, as well as counter value…
Small-Amp: Test Amplification in a Dynamically Typed Language
Mehrdad Abdi, Henrique Rocha, Serge Demeyer +1
Some test amplification tools extend a manually created test suite with additional test cases to increase the code coverage. The technique is effective, in the sense that it sugges…
ML-Quadrat & DriotData: A Model-Driven Engineering Tool and a Low-Code Platform for Smart IoT Services
Armin Moin, Andrei Mituca, Moharram Challenger +2
In this paper, we present ML-Quadrat, an open-source research prototype that is based on the Eclipse Modeling Framework (EMF) and the state of the art in the literature of Model-Dr…
Supporting AI Engineering on the IoT Edge through Model-Driven TinyML
Armin Moin, Moharram Challenger, Atta Badii +1
Software engineering of network-centric Artificial Intelligence (AI) and Internet of Things (IoT) enabled Cyber-Physical Systems (CPS) and services, involves complex design and val…
A Model-Driven Approach to Machine Learning and Software Modeling for the IoT
Armin Moin, Moharram Challenger, Atta Badii +1
Models are used in both Software Engineering (SE) and Artificial Intelligence (AI). SE models may specify the architecture at different levels of abstraction and for addressing dif…
Robotic Endoscope Control via Autonomous Instrument Tracking
Caspar Gruijthuijsen, Luis C. Garcia-Peraza-Herrera, Gianni Borghesan +5
Many keyhole interventions rely on bi-manual handling of surgical instruments, forcing the main surgeon to rely on a second surgeon to act as a camera assistant. In addition to the…