Ten years of analyzing actors: Rebeca experience. (English)
Agha, Gul (ed.) et al., Formal modeling: actors, open systems, biological systems. Essays dedicated to Carolyn Talcott on the occasion of her 70th birthday. Berlin: Springer (ISBN 978-3-642-24932-7/pbk). Lecture Notes in Computer Science 7000, 20-56 (2011).
1
Vulnerability analysis of networks to detect multiphase attacks using the actor-based language Rebeca. (English)
Comput. Electr. Eng. 36, No. 5, 874-885 (2010).
2
Actor-based slicing techniques for efficient reduction of Rebeca models. (English)
Sci. Comput. Program. 75, No. 10, 811-827 (2010).
3
Rebeca: Theory, applications, and tools. (English)
de Boer, Frank S. (ed.) et al., Formal methods for components and objects. 5th international symposium, FMCO 2006, Amsterdam, The Netherlands, November 7‒10, 2006. Revised lectures. Berlin: Springer (ISBN 978-3-540-74791-8/pbk). Lecture Notes in Computer Science 4709, 102-126 (2007).
4
Integrating module checking and deduction in a formal proof for the perlman spanning tree protocol (STP). (English)
J. UCS 13, No. 13, 2076-2104, electronic only (2007).
5
Compositional semantics of an actor-based language using constraint automata. (English)
Ciancarini, Paolo (ed.) et al., Coordination models and languages. 8th international conference, COORDINATION 2006, Bologna, Italy, June 14‒16, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-34694-4/pbk). Lecture Notes in Computer Science 4038, 281-297 (2006).
6
Publish-Subscribe Grows Up: Support for Management, Visibility Control, and Heterogeneity. (English)
IEEE Internet Computing 10, No.01, 48-55 (2006).
7
Modular verification of a component-based actor language. (English)
J. UCS 11, No. 10, 1695-1717, electronic only (2005).
8
Start
Contact
Print
General Help
