Paper-Conference

An Object-Oriented Component Model for Heterogeneous Nets
Proc. FMCO 2007
Preprint Cite DOI
Lazy Behavioral Subtyping
Proc FM 2008
Preprint Cite DOI
A Complete Guide to the Future
Proc. ESOP 2007
Preprint Cite DOI
Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects
Proc. FInCo 2007
Runtime Validation of Communication Histories
Proc. ICCP 2006
Preprint Cite
Type-Safe Runtime Class Upgrades in Creol
Proc. FMOODS 2006
Preprint Cite DOI
Inheritance in the Presence of Asynchronous Method Calls
Proc. HICSS 2005
Preprint Cite DOI
Validating Behavioral Component Interfaces in Rewriting Logic
Proc. FSEN 2005
Preprint Cite DOI
Representing Strategies for the Connection Calculus in Rewriting Logic
Proc. FTP 2005
Preprint Cite
A Dynamic Class Construct for Asynchronous Concurrent Objects
Proc. FMOODS 2005
Preprint Cite DOI
Verification of Concurrent Objects with Asynchronous Method Calls
Proc. SwSTE 2005
Preprint Cite DOI
Reasoning about Asynchronous Method Calls and Inheritance
Proc. NIK 2004
Preprint Cite
Toward Reflective Application Testing in Open Environments"
Proc. NIK 2004
Preprint Cite
An Asynchronous Communication Model for Distributed Concurrent Objects
Proc. SEFM 2004
Preprint Cite DOI
Theorem Reuse by Proof Term Transformation"
Proc. TPHOLs 2004
Preprint Cite DOI
A Dynamic Binding Strategy for Multiple Inheritance and Asynchronously Communicating Objects"
Proc. FMCO 2004
Preprint Cite DOI
A Run-time Environment for Concurrent Objects with Asynchronous Method Calls
Proc. WRLA 2004
Preprint Cite DOI
Combining Active and Reactive Behavior in Concurrent Systems
Proc. NIK 2003
Preprint Cite
Combining Graphical and Formal Development of Open Distributed Systems
Proc. IFM 2002
Preprint Cite DOI
Composition and Refinement for Partial Object Specifications
Proc. FMPPTA 2002
Preprint Cite DOI
A Compositional Formalism for Object Viewpoints
Proc. FMOODS 2002
Preprint Cite
Incremental Fault-Tolerant Design in an Object-Oriented Setting
Proc. APAQS 2001
Preprint Cite DOI
Specification of Distributed Systems with a Combination of Graphical and Formal Languages
Proc. APSEC 2001
Preprint Cite DOI