Journal of Universal Computer Science

A Multiply Hierarchical Automaton Semantics for the IWIM Coordination Model Article

R. Banach, F. Arbab (Farhad), G.A. Papadopoulos (George) and J.R.W. Glauert

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

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

Variations on Itai-Rodeh leader election for anonymous rings and their analysis in PRISM Article

W.J. Fokkink (Wan) and J. Pang

Applications of Formal Methods to System Design and Verification Proceedings

Effective computability of solutions of differential inclusions --- the ten thousand monkeys approach Article

P.J. Collins (Pieter) and D.S. Graça

On the Semantics and Verification of Normative Multi-Agent Systems Article

L. Astefanoaei (Lacramioara), F.S. de Boer (Frank), M. Dastani and J.-J.C. Meyer (John-Jules)