Mohammad Mahdi Jaghoori

Publication Activity (10 Years)

Years Active: 2003-2018
Publications (10 Years): 5

Top Topics

Chemical Structures

Computational Neuroscience

Virtual Screening

Top Venues

Concurr. Comput. Pract. Exp.

Electron. Notes Theor. Comput. Sci.

Publications

Vlad Serbanescu, Frank S. de Boer, Mohammad Mahdi Jaghoori
ASCOOP: Actors in Scala with Cooperative Scheduling. CSE (2018)
Vlad Serbanescu, Frank S. de Boer, Mohammad Mahdi Jaghoori
Actors with Coroutine Support in Java. FACS (2018)
Mohammad Mahdi Jaghoori, Frank S. de Boer, Delphine Longuet, Tom Chothia, Marjan Sirjani
Compositional schedulability analysis of real-time actor-based systems. Acta Informatica 54 (4) (2017)
Gabriele Pierantoni, Dermot Frost, Sandra Gesing, Sílvia Delgado Olabarriaga, Mohammad Mahdi Jaghoori, Gábor Terstyánszky, Junaid Arshad
A Model for Information and Action Flows Connecting Science Gateways to Distributed Computing Infrastructures. IWSG (2016)
Mohammad Mahdi Jaghoori, Boris Bleijlevens, Sílvia Delgado Olabarriaga
1001 Ways to run AutoDock Vina for virtual screening. J. Comput. Aided Mol. Des. 30 (3) (2016)
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
A data-centric neuroscience gateway: design, implementation, and experiences. Concurr. Comput. Pract. Exp. 27 (2) (2015)
Mohammad Mahdi Jaghoori, Allard J. van Altena, Boris Bleijlevens, Sara Ramezani, Juan Luis Font, Sílvia D. Olabarriaga
A multi-infrastructure gateway for virtual drug screening. Concurr. Comput. Pract. Exp. 27 (16) (2015)
Frank S. de Boer, Mohammad Mahdi Jaghoori, Cosimo Laneve, Gianluigi Zavattaro
Decidability Problems for Actor Systems. Log. Methods Comput. Sci. 10 (4) (2014)
Behrooz Nobakht, Frank S. de Boer, Marcello M. Bonsangue, Stijn de Gouw, Mohammad Mahdi Jaghoori
Monitoring method call sequences using annotations. Sci. Comput. Program. 94 (2014)
Mohammad Mahdi Jaghoori, Allard J. van Altena, Boris Bleijlevens, Sílvia D. Olabarriaga
A Grid-Enabled Virtual Screening Gateway. IWSG (2014)
Mohammad Mahdi Jaghoori, Sara Ramezani, Sílvia Delgado Olabarriaga
User-oriented partial result evaluation in workflow-based science gateways. WORKS@SC (2014)
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
Scientific Workflow Management - For Whom? eScience (2014)
Behrooz Nobakht, Frank S. de Boer, Mohammad Mahdi Jaghoori
The Future of a Missed Deadline. COORDINATION (2013)
Mohammad Mahdi Jaghoori, Sung-Shik T. Q. Jongmans, Frank S. de Boer, Julio E. Peironcely, Jean-Loup Faulon, Theo H. Reijmers, Thomas Hankemeier
PMG: Multi-core Metabolite Identification. Electron. Notes Theor. Comput. Sci. 299 (2013)
Sílvia Delgado Olabarriaga, Mohammad Mahdi Jaghoori, Vladimir Korkhov, Barbera D. C. van Schaik, Antoine H. C. van Kampen
Understanding workflows for distributed computing: nitty-gritty details. WORKS@SC (2013)
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
A Data-Centric Science Gateway for Computational Neuroscience. IWSG (2013)
Natallia Kokash, Mohammad Mahdi Jaghoori, Farhad Arbab
From Timed Reo Networks to Networks of Timed Automata. Electron. Notes Theor. Comput. Sci. 295 (2013)
Behrooz Nobakht, Frank S. de Boer, Mohammad Mahdi Jaghoori, Rudolf Schlatte
Programming and deployment of active objects with application-level scheduling. SAC (2012)
Frank S. de Boer, Mohammad Mahdi Jaghoori, Cosimo Laneve, Gianluigi Zavattaro
Decidability Problems for Actor Systems. CONCUR (2012)
Hamideh Sabouri, Mohammad Mahdi Jaghoori, Frank S. de Boer, Ramtin Khosravi
Scheduling and Analysis of Real-Time Software Families. COMPSAC (2012)
Mohammad Mahdi Jaghoori, Ólafur Hlynsson, Marjan Sirjani
Networks of Real-Time Actors. FACS (2011)
Mohammad Mahdi Jaghoori
From nonpreemptive to preemptive scheduling: from single-processor to multi-processor? SAC (2011)
Mohammad Mahdi Jaghoori
Composing Real-Time Concurrent Objects Refinement, Compatibility and Schedulability. FSEN (2011)
Marjan Sirjani, Mohammad Mahdi Jaghoori
Ten Years of Analyzing Actors: Rebeca Experience. Formal Modeling: Actors, Open Systems, Biological Systems (2011)
Mohammad Mahdi Jaghoori, Marjan Sirjani, Mohammad Reza Mousavi, Ehsan Khamespanah, Ali Movaghar
Symmetry and partial order reduction techniques in model checking Rebeca. Acta Informatica 47 (1) (2010)
Frank S. de Boer, Mohammad Mahdi Jaghoori, Einar Broch Johnsen
Dating Concurrent Objects: Real-Time Modeling and Schedulability Analysis. CONCUR (2010)
Mohammad Mahdi Jaghoori, Tom Chothia
Timed Automata Semantics for Analyzing Creol FOCLASA (2010)
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
Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo. Electron. Notes Theor. Comput. Sci. 266 (2010)
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
The Credo Methodology - (Extended Version). FMCO (2009)
Frank S. de Boer, Immo Grabe, Mohammad Mahdi Jaghoori, Andries Stam, Wang Yi
Modeling and Analysis of Thread-Pools in an Industrial Communication Platform. ICFEM (2009)
Frank S. de Boer, Tom Chothia, Mohammad Mahdi Jaghoori
Modular Schedulability Analysis of Concurrent Objects in Creol. FSEN (2009)
Mohammad Mahdi Jaghoori, Frank S. de Boer, Tom Chothia, Marjan Sirjani
Schedulability of asynchronous real-time concurrent objects. J. Log. Algebraic Methods Program. 78 (5) (2009)
Mohammad Mahdi Jaghoori, Delphine Longuet, Frank S. de Boer, Tom Chothia
Schedulability and Compatibility of Real Time Asynchronous Objects. RTSS (2008)
Mohammad Mahdi Jaghoori
Coordinating Object Oriented Components Using Data-Flow Networks. FMCO (2007)
Marjan Sirjani, Mohammad Mahdi Jaghoori, Christel Baier, Farhad Arbab
Compositional Semantics of an Actor-Based Language Using Constraint Automata. COORDINATION (2006)
Mohammad Mahdi Jaghoori, Ali Movaghar, Marjan Sirjani
Modere: the model-checking engine of Rebeca. SAC (2006)
Mohammad Mahdi Jaghoori, Marjan Sirjani, Mohammad Reza Mousavi, Ali Movaghar
Efficient Symmetry Reduction for an Actor-Based Model. ICDCIT (2005)
Marjan Sirjani, Amin Shali, Mohammad Mahdi Jaghoori, Hamed Iravanchi, Ali Movaghar
A Front-End Tool for Automated Abstraction and Modular Verification of Actor-Based Models. ACSD (2004)
Marjan Sirjani, Ali Movaghar, Hamed Iravanchi, Mohammad Mahdi Jaghoori, Amin Shali
Model Checking in Rebeca. PDPTA (2003)