1 citations · 1 across the 3 of their papers we have counts for
3 papers
math-ph2022
Tensor types and their use in physics
Andreas Bauer, Alexander Nietner
The content of this paper can be roughly organized into a three-level hierarchy of generality. At the first, most general level, we introduce a new language which allows us to expr…
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.FL2010
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…