| Publication | Date of Publication | Type |
|---|
Temporal logics with language parameters
Information and Computation | 2024-02-02 | Paper |
A Branching Time Variant of CaRet
Model Checking Software | 2023-03-21 | Paper |
Propositional Dynamic Logic for Hyperproperties
(available as arXiv preprint) | 2022-07-18 | Paper |
Temporal logics with language parameters
(available as arXiv preprint) | 2021-10-04 | Paper |
| Iterable forward reachability analysis of monitor-DPNs | 2021-06-21 | Paper |
Iterable forward reachability analysis of monitor-DPNs
(available as arXiv preprint) | 2021-06-21 | Paper |
Using dynamic pushdown networks to automate a modular information-flow analysis
Logic-Based Program Synthesis and Transformation | 2016-02-05 | Paper |
Precise interprocedural analysis through linear algebra
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-11-11 | Paper |
On optimal slicing of parallel programs
Proceedings of the thirty-third annual ACM symposium on Theory of computing | 2015-02-27 | Paper |
Modular compiler verification. A refinement-algebraic approach advocating stepwise abstraction
Lecture Notes in Computer Science | 2014-08-14 | Paper |
Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-04-10 | Paper |
Join-Lock-Sensitive Forward Reachability Analysis for Concurrent Programs with Dynamic Process Creation
Lecture Notes in Computer Science | 2011-02-15 | Paper |
Computing polynomial program invariants
Information Processing Letters | 2009-07-21 | Paper |
Predecessor Sets of Dynamic Pushdown Networks with Tree-Regular Constraints
Computer Aided Verification | 2009-06-30 | Paper |
Precise Fixpoint-Based Analysis of Programs with Thread-Creation and Procedures
CONCUR 2007 – Concurrency Theory | 2008-09-18 | Paper |
Conflict Analysis of Programs with Procedures, Dynamic Thread Creation, and Monitors
Static Analysis | 2008-08-28 | Paper |
Upper Adjoints for Fast Inter-procedural Variable Equalities
Programming Languages and Systems | 2008-04-11 | Paper |
Interprocedurally Analyzing Polynomial Identities
STACS 2006 | 2008-03-19 | Paper |
Tools and Algorithms for the Construction and Analysis of Systems
Lecture Notes in Computer Science | 2007-09-28 | Paper |
CONCUR 2005 – Concurrency Theory
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Static Analysis
Lecture Notes in Computer Science | 2006-10-31 | Paper |
Logic Based Program Synthesis and Transformation
Lecture Notes in Computer Science | 2005-12-27 | Paper |
Verification, Model Checking, and Abstract Interpretation
Lecture Notes in Computer Science | 2005-12-06 | Paper |
Programming Languages and Systems
Lecture Notes in Computer Science | 2005-09-13 | Paper |
Programming Languages and Systems
Lecture Notes in Computer Science | 2005-09-13 | Paper |
Automata, Languages and Programming
Lecture Notes in Computer Science | 2005-08-24 | Paper |
| scientific article; zbMATH DE number 2117132 (Why is no real title available?) | 2004-11-19 | Paper |
Precise interprocedural dependence analysis of parallel programs
Theoretical Computer Science | 2004-10-27 | Paper |
| scientific article; zbMATH DE number 1948385 (Why is no real title available?) | 2003-07-13 | Paper |
| scientific article; zbMATH DE number 1692940 (Why is no real title available?) | 2002-01-21 | Paper |
| scientific article; zbMATH DE number 1688386 (Why is no real title available?) | 2002-01-09 | Paper |
| scientific article; zbMATH DE number 1487489 (Why is no real title available?) | 2001-01-29 | Paper |
| scientific article; zbMATH DE number 1538032 (Why is no real title available?) | 2000-12-03 | Paper |
| scientific article; zbMATH DE number 1304336 (Why is no real title available?) | 1999-11-15 | Paper |
