| Publication | Date of Publication | Type |
|---|
| Denotational semantics for symbolic execution | 2024-09-13 | Paper |
| Symbolic semantics for probabilistic programs | 2024-05-29 | Paper |
| Asynchronous Cooperative Contracts for Cooperative Scheduling | 2024-03-14 | Paper |
A specification logic for programs in the probabilistic guarded command language
Lecture Notes in Computer Science | 2023-07-28 | Paper |
| Active Objects with Deterministic Behaviour | 2023-03-21 | Paper |
| Translating active objects into colored Petri nets for communication analysis | 2022-11-04 | Paper |
Global reproducibility through local control for distributed active objects
Fundamental Approaches to Software Engineering | 2022-10-13 | Paper |
A calculus of virtually timed ambients
Recent Trends in Algebraic Development Techniques | 2020-01-16 | Paper |
Parallel cost analysis
ACM Transactions on Computational Logic | 2019-02-07 | Paper |
| Checking modal contracts for virtually timed ambients | 2018-11-23 | Paper |
| Locally abstract, globally concrete semantics of concurrent programming languages | 2018-02-02 | Paper |
Virtually timed ambients: a calculus of nested virtualization
Journal of Logical and Algebraic Methods in Programming | 2017-12-01 | Paper |
Verifying traits: an incremental proof system for fine-grained reuse
Formal Aspects of Computing | 2016-08-05 | Paper |
Proof Search for the First-Order Connection Calculus in Maude
Electronic Notes in Theoretical Computer Science | 2015-03-19 | Paper |
A proof system for adaptable class hierarchies
Journal of Logical and Algebraic Methods in Programming | 2014-12-03 | Paper |
Integrating deployment architectures and resource consumption in timed object-oriented models
Journal of Logical and Algebraic Methods in Programming | 2014-12-03 | Paper |
Observable behavior of dynamic systems: component reasoning for concurrent objects
Electronic Notes in Theoretical Computer Science | 2013-12-06 | Paper |
| A run-time environment for concurrent objects with asynchronous method calls | 2013-09-20 | Paper |
Observable behavior of distributed systems: component reasoning for concurrent objects
The Journal of Logic and Algebraic Programming | 2012-08-14 | Paper |
Safe locking for multi-threaded Java with exceptions
The Journal of Logic and Algebraic Programming | 2012-08-14 | Paper |
Formal modeling and validation of a power-efficient grouping protocol for WSNs
The Journal of Logic and Algebraic Programming | 2012-08-14 | Paper |
Safe locking for multi-threaded Java
Fundamentals of Software Engineering | 2012-06-29 | Paper |
Incremental reasoning with lazy behavioral subtyping for multiple inheritance
Science of Computer Programming | 2011-07-18 | Paper |
| Confluent term rewriting for only-knowing logics | 2011-04-12 | Paper |
Object-oriented specification and open distributed systems
From Object-Orientation to Formal Methods | 2011-04-01 | Paper |
Validating timed models of deployment components with parametric concurrency
Formal Verification of Object-Oriented Software | 2011-01-21 | Paper |
Lazy behavioral subtyping
The Journal of Logic and Algebraic Programming | 2010-10-22 | Paper |
Concurrent objects à la carte
Concurrency, Compositionality, and Correctness | 2010-03-09 | Paper |
Incremental Reasoning for Multiple Inheritance
Lecture Notes in Computer Science | 2009-02-24 | Paper |
An Object-Oriented Component Model for Heterogeneous Nets
Formal Methods for Components and Objects | 2009-02-12 | Paper |
Testing Concurrent Objects with Application-Specific Schedulers
Theoretical Aspects of Computing - ICTAC 2008 | 2009-01-27 | Paper |
Backwards type analysis of asynchronous method calls
The Journal of Logic and Algebraic Programming | 2008-11-06 | Paper |
| Validating behavioral component interfaces in rewriting logic | 2008-04-14 | Paper |
A Complete Guide to the Future
Programming Languages and Systems | 2007-09-04 | Paper |
| Structured formal development in Isabelle | 2007-04-10 | Paper |
Creol: A type-safe object-oriented model for distributed concurrent systems
Theoretical Computer Science | 2006-12-07 | Paper |
Formal Methods for Components and Objects
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Theorem Proving in Higher Order Logics
Lecture Notes in Computer Science | 2005-08-18 | Paper |
| scientific article; zbMATH DE number 2111735 (Why is no real title available?) | 2004-10-28 | Paper |
| scientific article; zbMATH DE number 2086959 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 1860617 (Why is no real title available?) | 2003-06-02 | Paper |
