27 citations · 35 across the 7 of their papers we have counts for
7 papers
Platform-Centric Android Monitoring---Modular and Efficient
Jan-Christoph Kuester, Andreas Bauer
We present an add-on for the Android platform, capable of intercepting nearly all interactions between apps or apps with the platform, including arguments of method invocations in…
From propositional to first-order monitoring
Andreas Bauer, Jan-Christoph Küster, Gil Vegliach
The main purpose of this paper is to introduce a first-order temporal logic, LTLFO, and a corresponding monitor construction based on a new type of automaton, called spawning autom…
Reasoning with Data-Centric Business Processes
Andreas Bauer, Peter Baumgartner, Michael Norrish
We describe an approach to modelling and reasoning about data-centric business processes and present a form of general model checking. Our technique extends existing approaches, wh…
Decentralised LTL Monitoring
Andreas Bauer, Yliès Falcone
Users wanting to monitor distributed or component-based systems often perceive them as monolithic systems which, seen from the outside, exhibit a uniform behaviour as opposed to ma…
Monitorability of -regular languages
Andreas Bauer
Arguably, omega-regular languages play an important role as a specification formalism in many approaches to systems monitoring via runtime verification. However, since their elemen…
A decidable policy language for history-based transaction monitoring
Andreas Bauer, Rajeev Gore, Alwen Tiu
Online trading invariably involves dealings between strangers, so it is important for one party to be able to judge objectively the trustworthiness of the other. In such a setting,…