Mohammad Mahdi Jaghoori

42 papers A 1B 3C 3Misc 5Journal 8Unranked 20

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