SC Harvester Papers Database Interface

Industrial Requirements in Development of Embedded Real-Time Systems-Interviews with Senior Designers

Kaj Hänninen, Jukka Mäki-Turja, Mikael Nolin. 2005

Chapter 5 Bridging Patterns

Eelke Folmer, M. V. Welie, J. Bosch. 2005

Extending rebeca with synchronous messages and reusable components

M. Sirjani, F. deBoer, A. Movaghar, A. Shali. In: Report - Software engineering. 2005

Model Checking, Automated Abstraction, and Compositional Verification of Rebeca Models

M. Sirjani, A. Movaghar, A. Shali, F. D. Boer. In: J. Univers. Comput. Sci.. 2005

Abstract: Actor-based modeling, with encapsulated active objects which communi- cate asynchronously, is generally recognized to be well-suited for representing concur- rent and distributed systems. In this paper we discuss the actor-based language Rebeca which is based on a formal operational interpretation of the actor model. Its Java-like syntax and object-based style of modeling makes it easy to use for ...

Modular Verification of a Component-Based Actor Language

M. Sirjani, F. D. Boer, Ali Movaghar-Rahimabadi. In: J. Univers. Comput. Sci.. 2005

Abstract: Rebeca is an actor-based language for modeling concurrent and distributed systems as a set of reactive objects which communicate via asynchronous message passing. Rebeca is extended to support synchronous communication, and at the same time components are introduced to encapsulate the tightly coupled reactive objects which may communicate by synchronous messages. This provide us a language for mod...

Preface

F. Arbab, M. Sirjani. In: . 2005

Abstract: The present volume contains the proceedings of the sixth IPM International Conference on Fundamentals of Software Engineering (FSEN), held in Tehran, Iran, April 22–24, 2015. This event, FSEN 2015, was organized by the School of Computer Science at the Institute for Research in Fundamental Sciences (IPM) in Iran, in cooperation with ACM SIGSOFT and IFIP WG 2.2. The topics of interest span all aspe...

A Formal Model for Organization of Multi-agent Systems

F. Ghassemi, N. N. bakhsh, B. T. Ladani, M. Sirjani. 2005

Synthesis of Reo circuits

F. Arbab, C. Baier, F. Boer, J. Rutten, M. Sirjani. In: Lecture Notes in Computer Science. 2005

INTEGRATING MODEL CHECKING AND DEDUCTION FOR REBECA

M. Sirjani, A. Movaghar. In: Scientia Iranica. 2005

Simulation as a tool for problem detection in rescue operation planning

O. Leifler, J. Jenvald. In: . 2005

Critique and Visualization as decision support for mass-casualty emergency management

O. Leifler, J. Jenvald. In: . 2005

Coordinating Heterogeneous Peer Databases in P2P Network

A. Masud, Golam Sarwar, M. Rahman. In: . 2005

Methodological tools and procedures for experimentation in C2 system development - Concept development and experimentation in theory and practice

P. Wikberg, Pär-Anders Albinsson, Dennis Andersson, Torbjörn Danielsson, H. Holmström et al. In: . 2005

Formal Verification of Fault Tolerance Aspects

Ruben Alexandersson, Daniel Larsson. In: . 2005

Aspect oriented software implemented node level fault tolerance

Ruben Alexandersson, Peter Öhman. In: . 2005