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
	L. Aştefănoaei, M. Dastani, J.-J. Meyer, F.S. de Boer: On the Semantics and Verification of Normative Multi-Agent Systems /jucs_15_13/on_the_semantics_and	page 2629 - 2652 Vol.15 / Issue 13