Andreas Bauer

Yliès Falcone

Formal Methods Syst. Des., 2016

2015

The ins and outs of first-order runtime verification.

[BibT_eX]

[DOI]

Gil Vegliach

Formal Methods Syst. Des., 2015

Monitoring Real Android Malware.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 6th International Conference, 2015

2014

Platform-Centric Android Monitoring - Modular and Efficient.

[BibT_eX]

[DOI]

CoRR, 2014

2013

Tableaux for Verification of Data-Centric Processes.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2013

From Propositional to First-Order Monitoring.

[BibT_eX]

[DOI]

Gil Vegliach

Proceedings of the Runtime Verification - 4th International Conference, 2013

2012

Reasoning with Data-Centric Business Processes

[BibT_eX]

[DOI]

Andreas Klaus Bauer

Peter Baumgartner

Michael Norrish

CoRR, 2012

Runtime Verification Meets Android Security.

[BibT_eX]

[DOI]

Gil Vegliach

Proceedings of the NASA Formal Methods, 2012

2011

Runtime Verification for LTL and TLTL.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2011

Run-Time Security Traceability for Evolving Systems.

[BibT_eX]

[DOI]

Yijun Yu

Comput. J., 2011

The Theory and Practice of SALT.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods, 2011

2010

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

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2010

Comparing LTL Semantics for Runtime Verification.

[BibT_eX]

[DOI]

J. Log. Comput., 2010

Monitorability of omega-regular languages

[BibT_eX]

[DOI]

CoRR, 2010

Runtime verification of cryptographic protocols.

[BibT_eX]

[DOI]

Comput. Secur., 2010

LTL Goal Specifications Revisited.

[BibT_eX]

[DOI]

Patrik Haslum

Proceedings of the ECAI 2010, 2010

An Integrated Modelling, Debugging, and Visualisation Environment for G12.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming - CP 2010, 2010

2009

Prognosis of <i>omega</i>-Languages for the Diagnosis of <i>*</i>-Languages: A Topological Perspective.

[BibT_eX]

[DOI]

Sophie Pinchinat

Discret. Event Dyn. Syst., 2009

A decidable policy language for history-based transaction monitoring

[BibT_eX]

[DOI]

Rajeev Goré

CoRR, 2009

A Novel Architecture for Situation Awareness Systems.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2009

Matching Trace Patterns with Regular Policies.

[BibT_eX]

[DOI]

Franz Baader

Proceedings of the Language and Automata Theory and Applications, 2009

A First-Order Policy Language for History-Based Transaction Monitoring.

[BibT_eX]

[DOI]

Rajeev Goré

Proceedings of the Theoretical Aspects of Computing, 2009

Runtime Verification Using a Temporal Description Logic.

[BibT_eX]

[DOI]

Franz Baader

Marcel Lippmann

Proceedings of the Frontiers of Combining Systems, 7th International Symposium, 2009

2008

Matching linear and non-linear trace patterns with regular policies.

[BibT_eX]

[DOI]

Franz Baader

Proceedings of the 22nd International Workshop on Unification, 2008

Security protocols, properties, and their monitoring.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Workshop on Software Engineering for Secure Systems, 2008

Tools for Traceable Security Verification.

[BibT_eX]

[DOI]

Yijun Yu

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.

[BibT_eX]

[DOI]

VDM, ISBN: 978-3-8364-7441-2, 2008

2007

Model-based runtime analysis of distributed reactive systems.

[BibT_eX]

[DOI]

PhD thesis, 2007

Das AutoMoDe-Projekt.

[BibT_eX]

[DOI]

Inform. Forsch. Entwickl., 2007

The Good, the Bad, and the Ugly, But How Ugly Is Ugly?

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification, 7th International Workshop, 2007

Compatibility and reuse in component-based systems via type and unit inference.

[BibT_eX]

[DOI]

Christian Kühnel

Michael Tautschnig

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.

[BibT_eX]

[DOI]

Markus Pister

Michael Tautschnig

Proceedings of the 2007 Design, Automation and Test in Europe Conference and Exposition, 2007

2006

SALT - Structured Assertion Language for Temporal Logic.

[BibT_eX]

[DOI]

Jonathan Streit

Proceedings of the Formal Methods and Software Engineering, 2006

Monitoring of Real-Time Properties.

[BibT_eX]

[DOI]

Proceedings of the FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science, 2006

Model-based runtime analysis of distributed reactive systems.

[BibT_eX]

[DOI]

Proceedings of the 17th Australian Software Engineering Conference (ASWEC 2006), 2006

2005

Integrierte Entwicklung von Automotive-Software mit AutoFocus.

[BibT_eX]

[DOI]

Jan Romberg

Bernhard Schätz

Inform. Forsch. Entwickl., 2005

AutoMoDe - Model-Based Development of Automotive Software.

[BibT_eX]

[DOI]

Proceedings of the 2005 Design, 2005

Simplifying Diagnosis Using LSAT: A Propositional Approach to Reasoning from First Principles.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the FREENIX Track: 2004 USENIX Annual Technical Conference, June 27, 2004

A Brief Top-Down and Bottom-Up Philosophy on Software Evolution.

[BibT_eX]

[DOI]

Markus Pizka

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.

[BibT_eX]

[DOI]

Jan Romberg

Proceedings of the EMSOFT 2004, 2004

2003

The Contribution of Free Software to Software Evolution.

[BibT_eX]

[DOI]