Paper-Conference

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