Ingrid Chieh Yu, Einar Broch Johnsen, and Olaf Owe
Type-Safe Runtime Class Upgrades in Creol
Proc. 8th Intl. Conf. on Formal Methods for Open Object-Based Distributed Systems (FMOODS'06).
LNCS 4037. © Springer-Verlag 2006.
Farhad Arbab.
Reo: a channel-based coordination model for component composition.
Mathematical Structures in Computer Science, Volume 14 (3): 329-366 (2004).
Farhad Arbab and J.J.M.M. Rutten
A Coinductive Calculus of Component Connectors.
WADT 2002: 34-55
J.V. Guillen-Scholten, F. Arbab, F.S. de Boer, and M.M. Bonsangue.
Mobile Channels, Implementation Within and Outside Components.
Proceedings of Formal Methods and Component Interaction, ENTCS 66.4, Elsevier Science, 2002.
J.V. Guillen-Scholten, F. Arbab, F. S. de Boer, and M. M. Bonsangue.
A Component Coordination Model Based on Mobile Channels.
Fundamenta Informaticae, IOS Press, vol. 72, pp. 1-22, 2006.
E. Wandeler, L. Thiele, M. H. G. Verhoef, P. Lieverse.
System Architecture Evaluation Using Modular Performance Analysis - A Case Study.
In Journal: Software Tools for Technology Transfer (STTT), To appear in 2006.
Elena Fersman and Leonid Mokrushin and Paul Pettersson and Wang Yi,
Schedulability analysis of fixed-priority systems using timed automata,
In Theoretical Computer Science (TCS), vol 354(2), March, 2006.
F.Arbab, C. Baier, J. Rutten, M. Sirjani
Modelling Component Connectors in Reo by Constraint Automata
In Proc. of the 2nd International Workshop on Foundations of Coordination
Languages and Software Architectures (FOCLASA) 2003, vol 97, pp 25-46, ENTCS.
F. Arbab, C. Baier, F. de Boer, J. Rutten
Models and Temporal Logics for Timed Connector Circuits
Proceedings 2nd IEEE International Conference on Software Engineering
and Formal Methods (SEFM), Peking, September 2004.
F. Arbab, C. Baier, F. de Boer, J. Rutten. M. Sirjani
Synthesis of Reo Circuits for Implementation of Component-Connector
Automata Specifications
LNCS 3454, Proceedings COORDINATION'05, pp 236-251, 2005.
Christel Baier
Probabilistic Models for Reo connector circuits
Journal of Universal Computer Science, Vol. 11, No. 10, pp. 1718-1748.
J. A. Stankovic, Q. Cao, T. Doan, L. Fang, Z. He, R. Kiran, S. Lin, S. Son, R. Stoleru, A. Wood
Wireless Sensor Networks for In-Home Healthcare: Potential and Challenges
Department of Computer Science, University of Virginia
Bernhard K. Aichernig and Percy Antonio Pari Salas
Test Case Generation by OCL Mutation and Constraint Solving
QSIC 2OO5, Fifth International Conference on Quality Software,
Melbourne, Australia, September 19-21, 2005