Mohammad Mahdi Jaghoori

zbMath Openjaghoori.mohammad-mahdiMaRDI QIDQ530208

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
Compositional schedulability analysis of real-time actor-based systems	2017-06-09	Paper
Composing real-time concurrent objects refinement, compatibility and schedulability	2012-06-29	Paper
Symmetry and partial order reduction techniques in model checking Rebeca	2010-02-05	Paper
Modular Schedulability Analysis of Concurrent Objects in Creol	2010-01-28	Paper
Schedulability of asynchronous real-time concurrent objects	2009-07-20	Paper

Research outcomes over time

This page was built for person: Mohammad Mahdi Jaghoori