12 papers
Incremental Fingerprinting in an Open World
Loes Kruger, Paul Kobialka, Andrea Pferscher +3
Network protocol fingerprinting is used to identify a protocol implementation by analyzing its input-output behavior. Traditionally, fingerprinting operates under a closed-world as…
Correct and Complete Symbolic Execution for Free
Erik Voogd, Einar Broch Johnsen, à smund Aqissiaq Arild Kløvstad +2
Symbolic execution is a powerful technique for program analysis. However, the formal semantics underlying symbolic execution is often developed on an ad-hoc basis and decoupled fro…
ORB: An Open Radio Buoy for Coastal Water Measurements
Lars Willas Dreyer, Andrea Pferscher, Riccardo Sieve +4
Oceanographic instrumentation technology is currently under rapid transition towards increasingly open-source technology. Open-source buoys compete with commercial and closed-sourc…
Attribution-based Explanations for Markov Decision Processes
Paul Kobialka, Andrea Pferscher, Francesco Leofante +3
Attribution techniques explain the outcome of an AI model by assigning a numerical score to its inputs. So far, these techniques have mainly focused on attributing importance to st…
Semantically Reflected Programs
Eduard Kamburjan, Vidar Norstein Klungre, Yuanwei Qu +4
This paper addresses the dichotomy between the formalization of structural and the formalization of behavioral knowledge by means of semantically lifted programs, which explore an…
Automata Learning versus Process Mining: The Case for User Journeys
Paul Kobialka, Andrea Pferscher, Bernhard K. Aichernig +2
With the servitization of business, understanding how users experience services becomes a crucial success factor for companies. Therefore, there is a need to include feedback from…