Model Checking in Rebeca. - Marjan Sirjani; Ali Movaghar 001; Hamed Iravanchi; Mohammad Mahdi Jaghoori; Amin Shali (PDPTA, 2003)

A Front-End Tool for Automated Abstraction and Modular Verification of Actor-Based Models. - Marjan Sirjani; Amin Shali; Mohammad Mahdi Jaghoori; Hamed Iravanchi; Ali Movaghar 001 (ACSD, 2004)

Efficient Symmetry Reduction for an Actor-Based Model. - Mohammad Mahdi Jaghoori; Marjan Sirjani; Mohammad Reza Mousavi 001; Ali Movaghar 001 (ICDCIT, 2005)

Compositional Semantics of an Actor-Based Language Using Constraint Automata. - Marjan Sirjani; Mohammad Mahdi Jaghoori; Christel Baier; Farhad Arbab (COORDINATION, 2006)

Modere: the model-checking engine of Rebeca. - Mohammad Mahdi Jaghoori; Ali Movaghar 001; Marjan Sirjani (SAC, 2006)

Coordinating Object Oriented Components Using Data-Flow Networks. - Mohammad Mahdi Jaghoori (FMCO, 2007)

Schedulability and Compatibility of Real Time Asynchronous Objects. - Mohammad Mahdi Jaghoori; Delphine Longuet; Frank S. de Boer; Tom Chothia (RTSS, 2008)

The Credo Methodology - (Extended Version). - Immo Grabe; Mohammad Mahdi Jaghoori; Joachim Klein 001; Sascha Klüppelholz; Andries Stam; Christel Baier; Tobias Blechmann 001; Bernhard K. Aichernig; Frank S. de Boer; Andreas Griesmayer (FMCO, 2009)

Modular Schedulability Analysis of Concurrent Objects in Creol. - Frank S. de Boer; Tom Chothia; Mohammad Mahdi Jaghoori (FSEN, 2009)

Modeling and Analysis of Thread-Pools in an Industrial Communication Platform. - Frank S. de Boer; Immo Grabe; Mohammad Mahdi Jaghoori; Andries Stam; Wang Yi 001 (ICFEM, 2009)

Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo. - Immo Grabe; Mohammad Mahdi Jaghoori; Bernhard K. Aichernig; Christel Baier; Tobias Blechmann 001; Frank S. de Boer; Andreas Griesmayer; Einar Broch Johnsen; Joachim Klein 001; Sascha Klüppelholz; Marcel Kyas; Wolfgang Leister; et al. (TTSS, 2009)

Schedulability of asynchronous real-time concurrent objects. - Mohammad Mahdi Jaghoori; Frank S. de Boer; Tom Chothia; Marjan Sirjani (J. Log. Algebraic Methods Program., 2009)

Dating Concurrent Objects: Real-Time Modeling and Schedulability Analysis. - Frank S. de Boer; Mohammad Mahdi Jaghoori; Einar Broch Johnsen (CONCUR, 2010)

Symmetry and partial order reduction techniques in model checking Rebeca. - Mohammad Mahdi Jaghoori; Marjan Sirjani; Mohammad Reza Mousavi 001; Ehsan Khamespanah; Ali Movaghar 001 (Acta Informatica, 2010)

Timed Automata Semantics for Analyzing Creol - Mohammad Mahdi Jaghoori; Tom Chothia (FOCLASA, 2010)

Ten Years of Analyzing Actors: Rebeca Experience. - Marjan Sirjani; Mohammad Mahdi Jaghoori (Formal Modeling: Actors, Open Systems, Biological Systems, 2011)

Networks of Real-Time Actors. - Mohammad Mahdi Jaghoori; Ólafur Hlynsson; Marjan Sirjani (FACS, 2011)

Composing Real-Time Concurrent Objects Refinement, Compatibility and Schedulability. - Mohammad Mahdi Jaghoori (FSEN, 2011)

From nonpreemptive to preemptive scheduling: from single-processor to multi-processor? - Mohammad Mahdi Jaghoori (SAC, 2011)

Scheduling and Analysis of Real-Time Software Families. - Hamideh Sabouri; Mohammad Mahdi Jaghoori; Frank S. de Boer; Ramtin Khosravi (COMPSAC, 2012)

Programming and deployment of active objects with application-level scheduling. - Behrooz Nobakht; Frank S. de Boer; Mohammad Mahdi Jaghoori; Rudolf Schlatte (SAC, 2012)

From Timed Reo Networks to Networks of Timed Automata. - Natallia Kokash; Mohammad Mahdi Jaghoori; Farhad Arbab (FESCA, 2012)

The Future of a Missed Deadline. - Behrooz Nobakht; Frank S. de Boer; Mohammad Mahdi Jaghoori (COORDINATION, 2013)

A Data-Centric Science Gateway for Computational Neuroscience. - Shayan Shahand; Ammar Benabdelkader; Jordi Huguet; Mohammad Mahdi Jaghoori; Mark Santcroos; Mostapha al Mourabit; Paul F. C. Groot; Matthan W. A. Caan; Antoine H. C. van Kampen; Sílvia D. Olabarriaga (IWSG, 2013)

Understanding workflows for distributed computing: nitty-gritty details. - Sílvia Delgado Olabarriaga; Mohammad Mahdi Jaghoori; Vladimir Korkhov; Barbera D. C. van Schaik; Antoine H. C. van Kampen (WORKS@SC, 2013)

PMG: Multi-core Metabolite Identification. - Mohammad Mahdi Jaghoori; Sung-Shik T. Q. Jongmans; Frank S. de Boer; Julio E. Peironcely; Jean-Loup Faulon; Theo H. Reijmers; Thomas Hankemeier (CS2Bio, 2013)

WS-PGRADE/gUSE-Based Science Gateways in Teaching. - Sílvia Delgado Olabarriaga; Ammar Benabdelkader; Matthan W. A. Caan; Mohammad Mahdi Jaghoori; Jens Krüger 002; Luis de la Garza; Christopher Mohr; Benjamin Schubert; Anatoli Danezi; Tamás Kiss (Science Gateways for Distributed Computing Infrastructures, 2014)

Computational Neuroscience Gateway: A Science Gateway Based on the WS-PGRADE/gUSE. - Shayan Shahand; Mohammad Mahdi Jaghoori; Ammar Benabdelkader; Juan Luis Font-Calvo; Jordi Huguet; Matthan W. A. Caan; Antoine H. C. van Kampen; Sílvia D. Olabarriaga (Science Gateways for Distributed Computing Infrastructures, 2014)

Scientific Workflow Management - For Whom? - Sílvia Delgado Olabarriaga; Gabriele Pierantoni; Giuliano Taffoni; Eva Sciacca; Mohammad Mahdi Jaghoori; Vladimir Korkhov; Giuliano Castelli; Claudio Vuerli; Ugo Becciani; Eoin Carley; Bob Bentley (eScience, 2014)

A Grid-Enabled Virtual Screening Gateway. - Mohammad Mahdi Jaghoori; Allard J. van Altena; Boris Bleijlevens; Sílvia D. Olabarriaga (IWSG, 2014)

User-oriented partial result evaluation in workflow-based science gateways. - Mohammad Mahdi Jaghoori; Sara Ramezani; Sílvia Delgado Olabarriaga (WORKS@SC, 2014)

Decidability Problems for Actor Systems. - Frank S. de Boer; Mohammad Mahdi Jaghoori; Cosimo Laneve; Gianluigi Zavattaro (Log. Methods Comput. Sci., 2014)

Monitoring method call sequences using annotations. - Behrooz Nobakht; Frank S. de Boer; Marcello M. Bonsangue; Stijn de Gouw; Mohammad Mahdi Jaghoori (Sci. Comput. Program., 2014)

A multi-infrastructure gateway for virtual drug screening. - Mohammad Mahdi Jaghoori; Allard J. van Altena; Boris Bleijlevens; Sara Ramezani; Juan Luis Font; Sílvia D. Olabarriaga (Concurr. Comput. Pract. Exp., 2015)

A data-centric neuroscience gateway: design, implementation, and experiences. - Shayan Shahand; Ammar Benabdelkader; Mohammad Mahdi Jaghoori; Mostapha al Mourabit; Jordi Huguet; Matthan W. A. Caan; Antoine H. C. van Kampen; Sílvia Delgado Olabarriaga (Concurr. Comput. Pract. Exp., 2015)

A Model for Information and Action Flows Connecting Science Gateways to Distributed Computing Infrastructures. - Gabriele Pierantoni; Dermot Frost; Sandra Gesing; Sílvia Delgado Olabarriaga; Mohammad Mahdi Jaghoori; Gábor Terstyánszky; Junaid Arshad (IWSG, 2016)

1001 Ways to run AutoDock Vina for virtual screening. - Mohammad Mahdi Jaghoori; Boris Bleijlevens; Sílvia Delgado Olabarriaga (J. Comput. Aided Mol. Des., 2016)

Compositional schedulability analysis of real-time actor-based systems. - Mohammad Mahdi Jaghoori; Frank S. de Boer; Delphine Longuet; Tom Chothia; Marjan Sirjani (Acta Informatica, 2017)

ASCOOP: Actors in Scala with Cooperative Scheduling. - Vlad Serbanescu 001; Frank S. de Boer; Mohammad Mahdi Jaghoori (CSE, 2018)

Actors with Coroutine Support in Java. - Vlad Serbanescu 001; Frank S. de Boer; Mohammad Mahdi Jaghoori (FACS, 2018)

20 Years of Actor Model Checking with Rebeca From Dining Philosophers to Micro-services. - Ehsan Khamespanah; Mohammad Mahdi Jaghoori (Rebeca for Actor Analysis in Action, 2025)