default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAndreas Bauer 0002
Person information
- affiliation: Universität Augsburg, Germany
- affiliation (former): TU Munich, Department of Informatics
- affiliation (former): National Information Communications Technology Australia (NICTA)
- affiliation (former): Australian National University, School of Computer Science
Other persons with the same name
- Andreas Bauer — disambiguation page
- Andreas Bauer 0001 — University of Regensburg, Media Computer Science
- Andreas Bauer 0003 — University of Bonn
- Andreas Bauer 0004 — T-Systems Nova GmbH, Nürnberg (and 1 more)
- Andreas Bauer 0005
![[0000-0002-0117-3793]](https://dblp1.uni-trier.de/img/orcid-mark.12x12.png "0000-0002-0117-3793")
— Research Centre Jülich, Institute of Neuroscience and Medicine, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2016
[j10]Andreas Bauer, Yliès Falcone:
Decentralised LTL monitoring. Formal Methods Syst. Des. 48(1-2): 46-93 (2016)- 2015
- [j9]Andreas Bauer, Jan-Christoph Küster, Gil Vegliach:
The ins and outs of first-order runtime verification. Formal Methods Syst. Des. 46(3): 286-316 (2015) - [c29]Jan-Christoph Küster, Andreas Bauer:
Monitoring Real Android Malware. RV 2015: 136-152 - 2014
- [i7]Jan-Christoph Küster, Andreas Bauer:
Platform-Centric Android Monitoring - Modular and Efficient. CoRR abs/1406.2041 (2014) - 2013
- [c28]Andreas Bauer, Jan-Christoph Küster, Gil Vegliach:
From Propositional to First-Order Monitoring. RV 2013: 59-75 - [c27]Andreas Bauer, Peter Baumgartner, Martin Diller, Michael Norrish:
Tableaux for Verification of Data-Centric Processes. TABLEAUX 2013: 28-43 - [i6]Andreas Bauer, Jan-Christoph Küster, Gil Vegliach:
From propositional to first-order monitoring. CoRR abs/1303.3645 (2013) - 2012
- [c26]Andreas Klaus Bauer, Yliès Falcone:
Decentralised LTL Monitoring. FM 2012: 85-100 - [c25]Andreas Bauer, Jan-Christoph Küster, Gil Vegliach:
Runtime Verification Meets Android Security. NASA Formal Methods 2012: 174-180 - [i5]Andreas Klaus Bauer, Peter Baumgartner, Michael Norrish:
Reasoning with Data-Centric Business Processes. CoRR abs/1207.2461 (2012) - 2011
- [j8]Andreas Bauer, Jan Jürjens, Yijun Yu:
Run-Time Security Traceability for Evolving Systems. Comput. J. 54(1): 58-87 (2011) - [j7]Andreas Bauer, Martin Leucker, Christian Schallhart:
Runtime Verification for LTL and TLTL. ACM Trans. Softw. Eng. Methodol. 20(4): 14:1-14:64 (2011) - [c24]Andreas Bauer, Martin Leucker:
The Theory and Practice of SALT. NASA Formal Methods 2011: 13-40 - [i4]Andreas Bauer, Yliès Falcone:
Decentralised LTL Monitoring. CoRR abs/1111.5133 (2011) - 2010
- [j6]Andreas Bauer, Jan Jürjens:
Runtime verification of cryptographic protocols. Comput. Secur. 29(3): 315-330 (2010) - [j5]Andreas Bauer, Martin Leucker, Christian Schallhart:
Comparing LTL Semantics for Runtime Verification. J. Log. Comput. 20(3): 651-674 (2010) - [j4]Andreas Bauer, Martin Leucker, Christian Schallhart, Michael Tautschnig:
Don't care in SMT: building flexible yet efficient abstraction/refinement solvers. Int. J. Softw. Tools Technol. Transf. 12(1): 23-37 (2010) - [c23]Andreas Bauer, Viorica Botea, Mark Brown, Matt Gray, Daniel Harabor, John K. Slaney:
An Integrated Modelling, Debugging, and Visualisation Environment for G12. CP 2010: 522-536 - [c22]Andreas Bauer, Patrik Haslum:
LTL Goal Specifications Revisited. ECAI 2010: 881-886 - [i3]Andreas Bauer:
Monitorability of omega-regular languages. CoRR abs/1006.3638 (2010)
2000 – 2009
- 2009
- [j3]Andreas Bauer, Sophie Pinchinat:
Prognosis of omega-Languages for the Diagnosis of *-Languages: A Topological Perspective. Discret. Event Dyn. Syst. 19(4): 451-470 (2009) - [c21]Franz Baader, Andreas Bauer, Marcel Lippmann:
Runtime Verification Using a Temporal Description Logic. FroCoS 2009: 149-164 - [c20]Andreas Bauer, Rajeev Goré, Alwen Tiu:
A First-Order Policy Language for History-Based Transaction Monitoring. ICTAC 2009: 96-111 - [c19]Franz Baader, Andreas Bauer, Alwen Tiu:
Matching Trace Patterns with Regular Policies. LATA 2009: 105-116 - [c18]Franz Baader, Andreas Bauer, Peter Baumgartner, Anne Cregan, Alfredo Gabaldon, Krystian Ji, Kevin Lee, David Rajaratnam, Rolf Schwitter:
A Novel Architecture for Situation Awareness Systems. TABLEAUX 2009: 77-92 - [i2]Andreas Bauer, Rajeev Goré, Alwen Tiu:
A decidable policy language for history-based transaction monitoring. CoRR abs/0903.2904 (2009) - 2008
- [b2]Andreas Bauer:
The Theory and Practice of Runtime Reflection - A Model-based Framework for Dynamic Analysis of Distributed Reactive Systems. Technical University Munich, Germany, VDM 2008, ISBN 978-3-8364-7441-2, pp. I-X, 1-204 - [c17]Jan Jürjens, Yijun Yu, Andreas Bauer:
Tools for Traceable Security Verification. BCS Int. Acad. Conf. 2008: 367-390 - [c16]Andreas Bauer, Jan Jürjens:
Security protocols, properties, and their monitoring. SESS 2008: 33-40 - [c15]Franz Baader, Andreas Bauer, Alwen Tiu:
Matching linear and non-linear trace patterns with regular policies. UNIF 2008: 16-24 - 2007
- [b1]Andreas Bauer:
Model-based runtime analysis of distributed reactive systems. Technical University Munich, Germany, 2007, pp. 1-206 - [j2]Andreas Bauer, Manfred Broy, Jan Romberg, Bernhard Schätz, Peter Braun, Ulrich Freund, Nuria Mata, Robert Sandner, Pierre Mai, Dirk Ziegenbein:
Das AutoMoDe-Projekt. Inform. Forsch. Entwickl. 22(1): 45-57 (2007) - [c14]Andreas Bauer, Markus Pister, Michael Tautschnig:
Tool-support for the analysis of hybrid systems and models. DATE 2007: 924-929 - [c13]Christian Kühnel, Andreas Bauer, Michael Tautschnig:
Compatibility and reuse in component-based systems via type and unit inference. EUROMICRO-SEAA 2007: 101-108 - [c12]Andreas Bauer, Martin Leucker, Christian Schallhart, Michael Tautschnig:
Don't care in SMT-Building flexible yet efficient abstraction/refinement solvers. ISoLA 2007: 135-146 - [c11]Andreas Bauer, Martin Leucker, Christian Schallhart:
The Good, the Bad, and the Ugly, But How Ugly Is Ugly? RV 2007: 126-138 - [i1]Dirk Ziegenbein, Peter Braun, Ulrich Freund, Andreas Bauer, Jan Romberg, Bernhard Schätz:
AutoMoDe - Model-Based Development of Automotive Software. CoRR abs/0710.4829 (2007) - 2006
- [c10]Andreas Bauer, Martin Leucker, Christian Schallhart:
Model-based runtime analysis of distributed reactive systems. ASWEC 2006: 243-252 - [c9]Andreas Bauer, Martin Leucker, Christian Schallhart:
Monitoring of Real-Time Properties. FSTTCS 2006: 260-272 - [c8]Andreas Bauer, Martin Leucker, Jonathan Streit:
SALT - Structured Assertion Language for Temporal Logic. ICFEM 2006: 757-775 - 2005
- [j1]Andreas Bauer, Jan Romberg, Bernhard Schätz:
Integrierte Entwicklung von Automotive-Software mit AutoFocus. Inform. Forsch. Entwickl. 19(4): 194-205 (2005) - [c7]Andreas Bauer:
Simplifying Diagnosis Using LSAT: A Propositional Approach to Reasoning from First Principles. CPAIOR 2005: 49-63 - [c6]Dirk Ziegenbein, Peter Braun, Ulrich Freund, Andreas Bauer, Jan Romberg, Bernhard Schätz:
AutoMoDe - Model-Based Development of Automotive Software. DATE 2005: 171-177 - 2004
- [c5]Jan Romberg, Andreas Bauer:
Loose synchronization of event-triggered networks for distribution of synchronous programs. EMSOFT 2004: 193-202 - [c4]Andreas Bauer, Jan Romberg, Bernhard Schätz:
Integrierte Entwicklung von Automotive-Software mit AutoFOCUS. GI Jahrestagung (2) 2004: 13-17 - [c3]Markus Pizka, Andreas Bauer:
A Brief Top-Down and Bottom-Up Philosophy on Software Evolution. IWPSE 2004: 131-136 - [c2]Andreas Bauer:
Creating a Portable Programming Language Using Open Source Software. USENIX ATC, FREENIX Track 2004: 103-113 - 2003
- [c1]Andreas Bauer, Markus Pizka:
The Contribution of Free Software to Software Evolution. IWPSE 2003: 170-
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:15 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
