Frank S. de Boer
Department of Software Engineering, Centrum voor Wiskunde en Informatica, Netherlands

---

	M. Sirjani, A. Movaghar, A. Shali, F. S. de Boer: Model Checking, Automated Abstraction, and Compositional Verification of Rebeca Models /jucs_11_6/model_checking_automated_abstraction	page 1054 - 1082 Vol.11 / Issue 6
	M. Sirjani, F.S. de Boer, A. Movaghar: Modular Verification of a Component-Based Actor Language /jucs_11_10/modular_verificatin_of_a	page 1695 - 1717 Vol.11 / Issue 10