Andreas Bauer

Cited by

	All	Since 2016
Citations	2287	913
h-index	22	12
i10-index	36	18

240

120

180

2004200520062007200820092010201120122013201420152016201720182019202020218 14 47 54 74 84 132 139 150 175 240 210 181 146 236 159 130 61

Public access

View all

5 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Martin LeuckerProfessor of Computer Science, University of LübeckVerified email at isp.uni-luebeck.de
Christian SchallhartGoogleVerified email at schallhart.net
Bernhard SchätzHead of Department, fortiss GmbH; Lecturerer, Technische Universität MünchenVerified email at fortiss.org
Dirk ZiegenbeinCorporate Research, Robert Bosch GmbHVerified email at de.bosch.com
Jan-Christoph KüsterANU-NICTA PhD StudentVerified email at anu.edu.au
Michael TautschnigQueen Mary University of LondonVerified email at qmul.ac.uk
Franz BaaderProfessor of Theoretical Computer Science, TU DresdenVerified email at tu-dresden.de
Jan JürjensUniversität Koblenz-Landau, GermanyVerified email at jurjens.de
Yliès FalconeUniv. Grenoble Alpes, InriaVerified email at univ-grenoble-alpes.fr
Peter BaumgartnerData61|CSIROVerified email at data61.csiro.au
Patrik HaslumVerified email at anu.edu.au
Alwen TiuResearch School of Computer Science, The Australian National UniversityVerified email at anu.edu.au
Alfredo GabaldonGE ResearchVerified email at ge.com
Yijun YuThe Open UniversityVerified email at open.ac.uk
Rajeev GoreEmeritus Professor of Computer Science, Australian National UniversityVerified email at anu.edu.au
Adi BoteaResearcher, IBM Research, Dublin, IrelandVerified email at nicta.com.au
Jussi RintanenAalto UniversityVerified email at aalto.fi
Sophie PinchinatUniv Rennes/CNRSVerified email at irisa.fr
Michael NorrishPrincipal Research Scientist, Data61Verified email at data61.csiro.au
Manfred BroyProfessor of Computer Science, Technical University of Munich

Andreas Bauer

Universität Augsburg

Verified email at rz.uni-augsburg.de - Homepage

Software Engineering Formal Methods Runtime Verification


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Runtime verification for LTL and TLTL A Bauer, M Leucker, C Schallhart ACM Transactions on Software Engineering and Methodology (TOSEM) 20 (4), 14, 2011	578	2011
Comparing LTL semantics for runtime verification A Bauer, M Leucker, C Schallhart Journal of Logic and Computation 20 (3), 651-674, 2010	245	2010
Monitoring of real-time properties A Bauer, M Leucker, C Schallhart FSTTCS 2006: Foundations of Software Technology and Theoretical Computer …, 2006	201	2006
The good, the bad, and the ugly, but how ugly is ugly? A Bauer, M Leucker, C Schallhart RV'07: Runtime Verification, 126-138, 2007	139	2007
Decentralised LTL Monitoring A Bauer, Y Falcone 18th Intl. Symp. on Formal Methods (FM), 2012	116	2012
Tool-support for the analysis of hybrid systems and models A Bauer, M Pister, M Tautschnig 2007 Design, Automation & Test in Europe Conference & Exhibition, 1-6, 2007	65	2007
Model-based runtime analysis of reactive distributed systems A Bauer, M Leucker, C Schallhart Australian Software Engineering Conference (ASWEC). IEEE Computer Society …, 2006	65*	2006
AutoMoDe—notations, methods, and tools for model-based development of automotive software A Bauer, M Broy, J Romberg, B Schätz, P Braun, U Freund, N Mata, ... Proceedings of the SAE 2005 World Congress 1921, 2005	65	2005
From propositional to first-order monitoring A Bauer, JC Küster, G Vegliach 13th Intl. Conf. on Runtime Verification (RV), 59-75, 2013	64	2013
SALT—structured assertion language for temporal logic A Bauer, M Leucker, J Streit International Conference on Formal Engineering Methods, 757-775, 2006	57	2006
The contribution of free software to software evolution A Bauer, M Pizka Sixth International Workshop on Principles of Software Evolution, 170-179, 2003	57	2003
A novel architecture for situation awareness systems F Baader, A Bauer, P Baumgartner, A Cregan, A Gabaldon, K Ji, K Lee, ... Automated Reasoning with Analytic Tableaux and Related Methods, 77-92, 2009	56	2009
Runtime verification using a temporal description logic F Baader, A Bauer, M Lippmann Frontiers of Combining Systems, 149-164, 2009	39	2009
Runtime Verification meets Android Security A Bauer, JC Küster, G Vegliach 4th NASA Formal Methods Symposium (NFM), 174-180, 2012	36	2012
A brief top-down and bottom-up philosophy on software evolution M Pizka, A Bauer Proceedings. 7th International Workshop on Principles of Software Evolution …, 2004	35	2004
COLA–The component language S Kugele, M Tautschnig, A Bauer, C Schallhart, S Merenda, W Haberl, ... Institut für Informatik, Technische Universität München, Tech. Rep. TUM-I0714, 2007	34	2007
A first-order policy language for history-based transaction monitoring A Bauer, R Goré, A Tiu Theoretical Aspects of Computing-ICTAC 2009, 96-111, 2009	32	2009
LTL Goal Specifications Revisited. A Bauer, P Haslum ECAI 10, 881-886, 2010	30	2010
Security protocols, properties, and their monitoring A Bauer, J Jürjens Intl. WS on Software engineering for secure systems, 33-40, 2008	25	2008
Compilation of functional programming languages using GCC—Tail calls A Bauer Master's thesis, Institut für Informatik, Technische Universität München …, 2003	24	2003

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors