Marjan Sirjani

Citado por

	Todos	Desde 2020
Citações	2999	990
Índice h	28	16
Índice i10	73	28

260

130

195

2003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202510 35 50 98 72 82 83 109 158 131 116 111 132 193 142 241 213 241 194 125 161 253 14

Acesso público

Ver tudo

44 artigos

0 artigos

disponível

não disponível

Com base em autorizações de financiamento

Coautores

Ehsan KhamespanahPostdoc, Reykjavik UniversityEmail confirmado em ru.is
Ali MovagharEmeritus Professor of Computer Engineering, Sharif University of Technology., Tehran, IranEmail confirmado em sharif.edu
Farhad ArbabProfessor of Computer Science, Leiden UniversityEmail confirmado em liacs.nl
Mohammad Mahdi JaghooriDockmeh, CWIEmail confirmado em cwi.nl
Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Email confirmado em cwi.nl
Ramtin KhosraviAssistant Prof., University of TehranEmail confirmado em ut.ac.ir
Mohammad Reza MousaviProfessor of Software Engineering, King's College LondonEmail confirmado em kcl.ac.uk
Amin ShaliUniversity of Texas, AustinEmail confirmado em cs.utexas.edu
Christel BaierTU DresdenEmail confirmado em tu-dresden.de
Alireza jafariEmail confirmado em atu.ac.ir
Narges KhakpourNewcastle UniversityEmail confirmado em ncl.ac.uk
Edward A. LEEProfessor of Electrical Engineering and Computer Sciences, University of California at BerkeleyEmail confirmado em berkeley.edu
Fatemeh GhassemiUniversity of TehranEmail confirmado em ut.ac.ir
Hossein HojjatAssistant Professor, RITEmail confirmado em cs.rit.edu
Jan RuttenCWIEmail confirmado em cwi.nl
Siamak MohammadiAssociate Professor of Electrical and Computer Eng., University of TehranEmail confirmado em ut.ac.ir
Matteo CiminiUniversity of Massachusetts LowellEmail confirmado em uml.edu
Razieh BehjatiEmail confirmado em simula.no
Samira TasharofiUniversity of Illinois at Urbana-ChampaignEmail confirmado em illinois.edu
Tom ChothiaUniversity of BirminghamEmail confirmado em cs.bham.ac.uk

Seguir

Marjan Sirjani

Mälardalen University

Email confirmado em mdh.se - Página inicial

Concurrency Theory Software Engineering Formal Methods Model Checking Software Analysis


Título Ordenar por citações Ordenar por ano Ordenar por título	Citado por Citado por	Ano
Modeling component connectors in Reo by constraint automata C Baier, M Sirjani, F Arbab, J Rutten Science of computer programming 61 (2), 75-113, 2006	386	2006
Modeling and verification of reactive systems using Rebeca M Sirjani, A Movaghar, A Shali, FS De Boer Fundamenta Informaticae 63 (4), 385-410, 2004	217	2004
A survey of active object languages FD Boer, V Serbanescu, R Hähnle, L Henrio, J Rochas, CC Din, ... ACM Computing Surveys (CSUR) 50 (5), 1-39, 2017	153	2017
Modeling component connectors in Reo by constraint automata F Arbab, C Baier, J Rutten, M Sirjani Electronic Notes in Theoretical Computer Science 97, 25-46, 2004	104	2004
Modelling and simulation of asynchronous real-time systems using Timed Rebeca AH Reynisson, M Sirjani, L Aceto, M Cimini, A Jafari, A Ingólfsdóttir, ... Science of Computer Programming 89, 41-68, 2014	101	2014
Ten years of analyzing actors: Rebeca experience M Sirjani, MM Jaghoori Formal Modeling: Actors, Open Systems, Biological Systems: Essays Dedicated …, 2011	86	2011
Formal modeling of evolving self-adaptive systems N Khakpour, S Jalili, C Talcott, M Sirjani, M Mousavi Science of Computer Programming 78 (1), 3-26, 2012	63	2012
What good are models? EA Lee, M Sirjani Formal Aspects of Component Software: 15th International Conference, FACS …, 2018	58	2018
Timed Rebeca schedulability and deadlock freedom analysis using bounded floating time transition system E Khamespanah, M Sirjani, ZS Kaviani, R Khosravi, MJ Izadi Science of Computer Programming 98, 184-204, 2015	51	2015
Bounded rational search for on-the-fly model checking of LTL properties R Behjati, M Sirjani, M Nili Ahmadabadi Fundamentals of Software Engineering: Third IPM International Conference …, 2010	50	2010
Rebeca: Theory, applications, and tools M Sirjani International Symposium on Formal Methods for Components and Objects, 102-126, 2006	49	2006
Formal analysis of policy-based self-adaptive systems N Khakpour, R Khosravi, M Sirjani, S Jalili Proceedings of the 2010 ACM Symposium on Applied Computing, 2536-2543, 2010	45	2010
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	45	2009
Formal semantics and analysis of component connectors in Reo MR Mousavi, M Sirjani, F Arbab Electronic Notes in Theoretical Computer Science 154 (1), 83-99, 2006	43	2006
Synthesis of Reo circuits for implementation of component-connector automata specifications F Arbab, C Baier, F De Boer, J Rutten, M Sirjani Coordination Models and Languages: 7th International Conference …, 2005	43	2005
Symmetry and partial order reduction techniques in model checking Rebeca MM Jaghoori, M Sirjani, MR Mousavi, E Khamespanah, A Movaghar Acta Informatica 47, 33-66, 2010	42	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	42	2006
Ptrebeca: Modeling and analysis of distributed and asynchronous systems A Jafari, E Khamespanah, M Sirjani, H Hermanns, M Cimini Science of Computer Programming 128, 22-50, 2016	37	2016
On time actors M Sirjani, E Khamespanah Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on …, 2016	37	2016
Actors revisited for time-critical systems M Lohstroh, M Schoeberl, A Goens, A Wasicek, C Gill, M Sirjani, EA Lee Proceedings of the 56th Annual Design Automation Conference 2019, 1-4, 2019	34	2019

O sistema não pode efectuar a operação agora. Tente mais tarde.

Artigos 1–20

Citações por ano

Citações duplicadas

Citações unidas

Adicionar coautoresCoautores

Seguir

Citado por

Coautores