M. Larsson, Anders Wall, C. Norström, I. Crnkovic.
In: .
2006
M. Staron, Ludwik Kuzniarz, C. Wohlin.
In: J. Syst. Softw..
2006
M. Mousavi, M. Sirjani, F. Arbab.
In: .
2006
Abstract:
We present an operational semantics for a component composition language called Reo. Reo connectors exogenously compose and coordinate the interactions among individual components that comprise a complex system, into a coherent collaboration. The formal semantics we present here paves the way for a rigorous study of the behavior of component composition mechanisms. To demonstrate the feasibility o...
Hossein Hojjat, Hootan Nakhost, M. Sirjani.
In: .
2006
Abstract:
The STP (Spanning Tree Protocol) which is standardized as IEEE 802.1D has been used in many bridges and switches of networks. This algorithm tries to eliminate loops in bridged networks. In this study the correctness of STP algorithm is formally verified using Extended Rebeca. In order to not to be confined to a specific case or set of cases we used a compositional verification approach. This allo...
F. Ghassemi, S. Tasharofi, M. Sirjani.
In: .
2006
Abstract:
A tool is developed in order to input Reo circuits and generate their corresponding constraint automata. The XML schemas for input and output are presented which establish a common interface for generating an integrated set of tools. Two heuristics in joining constraint automata are presented and experimental results are shown....
M. Jaghoori, A. Movaghar, M. Sirjani.
In: Proceedings of the 2006 ACM symposium on Applied computing.
2006
A. Cicchetti, D. D. Ruscio, A. Pierantonio.
In: Proceedings of the 2006 ACM symposium on Applied computing.
2006
W. Cazzola, A. Cicchetti, A. Pierantonio.
In: Proceedings of the 2006 ACM symposium on Applied computing.
2006
Kaj Hänninen, Jukka Mäki-Turja, Mikael Nolin.
In: 13th Annual IEEE International Symposium and Workshop on Engineering of Computer-Based Systems (ECBS'06).
2006
Marco Sinnema, S. Deelstra, J. Nijhuis, J. Bosch.
In: 13th Annual IEEE International Symposium and Workshop on Engineering of Computer-Based Systems (ECBS'06).
2006
J. Gustafsson, B. Lisper, R. Kirner, P. Puschner.
In: Real-Time Systems.
2006
Eelke Folmer, M. V. Welie, J. Bosch.
In: Inf. Softw. Technol..
2006
N. Medvidović, R. Krikhaar, R. Nord, J. Stafford, J. Bosch.
In: .
2006
A. Jansen, J. Bosch.
In: .
2006
J. V. D. Ven, A. Jansen, J. Nijhuis, J. Bosch.
In: .
2006