Mohammad Mahdi Jaghoori

Affiliations:
  • National Research Institute for Mathematics and Computer Science, Amsterdam, Netherlands


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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2018
Actors with Coroutine Support in Java.
Proceedings of the Formal Aspects of Component Software - 15th International Conference, 2018

ASCOOP: Actors in Scala with Cooperative Scheduling.
Proceedings of the 2018 IEEE International Conference on Computational Science and Engineering, 2018

2017
Compositional schedulability analysis of real-time actor-based systems.
Acta Informatica, 2017

2016
1001 Ways to run AutoDock Vina for virtual screening.
J. Comput. Aided Mol. Des., 2016

A Model for Information and Action Flows Connecting Science Gateways to Distributed Computing Infrastructures.
Proceedings of the 8th International Workshop on Science Gateways, 2016

2015
A data-centric neuroscience gateway: design, implementation, and experiences.
Concurr. Comput. Pract. Exp., 2015

A multi-infrastructure gateway for virtual drug screening.
Concurr. Comput. Pract. Exp., 2015

2014
Monitoring method call sequences using annotations.
Sci. Comput. Program., 2014

Decidability Problems for Actor Systems.
Log. Methods Comput. Sci., 2014

User-oriented partial result evaluation in workflow-based science gateways.
Proceedings of the 9th Workshop on Workflows in Support of Large-Scale Science, 2014

A Grid-Enabled Virtual Screening Gateway.
Proceedings of the 6th International Workshop on Science Gateways, 2014

Scientific Workflow Management - For Whom?
Proceedings of the 10th IEEE International Conference on e-Science, 2014

Computational Neuroscience Gateway: A Science Gateway Based on the WS-PGRADE/gUSE.
Proceedings of the Science Gateways for Distributed Computing Infrastructures, 2014

WS-PGRADE/gUSE-Based Science Gateways in Teaching.
Proceedings of the Science Gateways for Distributed Computing Infrastructures, 2014

2013
PMG: Multi-core Metabolite Identification.
Proceedings of the fourth International Workshop on Interactions between Computer Science and Biology, 2013

Understanding workflows for distributed computing: nitty-gritty details.
Proceedings of WORKS 2013: 8th Workshop On Workflows in Support of Large-Scale Science, 2013

A Data-Centric Science Gateway for Computational Neuroscience.
Proceedings of the 5th International Workshop on Science Gateways, 2013

The Future of a Missed Deadline.
Proceedings of the Coordination Models and Languages, 15th International Conference, 2013

2012
From Timed Reo Networks to Networks of Timed Automata.
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.
Proceedings of the ACM Symposium on Applied Computing, 2012

Scheduling and Analysis of Real-Time Software Families.
Proceedings of the 36th Annual IEEE Computer Software and Applications Conference, 2012

2011
From nonpreemptive to preemptive scheduling: from single-processor to multi-processor?
Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

Composing Real-Time Concurrent Objects Refinement, Compatibility and Schedulability.
Proceedings of the Fundamentals of Software Engineering - 4th IPM International Conference, 2011

Networks of Real-Time Actors.
Proceedings of the Formal Aspects of Component Software - 8th International Symposium, 2011

Ten Years of Analyzing Actors: Rebeca Experience.
Proceedings of the Formal Modeling: Actors, Open Systems, Biological Systems, 2011

2010
Timed Automata Semantics for Analyzing Creol
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.
Acta Informatica, 2010

Dating Concurrent Objects: Real-Time Modeling and Schedulability Analysis.
Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010

2009
Schedulability of asynchronous real-time concurrent objects.
J. Log. Algebraic Methods Program., 2009

Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo.
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.
Proceedings of the Formal Methods and Software Engineering, 2009

Modular Schedulability Analysis of Concurrent Objects in Creol.
Proceedings of the Fundamentals of Software Engineering, 2009

The Credo Methodology - (Extended Version).
Proceedings of the Formal Methods for Components and Objects - 8th International Symposium, 2009

2008
Schedulability and Compatibility of Real Time Asynchronous Objects.
Proceedings of the 29th IEEE Real-Time Systems Symposium, 2008

2007
Coordinating Object Oriented Components Using Data-Flow Networks.
Proceedings of the Formal Methods for Components and Objects, 6th International Symposium, 2007

2006
Modere: the model-checking engine of Rebeca.
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

Compositional Semantics of an Actor-Based Language Using Constraint Automata.
Proceedings of the Coordination Models and Languages, 8th International Conference, 2006

2005
Efficient Symmetry Reduction for an Actor-Based Model.
Proceedings of the Distributed Computing and Internet Technology, 2005

2004
A Front-End Tool for Automated Abstraction and Modular Verification of Actor-Based Models.
Proceedings of the 4th International Conference on Application of Concurrency to System Design (ACSD 2004), 2004

2003
Model Checking in Rebeca.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2003


  Loading...