Skip to content

Mohammad Mahdi Jaghoori

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

14

Venues

9

Active years

2003–2014

Best venue rank

Multiconference

Where they publish

Papers

14 indexed papers, newest first.

YearVenueTitleAuthors
2014SCUser-oriented partial result evaluation in workflow-based science gateways.Mohammad Mahdi Jaghoori, Sara Ramezani, Slvia Delgado Olabarriaga
2013CoordinationThe Future of a Missed Deadline.Behrooz Nobakht, Frank S. de Boer, Mohammad Mahdi Jaghoori
2013SCUnderstanding workflows for distributed computing: nitty-gritty details.Slvia Delgado Olabarriaga, Mohammad Mahdi Jaghoori, Vladimir Korkhov, Barbera D. C. van Schaik, Antoine H. C. van Kampen
2012COMPSACScheduling and Analysis of Real-Time Software Families.Hamideh Sabouri, Mohammad Mahdi Jaghoori, Frank S. de Boer, Ramtin Khosravi
2012CONCURDecidability Problems for Actor Systems.Frank S. de Boer, Mohammad Mahdi Jaghoori, Cosimo Laneve, Gianluigi Zavattaro
2012SACProgramming and deployment of active objects with application-level scheduling.Behrooz Nobakht, Frank S. de Boer, Mohammad Mahdi Jaghoori, Rudolf Schlatte
2011SACFrom nonpreemptive to preemptive scheduling: from single-processor to multi-processor?Mohammad Mahdi Jaghoori
2010CONCURDating Concurrent Objects: Real-Time Modeling and Schedulability Analysis.Frank S. de Boer, Mohammad Mahdi Jaghoori, Einar Broch Johnsen
2009ICFEMModeling and Analysis of Thread-Pools in an Industrial Communication Platform.Frank S. de Boer, Immo Grabe, Mohammad Mahdi Jaghoori, Andries Stam, Wang Yi
2008RTSSSchedulability and Compatibility of Real Time Asynchronous Objects.Mohammad Mahdi Jaghoori, Delphine Longuet, Frank S. de Boer, Tom Chothia
2006CoordinationCompositional Semantics of an Actor-Based Language Using Constraint Automata.Marjan Sirjani, Mohammad Mahdi Jaghoori, Christel Baier, Farhad Arbab
2006SACModere: the model-checking engine of Rebeca.Mohammad Mahdi Jaghoori, Ali Movaghar, Marjan Sirjani
2005ICDCITEfficient Symmetry Reduction for an Actor-Based Model.Mohammad Mahdi Jaghoori, Marjan Sirjani, Mohammad Reza Mousavi, Ali Movaghar
2003PDPTAModel Checking in Rebeca.Marjan Sirjani, Ali Movaghar, Hamed Iravanchi, Mohammad Mahdi Jaghoori, Amin Shali