Mohammad Mahdi Jaghoori

	2011
18		Mohammad Mahdi Jaghoori: Composing Real-Time Concurrent Objects Refinement, Compatibility and Schedulability. FSEN 2011: 96-111
17		Marjan Sirjani, Mohammad Mahdi Jaghoori: Ten Years of Analyzing Actors: Rebeca Experience. Formal Modeling: Actors, Open Systems, Biological Systems 2011: 20-56
16		Mohammad Mahdi Jaghoori: From nonpreemptive to preemptive scheduling: from single-processor to multi-processor? SAC 2011: 717-722
	2010
15		Frank S. de Boer, Mohammad Mahdi Jaghoori, Einar Broch Johnsen: Dating Concurrent Objects: Real-Time Modeling and Schedulability Analysis. CONCUR 2010: 1-18
14		Mohammad Mahdi Jaghoori, Tom Chothia: Timed Automata Semantics for Analyzing Creol FOCLASA 2010: 108-122
13		Mohammad Mahdi Jaghoori, Marjan Sirjani, Mohammad Reza Mousavi, Ehsan Khamespanah, Ali Movaghar: Symmetry and partial order reduction techniques in model checking Rebeca. Acta Inf. 47(1): 33-66 (2010)
12		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: Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo. Electr. Notes Theor. Comput. Sci. 266: 33-48 (2010)
	2009
11		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: The Credo Methodology - (Extended Version). FMCO 2009: 41-69
10		Frank S. de Boer, Tom Chothia, Mohammad Mahdi Jaghoori: Modular Schedulability Analysis of Concurrent Objects in Creol. FSEN 2009: 212-227
9		Frank S. de Boer, Immo Grabe, Mohammad Mahdi Jaghoori, Andries Stam, Wang Yi: Modeling and Analysis of Thread-Pools in an Industrial Communication Platform. ICFEM 2009: 367-386
8		Mohammad Mahdi Jaghoori, Frank S. de Boer, Tom Chothia, Marjan Sirjani: Schedulability of asynchronous real-time concurrent objects. J. Log. Algebr. Program. 78(5): 402-416 (2009)
	2008
7		Mohammad Mahdi Jaghoori, Delphine Longuet, Frank S. de Boer, Tom Chothia: Schedulability and Compatibility of Real Time Asynchronous Objects. IEEE Real-Time Systems Symposium 2008: 70-79
	2007
6		Mohammad Mahdi Jaghoori: Coordinating Object Oriented Components Using Data-Flow Networks. FMCO 2007: 280-311
	2006
5		Marjan Sirjani, Mohammad Mahdi Jaghoori, Christel Baier, Farhad Arbab: Compositional Semantics of an Actor-Based Language Using Constraint Automata. COORDINATION 2006: 281-297
4		Mohammad Mahdi Jaghoori, Ali Movaghar, Marjan Sirjani: Modere: the model-checking engine of Rebeca. SAC 2006: 1810-1815
	2005
3		Mohammad Mahdi Jaghoori, Marjan Sirjani, Mohammad Reza Mousavi, Ali Movaghar: Efficient Symmetry Reduction for an Actor-Based Model. ICDCIT 2005: 494-507
	2004
2		Marjan Sirjani, Amin Shali, Mohammad Mahdi Jaghoori, Hamed Iravanchi, Ali Movaghar: A Front-End Tool for Automated Abstraction and Modular Verification of Actor-Based Models. ACSD 2004: 145-150
	2003
1		Marjan Sirjani, Ali Movaghar, Hamed Iravanchi, Mohammad Mahdi Jaghoori, Amin Shali: Model Checking in Rebeca. PDPTA 2003: 1819-1822

Coauthor Index

1	Bernhard K. Aichernig	[11] [12]
2	Farhad Arbab	[5]
3	Christel Baier	[5] [11] [12]
4	Tobias Blechmann	[11] [12]
5	Frank S. de Boer	[7] [8] [9] [10] [11] [12] [15]
6	Tom Chothia	[7] [8] [10] [14]
7	Immo Grabe	[9] [11] [12]
8	Andreas Griesmayer	[11] [12]
9	Hamed Iravanchi	[1] [2]
10	Einar Broch Johnsen	[12] [15]
11	Ehsan Khamespanah	[13]
12	Joachim Klein	[11] [12]
13	Sascha Klüppelholz	[11] [12]
14	Marcel Kyas	[12]
15	Wolfgang Leister	[12]
16	Delphine Longuet	[7]
17	Mohammad Reza Mousavi	[3] [13]
18	Ali Movaghar-Rahimabadi (Ali Movaghar)	[1] [2] [3] [4] [13]
19	Rudolf Schlatte	[12]
20	Amin Shali	[1] [2]
21	Marjan Sirjani	[1] [2] [3] [4] [5] [8] [13] [17]
22	Andries Stam	[9] [11] [12]
23	Martin Steffen	[12]
24	Simon Tschirner	[12]
25	Liang Xuedong	[12]
26	Wang Yi	[9] [12]

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page