Marjan Sirjani

According to our database, Marjan Sirjani authored at least 138 papers between 2002 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Tiny Twins for detecting cyber-attacks at runtime using concise Rebeca time transition system.

Fereidoun Moradi, Bahman Pourvatan, Sara Abbaspour Asadollah, Marjan Sirjani

J. Parallel Distributed Comput., February, 2024

Formal Verification of Consistency for Systems with Redundant Controllers.

Bjarne Johansson, Bahman Pourvatan, Zahra Moezkarimi, Alessandro Papadopoulos, Marjan Sirjani

CoRR, 2024

Actors Upgraded for Variability, Adaptability, and Determinism.

Ramtin Khosravi, Ehsan Khamespanah, Fatemeh Ghassemi, Marjan Sirjani

Proceedings of the Active Object Languages: Current Research Trends, 2024

2023

ConstScene: Dataset and Model for Advancing Robust Semantic Segmentation in Construction Environments.

Maghsood Salimi, Mohammad Loni, Sara Afshar, Marjan Sirjani, Antonio Cicchetti

CoRR, 2023

Timed Actors and Their Formal Verification.

Marjan Sirjani, Ehsan Khamespanah

Proceedings of the Proceedings Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics, 2023

Transparent Actor Model.

Fatemeh Ghassemi, Marjan Sirjani, Ehsan Khamespanah, Mahrokh Mirani, Hossein Hojjat

Proceedings of the 11th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2023

Learning Activation Functions for Adversarial Attack Resilience in CNNs.

Maghsood Salimi, Mohammad Loni, Marjan Sirjani

Proceedings of the Artificial Intelligence and Soft Computing, 2023

Afra: An Eclipse-Based Tool with Extensible Architecture for Modeling and Model Checking of Rebeca Family Models.

Ehsan Khamespanah, Marjan Sirjani, Ramtin Khosravi

Proceedings of the Fundamentals of Software Engineering - 10th International Conference, 2023

Model Checking of Hyperledger Fabric Smart Contracts.

Elmira Ebrahimi, Ehsan Khamespanah, Marjan Sirjani, Siamak Mohammadi

Proceedings of the 28th IEEE International Conference on Emerging Technologies and Factory Automation, 2023

Using Automata Learning for Compliance Evaluation of Communication Protocols on an NFC Handshake Example.

Stefan Marksteiner, Marjan Sirjani, Mikael Sjödin

Proceedings of the Engineering of Computer-Based Systems - 8th International Conference, 2023

From TARA to Test: Automated Automotive Cybersecurity Test Generation Out of Threat Modeling.

Stefan F. Marksteiner, Christoph Schmittner, Korbinian Christl, Dejan Nickovic, Mikael Sjödin, Marjan Sirjani

Proceedings of the 7th ACM Computer Science in Cars Symposium, 2023

2022

Magnifier: A Compositional Analysis Approach for Autonomous Traffic Control.

Maryam Bagheri, Marjan Sirjani, Ehsan Khamespanah, Christel Baier, Ali Movaghar

IEEE Trans. Software Eng., 2022

Specification and Verification of Timing Properties in Interoperable Medical Systems.

Mahsa Zarneshan, Fatemeh Ghassemi, Ehsan Khamespanah, Marjan Sirjani, John Hatcliff

Log. Methods Comput. Sci., 2022

Monitoring Cyber-Physical Systems Using a Tiny Twin to Prevent Cyber-Attacks.

Fereidoun Moradi, Maryam Bagheri, Hanieh Rahmati, Hamed Yazdi, Sara Abbaspour Asadollah, Marjan Sirjani

Proceedings of the Model Checking Software - 28th International Symposium, 2022

Schedulability Analysis of WSAN Applications: Outperformance of a Model Checking Approach.

Ehsan Khamespanah, Morteza Mohaqeqi, Mohammad Ashjaei, Marjan Sirjani

Proceedings of the 27th IEEE International Conference on Emerging Technologies and Factory Automation, 2022

2021

An actor-based framework for asynchronous event-based cyber-physical systems.

Iman Jahandideh, Fatemeh Ghassemi, Marjan Sirjani

Softw. Syst. Model., 2021

Towards a Verification-Driven Iterative Development of Software for Safety-Critical Cyber-Physical Systems.

Marjan Sirjani, Luciana Provenzano, Sara Abbaspour Asadollah, Mahshid Helali Moghadam, Mehrdad Saadatmand

J. Internet Serv. Appl., 2021

Partial Order Reduction for Timed Actors.

Maryam Bagheri, Marjan Sirjani, Ehsan Khamespanah, Hossein Hojjat, Ali Movaghar

Proceedings of the Software Verification - 13th International Conference, 2021

Using Afra in Different Domains by Tool Orchestration.

Ehsan Khamespanah, Pavle Mrvaljevic, Anas Fattouh, Marjan Sirjani

Proceedings of the Composing Model-Based Analysis Tools, 2021

Integration and Orchestration of Analysis Tools.

Robert Heinrich, Erwan Bousse, Sandro Koch, Arend Rensink, Elvinia Riccobene, Daniel Ratiu, Marjan Sirjani

Proceedings of the Composing Model-Based Analysis Tools, 2021

2020

VeriVANca framework: verification of VANETs by property-based message passing of actors in Rebeca with inheritance.

Farnaz Yousefi, Ehsan Khamespanah, Mohammed Gharib, Marjan Sirjani, Ali Movaghar

Int. J. Softw. Tools Technol. Transf., 2020

Safe Design of Flow Management Systems Using Rebeca.

Giorgio Forcina, Ali Sedaghatbaf, Stephan Baumgart, Ali Jafari, Ehsan Khamespanah, Pavle Mrvaljevic, Marjan Sirjani

J. Inf. Process., 2020

From Requirements to Verifiable Executable Models Using Rebeca.

Marjan Sirjani, Luciana Provenzano, Sara Abbaspour Asadollah, Mahshid Helali Moghadam

Proceedings of the Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops, 2020

Lightweight Formal Method for Robust Routing in Track-based Traffic Control Systems.

Maryam Bagheri, Edward A. Lee, Eunsuk Kang, Marjan Sirjani, Ehsan Khamespanah, Ali Movaghar

Proceedings of the 18th ACM/IEEE International Conference on Formal Methods and Models for System Design, 2020

An Actor-Based Approach for Security Analysis of Cyber-Physical Systems.

Fereidoun Moradi, Sara Abbaspour Asadollah, Ali Sedaghatbaf, Aida Causevic, Marjan Sirjani, Carolyn L. Talcott

Proceedings of the Formal Methods for Industrial Critical Systems, 2020

Towards Formal Analysis of Vehicle Platoons Using Actor Model.

Zeinab Sharifi, Ramtin Khosravi, Marjan Sirjani, Ehsan Khamespanah

Proceedings of the 25th IEEE International Conference on Emerging Technologies and Factory Automation, 2020

Formal Modeling and Analysis of Medical Systems.

Mahsa Zarneshan, Fatemeh Ghassemi, Marjan Sirjani

Proceedings of the Coordination Models and Languages, 2020

Model Checking Software in Cyberphysical Systems.

Marjan Sirjani, Edward A. Lee, Ehsan Khamespanah

Proceedings of the 44th IEEE Annual Computers, Software, and Applications Conference, 2020

Developing Safe Smart Contracts.

Sajjad Rezaei, Ehsan Khamespanah, Marjan Sirjani, Ali Sedaghatbaf, Siamak Mohammadi

Proceedings of the 44th IEEE Annual Computers, Software, and Applications Conference, 2020

2019

Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2017).

Mehdi Dastani, Marjan Sirjani

Sci. Comput. Program., 2019

A Compositional Approach for Reliable Adaptation of Track-based Traffic Control Systems at Runtime.

Maryam Bagheri, Marjan Sirjani, Ehsan Khamespanah, Ali Movaghar

CoRR, 2019

VeriVANca: An Actor-Based Framework for Formal Verification of Warning Message Dissemination Schemes in VANETs.

Farnaz Yousefi, Ehsan Khamespanah, Mohammed Gharib, Marjan Sirjani, Ali Movaghar

Proceedings of the Model Checking Software - 26th International Symposium, 2019

A Formal Model to Integrate Behavioral and Structural Adaptations in Self-adaptive Systems.

Narges Khakpour, Jetty Kleijn, Marjan Sirjani

Proceedings of the Fundamentals of Software Engineering - 8th International Conference, 2019

On-Off Attack on a Blockchain-based IoT System.

Fereidoun Moradi, Ali Sedaghatbaf, Sara Abbaspour Asadollah, Aida Causevic, Marjan Sirjani

Proceedings of the 24th IEEE International Conference on Emerging Technologies and Factory Automation, 2019

Multi-objective Optimization of Real-Time Task Scheduling Problem for Distributed Environments.

Maghsood Salimi, Amin Majd, Mohammad Loni, Tiberiu Seceleanu, Cristina Seceleanu, Marjan Sirjani, Masoud Daneshtalab, Elena Troubitsyna

Proceedings of the 6th Conference on the Engineering of Computer Based Systems, 2019

Reactive Actors: Isolation for Efficient Analysis of Distributed Systems.

Marjan Sirjani, Ehsan Khamespanah, Fatemeh Ghassemi

Proceedings of the 23rd IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications DS-RT 2019, 2019

Analysing Real-time Distributed Systems using Timed Actors.

Marjan Sirjani

Proceedings of the 23rd IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications DS-RT 2019, 2019

Actors Revisited for Time-Critical Systems.

Marten Lohstroh, Martin Schoeberl, Andrés Goens, Armin Wasicek, Christopher D. Gill, Marjan Sirjani, Edward A. Lee

Proceedings of the 56th Annual Design Automation Conference 2019, 2019

An Actor-Based Design Platform for System of Systems.

Marjan Sirjani, Giorgio Forcina, Ali Jafari, Stephan Baumgart, Ehsan Khamespanah, Ali Sedaghatbaf

Proceedings of the 43rd IEEE Annual Computer Software and Applications Conference, 2019

Towards a Framework for Safe and Secure Adaptive Collaborative Systems.

Aida Causevic, Alessandro Vittorio Papadopoulos, Marjan Sirjani

Proceedings of the 43rd IEEE Annual Computer Software and Applications Conference, 2019

2018

Modeling and analyzing real-time wireless sensor and actuator networks using actors and model checking.

Ehsan Khamespanah, Marjan Sirjani, Kirill Mechitov, Gul Agha

Int. J. Softw. Tools Technol. Transf., 2018

An efficient TCTL model checking algorithm and a reduction technique for verification of timed actor models.

Ehsan Khamespanah, Ramtin Khosravi, Marjan Sirjani

Sci. Comput. Program., 2018

Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2015).

Mehdi Dastani, Hossein Hojjat, Marjan Sirjani

Sci. Comput. Program., 2018

Actor-based macroscopic modeling and simulation for smart urban planning.

Jacopo de Berardinis, Giorgio Forcina, Ali Jafari, Marjan Sirjani

Sci. Comput. Program., 2018

Coordinated actor model of self-adaptive track-based traffic control systems.

Maryam Bagheri, Marjan Sirjani, Ehsan Khamespanah, Narges Khakpour, Ilge Akkaya, Ali Movaghar, Edward A. Lee

J. Syst. Softw., 2018

Safe and efficient fleet operation for autonomous machines: an actor-based approach.

Ali Jafari, Jayasoorya Jayanthi Surendran Nair, Stephan Baumgart, Marjan Sirjani

Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

What Good are Models?

Edward A. Lee, Marjan Sirjani

Proceedings of the Formal Aspects of Component Software - 15th International Conference, 2018

Hybrid Rebeca: Modeling and Analyzing of Cyber-Physical Systems.

Iman Jahandideh, Fatemeh Ghassemi, Marjan Sirjani

Proceedings of the Cyber Physical Systems. Model-Based Design - 8th International Workshop, 2018

Reo Connectors and Components as Tagged Signal Models.

Marjan Sirjani, Fatemeh Ghassemi, Bahman Pourvatan

Proceedings of the It's All About Coordination, 2018

Power is Overrated, Go for Friendliness! Expressiveness, Faithfulness, and Usability in Modeling: The Actor Experience.

Marjan Sirjani

Proceedings of the Principles of Modeling, 2018

2017

A compositional approach for modeling and timing analysis of wireless sensor and actuator networks.

Marjan Sirjani, Ehsan Khamespanah, Kirill Mechitov, Gul Agha

SIGBED Rev., 2017

Runtime compositional analysis of track-based traffic control systems.

Maryam Bagheri, Ehsan Khamespanah, Marjan Sirjani, Ali Movaghar, Edward A. Lee

SIGBED Rev., 2017

A Survey of Active Object Languages.

Frank S. de Boer, Vlad Serbanescu, Reiner Hähnle, Ludovic Henrio, Justine Rochas, Crystal Chang Din, Einar Broch Johnsen, Marjan Sirjani, Ehsan Khamespanah, Kiko Fernandez-Reyes, Albert Mingkun Yang

ACM Comput. Surv., 2017

Compositional schedulability analysis of real-time actor-based systems.

Mohammad Mahdi Jaghoori, Frank S. de Boer, Delphine Longuet, Tom Chothia, Marjan Sirjani

Acta Informatica, 2017

Lightweight Preprocessing for Agent-Based Simulation of Smart Mobility Initiatives.

Carlo Castagnari, Jacopo de Berardinis, Giorgio Forcina, Ali Jafari, Marjan Sirjani

Proceedings of the Software Engineering and Formal Methods, 2017

2016

PTRebeca: Modeling and analysis of distributed and asynchronous systems.

Ali Jafari, Ehsan Khamespanah, Marjan Sirjani, Holger Hermanns, Matteo Cimini

Sci. Comput. Program., 2016

Statistical model checking of Timed Rebeca models.

Ali Jafari, Ehsan Khamespanah, Haukur Kristinsson, Marjan Sirjani, Brynjar Magnusson

Comput. Lang. Syst. Struct., 2016

Schedulability Analysis of Distributed Real-Time Sensor Network Applications Using Actor-Based Model Checking.

Ehsan Khamespanah, Kirill Mechitov, Marjan Sirjani, Gul A. Agha

Proceedings of the Model Checking Software - 23rd International Symposium, 2016

Coordinated Actors for Reliable Self-adaptive Systems.

Maryam Bagheri, Ilge Akkaya, Ehsan Khamespanah, Narges Khakpour, Marjan Sirjani, Ali Movaghar, Edward A. Lee

Proceedings of the Formal Aspects of Component Software - 13th International Conference, 2016

On Time Actors.

Marjan Sirjani, Ehsan Khamespanah

Proceedings of the Theory and Practice of Formal Methods, 2016

2015

Formal semantics and efficient analysis of Timed Rebeca in Real-Time Maude.

Zeynab Sabahi-Kaviani, Ramtin Khosravi, Peter Csaba Ölveczky, Ehsan Khamespanah, Marjan Sirjani

Sci. Comput. Program., 2015

Timed Rebeca schedulability and deadlock freedom analysis using bounded floating time transition system.

Ehsan Khamespanah, Marjan Sirjani, Zeynab Sabahi-Kaviani, Ramtin Khosravi, Mohammad-Javad Izadi

Sci. Comput. Program., 2015

Fundamentals of Software Engineering (selected papers of FSEN 2013).

Hossein Hojjat, Marjan Sirjani, Farhad Arbab

Sci. Comput. Program., 2015

State Distribution Policy for Distributed Model Checking of Actor Models.

Ehsan Khamespanah, Marjan Sirjani, Mohammad Reza Mousavi, Zeynab Sabahi-Kaviani, Mohamadreza Razzazi

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2015

Floating Time Transition System: More Efficient Analysis of Timed Actors.

Ehsan Khamespanah, Marjan Sirjani, Mahesh Viswanathan, Ramtin Khosravi

Proceedings of the Formal Aspects of Component Software - 12th International Conference, 2015

Jacco: more efficient model checking toolset for Java actor programs.

Arvin Zakeriyan, Ehsan Khamespanah, Marjan Sirjani, Ramtin Khosravi

Proceedings of the 5th International Workshop on Programming Based on Actors, 2015

2014

Modelling and simulation of asynchronous real-time systems using Timed Rebeca.

Arni Hermann Reynisson, Marjan Sirjani, Luca Aceto, Matteo Cimini, Ali Jafari, Anna Ingólfsdóttir, Steinar Hugi Sigurdarson

Sci. Comput. Program., 2014

Performance Analysis of Distributed and Asynchronous Systems using Probabilistic Timed Actors.

Ali Jafari, Ehsan Khamespanah, Marjan Sirjani, Holger Hermanns

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014

Event-Based Analysis of Timed Rebeca Models using SQL.

Brynjar Magnusson, Ehsan Khamespanah, Ramtin Khosravi, Marjan Sirjani

Proceedings of the 4th International Workshop on Programming based on Actors Agents & Decentralized Control, 2014

Efficient TCTL Model Checking Algorithm for Timed Actors.

Ehsan Khamespanah, Ramtin Khosravi, Marjan Sirjani

Proceedings of the 4th International Workshop on Programming based on Actors Agents & Decentralized Control, 2014

2013

Fundamentals of Software Engineering (selected papers of FSEN 2011).

Farhad Arbab, Marjan Sirjani

Sci. Comput. Program., 2013

Functional and Performance Analysis of Network-on-Chips Using Actor-based Modeling and Formal Verification.

Zeinab Sharifi, Mahdi Mosaffa, Siamak Mohammadi, Marjan Sirjani

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013

Formal Semantics and Analysis of Timed Rebeca in Real-Time Maude.

Zeynab Sabahi-Kaviani, Ramtin Khosravi, Marjan Sirjani, Peter Csaba Ölveczky, Ehsan Khamespanah

Proceedings of the Formal Techniques for Safety-Critical Systems, 2013

Analysing timed Rebeca using McErlang.

Haukur Kristinsson, Ali Jafari, Ehsan Khamespanah, Brynjar Magnusson, Marjan Sirjani

Proceedings of the 2013 Workshop on Programming based on Actors, 2013

2012

Preface: Special issue on Foundations of Coordination Languages and Software Architectures (selected papers from FOCLASA'09).

Gwen Salaün, Marjan Sirjani

Sci. Comput. Program., 2012

Symbolic execution of Reo circuits using constraint automata.

Bahman Pourvatan, Marjan Sirjani, Hossein Hojjat, Farhad Arbab

Sci. Comput. Program., 2012

Formal modeling of evolving self-adaptive systems.

Narges Khakpour, Saeed Jalili, Carolyn L. Talcott, Marjan Sirjani, Mohammad Reza Mousavi

Sci. Comput. Program., 2012

Fundamentals of software engineering (selected papers of FSEN '09).

Farhad Arbab, Marjan Sirjani

Sci. Comput. Program., 2012

HPobSAM for modeling and analyzing IT Ecosystems - Through a case study.

Narges Khakpour, Saeed Jalili, Marjan Sirjani, Ursula Goltz, Bahareh Abolhasanzadeh

J. Syst. Softw., 2012

Guided Search for Deadlocks in Actor-Based Models.

Steinar Hugi Sigurdarson, Marjan Sirjani, Yngvi Björnsson, Arni Hermann Reynisson

Proceedings of the Formal Aspects of Component Software, 9th International Symposium, 2012

Timed-rebeca schedulability and deadlock-freedom analysis using floating-time transition system.

Ehsan Khamespanah, Zeynab Sabahi-Kaviani, Ramtin Khosravi, Marjan Sirjani, Mohammad-Javad Izadi

Proceedings of the 2nd edition on Programming systems, 2012

2011

Comparing three coordination models: Reo, ARC, and PBRD.

Carolyn L. Talcott, Marjan Sirjani, Shangping Ren

Sci. Comput. Program., 2011

Formal Analysis of SystemC Designs in Process Algebra.

Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirjani

Fundam. Informaticae, 2011

Modelling and Simulation of Asynchronous Real-Time Systems using Timed Rebeca

Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Arni Hermann Reynisson, Steinar Hugi Sigurdarson, Marjan Sirjani

Proceedings of the Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2011

Context-Based Behavioral Equivalence of Components in Self-Adaptive Systems.

Narges Khakpour, Marjan Sirjani, Ursula Goltz

Proceedings of the Formal Methods and Software Engineering, 2011

Networks of Real-Time Actors.

Mohammad Mahdi Jaghoori, Ólafur Hlynsson, Marjan Sirjani

Proceedings of the Formal Aspects of Component Software - 8th International Symposium, 2011

Ten Years of Analyzing Actors: Rebeca Experience.

Marjan Sirjani, Mohammad Mahdi Jaghoori

Proceedings of the Formal Modeling: Actors, Open Systems, Biological Systems, 2011

2010

Sysfier: Actor-based formal verification of SystemC.

Niloofar Razavi, Razieh Behjati, Hamideh Sabouri, Ehsan Khamespanah, Amin Shali, Marjan Sirjani

ACM Trans. Embed. Comput. Syst., 2010

Actor-based slicing techniques for efficient reduction of Rebeca models.

Hamideh Sabouri, Marjan Sirjani

Sci. Comput. Program., 2010

Vulnerability analysis of networks to detect multiphase attacks using the actor-based language Rebeca.

Hamid Reza Shahriari, Mohammad Sadegh Makarem, Marjan Sirjani, Rasool Jalili, Ali Movaghar

Comput. Electr. Eng., 2010

Symmetry and partial order reduction techniques in model checking Rebeca.

Mohammad Mahdi Jaghoori, Marjan Sirjani, Mohammad Reza Mousavi, Ehsan Khamespanah, Ali Movaghar

Acta Informatica, 2010

Formal analysis of policy-based self-adaptive systems.

Narges Khakpour, Ramtin Khosravi, Marjan Sirjani, Saeed Jalili

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

Decomposition of Constraint Automata.

Bahman Pourvatan, Marjan Sirjani, Farhad Arbab, Marcello M. Bonsangue

Proceedings of the Formal Aspects of Component Software - 7th International Workshop, 2010

2009

Schedulability of asynchronous real-time concurrent objects.

Mohammad Mahdi Jaghoori, Frank S. de Boer, Tom Chothia, Marjan Sirjani

J. Log. Algebraic Methods Program., 2009

Automated Analysis of Reo Circuits using Symbolic Execution.

Bahman Pourvatan, Marjan Sirjani, Hossein Hojjat, Farhad Arbab

Proceedings of the 8th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2009

PobSAM: Policy-based Managing of Actors in Self-Adaptive Systems.

Narges Khakpour, Saeed Jalili, Carolyn L. Talcott, Marjan Sirjani, Mohammad Reza Mousavi

Proceedings of the 6th International Workshop on Formal Aspects of Component Software, 2009

Modeling networking issues of network-on-chip: a coloured petri nets approach.

Hamid Hajabdolali Bazzaz, Marjan Sirjani, Ramtin Khosravi, Shamim Taheri

Proceedings of the 2nd International Conference on Simulation Tools and Techniques for Communications, 2009

Bounded Rational Search for On-the-Fly Model Checking of LTL Properties.

Razieh Behjati, Marjan Sirjani, Majid Nili Ahmadabadi

Proceedings of the Fundamentals of Software Engineering, 2009

Formal Analysis of Smart Home Policies using Compositional Verification.

Narges Khakpour, Marjan Sirjani, Saeed Jalili

Proceedings of the Feature Interactions in Software and Communication Systems X, 2009

2008

Formal Modeling and Conformance Validation for WS-CDL using Reo and CASM.

Samira Tasharofi, Marjan Sirjani

Proceedings of the 7th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2008

Slicing-based Reductions for Rebeca.

Hamideh Sabouri, Marjan Sirjani

Proceedings of the 5th International Workshop on Formal Aspects of Component Software, 2008

Preface.

Carlos Canal, Pascal Poizat, Marjan Sirjani

Proceedings of the 7th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2008

QoS Aspects in Web Services Compositions.

Farzad Mahdikhani, Mahmoud Reza Hashemi, Marjan Sirjani

Proceedings of the Fourth IEEE International Symposium on Service-Oriented System Engineering, 2008

A framework for performance evaluation and functional verification in stochastic process algebras.

Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirjani

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

Modeling and Analysis of Reo Connectors Using Alloy.

Ramtin Khosravi, Marjan Sirjani, Nesa Asoudeh, Shaghayegh Sahebi, Hamed Iravanchi

Proceedings of the Coordination Models and Languages, 10th International Conference, 2008

Process algebraic verification of SystemC codes.

Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirjani

Proceedings of the 8th International Conference on Application of Concurrency to System Design (ACSD 2008), 2008

An effective approach for model checking SystemC designs.

Razieh Behjati, Hamideh Sabouri, Niloofar Razavi, Marjan Sirjani

Proceedings of the 8th International Conference on Application of Concurrency to System Design (ACSD 2008), 2008

2007

Integrating Module Checking and Deduction in a Formal Proof for the Perlman Spanning Tree Protocol (STP).

Hossein Hojjat, Hootan Nakhost, Marjan Sirjani

J. Univers. Comput. Sci., 2007

Applications of Formal Methods to System Design and Verification.

Farhad Arbab, Marjan Sirjani

J. Univers. Comput. Sci., 2007

Comparing Three Coordination Models: Reo, ARC, and RRD.

Carolyn L. Talcott, Marjan Sirjani, Shangping Ren

Proceedings of the 6th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2007

Modeling Web Service Interactions Using the Coordination Language Reo.

Samira Tasharofi, Mohsen Vakilian, Roshanak Zilouchian Moghaddam, Marjan Sirjani

Proceedings of the Web Services and Formal Methods, 4th International Workshop, 2007

A New Approach for Design and Verification of Transaction Level Models.

Mohammad Reza Kakoee, Hamid Shojaei, Hassan Ghasemzadeh, Marjan Sirjani, Zainalabedin Navabi

Proceedings of the International Symposium on Circuits and Systems (ISCAS 2007), 2007

ReUML: a UML Profile for Modeling and Verification of Reactive Systems.

Fatemeh Alavizadeh, Alireza Hashemi Nekoo, Marjan Sirjani

Proceedings of the Second International Conference on Software Engineering Advances (ICSEA 2007), 2007

Compositional Semantics of System-Level Designs Written in SystemC.

Niloofar Razavi, Marjan Sirjani

Proceedings of the International Symposium on Fundamentals of Software Engineering, 2007

Sarir: A Rebeca to mCRL2 Translator.

Hossein Hojjat, Marjan Sirjani, Mohammad Reza Mousavi, Jan Friso Groote

Proceedings of the Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 2007

2006

Modeling component connectors in Reo by constraint automata.

Christel Baier, Marjan Sirjani, Farhad Arbab, Jan J. M. M. Rutten

Sci. Comput. Program., 2006

Specification and Implementation of Multi-Agent Organizations.

Fatemeh Ghassemi, Naser Nematbakhsh, Behrouz Tork Ladani, Marjan Sirjani

Proceedings of the WEBIST 2006, 2006

Using UML to Develop Verifiable Reactive Systems.

Fatemeh Alavizadeh, Marjan Sirjani

Proceedings of the International Conference on Software Engineering Research and Practice & Conference on Programming Languages and Compilers, 2006

Modere: the model-checking engine of Rebeca.

Mohammad Mahdi Jaghoori, Ali Movaghar, Marjan Sirjani

Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

Using Reo for formal specification and verification of system designs.

Niloofar Razavi, Marjan Sirjani

Proceedings of the 4th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2006), 2006

Generating Test Cases for Constraint Automata by Genetic Symbiosis Algorithm.

Samira Tasharofi, Sepand Ansari, Marjan Sirjani

Proceedings of the Formal Methods and Software Engineering, 2006

Rebeca: Theory, Applications, and Tools.

Marjan Sirjani

Proceedings of the Formal Methods for Components and Objects, 5th International Symposium, 2006

Compositional Semantics of an Actor-Based Language Using Constraint Automata.

Marjan Sirjani, Mohammad Mahdi Jaghoori, Christel Baier, Farhad Arbab

Proceedings of the Coordination Models and Languages, 8th International Conference, 2006

2005

Model Checking, Automated Abstraction, and Compositional Verification of Rebeca Models.

Marjan Sirjani, Ali Movaghar, Amin Shali, Frank S. de Boer

J. Univers. Comput. Sci., 2005

Modular Verification of a Component-Based Actor Language.

Marjan Sirjani, Frank S. de Boer, Ali Movaghar-Rahimabadi

J. Univers. Comput. Sci., 2005

Formal Semantics and Analysis of Component Connectors in Reo.

Mohammad Reza Mousavi, Marjan Sirjani, Farhad Arbab

Proceedings of the 4th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2005

Formal Verification of the IEEE 802.1D Spanning Tree Protocol Using Extended <i>R</i>ebeca.

Hossein Hojjat, Hootan Nakhost, Marjan Sirjani

Proceedings of the First IPM International Workshop on Foundations of Software Engineering, 2005

Automated Mapping of Reo Circuits to Constraint Automata.

Fatemeh Ghassemi, Samira Tasharofi, Marjan Sirjani

Proceedings of the First IPM International Workshop on Foundations of Software Engineering, 2005

Preface.

Farhad Arbab, Marjan Sirjani

Proceedings of the First IPM International Workshop on Foundations of Software Engineering, 2005

Efficient Symmetry Reduction for an Actor-Based Model.

Mohammad Mahdi Jaghoori, Marjan Sirjani, Mohammad Reza Mousavi, Ali Movaghar

Proceedings of the Distributed Computing and Internet Technology, 2005

Synthesis of Reo Circuits for Implementation of Component-Connector Automata Specifications.

Farhad Arbab, Christel Baier, Frank S. de Boer, Jan J. M. M. Rutten, Marjan Sirjani

Proceedings of the Coordination Models and Languages, 7th International Conference, 2005

Extended Rebeca: A Component-Based Actor Language with Synchronous Message Passing.

Marjan Sirjani, Frank S. de Boer, Ali Movaghar, Amin Shali

Proceedings of the Fifth International Conference on Application of Concurrency to System Design (ACSD 2005), 2005

2004

Modeling and Verification of Reactive Systems using Rebeca.

Marjan Sirjani, Ali Movaghar, Amin Shali, Frank S. de Boer

Fundam. Informaticae, 2004

Modeling Behavior in Compositions of Software Architectural Primitives.

Nikunj R. Mehta, Nenad Medvidovic, Marjan Sirjani, Farhad Arbab

Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 2004

A Front-End Tool for Automated Abstraction and Modular Verification of Actor-Based Models.

Marjan Sirjani, Amin Shali, Mohammad Mahdi Jaghoori, Hamed Iravanchi, Ali Movaghar

Proceedings of the 4th International Conference on Application of Concurrency to System Design (ACSD 2004), 2004

2003

Modeling Component Connectors in Reo by Constraint Automata: (Extended Abstract).

Farhad Arbab, Christel Baier, Jan J. M. M. Rutten, Marjan Sirjani

Proceedings of FOCLASA 2003, 2003

Model Checking in Rebeca.

Marjan Sirjani, Ali Movaghar, Hamed Iravanchi, Mohammad Mahdi Jaghoori, Amin Shali

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2003

2002

Simulation in Rebeca.

Marjan Sirjani, Ali Movaghar

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2002