Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Andreas Bauer 0002

Andreas Klaus Bauer

> Home > Persons

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

see FAQ

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Books and Theses

see FAQ

What is the meaning of the colors in the publication lists?

2008
[b2]
- view
  - no references & citations available
  authority control:
- export record
  dblp key:
  - books/daglib/0023984
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/0023984
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
2007
[b1]
- view
  authority control:
- export record
  dblp key:
  - phd/de/Bauer2007a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/de/Bauer2007a
Andreas Bauer:
Model-based runtime analysis of distributed reactive systems. Technical University Munich, Germany, 2007, pp. 1-206

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2016
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/0002F16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/0002F16
Andreas Bauer, Yliès Falcone:
Decentralised LTL monitoring. Formal Methods Syst. Des. 48(1-2): 46-93 (2016)
2015
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/0002KV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/0002KV15
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)
2011
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/cj/BauerJY11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cj/BauerJY11
Andreas Bauer, Jan Jürjens, Yijun Yu:
Run-Time Security Traceability for Evolving Systems. Comput. J. 54(1): 58-87 (2011)
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/BauerLS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/BauerLS11
Andreas Bauer, Martin Leucker, Christian Schallhart:
Runtime Verification for LTL and TLTL. ACM Trans. Softw. Eng. Methodol. 20(4): 14:1-14:64 (2011)
2010
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/compsec/BauerJ10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/compsec/BauerJ10
Andreas Bauer, Jan Jürjens:
Runtime verification of cryptographic protocols. Comput. Secur. 29(3): 315-330 (2010)
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/BauerLS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/BauerLS10
Andreas Bauer, Martin Leucker, Christian Schallhart:
Comparing LTL Semantics for Runtime Verification. J. Log. Comput. 20(3): 651-674 (2010)
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/BauerLST10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/BauerLST10
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)
2009
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/deds/BauerP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/deds/BauerP09
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)
2007
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/ife/BauerBRSBFMSMZ07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ife/BauerBRSBFMSMZ07
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)
2005
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/ife/BauerRS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ife/BauerRS05
Andreas Bauer, Jan Romberg, Bernhard Schätz:
Integrierte Entwicklung von Automotive-Software mit AutoFocus. Inform. Forsch. Entwickl. 19(4): 194-205 (2005)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2015
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/Kuster015
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/Kuster015
Jan-Christoph Küster, Andreas Bauer:
Monitoring Real Android Malware. RV 2015: 136-152
2013
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/0002KV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/0002KV13
Andreas Bauer, Jan-Christoph Küster, Gil Vegliach:
From Propositional to First-Order Monitoring. RV 2013: 59-75
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/tableaux/0002BDN13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tableaux/0002BDN13
Andreas Bauer, Peter Baumgartner, Martin Diller, Michael Norrish:
Tableaux for Verification of Data-Centric Processes. TABLEAUX 2013: 28-43
2012
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/BauerF12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/BauerF12
Andreas Klaus Bauer, Yliès Falcone:
Decentralised LTL Monitoring. FM 2012: 85-100
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/BauerKV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/BauerKV12
Andreas Bauer, Jan-Christoph Küster, Gil Vegliach:
Runtime Verification Meets Android Security. NASA Formal Methods 2012: 174-180
2011
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/BauerL11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/BauerL11
Andreas Bauer, Martin Leucker:
The Theory and Practice of SALT. NASA Formal Methods 2011: 13-40
2010
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/0002BBGHS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/0002BBGHS10
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ecai/BauerH10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/BauerH10
Andreas Bauer, Patrik Haslum:
LTL Goal Specifications Revisited. ECAI 2010: 881-886
2009
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/frocos/BaaderBL09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/frocos/BaaderBL09
Franz Baader, Andreas Bauer, Marcel Lippmann:
Runtime Verification Using a Temporal Description Logic. FroCoS 2009: 149-164
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/BauerGT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/BauerGT09
Andreas Bauer, Rajeev Goré, Alwen Tiu:
A First-Order Policy Language for History-Based Transaction Monitoring. ICTAC 2009: 96-111
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/lata/BaaderBT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lata/BaaderBT09
Franz Baader, Andreas Bauer, Alwen Tiu:
Matching Trace Patterns with Regular Policies. LATA 2009: 105-116
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/tableaux/BaaderBBCGJLRS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tableaux/BaaderBBCGJLRS09
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
2008
[c17]
- view
  - electronic edition @ bcs.org
  - no references & citations available
- export record
  dblp key:
  - conf/bcs/JurjensYB08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bcs/JurjensYB08
Jan Jürjens, Yijun Yu, Andreas Bauer:
Tools for Traceable Security Verification. BCS Int. Acad. Conf. 2008: 367-390
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/BauerJ08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/BauerJ08
Andreas Bauer, Jan Jürjens:
Security protocols, properties, and their monitoring. SESS 2008: 33-40
[c15]
- view
  - electronic edition @ jku.at
  - no references & citations available
- export record
  dblp key:
  - conf/unif/BaaderBT08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/unif/BaaderBT08
Franz Baader, Andreas Bauer, Alwen Tiu:
Matching linear and non-linear trace patterns with regular policies. UNIF 2008: 16-24
2007
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/date/BauerPT07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/BauerPT07
Andreas Bauer, Markus Pister, Michael Tautschnig:
Tool-support for the analysis of hybrid systems and models. DATE 2007: 924-929
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/euromicro/Kuhnel0T07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/euromicro/Kuhnel0T07
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]
- view
  - electronic edition @ editions-rnti.fr
  - no references & citations available
- export record
  dblp key:
  - conf/isola/BauerLST07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/BauerLST07
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]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/0002LS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/0002LS07
Andreas Bauer, Martin Leucker, Christian Schallhart:
The Good, the Bad, and the Ugly, But How Ugly Is Ugly? RV 2007: 126-138
2006
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/aswec/0002LS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aswec/0002LS06
Andreas Bauer, Martin Leucker, Christian Schallhart:
Model-based runtime analysis of distributed reactive systems. ASWEC 2006: 243-252
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/fsttcs/BauerLS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/BauerLS06
Andreas Bauer, Martin Leucker, Christian Schallhart:
Monitoring of Real-Time Properties. FSTTCS 2006: 260-272
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/0002LS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/0002LS06
Andreas Bauer, Martin Leucker, Jonathan Streit:
SALT - Structured Assertion Language for Temporal Logic. ICFEM 2006: 757-775
2005
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/cpaior/Bauer05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpaior/Bauer05
Andreas Bauer:
Simplifying Diagnosis Using LSAT: A Propositional Approach to Reasoning from First Principles. CPAIOR 2005: 49-63
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/date/ZiegenbeinBFBRS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/ZiegenbeinBFBRS05
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]
- view
  authority control:
- export record
  dblp key:
  - conf/emsoft/RombergB04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/emsoft/RombergB04
Jan Romberg, Andreas Bauer:
Loose synchronization of event-triggered networks for distribution of synchronous programs. EMSOFT 2004: 193-202
[c4]
- view
- export record
  dblp key:
  - conf/gi/BauerRS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gi/BauerRS04
Andreas Bauer, Jan Romberg, Bernhard Schätz:
Integrierte Entwicklung von Automotive-Software mit AutoFOCUS. GI Jahrestagung (2) 2004: 13-17
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/iwpse/PizkaB04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwpse/PizkaB04
Markus Pizka, Andreas Bauer:
A Brief Top-Down and Bottom-Up Philosophy on Software Evolution. IWPSE 2004: 131-136
[c2]
- view
  - electronic edition @ usenix.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/usenix/Bauer04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/usenix/Bauer04
Andreas Bauer:
Creating a Portable Programming Language Using Open Source Software. USENIX ATC, FREENIX Track 2004: 103-113
2003
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/iwpse/BauerP03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwpse/BauerP03
Andreas Bauer, Markus Pizka:
The Contribution of Free Software to Software Evolution. IWPSE 2003: 170-

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2014
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/KuesterB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/KuesterB14
Jan-Christoph Küster, Andreas Bauer:
Platform-Centric Android Monitoring - Modular and Efficient. CoRR abs/1406.2041 (2014)
2013
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1303-3645
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1303-3645
Andreas Bauer, Jan-Christoph Küster, Gil Vegliach:
From propositional to first-order monitoring. CoRR abs/1303.3645 (2013)
2012
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1207-2461
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1207-2461
Andreas Klaus Bauer, Peter Baumgartner, Michael Norrish:
Reasoning with Data-Centric Business Processes. CoRR abs/1207.2461 (2012)
2011
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1111-5133
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1111-5133
Andreas Bauer, Yliès Falcone:
Decentralised LTL Monitoring. CoRR abs/1111.5133 (2011)
2010
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1006-3638
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1006-3638
Andreas Bauer:
Monitorability of omega-regular languages. CoRR abs/1006.3638 (2010)
2009
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-0903-2904
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0903-2904
Andreas Bauer, Rajeev Goré, Alwen Tiu:
A decidable policy language for history-based transaction monitoring. CoRR abs/0903.2904 (2009)
2007
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-0710-4829
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0710-4829
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)

Coauthor Index

see FAQ

a service of

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.