Information Technology Reference
In-Depth Information
4. Arbab, F., Baier, C., Rutten, J.J., Sirjani, M.: Modeling component connectors in
Reo by constraint automata. In: Proc. FOCLASA 2003. ENTCS, vol. 97, pp. 25-46.
Elsevier, Amsterdam (2004)
5. Baier, C., Blechmann, T., Klein, J., Kluppelholz, S.: Formal Verification for Com-
ponents and Connectors. In: de Boer, F.S., Bonsangue, M.M., Madelaine, E. (eds.)
FMCO 2008. LNCS, vol. 5751, pp. 82-101. Springer, Heidelberg (2009)
6. Baier, C., Blechmann, T., Klein, J., Kluppelholz, S.: A Uniform Framework for Mod-
eling and Verifying Components and Connectors. In: Field, J., Vasconcelos, V.T.
(eds.) COORDINATION 2009. LNCS, vol. 5521, pp. 247-267. Springer, Heidelberg
(2009)
7. Baier, C., Sirjani, M., Arbab, F., Rutten, J.J.M.M.: Modeling Component Connec-
tors in Reo by Constraint Automata. In: Proceedings of the 2nd International Work-
shop on Foundations of Coordination Languages and Software Architectures. Sci-
ence of Computer Programming, vol. 61, pp. 75-113 (2006)
8. Behrmann, G., David, A., Larsen, K.G., Hakansson, J., Pettersson, P., Yi, W., Hen-
driks, M.: Uppaal 4.0. In: QEST, pp. 125-126. IEEE Computer Society, Los Alami-
tos (2006)
9. Blechmann, T., Baier, C.: Checking equivalence for Reo networks. In: Electronic
Notes in Theoretical Computer Science, vol. 215, pp. 209-226 (2008)
10. Blechmann, T., Klein, J., Kluppelholz, S.: Vereofy, http://www.vereofy.de
11. Blechmann, T., Klein, J., Kluppelholz, S.: Vereofy User Manual. TU Dresden
(2008 -2009), http://www.vereofy.de
12. Clavel, M., Duran, F., Eker, S., Lincoln, P., Martı-Oliet, N., Meseguer, J., Quesada,
J.F.: Maude: Specification and programming in rewriting logic. Theoretical Com-
puter Science (2001)
13. CWI Coordination Group. Eclipse coordination tools,
http://reo.project.cwi.nl/cgi-bin/trac.cgi/reo/wiki/Tools
14. de Boer, F., Chothia, T., Jaghoori, M.M.: Modular schedulability analysis of con-
current objects in Creol. In: Arbab, F., Sirjani, M. (eds.) Fundamentals of Software
Engineering. LNCS, vol. 5961, pp. 212-227. Springer, Heidelberg (2010)
15. de Boer, F.S., Grabe, I., Jaghoori, M.M., Stam, A., Yi, W.: Modeling and Analysis
of Thread-Pools in an Industrial Communication Platform. In: Breitman, K., Cav-
alcanti, A. (eds.) ICFEM 2009. LNCS, vol. 5885, pp. 367-386. Springer, Heidelberg
(2009)
16. Grabe, I., Jaghoori, M.M., Aichernig, B., Baier, C., Blechmann, T., de Boer, F.,
Griesmayer, A., Johnsen, E.B., Klein, J., Kluppelholz, S., Kyas, M., Leister, W.,
Schlatte, R., Stam, A., Steffen, M., Tschirner, S., Liang, X., Yi, W.: Credo method-
ology. Modeling and analyzing a peer-to-peer system in Credo. In: Johnsen, E.B.,
Stolz, V. (eds.) Proceedings of the 3nd International Workshop on Harnessing The-
ories for Tool Support in Software (TTSS 2009), ICTAC 2009 satellite Workshop.
Electronic Notes in Theoretical Computer Science. Elsevier, Amsterdam (2010)
17. Grabe, I., Steffen, M., Torjusen, A.B.: Executable Interface Specifications for Test-
ing Asynchronous Creol Components. In: Arbab, F., Sirjani, M. (eds.) Fundamen-
tals of Software Engineering. LNCS, vol. 5961, pp. 324-339. Springer, Heidelberg
(2010)
18. Griesmayer, A., Aichernig, B.K., Johnsen, E.B., Schlatte, R.: Dynamic symbolic ex-
ecution for testing distributed objects. In: Dubois, C. (ed.) Tests and Proofs. LNCS,
vol. 5668, pp. 105-120. Springer, Heidelberg (2009)
19. Jaghoori, M.M.: Coordinating object oriented components using data-flow net-
works. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO
2007. LNCS, vol. 5382, pp. 280-311. Springer, Heidelberg (2008)
 
Search WWH ::




Custom Search