Searching for authors named "Marjan Sirjani" – sorted by Relevance.
12 documents found, showing 1 through 10.
Next 10 →
-
Integrating Module Checking and Deduction in a Formal Proof for the Perlman Spanning Tree Protocol (STP)
- ….hojjat@(email omitted);) Hootan Nakhost (Sharif University of Technology, Iran nokhost@(email omitted);) Marjan Sirjani (University…
- Add To MetaCart
-
FOCLASA 2005 Preliminary Version Formal Semantics and Analysis of Component Connectors in Reo
- … MohammadReza Mousavi1, Marjan Sirjani2,3, Farhad Arbab2 1 TU/ Eindhoven, Eindhoven, The Netherlands 2 CWI…
- Add To MetaCart
-
Application of Process Algebraic Verification and Reduction Techniques to SystemC Designs
- …Reza Mousavi Eindhoven University of Technology, Eindhoven, The Netherlands Marjan Sirjani University of Tehran…
- Add To MetaCart
-
Formal Specification and Verification of Concurrent and Reactive Systems
- …FORMAL SPECIFICATION AND VERIFICATION OF CONCURRENT AND REACTIVE SYSTEMS By Marjan Sirjani…
- Cited by 2 (2 self) – Add To MetaCart
-
Model checking, automated abstraction, and compositional verification of Rebeca models
- … Verification of Rebeca Models Marjan Sirjani (Department of Electrical and Computer Engineering University…
- Cited by 1 (1 self) – Add To MetaCart
-
Specification, Simulation, and Verification of Component Connectors in Reo
- … , Marjan Sirjani 2,3 , Farhad Arbab 2,4 1 Eindhoven University of Technology, Eindhoven, The Netherlands 2…
- Cited by 1 (0 self) – Add To MetaCart
-
Effective modeling of software architectural assemblies using Constraint Automata
- … Angeles, CA 90048, USA Email: mehta@(email omitted);, URL:cse.usc.edu/~mehta Marjan Sirjani 1 and Farhad Arbab CWI…
- Cited by 5 (3 self) – Add To MetaCart
-
Modeling Component Connectors in Reo by Constraint Automata (Extended Abstract)
- …,c , Marjan Sirjani a,d Abstract a Centrum voor Wiskunde en Informatica, Department of Software Engineering…
- Cited by 31 (17 self) – Add To MetaCart
-
A.: Modular verification of a componentbased actor language
- …Modular Verification of a Component-Based Actor Language Marjan Sirjani (Department of Electrical…
- Cited by 2 (2 self) – Add To MetaCart
-
Synthesis of Reo Circuits for Implementation of Component-Connector Automata Specifications
- … Arbab a,c , Christel Baier b , Frank de Boer a,c , Jan Rutten a,d , Marjan Sirjani e a CWI, Amsterdam…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
