Information Technology Reference
In-Depth Information
20. Jaghoori, M.M., de Boer, F.S., Chothia, T., Sirjani, M.: Schedulability of asyn-
chronous real-time concurrent objects. J. Logic and Alg. Prog. 78(5), 402-416 (2009)
21. Jaghoori, M.M., Longuet, D., de Boer, F.S., Chothia, T.: Schedulability and com-
patibility of real time asynchronous objects. In: Proc. Real Time Systems Sympo-
sium, pp. 70-79. IEEE Computer Society Press, Los Alamitos (2008)
22. Johnsen, E.B., Owe, O.: An asynchronous communication model for distributed con-
current objects. Software and Systems Modeling 6(1), 35-58 (2007)
23. Kluppelholz, S., Baier, C.: Alternating-time stream logic for multi-agent systems.
Science of Computer Programming. Corrected Proof (2009) (in Press)
24. Kluppelholz, S., Baier, C.: Symbolic model checking for channel-based component
connectors. Science of Computer Programming 74(9), 688-701 (2009)
25. Larsen, K.G., Pettersson, P., Yi, W.: UPPAAL in a nutshell. STTT 1(1-2), 134-152
(1997)
26. Leister, W., Bjork, J., Schlatte, R., Griesmayer, A.: Validation of Creol models for
routing algorithms in wireless sensor networks. Report 1024, Norsk Regnesentral,
Oslo, Norway (2010)
27. Leister, W., Liang, X., Kluppelholz, S., Klein, J., Owe, O., Kazemeyni, F., Bjørk,
J., Østvold, B.M.: Modelling of biomedical sensor networks using the Creol tools.
Report 1022, Norsk Regnesentral, Oslo, Norway (2009)
28. Rumpe, B., Klein, C.: Automata describing object behavior. In: Object-Oriented
Behavioral Specifications, pp. 265-286. Springer, Heidelberg (1996)
29. Tschirner, S., Xuedong, L., Yi, W.: Model-based validation of QoS properties of
biomedical sensor networks. In: Proc. Embedded software (EMSOFT 2008), pp. 69-
78. ACM Press, New York (2008)
30. Vereofy source code of the peer-to-peer example (2010),
http://www.vereofy.de/download/examples/vereofy_p2p_example.zip
31. Yu, I.C., Johnsen, E.B., Owe, O.: Type-safe runtime class upgrades in Creol. In:
Gorrieri, R., Wehrheim, H. (eds.) FMOODS 2006. LNCS, vol. 4037, pp. 202-217.
Springer, Heidelberg (2006)
