The following pages link to Marjan Sirjani (Q433342):
Displayed 18 items.
- Symbolic execution of Reo circuits using constraint automata (Q433344) (← links)
- Compositional schedulability analysis of real-time actor-based systems (Q530212) (← links)
- Vulnerability analysis of networks to detect multiphase attacks using the actor-based language Rebeca (Q605695) (← links)
- Comparing three coordination models: Reo, ARC, and PBRD (Q608351) (← links)
- Symmetry and partial order reduction techniques in model checking Rebeca (Q845239) (← links)
- Actor-based slicing techniques for efficient reduction of Rebeca models (Q988163) (← links)
- Formal modeling of evolving self-adaptive systems (Q1951611) (← links)
- On time actors (Q2026808) (← links)
- Reo connectors and components as tagged signal models (Q2028750) (← links)
- Schedulability of asynchronous real-time concurrent objects (Q2390036) (← links)
- Modeling component connectors in Reo by constraint automata (Q2495551) (← links)
- Comparing Three Coordination Models: Reo, ARC, and RRD (Q2866318) (← links)
- (Q2989005) (← links)
- Bounded Rational Search for On-the-Fly Model Checking of LTL Properties (Q3400928) (← links)
- Compositional Semantics of System-Level Designs Written in SystemC (Q3508521) (← links)
- (Q4681459) (← links)
- (Q5094142) (← links)
- Formal Modeling and Conformance Validation for WS-CDL using Reo and CASM (Q5179212) (← links)