4 citations · 4 across the 2 of their papers we have counts for
2 papers
cs.LO2013★ 4 cited
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…
cs.LO2012
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…