M. Jaghoori

Most-cited papers

1001 Ways to run AutoDock Vina for virtual screening
M. Jaghoori, Boris Bleijlevens, S. Olabarriaga
2016Journal of Computer-Aided Molecular Design185 citations Open access
Semantic Scholar
Ten Years of Analyzing Actors: Rebeca Experience
M. Sirjani, M. Jaghoori
2011Formal Modeling: Actors, Open Systems, Biological Systems74 citations
Semantic Scholar
Time At Your Service: Schedulability Analysis of Real-Time and Distributed Services
M. Jaghoori
201050 citations
Semantic Scholar
Schedulability of asynchronous real-time concurrent objects
M. Jaghoori, F. D. de Boer, Tom Chothia, M. Sirjani
2009J. Log. Algebraic Methods Program.44 citations Open access
Semantic Scholar
Modere: the model-checking engine of Rebeca
M. Jaghoori, A. Movaghar, M. Sirjani
2006ACM Symposium on Applied Computing43 citations
Semantic Scholar
Symmetry and partial order reduction techniques in model checking Rebeca
M. Jaghoori, M. Sirjani, M. Mousavi, Ehsan Khamespanah +1 more
2010Acta Informatica38 citations Open access
Semantic Scholar
A data‐centric neuroscience gateway: design, implementation, and experiences
Shayan Shahand, A. Benabdelkader, M. Jaghoori, M. al Mourabit +4 more
2015Concurrency and Computation35 citations Open access
Semantic Scholar
A front-end tool for automated abstraction and modular verification of actor-based models
M. Sirjani, A. Shali, M. Jaghoori, H. Iravanchi +1 more
2004Proceedings. Fourth International Conference on Application of Concurrency to System Design, 2004. ACSD 2004.32 citations
Semantic Scholar
Modular Schedulability Analysis of Concurrent Objects in Creol
F. D. de Boer, Tom Chothia, M. Jaghoori
2009Fundamentals of Software Engineering25 citations
Semantic Scholar
Decidability Problems for Actor Systems
F. D. de Boer, M. Jaghoori, C. Laneve, G. Zavattaro
2012International Conference on Concurrency Theory24 citations Open access
Semantic Scholar
Schedulability and Compatibility of Real Time Asynchronous Objects
M. Jaghoori, D. Longuet, F. D. de Boer, Tom Chothia
2008IEEE Real-Time Systems Symposium18 citations
Semantic Scholar
Compositional Semantics of an Actor-Based Language Using Constraint Automata
M. Sirjani, M. Jaghoori, C. Baier, F. Arbab
2006International Conference on Coordination Models and Languages18 citations
Semantic Scholar
Efficient Symmetry Reduction for an Actor-Based Model
M. Jaghoori, M. Sirjani, M. Mousavi, A. Movaghar
2005International Conference on Distributed Computing and Internet Technology18 citations
Semantic Scholar
Concurrent Objects : Real-Time Modeling and Schedulability Analysis ?
F. D. de Boer, M. Jaghoori, E. Johnsen
201016 citations
Semantic Scholar
Programming and deployment of active objects with application-level scheduling
Behrooz Nobakht, F. D. de Boer, M. Jaghoori, R. Schlatte
2012ACM Symposium on Applied Computing15 citations Open access
Semantic Scholar
Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo
Immo Grabe, M. Jaghoori, B. Aichernig, C. Baier +14 more
2010TTSS14 citations Open access
Semantic Scholar
Scheduling and Analysis of Real-Time Software Families
Hamideh Sabouri, M. Jaghoori, F. D. de Boer, R. Khosravi
20122012 IEEE 36th Annual Computer Software and Applications Conference12 citations
Semantic Scholar
Monitoring method call sequences using annotations
Behrooz Nobakht, F. D. de Boer, M. Bonsangue, Stijn de Gouw +1 more
2010Science of Computer Programming12 citations Open access
Semantic Scholar
Modeling and Analysis of Thread-Pools in an Industrial Communication Platform
F. D. de Boer, Immo Grabe, M. Jaghoori, A. Stam +1 more
2009IEEE International Conference on Formal Engineering Methods12 citations Open access
Semantic Scholar
A multi‐infrastructure gateway for virtual drug screening
M. Jaghoori, A. V. van Altena, Boris Bleijlevens, Sarang Ramezani +2 more
2015Concurrency and Computation10 citations Open access
Semantic Scholar
A Grid-Enabled Virtual Screening Gateway
M. Jaghoori, A. V. van Altena, Boris Bleijlevens, S. Olabarriaga
2014International Workshop on Science Gateways10 citations
Semantic Scholar
PMG: Multi-core Metabolite Identification
M. Jaghoori, S. Jongmans, F. D. De Boer, Julio E. Peironcely +3 more
2013CS2Bio10 citations Open access
Semantic Scholar
Compositional schedulability analysis of real-time actor-based systems
M. Jaghoori, F. D. de Boer, D. Longuet, Tom Chothia +1 more
2016Acta Informatica9 citations Open access
Semantic Scholar
Computational Neuroscience Gateway: A Science Gateway Based on the WS-PGRADE/gUSE
Shayan Shahand, M. Jaghoori, A. Benabdelkader, Juan Luis Font-Calvo +4 more
2014Science Gateways for Distributed Computing Infrastructures8 citations
Semantic Scholar
From Timed Reo Networks to Networks of Timed Automata
N. Kokash, M. Jaghoori, F. Arbab
2013FESCA8 citations Open access
Semantic Scholar
Understanding workflows for distributed computing: nitty-gritty details
S. Olabarriaga, M. Jaghoori, V. Korkhov, Barbera van Schaik +1 more
2013WORKS@SC8 citations
Semantic Scholar
A Data-Centric Science Gateway for Computational Neuroscience
Shayan Shahand, A. Benabdelkader, J. Huguet, M. Jaghoori +6 more
2013IWSG8 citations
Semantic Scholar
Timed Automata Semantics for Analyzing Creol
M. Jaghoori, Tom Chothia
2010FOCLASA8 citations Open access
Semantic Scholar
Model Checking in Rebeca
M. Sirjani, A. Movaghar, H. Iravanchi, M. Jaghoori +1 more
2003International Conference on Parallel and Distributed Processing Techniques and Applications7 citations
Semantic Scholar
WS-PGRADE/gUSE-Based Science Gateways in Teaching
S. Olabarriaga, A. Benabdelkader, M. Caan, M. Jaghoori +6 more
2014Science Gateways for Distributed Computing Infrastructures5 citations
Semantic Scholar
Composing Real-Time Concurrent Objects Refinement, Compatibility and Schedulability
M. Jaghoori
2011Fundamentals of Software Engineering5 citations Open access
Semantic Scholar
Model Checking CSMA / CD Protocol using an Actor-Based Language
M. Sirjani, Hassan Seyed Razi, A. Movaghar, M. Jaghoori +2 more
20044 citations
Semantic Scholar
Actors with Coroutine Support in Java
V. Serbanescu, F. D. de Boer, M. Jaghoori
2018International Workshop on Formal Aspects of Component Software3 citations Open access
Semantic Scholar
User-Oriented Partial Result Evaluation in Workflow-Based Science Gateways
M. Jaghoori, Sarang Ramezani, S. Olabarriaga
2014Works3 citations
Semantic Scholar
The Future of a Missed Deadline
Behrooz Nobakht, F. D. de Boer, M. Jaghoori
2013International Conference on Coordination Models and Languages3 citations Open access
Semantic Scholar
Networks of Real-Time Actors
M. Jaghoori, Ólafur Hlynsson, M. Sirjani
2011International Workshop on Formal Aspects of Component Software3 citations
Semantic Scholar
The Credo Methodology - (Extended Version)
Immo Grabe, M. Jaghoori, Joachim Klein, Sascha Klüppelholz +14 more
2009Formal Methods for Components and Objects3 citations
Semantic Scholar
Coordinating Object Oriented Components Using Data-Flow Networks
M. Jaghoori
2008Formal Methods for Components and Objects3 citations
Semantic Scholar
Processing Manager for Science Gateways
M. Jaghoori, Shayan Shahand, S. Olabarriaga
2015International Workshop on Science Gateways2 citations Open access
Semantic Scholar
From nonpreemptive to preemptive scheduling: from single-processor to multi-processor?
M. Jaghoori
2011ACM Symposium on Applied Computing2 citations
Semantic Scholar
20 Years of Actor Model Checking with Rebeca From Dining Philosophers to Micro-services
Ehsan Khamespanah, M. Jaghoori
2025Rebeca for Actor Analysis in Action1 citations
Semantic Scholar
A neuroscience gateway for handling and processing population imaging studies
M. Caan, J. Teeuw, Shayan Shahand, M. Jaghoori +3 more
20151 citations
Semantic Scholar
A Model for Information and Action Flows Connecting Science Gateways to Distributed Computing Infrastructures
G. Pierantoni, D. Frost, S. Gesing, S. Olabarriaga +3 more
2016IWSG0 citations
Semantic Scholar
HATS Project Title : Highly Adaptable and Trustworthy Software using Formal Models Instrument : Integrated Project Scheme : Information & Communication Technologies Future and Emerging Technologies Deliverable D 2 . 6 Refinement and Abstraction
Richard Bubel Tud, M. Jaghoori
20120 citations
Semantic Scholar
From Timed Reo Networks to Networks of
N. Kokash, M. Jaghoori, F. Arbab
20120 citations
Semantic Scholar
Model Checking Rebeca Code by SMV
M. Sirjani, A. Movaghar, H. Iravanchi, M. Jaghoori +1 more
20070 citations
Semantic Scholar
SEPID: A Simple Enhanced Process for Interactive-systems Development
M. Jaghoori, S. Mirian-Hosseinabadi, H. Sheikhveisi
20060 citations
Semantic Scholar