Mohammad Mahdi Jaghoori

According to our database1, Mohammad Mahdi Jaghoori
  • authored at least 38 papers between 2003 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

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

2016
1001 Ways to run AutoDock Vina for virtual screening.
Journal of Computer-Aided Molecular Design, 2016

2015
A data-centric neuroscience gateway: design, implementation, and experiences.
Concurrency and Computation: Practice and Experience, 2015

A multi-infrastructure gateway for virtual drug screening.
Concurrency and Computation: Practice and Experience, 2015

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

Decidability Problems for Actor Systems.
Logical Methods in Computer Science, 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
From Timed Reo Networks to Networks of Timed Automata.
Electr. Notes Theor. Comput. Sci., 2013

PMG: Multi-core Metabolite Identification.
Electr. Notes Theor. Comput. Sci., 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
Programming and deployment of active objects with application-level scheduling.
Proceedings of the ACM Symposium on Applied Computing, 2012

Decidability Problems for Actor Systems.
Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 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
Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo.
Electr. Notes Theor. Comput. Sci., 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 Inf., 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. Algebr. Program., 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...