Marjan Sirjani

From MaRDI portal
Person:433342

Available identifiers

zbMath Open sirjani.marjanWikidataQ102385161 ScholiaQ102385161MaRDI QIDQ433342

List of research outcomes





PublicationDate of PublicationType
CRYSTAL framework: cybersecurity assurance for cyber-physical systems2024-06-25Paper
A Formal Model to Integrate Behavioral and Structural Adaptations in Self-adaptive Systems2024-03-14Paper
https://portal.mardi4nfdi.de/entity/Q50941422022-08-02Paper
Reo connectors and components as tagged signal models2021-06-03Paper
On time actors2021-05-20Paper
Compositional schedulability analysis of real-time actor-based systems2017-06-09Paper
https://portal.mardi4nfdi.de/entity/Q29890052017-05-19Paper
Formal Modeling and Conformance Validation for WS-CDL using Reo and CASM2015-03-19Paper
Comparing three coordination models: Reo, ARC, and RRD2013-12-13Paper
Formal modeling of evolving self-adaptive systems2013-06-06Paper
Symbolic execution of Reo circuits using constraint automata2012-07-13Paper
Comparing three coordination models: Reo, ARC, and PBRD2010-11-25Paper
Vulnerability analysis of networks to detect multiphase attacks using the actor-based language Rebeca2010-11-25Paper
Actor-based slicing techniques for efficient reduction of Rebeca models2010-08-26Paper
Symmetry and partial order reduction techniques in model checking Rebeca2010-02-05Paper
Bounded Rational Search for On-the-Fly Model Checking of LTL Properties2010-01-28Paper
Schedulability of asynchronous real-time concurrent objects2009-07-20Paper
Compositional Semantics of System-Level Designs Written in SystemC2008-07-01Paper
Modeling component connectors in Reo by constraint automata2006-06-30Paper
https://portal.mardi4nfdi.de/entity/Q46814592005-06-23Paper

Research outcomes over time

This page was built for person: Marjan Sirjani