| Publication | Date of Publication | Type |
|---|
On the transformation between direct and continuation semantics
Lecture Notes in Computer Science | 2023-04-28 | Paper |
scientific article; zbMATH DE number 7566069 (Why is no real title available?)
(available as arXiv preprint) | 2022-08-02 | Paper |
| scientific article; zbMATH DE number 7566069 (Why is no real title available?) | 2022-08-02 | Paper |
Behavioral interface specification languages
ACM Computing Surveys | 2014-08-13 | Paper |
| Space-reduction strategies for model checking dynamic software | 2013-08-30 | Paper |
A certificate infrastructure for machine-checked proofs of conditional information flow
Lecture Notes in Computer Science | 2012-06-29 | Paper |
A type-centric framework for specifying heterogeneous, large-scale, component-oriented, architectures
Science of Computer Programming | 2010-11-25 | Paper |
Precise and automated contract-based reasoning for verification and certification of information flow properties of programs with arrays
Programming Languages and Systems | 2010-05-04 | Paper |
Fundamental Approaches to Software Engineering
Lecture Notes in Computer Science | 2007-11-28 | Paper |
Tools and Algorithms for the Construction and Analysis of Systems
Lecture Notes in Computer Science | 2007-09-28 | Paper |
Tools and Algorithms for the Construction and Analysis of Systems
Lecture Notes in Computer Science | 2007-09-28 | Paper |
Compiler Construction
Lecture Notes in Computer Science | 2007-09-28 | Paper |
Translating Java for multiple model checkers: The Bandera back-end
Formal Methods in System Design | 2006-02-20 | Paper |
Computer Aided Verification
Lecture Notes in Computer Science | 2006-01-10 | Paper |
Programming Languages and Systems
Lecture Notes in Computer Science | 2005-09-13 | Paper |
Exploiting object escape and locking information in partial-order reductions for concurrent object-oriented programs
Formal Methods in System Design | 2004-11-22 | Paper |
| scientific article; zbMATH DE number 1953278 (Why is no real title available?) | 2003-07-27 | Paper |
| scientific article; zbMATH DE number 1863159 (Why is no real title available?) | 2003-02-03 | Paper |
Weak normalization implies strong normalization in a class of non-dependent pure type systems
Theoretical Computer Science | 2002-03-03 | Paper |
An induction principle for pure type systems
Theoretical Computer Science | 2002-03-03 | Paper |
| scientific article; zbMATH DE number 1670561 (Why is no real title available?) | 2002-01-06 | Paper |
Slicing software for model construction
Higher-Order and Symbolic Computation | 2001-02-11 | Paper |
CPS translations and applications: The cube and beyond
Higher-Order and Symbolic Computation | 2000-01-30 | Paper |
| scientific article; zbMATH DE number 1231611 (Why is no real title available?) | 1999-01-06 | Paper |
| scientific article; zbMATH DE number 1231563 (Why is no real title available?) | 1998-12-20 | Paper |
Thunks and the λ-calculus
Journal of Functional Programming | 1998-02-16 | Paper |
A computational formalization for partial evaluation
Mathematical Structures in Computer Science | 1997-11-20 | Paper |
