Andreas Bauer 0002 Home Page Coauthor index pubzone.org

Facets and more with CompleteSearch

Andreas Klaus Bauer

TU Munich, Department of Informatics

Listing of the DBLP Bibliography Server - FAQ
Other views (modern): by type - by year
Other mirrors: Trier II - Dagstuhl


other persons with the same name:


Ask others: ACM DL/Guide - CiteSeerx - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2016
j10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Bauer, Yliès Falcone: Decentralised LTL monitoring. Formal Methods in System Design 48(1-2): 46-93 (2016)
2015
j9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Bauer, Jan-Christoph Küster, Gil Vegliach: The ins and outs of first-order runtime verification. Formal Methods in System Design 46(3): 286-316 (2015)
c28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan-Christoph Küster, Andreas Bauer: Monitoring Real Android Malware. RV 2015: 136-152
2014
i7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan-Christoph Küster, Andreas Bauer: Platform-Centric Android Monitoring - Modular and Efficient. CoRR abs/1406.2041 (2014)
2013
c27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Bauer, Jan-Christoph Küster, Gil Vegliach: From Propositional to First-Order Monitoring. RV 2013: 59-75
c26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Bauer, Peter Baumgartner, Martin Diller, Michael Norrish: Tableaux for Verification of Data-Centric Processes. TABLEAUX 2013: 28-43
i6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Bauer, Jan-Christoph Küster, Gil Vegliach: From propositional to first-order monitoring .CoRR abs/1303.3645 (2013)
2012
c25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Klaus Bauer, Yliès Falcone: Decentralised LTL Monitoring. FM 2012: 85-100
c24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Bauer, Jan-Christoph Küster, Gil Vegliach: Runtime Verification Meets Android Security. NASA Formal Methods 2012: 174-180
i5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Klaus Bauer, Peter Baumgartner, Michael Norrish: Reasoning with Data-Centric Business Processes .CoRR abs/1207.2461 (2012)
2011
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Bauer, Jan Jürjens, Yijun Yu: Run-Time Security Traceability for Evolving Systems. Comput. J. 54(1): 58-87 (2011)
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Bauer, Martin Leucker, Christian Schallhart: Runtime Verification for LTL and TLTL. ACM Trans. Softw. Eng. Methodol. 20(4): 14:1-14:64 (2011)
c23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Bauer, Martin Leucker: The Theory and Practice of SALT. NASA Formal Methods 2011: 13-40
i4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Bauer, Yliès Falcone: Decentralised LTL Monitoring .CoRR abs/1111.5133 (2011)
2010
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Bauer, Jan Jürjens: Runtime verification of cryptographic protocols. Computers & Security 29(3): 315-330 (2010)
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Bauer, Martin Leucker, Christian Schallhart: Comparing LTL Semantics for Runtime Verification. J. Log. Comput. 20(3): 651-674 (2010)
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Bauer, Martin Leucker, Christian Schallhart, Michael Tautschnig: Don't care in SMT: building flexible yet efficient abstraction/refinement solvers. STTT 12(1): 23-37 (2010)
c22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas 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
c21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Bauer, Patrik Haslum: LTL Goal Specifications Revisited. ECAI 2010: 881-886
i3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Bauer: Monitorability of omega-regular languages .CoRR abs/1006.3638 (2010)
2009
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Bauer, Sophie Pinchinat: Prognosis of omega-Languages for the Diagnosis of *-Languages: A Topological Perspective. Discrete Event Dynamic Systems 19(4): 451-470 (2009)
c20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Andreas Bauer, Marcel Lippmann: Runtime Verification Using a Temporal Description Logic. FroCoS 2009: 149-164
c19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Bauer, Rajeev Goré, Alwen Tiu: A First-Order Policy Language for History-Based Transaction Monitoring. ICTAC 2009: 96-111
c18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Andreas Bauer, Alwen Tiu: Matching Trace Patterns with Regular Policies. LATA 2009: 105-116
c17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz 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
i2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Bauer, Rajeev Goré, Alwen Tiu: A decidable policy language for history-based transaction monitoring .CoRR abs/0903.2904 (2009)
2008
b2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Bauer: The Theory and Practice of Runtime Reflection - A Model-based Framework for Dynamic Analysis of Distributed Reactive Systems. VDM Technical University Munich, Germany 2008, ISBN 978-3-8364-7441-2, pp. I-X, 1-204
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan Jürjens, Yijun Yu, Andreas Bauer: Tools for Traceable Security Verification. BCS Int. Acad. Conf. 2008: 367-390
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Bauer, Jan Jürjens: Security protocols, properties, and their monitoring. SESS 2008: 33-40
2007
b1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Bauer: Model-based runtime analysis of distributed reactive systems. Technical University Munich, Germany 2007, pp. 1-206
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas 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)
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Bauer, Markus Pister, Michael Tautschnig: Tool-support for the analysis of hybrid systems and models. DATE 2007: 924-929
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Kühnel, Andreas Bauer, Michael Tautschnig: Compatibility and reuse in component-based systems via type and unit inference. EUROMICRO-SEAA 2007: 101-108
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Bauer, Martin Leucker, Christian Schallhart, Michael Tautschnig: Don't care in SMT-Building flexible yet efficient abstraction/refinement solvers. ISoLA 2007: 135-146
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Bauer, Martin Leucker, Christian Schallhart: The Good, the Bad, and the Ugly, But How Ugly Is Ugly? RV 2007: 126-138
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDirk 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
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Bauer, Martin Leucker, Christian Schallhart: Model-based runtime analysis of distributed reactive systems. ASWEC 2006: 243-252
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Bauer, Martin Leucker, Christian Schallhart: Monitoring of Real-Time Properties. FSTTCS 2006: 260-272
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Bauer, Martin Leucker, Jonathan Streit: SALT - Structured Assertion Language for Temporal Logic. ICFEM 2006: 757-775
2005
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Bauer, Jan Romberg, Bernhard Schätz: Integrierte Entwicklung von Automotive-Software mit AutoFocus. Inform., Forsch. Entwickl. 19(4): 194-205 (2005)
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Bauer: Simplifying Diagnosis Using LSAT: A Propositional Approach to Reasoning from First Principles. CPAIOR 2005: 49-63
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDirk Ziegenbein, Peter Braun, Ulrich Freund, Andreas Bauer, Jan Romberg, Bernhard Schätz: AutoMoDe - Model-Based Development of Automotive Software. DATE 2005: 171-177
2004
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan Romberg, Andreas Bauer: Loose synchronization of event-triggered networks for distribution of synchronous programs. EMSOFT 2004: 193-202
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Bauer, Jan Romberg, Bernhard Schätz: Integrierte Entwicklung von Automotive-Software mit AutoFOCUS. GI Jahrestagung (2) 2004: 13-17
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Pizka, Andreas Bauer: A Brief Top-Down and Bottom-Up Philosophy on Software Evolution. IWPSE 2004: 131-136
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Bauer: Creating a Portable Programming Language Using Open Source Software. USENIX Annual Technical Conference, FREENIX Track 2004: 103-113
2003
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Bauer, Markus Pizka: The Contribution of Free Software to Software Evolution. IWPSE 2003: 170-

Coauthor Index

1Franz Baader[c20] [c18] [c17]
2Peter Baumgartner[c26] [i5] [c17]
3Viorica Botea[c22]
4Peter Braun 0003[j2] [i1] [c6]
5Mark Brown[c22]
6Manfred Broy[j2]
7Anne Cregan[c17]
8Martin Diller[c26]
9Yliès Falcone[j10] [c25] [i4]
10Ulrich Freund[j2] [i1] [c6]
11Alfredo Gabaldon[c17]
12Rajeev Goré[c19] [i2]
13Matt Gray[c22]
14Daniel Harabor[c22]
15Patrik Haslum[c21]
16Krystian Ji[c17]
17Jan Jürjens[j8] [j6] [c16] [c15]
18Christian Kühnel[c13]
19Jan-Christoph Küster[j9] [c28] [i7] [c27] [i6] [c24]
20Kevin Lee[c17]
21Martin Leucker[j7] [c23] [j5] [j4] [c12] [c11] [c10] [c9] [c8]
22Marcel Lippmann[c20]
23Pierre Mai[j2]
24Nuria Mata[j2]
25Michael Norrish[c26] [i5]
26Sophie Pinchinat[j3]
27Markus Pister[c14]
28Markus Pizka[c3] [c1]
29David Rajaratnam[c17]
30Jan Romberg[j2] [i1] [j1] [c6] [c5] [c4]
31Robert Sandner[j2]
32Christian Schallhart[j7] [j5] [j4] [c12] [c11] [c10] [c9]
33Bernhard Schätz[j2] [i1] [j1] [c6] [c4]
34Rolf Schwitter[c17]
35John K. Slaney[c22]
36Jonathan Streit[c8]
37Michael Tautschnig[j4] [c14] [c13] [c12]
38Alwen Tiu[c19] [c18] [i2]
39Gil Vegliach[j9] [c27] [i6] [c24]
40Yijun Yu[j8] [c16]
41Dirk Ziegenbein[j2] [i1] [c6]

 

Last update 2017-01-05 02:45 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page