#### Filter Results:

- Full text PDF available (88)

#### Publication Year

1998

2017

- This year (4)
- Last five years (43)

#### Publication Type

#### Co-author

#### Publication Venue

#### Key Phrases

Learn More

- Amir Hossein Ghamarian, Marc Geilen, +5 authors Marco Bekooij
- ACSD
- 2006

Synchronous Data Flow Graphs (SDFGs) are a useful tool for modeling and analyzing embedded data flow applications , both in a single processor and a multiprocessing context or for application mapping on platforms. Throughput analysis of these SDFGs is an important step for verifying through-put requirements of concurrent real-time applications, for instance… (More)

- Amir Hossein Ghamarian, Marc Geilen, Twan Basten, Bart D. Theelen, Mohammad Reza Mousavi, Sander Stuijk
- 2006 Formal Methods in Computer Aided Design
- 2006

Synchronous data flow graphs (SDFGs) have proven to be suitable for specifying and analyzing streaming applications that run on single- or multi-processor platforms. Streaming applications essentially continue their execution indefinitely. Therefore, one of the key properties of an SDFG is liveness, i.e., whether all parts of the SDFG can run infinitely… (More)

- Sjoerd Cranen, Mohammad Reza Mousavi, Michel A. Reniers
- CONCUR
- 2008

We propose a rule format that guarantees associativity of binary operators with respect to all notions of behavioral equivalence that are defined in terms of (im)possibility of transitions, e.g., the notions below strong bisimilarity in van Glabbeek's spectrum. The initial format is a subset of the De Simone format. We show that all trivial generalizations… (More)

—We describe a formalisation of a subset of Ex-ecutable UML (xUML) in the process algebraic specification language mCRL2. This formalisation includes class diagrams with class generalisations and state machines with send and change events. The choice of these xUML constructs is dictated by their use in the modelling of railway interlocking systems. The long… (More)

- Mohammad Reza Mousavi, Michel A. Reniers
- Electr. Notes Theor. Comput. Sci.
- 2006

We present a prototype implementation of SOS meta-theory in the Maude term rewriting language. The prototype defines the basic concepts of SOS meta-theory (e.g., transition formulae, deduction rules and transition system specifications) in Maude. Besides the basic definitions, we implement methods for checking the premises of some SOS meta-theorems (e.g.,… (More)

- Narges Khakpour, Mohammad Reza Mousavi
- CONCUR
- 2015

We review and compare three notions of conformance testing for cyber-physical systems. We begin with a review of their underlying semantic models and present conformance-preserving translations between them. We identify the differences in the underlying semantic models and the various design decisions that lead to these substantially different notions of… (More)

- Mohammad Reza Mousavi, Michel A. Reniers, Jan Friso Groote
- Theor. Comput. Sci.
- 2007

In 1981 Structural Operational Semantics (SOS) was introduced as a systematic way to define operational semantics of programming languages by a set of rules of a certain shape [113]. Subsequently, the format of SOS rules became the object of study. Using so-called Transition System Specifications (TSS's) several authors syntactically restricted the format… (More)

SystemC is an IEEE standard system-level language used in hardware/software co-design and has been widely adopted in the industry. This paper describes a formal approach to verifying SystemC codes by providing a mapping to the process algebra mCRL2. The outstanding advantages of mCRL2 are the support for different data types and a powerful tool-set for… (More)

- Mohammad Reza Mousavi, Marjan Sirjani, Farhad Arbab
- Electr. Notes Theor. Comput. Sci.
- 2006

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… (More)

- Mohammad Reza Mousavi, Michel A. Reniers, Jan Friso Groote
- Inf. Process. Lett.
- 2005

Considering operators defined using Structural Operational Semantics (SOS), commuta-tivity axioms are intuitive properties that hold for many of them. Proving this intuition is usually a laborious task, requiring several pages of boring and standard proof. To save this effort, we propose a syntactic SOS format which guarantees commutativity for a set of… (More)