27 citations · 35 across the 7 of their papers we have counts for
Showing cs.SEShow all
3 papers · 1 filter
cs.SE2014★ 1 cited
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…
cs.SE2011★ 3 cited
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…
cs.SE2007
AutoMoDe - Model-Based Development of Automotive Software
Dirk Ziegenbein, Peter Braun, Ulrich Freund +3
This paper describes first results from the AutoMoDe (Automotive Model-Based Development) project. The overall goal of the project is to develop an integrated methodology for model…