Следене
Andreas Bauer
Andreas Bauer
Universität Augsburg
Потвърден имейл адрес: uni-a.de - Начална страница
Заглавие
Позовавания
Позовавания
Година
Runtime verification for LTL and TLTL
A Bauer, M Leucker, C Schallhart
ACM Transactions on Software Engineering and Methodology (TOSEM) 20 (4), 14, 2011
8142011
Comparing LTL semantics for runtime verification
A Bauer, M Leucker, C Schallhart
Journal of Logic and Computation 20 (3), 651-674, 2010
3232010
Monitoring of real-time properties
A Bauer, M Leucker, C Schallhart
FSTTCS 2006: Foundations of Software Technology and Theoretical Computer …, 2006
2512006
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
1862007
Decentralised LTL Monitoring
A Bauer, Y Falcone
18th Intl. Symp. on Formal Methods (FM), 2012
1522012
Model-based runtime analysis of reactive distributed systems
A Bauer, M Leucker, C Schallhart
Australian Software Engineering Conference (ASWEC). IEEE Computer Society …, 2006
85*2006
From propositional to first-order monitoring
A Bauer, JC Küster, G Vegliach
13th Intl. Conf. on Runtime Verification (RV), 59-75, 2013
782013
SALT—structured assertion language for temporal logic
A Bauer, M Leucker, J Streit
Formal Methods and Software Engineering: 8th International Conference on …, 2006
702006
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
682007
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
672005
The contribution of free software to software evolution
A Bauer, M Pizka
Sixth International Workshop on Principles of Software Evolution, 170-179, 2003
592003
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
582009
Runtime Verification meets Android Security
A Bauer, JC Küster, G Vegliach
4th NASA Formal Methods Symposium (NFM), 174-180, 2012
442012
Runtime verification using a temporal description logic
F Baader, A Bauer, M Lippmann
Frontiers of Combining Systems, 149-164, 2009
432009
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
432004
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
372007
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
352009
LTL Goal Specifications Revisited.
A Bauer, P Haslum
ECAI 10, 881-886, 2010
342010
The theory and practice of SALT
A Bauer, M Leucker
NASA Formal Methods Symposium, 13-40, 2011
292011
Automode-model-based development of automotive software
D Ziegenbein, P Braun, U Freund, A Bauer, J Romberg, B Schatz
Design, Automation and Test in Europe, 2005. Proceedings, 171-176, 2005
262005
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20