home	education	contact	library	calendar	search
	about us	research	people	archive	services	jobs

publications by dr. C. Pierik

• Metis is a dutch, academic research information database
• see also: Metis for Departement Informatica
• please send notifications, questions, remarks etc to metis@cs.uu.nl
• see also : research -> Metis overviews

dr. C. Pierik

• contact information
• my technical reports
• former member of group intelligent systems

some publications

Pierik, C. (2006, May 3). Validation techniques for object-oriented proof outlines. UU Universiteit Utrecht (235 pag.). Prom./coprom.: prof. dr. J-J.Ch. Meyer & dr. F.S. de Boer.

Pierik, C. & Boer, F.S. de (2005). A Proof Outline Logic for Object-Oriented Programming. Theoretical Computer Science, 343, 413-442.

Pierik, C., Clarke, D. & Boer, F.S. de (2005). Controlling Object Allocation Using Creation Guards. In J. Fitzgerald, I.J. Hayes & A. Tarlecki (Eds.), FM 2005: Formal Methods (pp. 59-74). Berlin: Springer-Verlag.

Pierik, C. & Boer, F.S. de (2005). On Behavioral Subtyping and Completeness. In J. Vitek & F. Logozzo (Eds.), 7th Workshop on Formal techniques for Java-like Programs (FTfJP 2005).

Boer, F.S. de, Pierik, C., Meyer, J-J.Ch. & Eijk, R.M. van (2004). Coordinating Agents in OO. In M. Ryan, J.-J.Ch. Meyer & H.-D. Ehrich (Eds.), Objects, Agents and Features (pp. 8-25). Berlin: Springer.

Pierik, C., Clarke, D.G. & Boer, F.S. de (2004). Creational Invariants. In Formal Techniques for Java-like Programs workshop (Proc. of FTfJP 2004).

Boer, F.S. de & Pierik, C. (2004). How to Cook a Complete Hoare Logic for Your Pet OO Language. In Formal Methods for Components and Objects (Proc. of FMCO 2003) (pp. 111-133). Springer.

Pierik, C. & Boer, F.S. de (2004). Modularity and the Rule of Adaptation. In Algebraic Methodology and Software Technology (Proc. of AMAST 2004) (pp. 394-408). Springer.

Pierik, C. & Boer, F.S. de (2003). A Rule of Adaptation for OO. (UU-CS 2003-032). Utrecht: Utrecht University: Information and Computing Sciences.

Pierik, C. & Boer, F.S. de (2003). A Syntax-Directed Hoare Logic for Object-Oriented Programming Concepts. In Elie Najm, Uwe Nestmann & Perdita Stevens (Eds.), Formal Methods for Open Object-Based Distributed Systems (FMOODS) VI (pp. 64-78).

Pierik, C. & Boer, F.S. de (2003). A Syntax-Directed Hoare Logic for Object-Oriented Programming Concepts. (UU-CS 2003-010). Utrecht: Utrecht University: Information and Computing Sciences.

Boer, F.S. de & Pierik, C. (2003). Towards an environment for the verification of annotated object-oriented programs. (UU-CS 2003-002). Utrecht, the Netherlands: Utrecht University: Information and Computing Sciences.

Boer, F.S. de & Pierik, C. (2002). Computer-Aided Specification and Verification of Annotated Object-Oriented Programs. In B. Jacobs & A. Rensink (Eds.), Formal Methods for Open Object-Based Distributed Systems (pp. 163-177). Kluwer Academic Publishers.