Andreas Bauer

According to our database1, Andreas Bauer authored at least 41 papers between 2003 and 2016.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2016
Decentralised LTL monitoring.
Formal Methods in System Design, 2016

2015
The ins and outs of first-order runtime verification.
Formal Methods in System Design, 2015

Monitoring Real Android Malware.
Proceedings of the Runtime Verification - 6th International Conference, 2015

2014
Platform-Centric Android Monitoring - Modular and Efficient.
CoRR, 2014

2013
Tableaux for Verification of Data-Centric Processes.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2013

From Propositional to First-Order Monitoring.
Proceedings of the Runtime Verification - 4th International Conference, 2013

2012
Reasoning with Data-Centric Business Processes
CoRR, 2012

Runtime Verification Meets Android Security.
Proceedings of the NASA Formal Methods, 2012

2011
Runtime Verification for LTL and TLTL.
ACM Trans. Softw. Eng. Methodol., 2011

Run-Time Security Traceability for Evolving Systems.
Comput. J., 2011

The Theory and Practice of SALT.
Proceedings of the NASA Formal Methods, 2011

2010
Don't care in SMT: building flexible yet efficient abstraction/refinement solvers.
STTT, 2010

Comparing LTL Semantics for Runtime Verification.
J. Log. Comput., 2010

Monitorability of omega-regular languages
CoRR, 2010

Runtime verification of cryptographic protocols.
Computers & Security, 2010

LTL Goal Specifications Revisited.
Proceedings of the ECAI 2010, 2010

An Integrated Modelling, Debugging, and Visualisation Environment for G12.
Proceedings of the Principles and Practice of Constraint Programming - CP 2010, 2010

2009
Prognosis of omega-Languages for the Diagnosis of *-Languages: A Topological Perspective.
Discrete Event Dynamic Systems, 2009

A decidable policy language for history-based transaction monitoring
CoRR, 2009

A Novel Architecture for Situation Awareness Systems.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2009

Matching Trace Patterns with Regular Policies.
Proceedings of the Language and Automata Theory and Applications, 2009

A First-Order Policy Language for History-Based Transaction Monitoring.
Proceedings of the Theoretical Aspects of Computing, 2009

Runtime Verification Using a Temporal Description Logic.
Proceedings of the Frontiers of Combining Systems, 7th International Symposium, 2009

2008
Security protocols, properties, and their monitoring.
Proceedings of the Fourth International Workshop on Software Engineering for Secure Systems, 2008

Tools for Traceable Security Verification.
Proceedings of the Visions of Computer Science, 2008

The Theory and Practice of Runtime Reflection - A Model-based Framework for Dynamic Analysis of Distributed Reactive Systems.
VDM, ISBN: 978-3-8364-7441-2, 2008

2007
Model-based runtime analysis of distributed reactive systems.
PhD thesis, 2007

Das AutoMoDe-Projekt.
Inform., Forsch. Entwickl., 2007

The Good, the Bad, and the Ugly, But How Ugly Is Ugly?
Proceedings of the Runtime Verification, 7th International Workshop, 2007

Compatibility and reuse in component-based systems via type and unit inference.
Proceedings of the 33rd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO-SEAA 2007), 2007

Tool-support for the analysis of hybrid systems and models.
Proceedings of the 2007 Design, Automation and Test in Europe Conference and Exposition, 2007

2006
SALT - Structured Assertion Language for Temporal Logic.
Proceedings of the Formal Methods and Software Engineering, 2006

Monitoring of Real-Time Properties.
Proceedings of the FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science, 2006

Model-based runtime analysis of distributed reactive systems.
Proceedings of the 17th Australian Software Engineering Conference (ASWEC 2006), 2006

2005
Integrierte Entwicklung von Automotive-Software mit AutoFocus.
Inform., Forsch. Entwickl., 2005

AutoMoDe - Model-Based Development of Automotive Software.
Proceedings of the 2005 Design, 2005

Simplifying Diagnosis Using LSAT: A Propositional Approach to Reasoning from First Principles.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2005

2004
Creating a Portable Programming Language Using Open Source Software.
Proceedings of the FREENIX Track: 2004 USENIX Annual Technical Conference, June 27, 2004

A Brief Top-Down and Bottom-Up Philosophy on Software Evolution.
Proceedings of the 7th International Workshop on Principles of Software Evolution (IWPSE 2004), 2004

Loose synchronization of event-triggered networks for distribution of synchronous programs.
Proceedings of the EMSOFT 2004, 2004

2003
The Contribution of Free Software to Software Evolution.
Proceedings of the 6th International Workshop on Principles of Software Evolution (IWPSE 2003), 2003


  Loading...