Centrum Wiskunde & Informatica

Observability, connectivity, and replay in a sequential calculus of classes In Proceedings

M. Steffen, S. Gruner, E. Abraham (Erika), M.M. Bonsangue (Marcello) and F.S. de Boer (Frank)

January 2005
Model Checking, Automated Abstraction, and Compositional Verification of Rebeca Models Article

Journal of Universal Computer Science, 11(6), 1054-1082.

M. Sirjani (Marjan), A. Movaghar (Ali), A. Shali and F.S. de Boer (Frank)

January 2005
Controlling Object Allocation Using Creation Guards In Proceedings

C. Pierik, D.G. Clarke (David) and F.S. de Boer (Frank)

January 2005
A proof outline logic for object-oriented programming Article

Theoretical Computer Science, 343(3), 413-442.

C. Pierik and F.S. de Boer (Frank)

January 2005
Formalizing UML Models and OCL Constraints in PVS Article

Electronic Notes in Theoretical Computer Science, 39-47.

M. Kyas (Marcel), H. Fecher, F.S. de Boer (Frank), J.F. Jacob (Joost), J. Hooman, M.B. van der Zwaag, T. Arons and H. Kugler

January 2005
A Compositional Trace Logic For Behavioral Interface Specifications Article

Nordic Journal of Computing, 12(2), 116-132.

M. Kyas (Marcel), F.S. de Boer (Frank) and W.P. de Roever

January 2005
Integrated Formal Methods - 5th International Conference, IFM 2005 Proceedings

January 2005
Generalized innermost rewriting In Proceedings

J.C. van de Pol (Jaco) and H. Zantema (Hans)

January 2005

Previous

Next