Skip navigation
Skip navigation

Browsing by Author Bauer, Andreas

Or enter first few letters:  
Showing results 1 to 20 of 23

A first-order policy language for history-based transaction monitoring

Author(s)Bauer, Andreas; Gore, Rajeev; Tiu, Alwen
TypeConference paper
Date Published2009
Date CreatedAugust 16-20 2009

A novel architecture for situation awareness systems

Author(s)Baader, Franz; Bauer, Andreas; Baumgartner, Peter, et al
TypeBook chapter
Date Published2009
Date Created-

A topological perspective on diagnosis

Author(s)Bauer, Andreas; Pinchinat, Sophie
TypeConference paper
Date Published2008
Date CreatedMay 28-30 2008

Alarm processing with model-based diagnosis of discrete event systems.

Author(s)Bauer, Andreas; Botea, Adi; Grastien, Alban, et al
TypeConference paper
Date Published2011
Date CreatedOctober 4-7 2011

Comparing LTL semantics for runtime verification

Author(s)Bauer, Andreas; Leucker, Martin; Schallhart, Christian
TypeJournal article
Date Published2010
Date Created-

Decentralised LTL monitoring

Author(s)Bauer, Andreas; Falcone, Ylies
TypeConference paper
Date Published2012
Date CreatedAugust 27-31 2012
02_Bauer_Don't_care_in_SMT:_Building_2010.pdf.jpg

Don't care in SMT: Building flexible yet efficient abstraction/refinement solvers

Author(s)Bauer, Andreas; Leucker, Martin; Schallhart, Christian, et al
TypeJournal article
Date Published2010
Date Created-

From Propositional to First-Order Monitoring

Author(s)Bauer, Andreas; Kuester, Jan-Christoph; Vegliach, Gil
TypeConference paper
Date Published2013
Date CreatedSeptember 24-27 2013
01_Bauer_LTL_Goal_Specifications_2010.pdf.jpg

LTL Goal Specifications Revisited

Author(s)Bauer, Andreas; Haslum, Patrik
TypeConference paper
Date Published2010
Date CreatedAugust 16-20 2010
01_Baader_Matching_linear_and_non-linear_2008.pdf.jpg

Matching linear and non-linear trace patterns with regular policies

Author(s)Baader, Franz; Bauer, Andreas; Tiu, Alwen
TypeConference paper
Date Published2008
Date CreatedJuly 18 2008

Matching trace patterns with regular policies

Author(s)Baader, Franz; Bauer, Andreas; Tiu, Alwen
TypeBook chapter
Date Published2009
Date Created-

Prognosis of omega-languages for the diagnosis of *-languages: A topological perspective

Author(s)Bauer, Andreas; Pinchinat, Sophie
TypeJournal article
Date Published2009
Date Created-
01_Kohl_Role-Based_Diagnosis_for_2010.pdf.jpg

Role-Based Diagnosis for Distributed Vehicle Functions

Author(s)Kohl, Jens; Bauer, Andreas
TypeConference paper
Date Published2010
Date CreatedOctober 13-16 2010

Run-time security traceability for evolving systems

Author(s)Bauer, Andreas; Jurjens, Jan; Yu, Yijun
TypeJournal article
Date Published2011
Date Created-

Runtime Verification for LTL and TLTL

Author(s)Bauer, Andreas; Leucker, Martin; Schallhart, Christian
TypeJournal article
Date Published2011
Date Created-

Runtime verification meets android security

Author(s)Bauer, Andreas; Kuester, Jan-Christoph; Vegliach, Gil
TypeConference paper
Date Published2012
Date CreatedApril 3-5 2012

Runtime verification of cryptographic protocols

Author(s)Bauer, Andreas; Juerjens, Jan
TypeJournal article
Date Published2010
Date Created-

Runtime verification using a temporal description logic

Author(s)Baader, Franz; Bauer, Andreas; Lippmann, Marcel
TypeBook chapter
Date Published2009
Date Created-
06_Bauer_Security_protocols,_2008.pdf.jpg

Security protocols, properties, and their monitoring

Author(s)Bauer, Andreas; Juerjens, Jan
TypeConference paper
Date Published2008
Date CreatedMay 10-18 2008

Tableaux for Verification of Data-Centric Processes

Author(s)Bauer, Andreas; Baumgartner, Peter; Diller, Martin, et al
TypeConference paper
Date Published2013
Date CreatedSeptember 16-19 2013

Updated:  12 April 2016/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator