Concept and Prototyp of a Security Framework in a Cloud-based Application

FPGA‑Based Quantum‑Computer Simulator with a Web‑Based Design‑Run‑Analyse Front‑End

Redirecting Clang’s MCDC Coverage Instrumentation to ARM CoreSight: A High‑Performance, Hardware‑Backed Coverage Collection Framework

AI‑Enhanced Formal‑Methods‑as‑a‑Service: Designing, Implementing, and Evaluating an MCP‑Based Backend that Powers a VS Code Copilot Extension for Automated Program Analysis and Verification.

Mapping the European AI HLEG Trustworthiness Framework to Formal Methods

In der Vorlesung Robotik wird der Open-Source-Roboterarm “LeRobot” von HuggingFace verwendet – mit recht gutem Erfolg. Ein paar Probleme hat dieser Roboter aber leider noch: er verfügt nur über 5 Gelenke + einen Greifer. Dadurch sind die räumlichen Freiheiten des Roboters nicht vollständig, die letzte rotatorische Freiheit fehlt. Zudem ist die Implementierung der Gelenkbewegung nicht […]

Inductive Logic Programming (ILP) is a form of symbolic machine learning, where logic programs (e.g., Prolog or ASP) are synthesized from input/output examples. These synthesis tasks are notorious for their large search space. Modern approaches use a conflict-driven search to constrain this search iteratively. This procedure is usually implemented using constraint programming solvers operating on […]

Maintenance of electric fences is essential to keep animals secure in pasture fields. For any automatic maintenance procedure, the location of the fence needs to be known. Techniques like GNSS or visual detection come with drawbacks that make them unapplicable for the real application, as the accuracy and reliablity are not high enough to precisely […]

This thesis is to be carried out in cooperation with Gerardo Schneider from the University of Gothenburg. Motivation and ImportanceNormative systems—systems governed by rules such as obligations, permissions, and prohibitions—are central to many modern domains, including autonomous systems, multi-agent coordination, legal-tech, and business process compliance. As software increasingly operates in open, dynamic environments, ensuring that behavior adheres to […]