Andreas Bauer

Andreas Bauer

Universität Augsburg - Augsburg / Germany
Engineering & Technology / Computer Science
AD Scientific Index ID: 1782314
University of Augsburg
person_outline Andreas Bauer's MOST POPULAR ARTICLES
1-) Comparing LTL semantics for runtime verification Journal of Logic and Computation 20 (3), 651-674, 2010
2-) Monitoring of real-time properties FSTTCS 2006: Foundations of Software Technology and Theoretical Computer …, 2006
3-) The good, the bad, and the ugly, but how ugly is ugly? RV'07: Runtime Verification, 126-138, 2007
4-) Decentralised LTL Monitoring 18th Intl. Symp. on Formal Methods (FM), 2012
5-) Decentralised LTL MonitoringA Bauer, Y Falcone18th Intl. Symp. on Formal Methods (FM), 20121522012