| Publication | Date of Publication | Type |
|---|
| Reachability Analysis of Self Modifying Code | 2023-08-18 | Paper |
| Branching Temporal Logic of Calls and Returns for Pushdown Systems | 2023-06-28 | Paper |
| LTL model checking of self modifying code | 2023-05-08 | Paper |
| Model-Checking HyperLTL for Pushdown Systems | 2023-03-21 | Paper |
| Static Analysis of Multithreaded Recursive Programs Communicating via Rendez-Vous | 2022-12-09 | Paper |
| Dealing with Priorities and Locks for Concurrent Programs | 2022-08-12 | Paper |
| BCARET model checking for malware detection | 2019-12-12 | Paper |
| CARET analysis of multithreaded programs | 2018-09-06 | Paper |
| Model Checking Concurrent Programs | 2018-07-20 | Paper |
| Reachability Analysis of Pushdown Systems with an Upper Stack | 2017-06-01 | Paper |
| A generic approach to the static analysis of concurrent programs with procedures | 2015-09-11 | Paper |
| Model checking dynamic pushdown networks | 2015-07-23 | Paper |
| Verifying Multithreaded Recursive Programs with Integer Variables | 2015-03-19 | Paper |
| Bounded Communication Reachability Analysis of Process Rewrite Systems with Ordered Parallelism | 2015-03-19 | Paper |
| Model Checking Dynamic Pushdown Networks | 2015-01-12 | Paper |
| Efficient CTL model-checking for pushdown systems | 2014-08-27 | Paper |
| On symbolic verification of weakly extended PAD | 2013-12-13 | Paper |
| Reachability analysis of synchronized PA systems | 2013-10-02 | Paper |
| LTL Model-Checking for Malware Detection | 2013-08-05 | Paper |
| Regular Model Checking using Widening Techniques | 2013-05-10 | Paper |
| Efficient Malware Detection Using Model-Checking | 2012-11-08 | Paper |
| Analyzing Asynchronous Programs with Preemption | 2012-10-19 | Paper |
| Pushdown Model Checking for Malware Detection | 2012-06-29 | Paper |
| Efficient CTL Model-Checking for Pushdown Systems | 2011-09-02 | Paper |
| Verifying parallel programs with dynamic communication structures | 2010-10-07 | Paper |
| Constrained Reachability of Process Rewrite Systems | 2009-08-20 | Paper |
| FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science | 2009-08-06 | Paper |
| Verifying Parallel Programs with Dynamic Communication Structures | 2009-07-09 | Paper |
| Abstract Error Projection | 2009-03-03 | Paper |
| Antichain-Based Universality and Inclusion Testing over Nondeterministic Finite Tree Automata | 2009-02-12 | Paper |
| On the Reachability Analysis of Acyclic Networks of Pushdown Systems | 2008-11-25 | Paper |
| Interprocedural Analysis of Concurrent Programs Under a Context Bound | 2008-04-11 | Paper |
| State/Event Software Verification for Branching-Time Specifications | 2007-11-29 | Paper |
| Attenuation Regulation as a Term Rewriting System | 2007-11-29 | Paper |
| Tools and Algorithms for the Construction and Analysis of Systems | 2007-05-02 | Paper |
| Permutation rewriting and algorithmic verification | 2007-02-20 | Paper |
| CONCUR 2005 – Concurrency Theory | 2006-11-01 | Paper |
| Term Rewriting and Applications | 2005-11-11 | Paper |
| A Generic Approach to the Static Analysis of Concurrent Programs with Procedures | 2005-10-19 | Paper |
| CONCUR 2004 - Concurrency Theory | 2005-08-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4804924 | 2003-05-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2754102 | 2001-11-11 | Paper |
