Mohammad Mahdi Jaghoori

According to our database, Mohammad Mahdi Jaghoori authored at least 40 papers between 2003 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Actors with Coroutine Support in Java.

Vlad Serbanescu, Frank S. de Boer, Mohammad Mahdi Jaghoori

Proceedings of the Formal Aspects of Component Software - 15th International Conference, 2018

ASCOOP: Actors in Scala with Cooperative Scheduling.

Vlad Serbanescu, Frank S. de Boer, Mohammad Mahdi Jaghoori

Proceedings of the 2018 IEEE International Conference on Computational Science and Engineering, 2018

2017

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

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

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

Proceedings of the 8th International Workshop on Science Gateways, 2016

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 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

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

Decidability Problems for Actor Systems.

Frank S. de Boer, Mohammad Mahdi Jaghoori, Cosimo Laneve, Gianluigi Zavattaro

Log. Methods Comput. Sci., 2014

User-oriented partial result evaluation in workflow-based science gateways.

Mohammad Mahdi Jaghoori, Sara Ramezani, Sílvia Delgado Olabarriaga

Proceedings of the 9th Workshop on Workflows in Support of Large-Scale Science, 2014

A Grid-Enabled Virtual Screening Gateway.

Mohammad Mahdi Jaghoori, Allard J. van Altena, Boris Bleijlevens, Sílvia D. Olabarriaga

Proceedings of the 6th International Workshop on Science Gateways, 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

Proceedings of the 10th IEEE International Conference on e-Science, 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

Proceedings of the Science Gateways for Distributed Computing Infrastructures, 2014

WS-PGRADE/gUSE-Based Science Gateways in Teaching.

Sílvia Delgado Olabarriaga, Ammar Benabdelkader, Matthan W. A. Caan, Mohammad Mahdi Jaghoori, Jens Krüger, Luis de la Garza, Christopher Mohr, Benjamin Schubert, Anatoli Danezi, Tamás Kiss

Proceedings of the Science Gateways for Distributed Computing Infrastructures, 2014

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

Proceedings of the fourth International Workshop on Interactions between Computer Science and Biology, 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

Proceedings of WORKS 2013: 8th Workshop On Workflows in Support of Large-Scale Science, 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

Proceedings of the 5th International Workshop on Science Gateways, 2013

The Future of a Missed Deadline.

Behrooz Nobakht, Frank S. de Boer, Mohammad Mahdi Jaghoori

Proceedings of the Coordination Models and Languages, 15th International Conference, 2013

2012

From Timed Reo Networks to Networks of Timed Automata.

Natallia Kokash, Mohammad Mahdi Jaghoori, Farhad Arbab

Proceedings of the Proceedings the 9th International Workshop on Formal Engineering approaches to Software Components and Architectures, 2012

Programming and deployment of active objects with application-level scheduling.

Behrooz Nobakht, Frank S. de Boer, Mohammad Mahdi Jaghoori, Rudolf Schlatte

Proceedings of the ACM Symposium on Applied Computing, 2012

Scheduling and Analysis of Real-Time Software Families.

Hamideh Sabouri, Mohammad Mahdi Jaghoori, Frank S. de Boer, Ramtin Khosravi

Proceedings of the 36th Annual IEEE Computer Software and Applications Conference, 2012

2011

From nonpreemptive to preemptive scheduling: from single-processor to multi-processor?

Mohammad Mahdi Jaghoori

Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

Composing Real-Time Concurrent Objects Refinement, Compatibility and Schedulability.

Mohammad Mahdi Jaghoori

Proceedings of the Fundamentals of Software Engineering - 4th IPM International Conference, 2011

Networks of Real-Time Actors.

Mohammad Mahdi Jaghoori, Ólafur Hlynsson, Marjan Sirjani

Proceedings of the Formal Aspects of Component Software - 8th International Symposium, 2011

Ten Years of Analyzing Actors: Rebeca Experience.

Marjan Sirjani, Mohammad Mahdi Jaghoori

Proceedings of the Formal Modeling: Actors, Open Systems, Biological Systems, 2011

2010

Timed Automata Semantics for Analyzing Creol

Mohammad Mahdi Jaghoori, Tom Chothia

Proceedings of the Proceedings Ninth International Workshop on the Foundations of Coordination Languages and Software Architectures, 2010

Symmetry and partial order reduction techniques in model checking Rebeca.

Mohammad Mahdi Jaghoori, Marjan Sirjani, Mohammad Reza Mousavi, Ehsan Khamespanah, Ali Movaghar

Acta Informatica, 2010

Dating Concurrent Objects: Real-Time Modeling and Schedulability Analysis.

Frank S. de Boer, Mohammad Mahdi Jaghoori, Einar Broch Johnsen

Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010

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

Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo.

Immo Grabe, Mohammad Mahdi Jaghoori, Bernhard K. Aichernig, Christel Baier, Tobias Blechmann, Frank S. de Boer, Andreas Griesmayer, Einar Broch Johnsen, Joachim Klein, Sascha Klüppelholz, Marcel Kyas, Wolfgang Leister, Rudolf Schlatte, Andries Stam, Martin Steffen, Simon Tschirner, Liang Xuedong, Wang Yi

Proceedings of the 3rd International Workshop on Harnessing Theories for Tool Support in Software, 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

Proceedings of the Formal Methods and Software Engineering, 2009

Modular Schedulability Analysis of Concurrent Objects in Creol.

Frank S. de Boer, Tom Chothia, Mohammad Mahdi Jaghoori

Proceedings of the Fundamentals of Software Engineering, 2009

The Credo Methodology - (Extended Version).

Immo Grabe, Mohammad Mahdi Jaghoori, Joachim Klein, Sascha Klüppelholz, Andries Stam, Christel Baier, Tobias Blechmann, Bernhard K. Aichernig, Frank S. de Boer, Andreas Griesmayer

Proceedings of the Formal Methods for Components and Objects - 8th International Symposium, 2009

2008

Schedulability and Compatibility of Real Time Asynchronous Objects.

Mohammad Mahdi Jaghoori, Delphine Longuet, Frank S. de Boer, Tom Chothia

Proceedings of the 29th IEEE Real-Time Systems Symposium, 2008

2007

Coordinating Object Oriented Components Using Data-Flow Networks.

Mohammad Mahdi Jaghoori

Proceedings of the Formal Methods for Components and Objects, 6th International Symposium, 2007

2006

Modere: the model-checking engine of Rebeca.

Mohammad Mahdi Jaghoori, Ali Movaghar, Marjan Sirjani

Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

Compositional Semantics of an Actor-Based Language Using Constraint Automata.

Marjan Sirjani, Mohammad Mahdi Jaghoori, Christel Baier, Farhad Arbab

Proceedings of the Coordination Models and Languages, 8th International Conference, 2006

2005

Efficient Symmetry Reduction for an Actor-Based Model.

Mohammad Mahdi Jaghoori, Marjan Sirjani, Mohammad Reza Mousavi, Ali Movaghar

Proceedings of the Distributed Computing and Internet Technology, 2005

2004

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

Proceedings of the 4th International Conference on Application of Concurrency to System Design (ACSD 2004), 2004

2003

Model Checking in Rebeca.

Marjan Sirjani, Ali Movaghar, Hamed Iravanchi, Mohammad Mahdi Jaghoori, Amin Shali

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2003