Mohammad Mahdi Jaghoori
TitleCited byYear
Ten years of analyzing actors: Rebeca experience
M Sirjani, MM Jaghoori
Formal Modeling: Actors, Open Systems, Biological Systems, 20-56, 2011
1001 Ways to run AutoDock Vina for virtual screening
MM Jaghoori, B Bleijlevens, SD Olabarriaga
Journal of computer-aided molecular design 30 (3), 237-249, 2016
Schedulability of asynchronous real-time concurrent objects
MM Jaghoori, FS de Boer, T Chothia, M Sirjani
The Journal of Logic and Algebraic Programming 78 (5), 402-416, 2009
A data‐centric neuroscience gateway: design, implementation, and experiences
S Shahand, A Benabdelkader, MM Jaghoori, M Mourabit, J Huguet, ...
Concurrency and Computation: Practice and Experience 27 (2), 489-506, 2015
Symmetry and partial order reduction techniques in model checking Rebeca
MM Jaghoori, M Sirjani, MR Mousavi, E Khamespanah, A Movaghar
Acta Informatica 47 (1), 33-66, 2010
Modere: the model-checking engine of Rebeca
MM Jaghoori, A Movaghar, M Sirjani
Proceedings of the 2006 ACM symposium on Applied computing, 1810-1815, 2006
A front-end tool for automated abstraction and modular verification of actor-based models
M Sirjani, A Shali, MM Jaghoori, H Iravanchi, A Movaghar
Proceedings. Fourth International Conference on Application of Concurrency …, 2004
Modular schedulability analysis of concurrent objects in Creol
F De Boer, T Chothia, MM Jaghoori
International Conference on Fundamentals of Software Engineering, 212-227, 2009
Efficient symmetry reduction for an actor-based model
MM Jaghoori, M Sirjani, MR Mousavi, A Movaghar
International Conference on Distributed Computing and Internet Technology …, 2005
A multi‐infrastructure gateway for virtual drug screening
MM Jaghoori, AJ van Altena, B Bleijlevens, S Ramezani, JL Font, ...
Concurrency and Computation: Practice and Experience 27 (16), 4478-4490, 2015
Compositional semantics of an actor-based language using constraint automata
M Sirjani, MM Jaghoori, C Baier, F Arbab
International Conference on Coordination Languages and Models, 281-297, 2006
Programming and deployment of active objects with application-level scheduling
B Nobakht, FS de Boer, MM Jaghoori, R Schlatte
Proceedings of the 27th Annual ACM Symposium on Applied Computing, 1883-1888, 2012
Credo methodology: Modeling and analyzing a peer-to-peer system in credo
I Grabe, MM Jaghoori, B Aichernig, C Baier, T Blechmann, F de Boer, ...
Electronic Notes in Theoretical Computer Science 266, 33-48, 2010
Schedulability and compatibility of real time asynchronous objects
MM Jaghoori, D Longuet, FS De Boer, T Chothia
2008 Real-Time Systems Symposium, 70-79, 2008
Decidability Problems for Actor Systems
G Zavattaro, C Laneve, M Jaghoori, F De Boer
Logical Methods in Computer Science 10, 2014
Dating concurrent objects: Real-time modeling and schedulability analysis
FS De Boer, MM Jaghoori, EB Johnsen
International Conference on Concurrency Theory, 1-18, 2010
Modeling and analysis of thread-pools in an industrial communication platform
FS De Boer, I Grabe, MM Jaghoori, A Stam, W Yi
International Conference on Formal Engineering Methods, 367-386, 2009
Scientific Workflow Management--For Whom?
S Olabarriaga, G Pierantoni, G Taffoni, E Sciacca, M Jaghoori, V Korkhov, ...
2014 IEEE 10th International Conference on e-Science 1, 298-305, 2014
Model checking Rebeca by SMV
M Sirjani, A Movaghar, H Iravanchi, M Jaghoori, A Shali
Proceedings of the Workshop on Automated Verification of Critical Systems …, 2003
Monitoring method call sequences using annotations
B Nobakht, FS de Boer, MM Bonsangue, S de Gouw, MM Jaghoori
Science of Computer Programming 94, 362-378, 2014
The system can't perform the operation now. Try again later.
Articles 1–20