Marjan Sirjani

176 papers A* 2B 7C 20Misc 7Journal 61Unranked 66
YearRankTypeTitle / Venue / Authors
2026 — conf
Actors for Timing Analysis of Distributed Redundant Controllers.
Concurrent Programming, Open Systems and Formal Methods
Marjan Sirjani, Edward A. Lee, Zahra Moezkarimi, Bahman Pourvatan, Bjarne Johansson, Stefan Marksteiner, Alessandro V. Papadopoulos
2025 — conf
Breaking Disciplinary Silos: The Case of Software Engineering.
DIGHUM
Carlo Ghezzi, Masoud Ebrahimi, Damir Isovic, Marjan Sirjani
2025 — conf
Efficient Join Order for Constraint Automata Through LLM-Generated Heuristics.
Principles of Formal Quantitative Analysis
Ali Mehrani, Fatemeh Ghassemi, Marjan Sirjani, Farhad Arbab
2025 — conf
Harnessing ChatGPT for Model Transformation in Software Architecture: From UML State Diagrams to Rebeca Models for Formal Verification.
ICSA Companion
Zahra Moezkarimi, Kevin Eriksson, Albin Alm Johansson, Alessio Bucaioni, Marjan Sirjani
2025 — conf
LLM-Based Property-Based Test Generation for Guardrailing Cyber-Physical Systems.
AISoLA
Khashayar Etemadi, Marjan Sirjani, Mahshid Helali Moghadam, Per Erik Strandberg, Paul Pettersson
2025 J jnl
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems.
CoRR
Khashayar Etemadi, Marjan Sirjani, Mahshid Helali Moghadam, Per Erik Strandberg, Paul Pettersson
2025 J jnl
Learn, Check, Test - Security Testing Using Automata Learning and Model Checking.
CoRR
Stefan Marksteiner, Mikael Sjödin, Marjan Sirjani
2025 J jnl
Learning single and compound-protocol automata and checking behavioral equivalences.
Int. J. Softw. Tools Technol. Transf.
Stefan Marksteiner, David Schögler, Marjan Sirjani, Mikael Sjödin
2025 J jnl
M, Toolchain and Language for Reusable Model Compilation.
CoRR
Hiep Hong Trinh, Federico Ciccozzi, Abu Naser Masud, Marjan Sirjani, Mikael Sjödin
2025 J jnl
Modelling and Model-Checking a ROS2 Multi-Robot System using Timed Rebeca.
CoRR
Hiep Hong Trinh, Marjan Sirjani, Federico Ciccozzi, Abu Naser Masud, Mikael Sjödin
2025 J jnl
Reachability analysis of Hybrid Rebeca models.
J. Syst. Archit.
Fatemeh Ghassemi, Saeed Zhiany, Nesa Abbasi, Ali Hodaei, Ali Ataollahi, József Kovács, Erika Ábrahám, Marjan Sirjani
2025 B conf
Robust Few-Shot Semantic Segmentation for Blurred and Occluded Objects in Construction Environments.
IJCNN
Maghsood Salimi, Mohammad Loni, Antonio Cicchetti, Marjan Sirjani
2024 — ch.
Actors Upgraded for Variability, Adaptability, and Determinism.
Active Object Languages: Current Research Trends
Ramtin Khosravi, Ehsan Khamespanah, Fatemeh Ghassemi, Marjan Sirjani
2024 B conf
Automated Passport Control: Mining and Checking Models of Machine Readable Travel Documents.
ARES
Stefan Marksteiner, Marjan Sirjani, Mikael Sjödin
2024 J jnl
CRYSTAL framework: Cybersecurity assurance for cyber-physical systems.
J. Log. Algebraic Methods Program.
Fereidoun Moradi, Sara Abbaspour Asadollah, Bahman Pourvatan, Zahra Moezkarimi, Marjan Sirjani
2024 — conf
ConstScene: A Dataset and Model for Advancing Robust Semantic Segmentation in Construction Environment.
ICPRAI (2)
Maghsood Salimi, Mohammad Loni, Sara Afshar, Antonio Cicchetti, Marjan Sirjani
2024 J jnl
Enhancing Cybersecurity through Comprehensive Investigation of Data Flow-Based Attack Scenarios.
J. Cybersecur. Priv.
Sara Abbaspour Asadollah, Shamoona Imtiaz, Alireza Dehlaghi-Ghadim, Mikael Sjödin, Marjan Sirjani
2024 — conf
Formal Verification of Consistency for Systems with Redundant Controllers.
MARS
Bjarne Johansson, Bahman Pourvatan, Zahra Moezkarimi, Alessandro Papadopoulos, Marjan Sirjani
2024 C conf
Guess and Then Check: Controller Synthesis for Safe and Secure Cyber-Physical Systems.
FORTE
Rong Gu, Zahra Moezkarimi, Marjan Sirjani
2024 J jnl
Hybrid Rebeca Revisited.
CoRR
Saeed Zhiany, Fatemeh Ghassemi, Nesa Abbasimoghadam, Ali Hodaei, Ali Ataollahi, József Kovács, Erika Ábrahám, Marjan Sirjani
2024 J jnl
Tiny Twins for detecting cyber-attacks at runtime using concise Rebeca time transition system.
J. Parallel Distributed Comput.
Fereidoun Moradi, Bahman Pourvatan, Sara Abbaspour Asadollah, Marjan Sirjani
2023 — conf
Afra: An Eclipse-Based Tool with Extensible Architecture for Modeling and Model Checking of Rebeca Family Models.
FSEN
Ehsan Khamespanah, Marjan Sirjani, Ramtin Khosravi
2023 J jnl
ConstScene: Dataset and Model for Advancing Robust Semantic Segmentation in Construction Environments.
CoRR
Maghsood Salimi, Mohammad Loni, Sara Afshar, Marjan Sirjani, Antonio Cicchetti
2023 — conf
From TARA to Test: Automated Automotive Cybersecurity Test Generation Out of Threat Modeling.
CSCS
Stefan F. Marksteiner, Christoph Schmittner, Korbinian Christl, Dejan Nickovic, Mikael Sjödin, Marjan Sirjani
2023 — conf
Learning Activation Functions for Adversarial Attack Resilience in CNNs.
ICAISC (1)
Maghsood Salimi, Mohammad Loni, Marjan Sirjani
2023 C conf
Model Checking of Hyperledger Fabric Smart Contracts.
ETFA
Elmira Ebrahimi, Ehsan Khamespanah, Marjan Sirjani, Siamak Mohammadi
2023 — conf
SARAF: Searching for Adversarial Robust Activation Functions.
ICMVA
Maghsood Salimi, Mohammad Loni, Marjan Sirjani, Antonio Cicchetti, Sara Abbaspour Asadollah
2023 — conf
Timed Actors and Their Formal Verification.
EXPRESS/SOS
Marjan Sirjani, Ehsan Khamespanah
2023 — conf
Transparent Actor Model.
FormaliSE
Fatemeh Ghassemi, Marjan Sirjani, Ehsan Khamespanah, Mahrokh Mirani, Hossein Hojjat
2023 — conf
Using Automata Learning for Compliance Evaluation of Communication Protocols on an NFC Handshake Example.
ECBS
Stefan Marksteiner, Marjan Sirjani, Mikael Sjödin
2022 C ed.
Coordination Models and Languages - 24th IFIP WG 6.1 International Conference, COORDINATION 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings
COORDINATION
Maurice H. ter Beek, Marjan Sirjani
2022 J jnl
Magnifier: A Compositional Analysis Approach for Autonomous Traffic Control.
IEEE Trans. Software Eng.
Maryam Bagheri, Marjan Sirjani, Ehsan Khamespanah, Christel Baier, Ali Movaghar
2022 — conf
Monitoring Cyber-Physical Systems Using a Tiny Twin to Prevent Cyber-Attacks.
SPIN
Fereidoun Moradi, Maryam Bagheri, Hanieh Rahmati, Hamed Yazdi, Sara Abbaspour Asadollah, Marjan Sirjani
2022 J jnl
Schedulability Analysis of WSAN Applications: Outperformance of A Model Checking Approach.
CoRR
Ehsan Khamespanah, Morteza Mohaqeqi, Mohammad Ashjaei, Marjan Sirjani
2022 C conf
Schedulability Analysis of WSAN Applications: Outperformance of a Model Checking Approach.
ETFA
Ehsan Khamespanah, Morteza Mohaqeqi, Mohammad Ashjaei, Marjan Sirjani
2022 J jnl
Specification and Verification of Timing Properties in Interoperable Medical Systems.
Log. Methods Comput. Sci.
Mahsa Zarneshan, Fatemeh Ghassemi, Ehsan Khamespanah, Marjan Sirjani, John Hatcliff
2021 J jnl
An actor-based framework for asynchronous event-based cyber-physical systems.
Softw. Syst. Model.
Iman Jahandideh, Fatemeh Ghassemi, Marjan Sirjani
2021 — ch.
Integration and Orchestration of Analysis Tools.
Composing Model-Based Analysis Tools
Robert Heinrich, Erwan Bousse, Sandro Koch, Arend Rensink, Elvinia Riccobene, Daniel Ratiu, Marjan Sirjani
2021 — conf
Partial Order Reduction for Timed Actors.
VSTTE
Maryam Bagheri, Marjan Sirjani, Ehsan Khamespanah, Hossein Hojjat, Ali Movaghar
2021 B ed.
Software Architecture - 15th European Conference, ECSA 2021, Virtual Event, Sweden, September 13-17, 2021, Proceedings
ECSA
Stefan Biffl, Elena Navarro, Welf Löwe, Marjan Sirjani, Raffaela Mirandola, Danny Weyns
2021 J jnl
Towards a Verification-Driven Iterative Development of Software for Safety-Critical Cyber-Physical Systems.
J. Internet Serv. Appl.
Marjan Sirjani, Luciana Provenzano, Sara Abbaspour Asadollah, Mahshid Helali Moghadam, Mehrdad Saadatmand
2021 — ch.
Using Afra in Different Domains by Tool Orchestration.
Composing Model-Based Analysis Tools
Ehsan Khamespanah, Pavle Mrvaljevic, Anas Fattouh, Marjan Sirjani
2020 C conf
An Actor-Based Approach for Security Analysis of Cyber-Physical Systems.
FMICS
Fereidoun Moradi, Sara Abbaspour Asadollah, Ali Sedaghatbaf, Aida Causevic, Marjan Sirjani, Carolyn L. Talcott
2020 B conf
Developing Safe Smart Contracts.
COMPSAC
Sajjad Rezaei, Ehsan Khamespanah, Marjan Sirjani, Ali Sedaghatbaf, Siamak Mohammadi
2020 C conf
Formal Modeling and Analysis of Medical Systems.
COORDINATION
Mahsa Zarneshan, Fatemeh Ghassemi, Marjan Sirjani
2020 B conf
From Requirements to Verifiable Executable Models Using Rebeca.
SEFM
Marjan Sirjani, Luciana Provenzano, Sara Abbaspour Asadollah, Mahshid Helali Moghadam
2020 C conf
Lightweight Formal Method for Robust Routing in Track-based Traffic Control Systems.
MEMOCODE
Maryam Bagheri, Edward A. Lee, Eunsuk Kang, Marjan Sirjani, Ehsan Khamespanah, Ali Movaghar
2020 B conf
Model Checking Software in Cyberphysical Systems.
COMPSAC
Marjan Sirjani, Edward A. Lee, Ehsan Khamespanah
2020 J jnl
Safe Design of Flow Management Systems Using Rebeca.
J. Inf. Process.
Giorgio Forcina, Ali Sedaghatbaf, Stephan Baumgart, Ali Jafari, Ehsan Khamespanah, Pavle Mrvaljevic, Marjan Sirjani
2020 J jnl
Specification and Verification of Timing Properties in Interoperable Medical Systems.
CoRR
Mahsa Zarneshan, Fatemeh Ghassemi, Ehsan Khamespanah, Marjan Sirjani, John Hatcliff
2020 C conf
Towards Formal Analysis of Vehicle Platoons Using Actor Model.
ETFA
Zeinab Sharifi, Ramtin Khosravi, Marjan Sirjani, Ehsan Khamespanah
2020 J jnl
VeriVANca framework: verification of VANETs by property-based message passing of actors in Rebeca with inheritance.
Int. J. Softw. Tools Technol. Transf.
Farnaz Yousefi, Ehsan Khamespanah, Mohammed Gharib, Marjan Sirjani, Ali Movaghar
2019 J jnl
A Compositional Approach for Reliable Adaptation of Track-based Traffic Control Systems at Runtime.
CoRR
Maryam Bagheri, Marjan Sirjani, Ehsan Khamespanah, Ali Movaghar
2019 — conf
A Formal Model to Integrate Behavioral and Structural Adaptations in Self-adaptive Systems.
FSEN
Narges Khakpour, Jetty Kleijn, Marjan Sirjani
2019 A* conf
Actors Revisited for Time-Critical Systems.
DAC
Marten Lohstroh, Martin Schoeberl, Andrés Goens, Armin Wasicek, Christopher D. Gill, Marjan Sirjani, Edward A. Lee
2019 — conf
An Actor-Based Design Platform for System of Systems.
COMPSAC (1)
Marjan Sirjani, Giorgio Forcina, Ali Jafari, Stephan Baumgart, Ehsan Khamespanah, Ali Sedaghatbaf
2019 C conf
Analysing Real-time Distributed Systems using Timed Actors.
DS-RT
Marjan Sirjani
2019 J jnl
Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2017).
Sci. Comput. Program.
Mehdi Dastani, Marjan Sirjani
2019 J jnl
Hybrid Rebeca: Modeling and Analyzing of Cyber-Physical Systems.
CoRR
Iman Jahandideh, Fatemeh Ghassemi, Marjan Sirjani
2019 — conf
Multi-objective Optimization of Real-Time Task Scheduling Problem for Distributed Environments.
ECBS
Maghsood Salimi, Amin Majd, Mohammad Loni, Tiberiu Seceleanu, Cristina Seceleanu, Marjan Sirjani, Masoud Daneshtalab, Elena Troubitsyna
2019 C conf
On-Off Attack on a Blockchain-based IoT System.
ETFA
Fereidoun Moradi, Ali Sedaghatbaf, Sara Abbaspour Asadollah, Aida Causevic, Marjan Sirjani
2019 C conf
Reactive Actors: Isolation for Efficient Analysis of Distributed Systems.
DS-RT
Marjan Sirjani, Ehsan Khamespanah, Fatemeh Ghassemi
2019 — conf
Towards a Framework for Safe and Secure Adaptive Collaborative Systems.
COMPSAC (2)
Aida Causevic, Alessandro Vittorio Papadopoulos, Marjan Sirjani
2019 — conf
VeriVANca: An Actor-Based Framework for Formal Verification of Warning Message Dissemination Schemes in VANETs.
SPIN
Farnaz Yousefi, Ehsan Khamespanah, Mohammed Gharib, Marjan Sirjani, Ali Movaghar
2019 J jnl
VeriVANca: An Actor-Based Framework for Formal Verification of Warning Message Dissemination Schemes in VANETs.
CoRR
Farnaz Yousefi, Ehsan Khamespanah, Mohammed Gharib, Marjan Sirjani, Ali Movaghar
2018 J jnl
Actor-based macroscopic modeling and simulation for smart urban planning.
Sci. Comput. Program.
Jacopo de Berardinis, Giorgio Forcina, Ali Jafari, Marjan Sirjani
2018 J jnl
An efficient TCTL model checking algorithm and a reduction technique for verification of timed actor models.
Sci. Comput. Program.
Ehsan Khamespanah, Ramtin Khosravi, Marjan Sirjani
2018 J jnl
Coordinated actor model of self-adaptive track-based traffic control systems.
J. Syst. Softw.
Maryam Bagheri, Marjan Sirjani, Ehsan Khamespanah, Narges Khakpour, Ilge Akkaya, Ali Movaghar, Edward A. Lee
2018 J jnl
Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2015).
Sci. Comput. Program.
Mehdi Dastani, Hossein Hojjat, Marjan Sirjani
2018 — conf
Hybrid Rebeca: Modeling and Analyzing of Cyber-Physical Systems.
CyPhy/WESE
Iman Jahandideh, Fatemeh Ghassemi, Marjan Sirjani
2018 J jnl
Modeling and analyzing real-time wireless sensor and actuator networks using actors and model checking.
Int. J. Softw. Tools Technol. Transf.
Ehsan Khamespanah, Marjan Sirjani, Kirill Mechitov, Gul Agha
2018 — conf
Power is Overrated, Go for Friendliness! Expressiveness, Faithfulness, and Usability in Modeling: The Actor Experience.
Principles of Modeling
Marjan Sirjani
2018 — ed.
Principles of Modeling - Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday
Principles of Modeling
Marten Lohstroh, Patricia Derler, Marjan Sirjani
2018 — conf
Reo Connectors and Components as Tagged Signal Models.
It's All About Coordination
Marjan Sirjani, Fatemeh Ghassemi, Bahman Pourvatan
2018 Misc conf
Safe and efficient fleet operation for autonomous machines: an actor-based approach.
SAC
Ali Jafari, Jayasoorya Jayanthi Surendran Nair, Stephan Baumgart, Marjan Sirjani
2018 — conf
What Good are Models?
FACS
Edward A. Lee, Marjan Sirjani
2017 J jnl
A Survey of Active Object Languages.
ACM Comput. Surv.
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
2017 J jnl
A compositional approach for modeling and timing analysis of wireless sensor and actuator networks.
SIGBED Rev.
Marjan Sirjani, Ehsan Khamespanah, Kirill Mechitov, Gul Agha
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
2017 — ed.
Fundamentals of Software Engineering - 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers
FSEN
Mehdi Dastani, Marjan Sirjani
2017 — conf
Lightweight Preprocessing for Agent-Based Simulation of Smart Mobility Initiatives.
SEFM Workshops
Carlo Castagnari, Jacopo de Berardinis, Giorgio Forcina, Ali Jafari, Marjan Sirjani
2017 J jnl
Runtime compositional analysis of track-based traffic control systems.
SIGBED Rev.
Maryam Bagheri, Ehsan Khamespanah, Marjan Sirjani, Ali Movaghar, Edward A. Lee
2017 B ed.
Software Engineering and Formal Methods - 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings
SEFM
Alessandro Cimatti, Marjan Sirjani
2016 — conf
Coordinated Actors for Reliable Self-adaptive Systems.
FACS
Maryam Bagheri, Ilge Akkaya, Ehsan Khamespanah, Narges Khakpour, Marjan Sirjani, Ali Movaghar, Edward A. Lee
2016 — conf
On Time Actors.
Theory and Practice of Formal Methods
Marjan Sirjani, Ehsan Khamespanah
2016 J jnl
PTRebeca: Modeling and analysis of distributed and asynchronous systems.
Sci. Comput. Program.
Ali Jafari, Ehsan Khamespanah, Marjan Sirjani, Holger Hermanns, Matteo Cimini
2016 — conf
Schedulability Analysis of Distributed Real-Time Sensor Network Applications Using Actor-Based Model Checking.
SPIN
Ehsan Khamespanah, Kirill Mechitov, Marjan Sirjani, Gul A. Agha
2016 J jnl
Statistical model checking of Timed Rebeca models.
Comput. Lang. Syst. Struct.
Ali Jafari, Ehsan Khamespanah, Haukur Kristinsson, Marjan Sirjani, Brynjar Magnusson
2015 — conf
Floating Time Transition System: More Efficient Analysis of Timed Actors.
FACS
Ehsan Khamespanah, Marjan Sirjani, Mahesh Viswanathan, Ramtin Khosravi
2015 J jnl
Formal semantics and efficient analysis of Timed Rebeca in Real-Time Maude.
Sci. Comput. Program.
Zeynab Sabahi-Kaviani, Ramtin Khosravi, Peter Csaba Ölveczky, Ehsan Khamespanah, Marjan Sirjani
2015 J jnl
Fundamentals of Software Engineering (selected papers of FSEN 2013).
Sci. Comput. Program.
Hossein Hojjat, Marjan Sirjani, Farhad Arbab
2015 — ed.
Fundamentals of Software Engineering - 6th International Conference, FSEN 2015 Tehran, Iran, April 22-24, 2015, Revised Selected Papers
FSEN
Mehdi Dastani, Marjan Sirjani
2015 — conf
Jacco: more efficient model checking toolset for Java actor programs.
AGERE!@SPLASH
Arvin Zakeriyan, Ehsan Khamespanah, Marjan Sirjani, Ramtin Khosravi
2015 J jnl
State Distribution Policy for Distributed Model Checking of Actor Models.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Ehsan Khamespanah, Marjan Sirjani, Mohammad Reza Mousavi, Zeynab Sabahi-Kaviani, Mohamadreza Razzazi
2015 J jnl
Timed Rebeca schedulability and deadlock freedom analysis using bounded floating time transition system.
Sci. Comput. Program.
Ehsan Khamespanah, Marjan Sirjani, Zeynab Sabahi-Kaviani, Ramtin Khosravi, Mohammad-Javad Izadi
2014 — conf
Efficient TCTL Model Checking Algorithm for Timed Actors.
AGERE!@SPLASH
Ehsan Khamespanah, Ramtin Khosravi, Marjan Sirjani
2014 — conf
Event-Based Analysis of Timed Rebeca Models using SQL.
AGERE!@SPLASH
Brynjar Magnusson, Ehsan Khamespanah, Ramtin Khosravi, Marjan Sirjani
2014 J jnl
Modelling and simulation of asynchronous real-time systems using Timed Rebeca.
Sci. Comput. Program.
Arni Hermann Reynisson, Marjan Sirjani, Luca Aceto, Matteo Cimini, Ali Jafari, Anna Ingólfsdóttir, Steinar Hugi Sigurdarson
2014 J jnl
Performance Analysis of Distributed and Asynchronous Systems using Probabilistic Timed Actors.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Ali Jafari, Ehsan Khamespanah, Marjan Sirjani, Holger Hermanns
2013 — conf
Analysing timed Rebeca using McErlang.
AGERE!@SPLASH
Haukur Kristinsson, Ali Jafari, Ehsan Khamespanah, Brynjar Magnusson, Marjan Sirjani
2013 — conf
Formal Semantics and Analysis of Timed Rebeca in Real-Time Maude.
FTSCS
Zeynab Sabahi-Kaviani, Ramtin Khosravi, Marjan Sirjani, Peter Csaba Ölveczky, Ehsan Khamespanah
2013 J jnl
Functional and Performance Analysis of Network-on-Chips Using Actor-based Modeling and Formal Verification.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Zeinab Sharifi, Mahdi Mosaffa, Siamak Mohammadi, Marjan Sirjani
2013 J jnl
Fundamentals of Software Engineering (selected papers of FSEN 2011).
Sci. Comput. Program.
Farhad Arbab, Marjan Sirjani
2013 — ed.
Fundamentals of Software Engineering - 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers
FSEN
Farhad Arbab, Marjan Sirjani
2012 C ed.
Coordination Models and Languages - 14th International Conference, COORDINATION 2012, Stockholm, Sweden, June 14-15, 2012. Proceedings
COORDINATION
Marjan Sirjani
2012 J jnl
Formal modeling of evolving self-adaptive systems.
Sci. Comput. Program.
Narges Khakpour, Saeed Jalili, Carolyn L. Talcott, Marjan Sirjani, Mohammad Reza Mousavi
2012 — ed.
Fundamentals of Software Engineering - 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers
FSEN
Farhad Arbab, Marjan Sirjani
2012 J jnl
Fundamentals of software engineering (selected papers of FSEN '09).
Sci. Comput. Program.
Farhad Arbab, Marjan Sirjani
2012 — conf
Guided Search for Deadlocks in Actor-Based Models.
FACS
Steinar Hugi Sigurdarson, Marjan Sirjani, Yngvi Björnsson, Arni Hermann Reynisson
2012 J jnl
HPobSAM for modeling and analyzing IT Ecosystems - Through a case study.
J. Syst. Softw.
Narges Khakpour, Saeed Jalili, Marjan Sirjani, Ursula Goltz, Bahareh Abolhasanzadeh
2012 J jnl
Preface: Special issue on Foundations of Coordination Languages and Software Architectures (selected papers from FOCLASA'09).
Sci. Comput. Program.
Gwen Salaün, Marjan Sirjani
2012 J jnl
Symbolic execution of Reo circuits using constraint automata.
Sci. Comput. Program.
Bahman Pourvatan, Marjan Sirjani, Hossein Hojjat, Farhad Arbab
2012 — conf
Timed-rebeca schedulability and deadlock-freedom analysis using floating-time transition system.
AGERE!@SPLASH
Ehsan Khamespanah, Zeynab Sabahi-Kaviani, Ramtin Khosravi, Marjan Sirjani, Mohammad-Javad Izadi
2011 J jnl
Comparing three coordination models: Reo, ARC, and PBRD.
Sci. Comput. Program.
Carolyn L. Talcott, Marjan Sirjani, Shangping Ren
2011 C conf
Context-Based Behavioral Equivalence of Components in Self-Adaptive Systems.
ICFEM
Narges Khakpour, Marjan Sirjani, Ursula Goltz
2011 J jnl
Formal Analysis of SystemC Designs in Process Algebra.
Fundam. Informaticae
Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirjani
2011 — conf
Modelling and Simulation of Asynchronous Real-Time Systems using Timed Rebeca
FOCLASA
Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Arni Hermann Reynisson, Steinar Hugi Sigurdarson, Marjan Sirjani
2011 — conf
Networks of Real-Time Actors.
FACS
Mohammad Mahdi Jaghoori, Ólafur Hlynsson, Marjan Sirjani
2011 J jnl
Preface.
Sci. Comput. Program.
Carlos Canal, Pascal Poizat, Marjan Sirjani
2011 — conf
Ten Years of Analyzing Actors: Rebeca Experience.
Formal Modeling: Actors, Open Systems, Biological Systems
Marjan Sirjani, Mohammad Mahdi Jaghoori
2010 J jnl
Actor-based slicing techniques for efficient reduction of Rebeca models.
Sci. Comput. Program.
Hamideh Sabouri, Marjan Sirjani
2010 — conf
Decomposition of Constraint Automata.
FACS
Bahman Pourvatan, Marjan Sirjani, Farhad Arbab, Marcello M. Bonsangue
2010 Misc conf
Formal analysis of policy-based self-adaptive systems.
SAC
Narges Khakpour, Ramtin Khosravi, Marjan Sirjani, Saeed Jalili
2010 — ed.
Fundamentals of Software Engineering, Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers
FSEN
Farhad Arbab, Marjan Sirjani
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 J jnl
Sysfier: Actor-based formal verification of SystemC.
ACM Trans. Embed. Comput. Syst.
Niloofar Razavi, Razieh Behjati, Hamideh Sabouri, Ehsan Khamespanah, Amin Shali, Marjan Sirjani
2010 J jnl
Vulnerability analysis of networks to detect multiphase attacks using the actor-based language Rebeca.
Comput. Electr. Eng.
Hamid Reza Shahriari, Mohammad Sadegh Makarem, Marjan Sirjani, Rasool Jalili, Ali Movaghar
2009 — conf
Automated Analysis of Reo Circuits using Symbolic Execution.
FOCLASA
Bahman Pourvatan, Marjan Sirjani, Hossein Hojjat, Farhad Arbab
2009 — conf
Bounded Rational Search for On-the-Fly Model Checking of LTL Properties.
FSEN
Razieh Behjati, Marjan Sirjani, Majid Nili Ahmadabadi
2009 — conf
Formal Analysis of Smart Home Policies using Compositional Verification.
ICFI
Narges Khakpour, Marjan Sirjani, Saeed Jalili
2009 — conf
Modeling networking issues of network-on-chip: a coloured petri nets approach.
SimuTools
Hamid Hajabdolali Bazzaz, Marjan Sirjani, Ramtin Khosravi, Shamim Taheri
2009 — conf
PobSAM: Policy-based Managing of Actors in Self-Adaptive Systems.
FACS@FMWeek
Narges Khakpour, Saeed Jalili, Carolyn L. Talcott, Marjan Sirjani, Mohammad Reza Mousavi
2009 — ed.
Proceedings of the 7th International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA@ICALP 2008, Reykjavik, Iceland, July 13, 2008
FOCLASA@ICALP
Carlos Canal, Pascal Poizat, Marjan Sirjani
2009 — ed.
Proceedings of the 8th International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA 2009, Rhodes, Greece, July 11, 2009
FOCLASA
Gwen Salaün, Marjan Sirjani
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
2008 Misc conf
A framework for performance evaluation and functional verification in stochastic process algebras.
SAC
Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirjani
2008 — conf
An effective approach for model checking SystemC designs.
ACSD
Razieh Behjati, Hamideh Sabouri, Niloofar Razavi, Marjan Sirjani
2008 — conf
Formal Modeling and Conformance Validation for WS-CDL using Reo and CASM.
FOCLASA@ICALP
Samira Tasharofi, Marjan Sirjani
2008 C conf
Modeling and Analysis of Reo Connectors Using Alloy.
COORDINATION
Ramtin Khosravi, Marjan Sirjani, Nesa Asoudeh, Shaghayegh Sahebi, Hamed Iravanchi
2008 — conf
Preface.
FOCLASA@ICALP
Carlos Canal, Pascal Poizat, Marjan Sirjani
2008 — conf
Process algebraic verification of SystemC codes.
ACSD
Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirjani
2008 — conf
QoS Aspects in Web Services Compositions.
SOSE
Farzad Mahdikhani, Mahmoud Reza Hashemi, Marjan Sirjani
2008 — conf
Slicing-based Reductions for Rebeca.
FACS
Hamideh Sabouri, Marjan Sirjani
2007 C conf
A New Approach for Design and Verification of Transaction Level Models.
ISCAS
Mohammad Reza Kakoee, Hamid Shojaei, Hassan Ghasemzadeh, Marjan Sirjani, Zainalabedin Navabi
2007 J jnl
Applications of Formal Methods to System Design and Verification.
J. Univers. Comput. Sci.
Farhad Arbab, Marjan Sirjani
2007 — conf
Comparing Three Coordination Models: Reo, ARC, and RRD.
FOCLASA
Carolyn L. Talcott, Marjan Sirjani, Shangping Ren
2007 — conf
Compositional Semantics of System-Level Designs Written in SystemC.
FSEN
Niloofar Razavi, Marjan Sirjani
2007 J jnl
Integrating Module Checking and Deduction in a Formal Proof for the Perlman Spanning Tree Protocol (STP).
J. Univers. Comput. Sci.
Hossein Hojjat, Hootan Nakhost, Marjan Sirjani
2007 — ed.
International Symposium on Fundamentals of Software Engineering, International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings
FSEN
Farhad Arbab, Marjan Sirjani
2007 — conf
Modeling Web Service Interactions Using the Coordination Language Reo.
WS-FM
Samira Tasharofi, Mohsen Vakilian, Roshanak Zilouchian Moghaddam, Marjan Sirjani
2007 C conf
ReUML: a UML Profile for Modeling and Verification of Reactive Systems.
ICSEA
Fatemeh Alavizadeh, Alireza Hashemi Nekoo, Marjan Sirjani
2007 — conf
Sarir: A Rebeca to mCRL2 Translator.
ACSD
Hossein Hojjat, Marjan Sirjani, Mohammad Reza Mousavi, Jan Friso Groote
2006 C conf
Compositional Semantics of an Actor-Based Language Using Constraint Automata.
COORDINATION
Marjan Sirjani, Mohammad Mahdi Jaghoori, Christel Baier, Farhad Arbab
2006 C conf
Generating Test Cases for Constraint Automata by Genetic Symbiosis Algorithm.
ICFEM
Samira Tasharofi, Sepand Ansari, Marjan Sirjani
2006 J jnl
Modeling component connectors in Reo by constraint automata.
Sci. Comput. Program.
Christel Baier, Marjan Sirjani, Farhad Arbab, Jan J. M. M. Rutten
2006 Misc conf
Modere: the model-checking engine of Rebeca.
SAC
Mohammad Mahdi Jaghoori, Ali Movaghar, Marjan Sirjani
2006 — ed.
Proceedings of the First IPM International Workshop on Foundations of Software Engineering, FSEN 2005, Tehran, Iran, October 1-3, 2005
FSEN
Farhad Arbab, Marjan Sirjani
2006 — conf
Rebeca: Theory, Applications, and Tools.
FMCO
Marjan Sirjani
2006 — conf
Specification and Implementation of Multi-Agent Organizations.
WEBIST (1)
Fatemeh Ghassemi, Naser Nematbakhsh, Behrouz Tork Ladani, Marjan Sirjani
2006 C conf
Using Reo for formal specification and verification of system designs.
MEMOCODE
Niloofar Razavi, Marjan Sirjani
2006 — conf
Using UML to Develop Verifiable Reactive Systems.
Software Engineering Research and Practice
Fatemeh Alavizadeh, Marjan Sirjani
2005 — conf
Automated Mapping of Reo Circuits to Constraint Automata.
FSEN
Fatemeh Ghassemi, Samira Tasharofi, Marjan Sirjani
2005 Misc conf
Efficient Symmetry Reduction for an Actor-Based Model.
ICDCIT
Mohammad Mahdi Jaghoori, Marjan Sirjani, Mohammad Reza Mousavi, Ali Movaghar
2005 — conf
Extended Rebeca: A Component-Based Actor Language with Synchronous Message Passing.
ACSD
Marjan Sirjani, Frank S. de Boer, Ali Movaghar, Amin Shali
2005 — conf
Formal Semantics and Analysis of Component Connectors in Reo.
FOCLASA
Mohammad Reza Mousavi, Marjan Sirjani, Farhad Arbab
2005 — conf
Formal Verification of the IEEE 802.1D Spanning Tree Protocol Using Extended
FSEN
Hossein Hojjat, Hootan Nakhost, Marjan Sirjani
2005 J jnl
Model Checking, Automated Abstraction, and Compositional Verification of Rebeca Models.
J. Univers. Comput. Sci.
Marjan Sirjani, Ali Movaghar, Amin Shali, Frank S. de Boer
2005 J jnl
Modular Verification of a Component-Based Actor Language.
J. Univers. Comput. Sci.
Marjan Sirjani, Frank S. de Boer, Ali Movaghar-Rahimabadi
2005 — conf
Preface.
FSEN
Farhad Arbab, Marjan Sirjani
2005 C conf
Synthesis of Reo Circuits for Implementation of Component-Connector Automata Specifications.
COORDINATION
Farhad Arbab, Christel Baier, Frank S. de Boer, Jan J. M. M. Rutten, Marjan Sirjani
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
2004 A* conf
Modeling Behavior in Compositions of Software Architectural Primitives.
ASE
Nikunj R. Mehta, Nenad Medvidovic, Marjan Sirjani, Farhad Arbab
2004 J jnl
Modeling and Verification of Reactive Systems using Rebeca.
Fundam. Informaticae
Marjan Sirjani, Ali Movaghar, Amin Shali, Frank S. de Boer
2003 Misc conf
Model Checking in Rebeca.
PDPTA
Marjan Sirjani, Ali Movaghar, Hamed Iravanchi, Mohammad Mahdi Jaghoori, Amin Shali
2003 — conf
Modeling Component Connectors in Reo by Constraint Automata: (Extended Abstract).
FOCLASA
Farhad Arbab, Christel Baier, Jan J. M. M. Rutten, Marjan Sirjani
2002 Misc conf
Simulation in Rebeca.
PDPTA
Marjan Sirjani, Ali Movaghar