Author Info
Name
Affiliation
Papers
ANDREAS BAUER
Software&Systems Engineering, Institut für Informatik, Technische Universität München, Boltzmannstr. 3, 85748, Garching b. München, Deutschland
17
Collaborators
Citations 
PageRank 
25
483
21.99
Referers 
Referees 
References 
783
462
371
Search Limit
100783
Title
Citations
PageRank
Year
The Theory and Practice of SALT90.612011
Runtime Verification for LTL and TLTL1174.032011
Comparing LTL Semantics for Runtime Verification1053.382010
A Novel Architecture for Situation Awareness Systems261.052009
Compatibility and reuse in component-based systems via type and unit inference70.692007
Model-based runtime analysis of distributed reactive systems301.422007
Das AutoMoDe-Projekt.00.342007
The good, the bad, and the ugly, but how ugly is ugly?261.312007
Tool-support for the analysis of hybrid systems and models251.232007
Don’t care in SMT: building flexible yet efficient abstraction/refinement solvers10.372007
Monitoring of real-time properties893.332006
SALT—structured assertion language for temporal logic201.052006
Simplifying diagnosis using LSAT: a propositional approach to reasoning from first principles60.532005
AutoMoDe - Model-Based Development of Automotive Software91.052005
Creating a portable programming language using open source software00.342004
Integrierte Entwicklung Von Automotive-Software Mit Autofocus30.392004
Loose synchronization of event-triggered networks for distribution of synchronous programs100.872004