Centrum Wiskunde & Informatica

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 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
Controlling Object Allocation Using Creation Guards In Proceedings

C. Pierik, D.G. Clarke (David) 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
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
The Role of Agent Interaction in Models of Computing: Panelist Reviews Article

Electronic Notes in Theoretical Computer Science, 141(5), 181-198.

P. Wegner, F. Arbab (Farhad), D. Goldin, P. McBurney, M. Luck and D.S. Robertson (Dave)

January 2005
Strategies for the diffusion of innovations on social networks Article

Computational Economics, 25(1), 3-23.

F. Alkemade (Floortje) and C. Castaldi

January 2005
A specification of the agent reputation and trust (art) testbed: Experimentation and competition for trust in agent societies In Proceedings

K.K. Fullam, T.B. Klos (Tomas) and not CWI et al

January 2005

Publication

Formalizing UML Models and OCL Constraints in PVS Article

A proof outline logic for object-oriented programming Article

Controlling Object Allocation Using Creation Guards In Proceedings

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

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

The Role of Agent Interaction in Models of Computing: Panelist Reviews Article

Strategies for the diffusion of innovations on social networks Article

A specification of the agent reputation and trust (art) testbed: Experimentation and competition for trust in agent societies In Proceedings

Address

CWI researchers

Questions or comments?

Publication

Formalizing UML Models and OCL Constraints in PVS Article

A proof outline logic for object-oriented programming Article

Controlling Object Allocation Using Creation Guards In Proceedings

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

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

The Role of Agent Interaction in Models of Computing: Panelist Reviews Article

Strategies for the diffusion of innovations on social networks Article

A specification of the agent reputation and trust (art) testbed: Experimentation and competition for trust in agent societies In Proceedings

Workflow

Workflow

Add Content