Marjan Sirjani

Available identifiers

zbMath Open sirjani.marjanWikidataQ102385161 ScholiaQ102385161MaRDI QIDQ433342

List of research outcomes

Publication	Date of Publication	Type
CRYSTAL framework: cybersecurity assurance for cyber-physical systems	2024-06-25	Paper
A Formal Model to Integrate Behavioral and Structural Adaptations in Self-adaptive Systems	2024-03-14	Paper
https://portal.mardi4nfdi.de/entity/Q5094142	2022-08-02	Paper
Reo connectors and components as tagged signal models	2021-06-03	Paper
On time actors	2021-05-20	Paper
Compositional schedulability analysis of real-time actor-based systems	2017-06-09	Paper
https://portal.mardi4nfdi.de/entity/Q2989005	2017-05-19	Paper
Formal Modeling and Conformance Validation for WS-CDL using Reo and CASM	2015-03-19	Paper
Comparing three coordination models: Reo, ARC, and RRD	2013-12-13	Paper
Formal modeling of evolving self-adaptive systems	2013-06-06	Paper
Symbolic execution of Reo circuits using constraint automata	2012-07-13	Paper
Comparing three coordination models: Reo, ARC, and PBRD	2010-11-25	Paper
Vulnerability analysis of networks to detect multiphase attacks using the actor-based language Rebeca	2010-11-25	Paper
Actor-based slicing techniques for efficient reduction of Rebeca models	2010-08-26	Paper
Symmetry and partial order reduction techniques in model checking Rebeca	2010-02-05	Paper
Bounded Rational Search for On-the-Fly Model Checking of LTL Properties	2010-01-28	Paper
Schedulability of asynchronous real-time concurrent objects	2009-07-20	Paper
Compositional Semantics of System-Level Designs Written in SystemC	2008-07-01	Paper
Modeling component connectors in Reo by constraint automata	2006-06-30	Paper
https://portal.mardi4nfdi.de/entity/Q4681459	2005-06-23	Paper

Research outcomes over time

This page was built for person: Marjan Sirjani