Skip navigation
Skip navigation

Browsing by Author Bauer, Andreas

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

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

An Integrated Modelling, Debugging, and Visualization Environment for G12

Author(s)Bauer, Andreas; Botea, Viorica; Brown, Mark, et al
TypeConference paper
Date Published2010
Date CreatedSeptember 6-10 2010

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

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

LTL Goal Specifications Revisited

Author(s)Bauer, Andreas; Haslum, Patrik
TypeConference paper
Date Published2010
Date CreatedAugust 16-20 2010

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-

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-

Security protocols, properties, and their monitoring

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

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