Search results for "Marjan Sirjani"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Bahman Pourvatan, Marjan Sirjani, Hossein Hojjat, Farhad Arbab	Symbolic execution of Reo circuits using constraint automata.	Sci. Comput. Program.	2012	DBLP DOI BibTeX RDF
1	Gwen Salaün, Marjan Sirjani	Preface: Special issue on Foundations of Coordination Languages and Software Architectures (selected papers from FOCLASA'09).	Sci. Comput. Program.	2012	DBLP DOI BibTeX RDF
1	Farhad Arbab, Marjan Sirjani	Fundamentals of software engineering (selected papers of FSEN '09).	Sci. Comput. Program.	2012	DBLP DOI BibTeX RDF
1	Farhad Arbab, Marjan Sirjani (eds.)	Fundamentals of Software Engineering - 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers	FSEN	2012	DBLP DOI BibTeX RDF
1	Carlos Canal, Pascal Poizat, Marjan Sirjani	Preface.	Sci. Comput. Program.	2011	DBLP DOI BibTeX RDF
1	Carolyn L. Talcott, Marjan Sirjani, Shangping Ren	Comparing three coordination models: Reo, ARC, and PBRD.	Sci. Comput. Program.	2011	DBLP DOI BibTeX RDF
1	Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirjani	Formal Analysis of SystemC Designs in Process Algebra.	Fundam. Inform.	2011	DBLP DOI BibTeX RDF
1	Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Arni Hermann Reynisson, Steinar Hugi Sigurdarson, Marjan Sirjani	Modelling and Simulation of Asynchronous Real-Time Systems using Timed Rebeca	FOCLASA	2011	DBLP DOI BibTeX RDF
1	Narges Khakpour, Marjan Sirjani, Ursula Goltz	Context-Based Behavioral Equivalence of Components in Self-Adaptive Systems.	ICFEM	2011	DBLP DOI BibTeX RDF
1	Marjan Sirjani, Mohammad Mahdi Jaghoori	Ten Years of Analyzing Actors: Rebeca Experience.	Formal Modeling: Actors, Open Systems, Biological Systems	2011	DBLP DOI BibTeX RDF
1	Niloofar Razavi, Razieh Behjati, Hamideh Sabouri, Ehsan Khamespanah, Amin Shali, Marjan Sirjani	Sysfier: Actor-based formal verification of SystemC.	ACM Trans. Embedded Comput. Syst.	2010	DBLP DOI BibTeX RDF
1	Hamideh Sabouri, Marjan Sirjani	Actor-based slicing techniques for efficient reduction of Rebeca models.	Sci. Comput. Program.	2010	DBLP DOI BibTeX RDF
1	Mohammad Mahdi Jaghoori, Marjan Sirjani, Mohammad Reza Mousavi, Ehsan Khamespanah, Ali Movaghar	Symmetry and partial order reduction techniques in model checking Rebeca.	Acta Inf.	2010	DBLP DOI BibTeX RDF
1	Hamideh Sabouri, Marjan Sirjani	Slicing-based Reductions for Rebeca.	Electr. Notes Theor. Comput. Sci.	2010	DBLP DOI BibTeX RDF
1	Narges Khakpour, Saeed Jalili, Carolyn L. Talcott, Marjan Sirjani, Mohammad Reza Mousavi	PobSAM: Policy-based Managing of Actors in Self-Adaptive Systems.	Electr. Notes Theor. Comput. Sci.	2010	DBLP DOI BibTeX RDF
1	Hamid Reza Shahriari, Mohammad Sadegh Makarem, Marjan Sirjani, Rasool Jalili, Ali Movaghar	Vulnerability analysis of networks to detect multiphase attacks using the actor-based language Rebeca.	Computers & Electrical Engineering	2010	DBLP DOI BibTeX RDF
1	Bahman Pourvatan, Marjan Sirjani, Farhad Arbab, Marcello M. Bonsangue	Decomposition of Constraint Automata.	FACS	2010	DBLP DOI BibTeX RDF
1	Farhad Arbab, Marjan Sirjani (eds.)	Fundamentals of Software Engineering, Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers	FSEN	2010	DBLP DOI BibTeX RDF
1	Narges Khakpour, Ramtin Khosravi, Marjan Sirjani, Saeed Jalili	Formal analysis of policy-based self-adaptive systems.	SAC	2010	DBLP DOI BibTeX RDF
1	Mohammad Mahdi Jaghoori, Frank S. de Boer, Tom Chothia, Marjan Sirjani	Schedulability of asynchronous real-time concurrent objects.	J. Log. Algebr. Program.	2009	DBLP DOI BibTeX RDF
1	Carlos Canal, Pascal Poizat, Marjan Sirjani	Preface.	Electr. Notes Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
1	Bahman Pourvatan, Marjan Sirjani, Hossein Hojjat, Farhad Arbab	Automated Analysis of Reo Circuits using Symbolic Execution.	Electr. Notes Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
1	Samira Tasharofi, Marjan Sirjani	Formal Modeling and Conformance Validation for WS-CDL using Reo and CASM.	Electr. Notes Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
1	Razieh Behjati, Marjan Sirjani, Majid Nili Ahmadabadi	Bounded Rational Search for On-the-Fly Model Checking of LTL Properties.	FSEN	2009	DBLP DOI BibTeX RDF
1	Hamid Hajabdolali Bazzaz, Marjan Sirjani, Ramtin Khosravi, Shamim Taheri	Modeling networking issues of network-on-chip: a coloured petri nets approach.	SimuTools	2009	DBLP DOI BibTeX RDF	modeling, network-on-chip, coloured petri nets
1	Narges Khakpour, Marjan Sirjani, Saeed Jalili	Formal Analysis of Smart Home Policies using Compositional Verification.	ICFI	2009	DBLP DOI BibTeX RDF
1	Carolyn L. Talcott, Marjan Sirjani, Shangping Ren	Comparing Three Coordination Models: Reo, ARC, and RRD.	Electr. Notes Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
1	Farzad Mahdikhani, Mahmoud Reza Hashemi, Marjan Sirjani	QoS Aspects in Web Services Compositions.	SOSE	2008	DBLP DOI BibTeX RDF
1	Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirjani	Process algebraic verification of SystemC codes.	ACSD	2008	DBLP DOI BibTeX RDF
1	Razieh Behjati, Hamideh Sabouri, Niloofar Razavi, Marjan Sirjani	An effective approach for model checking SystemC designs.	ACSD	2008	DBLP DOI BibTeX RDF
1	Ramtin Khosravi, Marjan Sirjani, Nesa Asoudeh, Shaghayegh Sahebi, Hamed Iravanchi	Modeling and Analysis of Reo Connectors Using Alloy.	COORDINATION	2008	DBLP DOI BibTeX RDF
1	Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirjani	A framework for performance evaluation and functional verification in stochastic process algebras.	SAC	2008	DBLP DOI BibTeX RDF
1	Hossein Hojjat, Hootan Nakhost, Marjan Sirjani	Integrating Module Checking and Deduction in a Formal Proof for the Perlman Spanning Tree Protocol (STP).	J. UCS	2007	DBLP BibTeX RDF
1	Farhad Arbab, Marjan Sirjani	Applications of Formal Methods to System Design and Verification.	J. UCS	2007	DBLP BibTeX RDF
1	Niloofar Razavi, Marjan Sirjani	Compositional Semantics of System-Level Designs Written in SystemC.	FSEN	2007	DBLP DOI BibTeX RDF	formal verification, SystemC, hardware design, Reo, constraint automata
1	Farhad Arbab, Marjan Sirjani (eds.)	International Symposium on Fundamentals of Software Engineering, International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings	FSEN	2007	DBLP BibTeX RDF
1	Hossein Hojjat, Marjan Sirjani, Mohammad Reza Mousavi, Jan Friso Groote	Sarir: A Rebeca to mCRL2 Translator.	ACSD	2007	DBLP DOI BibTeX RDF
1	Samira Tasharofi, Mohsen Vakilian, Roshanak Zilouchian Moghaddam, Marjan Sirjani	Modeling Web Service Interactions Using the Coordination Language Reo.	WS-FM	2007	DBLP DOI BibTeX RDF	Web Services, WS-BPEL, Compositional Semantics, Reo, Constraint Automata
1	Fatemeh Alavizadeh, Alireza Hashemi Nekoo, Marjan Sirjani	ReUML: a UML Profile for Modeling and Verification of Reactive Systems.	ICSEA	2007	DBLP DOI BibTeX RDF
1	Mohammad Reza Kakoee, Hamid Shojaei, Hassan Ghasemzadeh, Marjan Sirjani, Zainalabedin Navabi	A New Approach for Design and Verification of Transaction Level Models.	ISCAS	2007	DBLP DOI BibTeX RDF
1	Christel Baier, Marjan Sirjani, Farhad Arbab, Jan J. M. M. Rutten	Modeling component connectors in Reo by constraint automata.	Sci. Comput. Program.	2006	DBLP DOI BibTeX RDF
1	Fatemeh Ghassemi, Samira Tasharofi, Marjan Sirjani	Automated Mapping of Reo Circuits to Constraint Automata.	Electr. Notes Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
1	Hossein Hojjat, Hootan Nakhost, Marjan Sirjani	Formal Verification of the IEEE 802.1D Spanning Tree Protocol Using Extended Rebeca.	Electr. Notes Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
1	Mohammad Reza Mousavi, Marjan Sirjani, Farhad Arbab	Formal Semantics and Analysis of Component Connectors in Reo.	Electr. Notes Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
1	Farhad Arbab, Marjan Sirjani	Preface.	Electr. Notes Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
1	Fatemeh Ghassemi, Naser Nematbakhsh, Behrouz Tork Ladani, Marjan Sirjani	Specification and Implementation of Multi-Agent Organizations.	WEBIST	2006	DBLP BibTeX RDF
1	Samira Tasharofi, Sepand Ansari, Marjan Sirjani	Generating Test Cases for Constraint Automata by Genetic Symbiosis Algorithm.	ICFEM	2006	DBLP DOI BibTeX RDF	finite-state machine testing, symbiotic evolutionary algorithms, genetic algorithms, automatic test data generation, Constraint automata
1	Niloofar Razavi, Marjan Sirjani	Using Reo for formal specification and verification of system designs.	MEMOCODE	2006	DBLP DOI BibTeX RDF
1	Marjan Sirjani, Mohammad Mahdi Jaghoori, Christel Baier, Farhad Arbab	Compositional Semantics of an Actor-Based Language Using Constraint Automata.	COORDINATION	2006	DBLP DOI BibTeX RDF	Rebeca, Compositional semantics, Reo, Constraint Automata, actor model
1	Mohammad Mahdi Jaghoori, Ali Movaghar, Marjan Sirjani	Modere: the model-checking engine of Rebeca.	SAC	2006	DBLP DOI BibTeX RDF	automated verification tool, rebeca, partial order reduction, actor model
1	Marjan Sirjani	Rebeca: Theory, Applications, and Tools.	FMCO	2006	DBLP DOI BibTeX RDF	Rebeca, Distributed Systems, Model Checking, Concurrency, Abstraction, Actors, Compositional Verification
1	Fatemeh Alavizadeh, Marjan Sirjani	Using UML to Develop Verifiable Reactive Systems.	Software Engineering Research and Practice	2006	DBLP BibTeX RDF
1	Marjan Sirjani, Ali Movaghar, Amin Shali, Frank S. de Boer	Model Checking, Automated Abstraction, and Compositional Verification of Rebeca Models.	J. UCS	2005	DBLP BibTeX RDF
1	Marjan Sirjani, Frank S. de Boer, Ali Movaghar-Rahimabadi	Modular Verification of a Component-Based Actor Language.	J. UCS	2005	DBLP BibTeX RDF
1	Marjan Sirjani, Frank S. de Boer, Ali Movaghar, Amin Shali	Extended Rebeca: A Component-Based Actor Language with Synchronous Message Passing.	ACSD	2005	DBLP DOI BibTeX RDF
1	Farhad Arbab, Christel Baier, Frank S. de Boer, Jan J. M. M. Rutten, Marjan Sirjani	Synthesis of Reo Circuits for Implementation of Component-Connector Automata Specifications.	COORDINATION	2005	DBLP DOI BibTeX RDF
1	Mohammad Mahdi Jaghoori, Marjan Sirjani, Mohammad Reza Mousavi, Ali Movaghar	Efficient Symmetry Reduction for an Actor-Based Model.	ICDCIT	2005	DBLP DOI BibTeX RDF
1	Farhad Arbab, Christel Baier, Jan J. M. M. Rutten, Marjan Sirjani	Modeling Component Connectors in Reo by Constraint Automata: (Extended Abstract).	Electr. Notes Theor. Comput. Sci.	2004	DBLP DOI BibTeX RDF
1	Marjan Sirjani, Ali Movaghar, Amin Shali, Frank S. de Boer	Modeling and Verification of Reactive Systems using Rebeca.	Fundam. Inform.	2004	DBLP BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Nikunj R. Mehta, Nenad Medvidovic, Marjan Sirjani, Farhad Arbab	Modeling Behavior in Compositions of Software Architectural Primitives.	ASE	2004	DBLP DOI BibTeX RDF
1	Marjan Sirjani, Ali Movaghar, Hamed Iravanchi, Mohammad Mahdi Jaghoori, Amin Shali	Model Checking in Rebeca.	PDPTA	2003	DBLP BibTeX RDF
1	Marjan Sirjani, Ali Movaghar	Simulation in Rebeca.	PDPTA	2002	DBLP BibTeX RDF

Publications of "Marjan Sirjani" ( http://dblp.L3S.de/Authors/Marjan_Sirjani )