| Publication | Date of Publication | Type |
|---|
| Constrained dynamic partial order reduction | 2023-05-05 | Paper |
| Generation of Initial Contexts for Effective Deadlock Detection | 2023-04-09 | Paper |
| Using automated reasoning techniques for enhancing the efficiency and security of (Ethereum) smart contracts | 2022-12-07 | Paper |
| Distilling Constraints in Zero-Knowledge Protocols | 2022-12-07 | Paper |
| May-Happen-in-Parallel Analysis with Returned Futures | 2022-08-12 | Paper |
| Context-sensitive dynamic partial order reduction | 2022-07-01 | Paper |
| Lower-bound synthesis using loop specialization and Max-SMT | 2022-03-25 | Paper |
| A transformational approach to resource analysis with typed-norms inference | 2021-09-03 | Paper |
| Certified abstract cost analysis | 2021-08-04 | Paper |
| Resource analysis of distributed systems | 2021-05-20 | Paper |
| A formal, resource consumption-preserving translation from actors with cooperative scheduling to Haskell | 2021-05-20 | Paper |
| SDN-actors: modeling and verification of SDN programs | 2021-05-04 | Paper |
| Actor-based model checking for software-defined networks | 2021-02-26 | Paper |
| Resource analysis driven by (conditional) termination proofs | 2020-05-04 | Paper |
| Parallel cost analysis | 2019-02-07 | Paper |
| May-happen-in-parallel analysis with condition synchronization | 2018-10-25 | Paper |
| A formal, resource consumption-preserving translation of actors to Haskell | 2017-10-13 | Paper |
| Rely-guarantee termination and cost analyses of loops with concurrent interleavings | 2017-08-15 | Paper |
| May-happen-in-parallel analysis for actor-based concurrency | 2017-07-12 | Paper |
| Test case generation of actor systems | 2016-01-08 | Paper |
| Resource-usage-aware configuration in software product lines | 2015-12-18 | Paper |
| A transformational approach to resource analysis with typed-norms | 2015-11-30 | Paper |
| On the inference of resource usage upper and lower bounds | 2015-09-17 | Paper |
| Quantified abstract configurations of distributed systems | 2015-09-03 | Paper |
| A multi-domain incremental analysis engine and its application to incremental resource analysis | 2015-05-26 | Paper |
| Termination and cost analysis of loops with concurrent interleavings | 2014-07-08 | Paper |
| A CLP heap solver for test case generation | 2014-02-27 | Paper |
| Towards testing concurrent objects in CLP | 2014-02-25 | Paper |
| May-Happen-in-Parallel Analysis for Priority-Based Scheduling | 2014-01-17 | Paper |
| An operational semantics for declarative multi-paradigm languages | 2013-08-23 | Paper |
| Resource-Driven CLP-Based Test Case Generation | 2013-03-13 | Paper |
| Certificate size reduction in abstraction-carrying code | 2012-08-30 | Paper |
| Automatic inference of resource consumption bounds | 2012-06-15 | Paper |
| Cost analysis of object-oriented bytecode programs | 2012-03-13 | Paper |
| Efficient local unfolding with ancestor stacks | 2011-08-17 | Paper |
| Closed-form upper bounds in static cost analysis | 2011-04-05 | Paper |
| More precise yet widely applicable cost analysis | 2011-02-15 | Paper |
| From object fields to local variables: a practical approach to field-sensitive analysis | 2010-10-01 | Paper |
| Comparing cost functions in resource analysis | 2010-09-14 | Paper |
| Type-based homeomorphic embedding for online termination | 2010-08-20 | Paper |
| Test case generation for object-oriented imperative languages in CLP | 2010-08-19 | Paper |
| Test Data Generation of Bytecode by CLP Partial Evaluation | 2009-03-24 | Paper |
| Abstract Interpretation with Specialized Definitions | 2009-03-12 | Paper |
| Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation | 2009-01-22 | Paper |
| Non-leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates | 2009-01-15 | Paper |
| Converting One Type-Based Abstract Domain to Another | 2009-01-15 | Paper |
| Abstraction-carrying code: a model for mobile code safety | 2008-10-20 | Paper |
| Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis | 2008-08-28 | Paper |
| An Incremental Approach to Abstraction-Carrying Code | 2008-05-27 | Paper |
| Efficient Local Unfolding with Ancestor Stacks for Full Prolog | 2008-04-24 | Paper |
| Reduced Certificates for Abstraction-Carrying Code | 2008-03-11 | Paper |
| Operational semantics for declarative multi-paradigm languages | 2007-10-19 | Paper |
| Logic Programming | 2006-06-27 | Paper |
| Logic for Programming, Artificial Intelligence, and Reasoning | 2005-11-10 | Paper |
| Logic Programming | 2005-08-26 | Paper |
| Euro-Par 2004 Parallel Processing | 2005-08-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4808813 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4421874 | 2003-09-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4413065 | 2003-07-17 | Paper |
| A residualizing semantics for the partial evaluation of functional logic programs. | 2003-01-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2767032 | 2002-07-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2766540 | 2002-07-08 | Paper |
| The narrowing-driven approach to functional logic program specialization | 2002-05-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2763647 | 2002-01-21 | Paper |
| Partial evaluation of multi-paradigm declarative languages: Foundations, control, algorithms and efficiency | 2001-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4217931 | 1999-03-02 | Paper |
