74 citations · 195 across the 30 of their papers we have counts for
32 papers
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…
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…
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…
Beyond the Control Equations: An Artifact Study of Implementation Quality in Robot Control Software
Nils Chur, Thorsten Berger, Einar Broch Johnsen +1
A controller -- a software module managing hardware behavior -- is a key component of a typical robot system. While control theory gives safety guarantees for standard controller d…
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…
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…