Marjan Sirjani

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Timed actors and their formal verification	2025-07-24	Paper
CRYSTAL framework: cybersecurity assurance for cyber-physical systems Journal of Logical and Algebraic Methods in Programming	2024-06-25	Paper
A Formal Model to Integrate Behavioral and Structural Adaptations in Self-adaptive Systems	2024-03-14	Paper
scientific article; zbMATH DE number 7566069 (Why is no real title available?) (available as arXiv preprint)	2022-08-02	Paper
scientific article; zbMATH DE number 7566069 (Why is no real title available?)	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 Acta Informatica	2017-06-09	Paper
Automated analysis of Reo circuits using symbolic execution	2017-05-19	Paper
Formal modeling and conformance validation for WS-CDL using Reo and CASM Electronic Notes in Theoretical Computer Science	2015-03-19	Paper
Comparing three coordination models: Reo, ARC, and RRD Electronic Notes in Theoretical Computer Science	2013-12-13	Paper
Formal modeling of evolving self-adaptive systems Science of Computer Programming	2013-06-06	Paper
Symbolic execution of Reo circuits using constraint automata Science of Computer Programming	2012-07-13	Paper
Comparing three coordination models: Reo, ARC, and PBRD Science of Computer Programming	2010-11-25	Paper
Vulnerability analysis of networks to detect multiphase attacks using the actor-based language Rebeca Computers and Electrical Engineering	2010-11-25	Paper
Actor-based slicing techniques for efficient reduction of Rebeca models Science of Computer Programming	2010-08-26	Paper
Symmetry and partial order reduction techniques in model checking Rebeca Acta Informatica	2010-02-05	Paper
Bounded rational search for on-the-fly model checking of LTL properties Fundamentals of Software Engineering	2010-01-28	Paper
Schedulability of asynchronous real-time concurrent objects The Journal of Logic and Algebraic Programming	2009-07-20	Paper
Compositional Semantics of System-Level Designs Written in SystemC Lecture Notes in Computer Science	2008-07-01	Paper
Modeling component connectors in Reo by constraint automata Science of Computer Programming	2006-06-30	Paper
scientific article; zbMATH DE number 2182600 (Why is no real title available?)	2005-06-23	Paper

Research outcomes over time

This page was built for person: Marjan Sirjani