Skip navigation
Skip navigation
A change is coming. Click to see a sneak peek of the new Open Research Repository.

Browsing by Author Bauer, Andreas

0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Or enter first few letters:  
Showing results 8 to 21 of 21
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

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

The ins and outs of first-order runtime verification

Author(s)Bauer, Andreas; Kuester, Jan-Christoph; Vegliach, Gil
TypeJournal article
Date Published2015
Date Created-

The Theory and Practice of SALT

Author(s)Bauer, Andreas; Leucker, Martin
TypeConference paper
Date Published2011
Date CreatedApril 18-20 2011

Tools for traceable security verification

Author(s)Juerjens, Jan; Yu, Yijun; Bauer, Andreas
TypeConference paper
Date Published2008
Date CreatedSeptember 22-24 2008

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