Simulation in Rebeca. - Marjan Sirjani; Ali Movaghar 001 (PDPTA, 2002)

Model Checking in Rebeca. - Marjan Sirjani; Ali Movaghar 001; Hamed Iravanchi; Mohammad Mahdi Jaghoori; Amin Shali (PDPTA, 2003)

Modeling Component Connectors in Reo by Constraint Automata: (Extended Abstract). - Farhad Arbab; Christel Baier; Jan J. M. M. Rutten; Marjan Sirjani (FOCLASA, 2003)

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 001 (ACSD, 2004)

Modeling Behavior in Compositions of Software Architectural Primitives. - Nikunj R. Mehta; Nenad Medvidovic; Marjan Sirjani; Farhad Arbab (ASE, 2004)

Modeling and Verification of Reactive Systems using Rebeca. - Marjan Sirjani; Ali Movaghar 001; Amin Shali; Frank S. de Boer (Fundam. Informaticae, 2004)

Extended Rebeca: A Component-Based Actor Language with Synchronous Message Passing. - Marjan Sirjani; Frank S. de Boer; Ali Movaghar 001; Amin Shali (ACSD, 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 (COORDINATION, 2005)

Efficient Symmetry Reduction for an Actor-Based Model. - Mohammad Mahdi Jaghoori; Marjan Sirjani; Mohammad Reza Mousavi 001; Ali Movaghar 001 (ICDCIT, 2005)

Preface. - Farhad Arbab; Marjan Sirjani (FSEN, 2005)

Automated Mapping of Reo Circuits to Constraint Automata. - Fatemeh Ghassemi; Samira Tasharofi; Marjan Sirjani (FSEN, 2005)

Formal Verification of the IEEE 802.1D Spanning Tree Protocol Using Extended Rebeca. - Hossein Hojjat; Hootan Nakhost; Marjan Sirjani (FSEN, 2005)

Formal Semantics and Analysis of Component Connectors in Reo. - Mohammad Reza Mousavi 001; Marjan Sirjani; Farhad Arbab (FOCLASA, 2005)

Modular Verification of a Component-Based Actor Language. - Marjan Sirjani; Frank S. de Boer; Ali Movaghar-Rahimabadi (J. Univers. Comput. Sci., 2005)

Model Checking, Automated Abstraction, and Compositional Verification of Rebeca Models. - Marjan Sirjani; Ali Movaghar 001; Amin Shali; Frank S. de Boer (J. Univers. Comput. Sci., 2005)

Compositional Semantics of an Actor-Based Language Using Constraint Automata. - Marjan Sirjani; Mohammad Mahdi Jaghoori; Christel Baier; Farhad Arbab (COORDINATION, 2006)

Rebeca: Theory, Applications, and Tools. - Marjan Sirjani (FMCO, 2006)

Generating Test Cases for Constraint Automata by Genetic Symbiosis Algorithm. - Samira Tasharofi; Sepand Ansari; Marjan Sirjani (ICFEM, 2006)

Using Reo for formal specification and verification of system designs. - Niloofar Razavi; Marjan Sirjani (MEMOCODE, 2006)

Modere: the model-checking engine of Rebeca. - Mohammad Mahdi Jaghoori; Ali Movaghar 001; Marjan Sirjani (SAC, 2006)

Using UML to Develop Verifiable Reactive Systems. - Fatemeh Alavizadeh; Marjan Sirjani (Software Engineering Research and Practice, 2006)

Specification and Implementation of Multi-Agent Organizations. - Fatemeh Ghassemi; Naser Nematbakhsh; Behrouz Tork Ladani; Marjan Sirjani (WEBIST (1), 2006)

Modeling component connectors in Reo by constraint automata. - Christel Baier; Marjan Sirjani; Farhad Arbab; Jan J. M. M. Rutten (Sci. Comput. Program., 2006)

Sarir: A Rebeca to mCRL2 Translator. - Hossein Hojjat; Marjan Sirjani; Mohammad Reza Mousavi 001; Jan Friso Groote (ACSD, 2007)

Compositional Semantics of System-Level Designs Written in SystemC. - Niloofar Razavi; Marjan Sirjani (FSEN, 2007)

ReUML: a UML Profile for Modeling and Verification of Reactive Systems. - Fatemeh Alavizadeh; Alireza Hashemi Nekoo; Marjan Sirjani (ICSEA, 2007)

A New Approach for Design and Verification of Transaction Level Models. - Mohammad Reza Kakoee; Hamid Shojaei; Hassan Ghasemzadeh 001; Marjan Sirjani; Zainalabedin Navabi (ISCAS, 2007)

Modeling Web Service Interactions Using the Coordination Language Reo. - Samira Tasharofi; Mohsen Vakilian; Roshanak Zilouchian Moghaddam; Marjan Sirjani (WS-FM, 2007)

Comparing Three Coordination Models: Reo, ARC, and RRD. - Carolyn L. Talcott; Marjan Sirjani; Shangping Ren (FOCLASA, 2007)

Applications of Formal Methods to System Design and Verification. - Farhad Arbab; Marjan Sirjani (J. Univers. Comput. Sci., 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)

An effective approach for model checking SystemC designs. - Razieh Behjati; Hamideh Sabouri; Niloofar Razavi; Marjan Sirjani (ACSD, 2008)

Process algebraic verification of SystemC codes. - Hossein Hojjat; Mohammad Reza Mousavi 001; Marjan Sirjani (ACSD, 2008)

Modeling and Analysis of Reo Connectors Using Alloy. - Ramtin Khosravi; Marjan Sirjani; Nesa Asoudeh; Shaghayegh Sahebi; Hamed Iravanchi (COORDINATION, 2008)

A framework for performance evaluation and functional verification in stochastic process algebras. - Hossein Hojjat; Mohammad Reza Mousavi 001; Marjan Sirjani (SAC, 2008)

QoS Aspects in Web Services Compositions. - Farzad Mahdikhani; Mahmoud Reza Hashemi; Marjan Sirjani (SOSE, 2008)

Slicing-based Reductions for Rebeca. - Hamideh Sabouri; Marjan Sirjani (FACS, 2008)

Formal Modeling and Conformance Validation for WS-CDL using Reo and CASM. - Samira Tasharofi; Marjan Sirjani (FOCLASA@ICALP, 2008)

Formal Analysis of Smart Home Policies using Compositional Verification. - Narges Khakpour; Marjan Sirjani; Saeed Jalili (ICFI, 2009)

Bounded Rational Search for On-the-Fly Model Checking of LTL Properties. - Razieh Behjati; Marjan Sirjani; Majid Nili Ahmadabadi (FSEN, 2009)

Modeling networking issues of network-on-chip: a coloured petri nets approach. - Hamid Hajabdolali Bazzaz; Marjan Sirjani; Ramtin Khosravi; Shamim Taheri (SimuTools, 2009)

PobSAM: Policy-based Managing of Actors in Self-Adaptive Systems. - Narges Khakpour; Saeed Jalili; Carolyn L. Talcott; Marjan Sirjani; Mohammad Reza Mousavi 001 (FACS@FMWeek, 2009)

Automated Analysis of Reo Circuits using Symbolic Execution. - Bahman Pourvatan; Marjan Sirjani; Hossein Hojjat; Farhad Arbab (FOCLASA, 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)

Decomposition of Constraint Automata. - Bahman Pourvatan; Marjan Sirjani; Farhad Arbab; Marcello M. Bonsangue (FACS, 2010)

Formal analysis of policy-based self-adaptive systems. - Narges Khakpour; Ramtin Khosravi; Marjan Sirjani; Saeed Jalili (SAC, 2010)

Symmetry and partial order reduction techniques in model checking Rebeca. - Mohammad Mahdi Jaghoori; Marjan Sirjani; Mohammad Reza Mousavi 001; Ehsan Khamespanah; Ali Movaghar 001 (Acta Informatica, 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 001 (Comput. Electr. Eng., 2010)

Actor-based slicing techniques for efficient reduction of Rebeca models. - Hamideh Sabouri; Marjan Sirjani (Sci. Comput. Program., 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)

Ten Years of Analyzing Actors: Rebeca Experience. - Marjan Sirjani; Mohammad Mahdi Jaghoori (Formal Modeling: Actors, Open Systems, Biological Systems, 2011)

Networks of Real-Time Actors. - Mohammad Mahdi Jaghoori; Ólafur Hlynsson; Marjan Sirjani (FACS, 2011)

Context-Based Behavioral Equivalence of Components in Self-Adaptive Systems. - Narges Khakpour; Marjan Sirjani; Ursula Goltz (ICFEM, 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 (FOCLASA, 2011)

Formal Analysis of SystemC Designs in Process Algebra. - Hossein Hojjat; Mohammad Reza Mousavi 001; Marjan Sirjani (Fundam. Informaticae, 2011)

Preface. - Carlos Canal; Pascal Poizat; Marjan Sirjani (Sci. Comput. Program., 2011)

Comparing three coordination models: Reo, ARC, and PBRD. - Carolyn L. Talcott; Marjan Sirjani; Shangping Ren (Sci. Comput. Program., 2011)

Timed-rebeca schedulability and deadlock-freedom analysis using floating-time transition system. - Ehsan Khamespanah; Zeynab Sabahi-Kaviani; Ramtin Khosravi; Marjan Sirjani; Mohammad-Javad Izadi (AGERE!@SPLASH, 2012)

Guided Search for Deadlocks in Actor-Based Models. - Steinar Hugi Sigurdarson; Marjan Sirjani; Yngvi Björnsson; Arni Hermann Reynisson (FACS, 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)

Fundamentals of software engineering (selected papers of FSEN '09). - Farhad Arbab; Marjan Sirjani (Sci. Comput. Program., 2012)

Formal modeling of evolving self-adaptive systems. - Narges Khakpour; Saeed Jalili; Carolyn L. Talcott; Marjan Sirjani; Mohammad Reza Mousavi 001 (Sci. Comput. Program., 2012)

Symbolic execution of Reo circuits using constraint automata. - Bahman Pourvatan; Marjan Sirjani; Hossein Hojjat; Farhad Arbab (Sci. Comput. Program., 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)

Analysing timed Rebeca using McErlang. - Haukur Kristinsson; Ali Jafari; Ehsan Khamespanah; Brynjar Magnusson; Marjan Sirjani (AGERE!@SPLASH, 2013)

Formal Semantics and Analysis of Timed Rebeca in Real-Time Maude. - Zeynab Sabahi-Kaviani; Ramtin Khosravi; Marjan Sirjani; Peter Csaba Ölveczky; Ehsan Khamespanah (FTSCS, 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)

Fundamentals of Software Engineering (selected papers of FSEN 2011). - Farhad Arbab; Marjan Sirjani (Sci. Comput. Program., 2013)

Efficient TCTL Model Checking Algorithm for Timed Actors. - Ehsan Khamespanah; Ramtin Khosravi; Marjan Sirjani (AGERE!@SPLASH, 2014)

Event-Based Analysis of Timed Rebeca Models using SQL. - Brynjar Magnusson; Ehsan Khamespanah; Ramtin Khosravi; Marjan Sirjani (AGERE!@SPLASH, 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)

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)

Jacco: more efficient model checking toolset for Java actor programs. - Arvin Zakeriyan; Ehsan Khamespanah; Marjan Sirjani; Ramtin Khosravi (AGERE!@SPLASH, 2015)

Floating Time Transition System: More Efficient Analysis of Timed Actors. - Ehsan Khamespanah; Marjan Sirjani; Mahesh Viswanathan 001; Ramtin Khosravi (FACS, 2015)

State Distribution Policy for Distributed Model Checking of Actor Models. - Ehsan Khamespanah; Marjan Sirjani; Mohammad Reza Mousavi 001; Zeynab Sabahi-Kaviani; Mohamadreza Razzazi (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2015)

Fundamentals of Software Engineering (selected papers of FSEN 2013). - Hossein Hojjat; Marjan Sirjani; Farhad Arbab (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)

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)

On Time Actors. - Marjan Sirjani; Ehsan Khamespanah (Theory and Practice of Formal Methods, 2016)

Coordinated Actors for Reliable Self-adaptive Systems. - Maryam Bagheri 001; Ilge Akkaya; Ehsan Khamespanah; Narges Khakpour; Marjan Sirjani; Ali Movaghar 001; Edward A. Lee (FACS, 2016)

Schedulability Analysis of Distributed Real-Time Sensor Network Applications Using Actor-Based Model Checking. - Ehsan Khamespanah; Kirill Mechitov; Marjan Sirjani; Gul A. Agha (SPIN, 2016)

Statistical model checking of Timed Rebeca models. - Ali Jafari; Ehsan Khamespanah; Haukur Kristinsson; Marjan Sirjani; Brynjar Magnusson (Comput. Lang. Syst. Struct., 2016)

PTRebeca: Modeling and analysis of distributed and asynchronous systems. - Ali Jafari; Ehsan Khamespanah; Marjan Sirjani; Holger Hermanns; Matteo Cimini (Sci. Comput. Program., 2016)

Lightweight Preprocessing for Agent-Based Simulation of Smart Mobility Initiatives. - Carlo Castagnari; Jacopo de Berardinis; Giorgio Forcina; Ali Jafari; Marjan Sirjani (SEFM Workshops, 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)

A Survey of Active Object Languages. - Frank S. de Boer; Vlad Serbanescu 001; 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)

Runtime compositional analysis of track-based traffic control systems. - Maryam Bagheri 001; Ehsan Khamespanah; Marjan Sirjani; Ali Movaghar 001; Edward A. Lee (SIGBED Rev., 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)

Power is Overrated, Go for Friendliness! Expressiveness, Faithfulness, and Usability in Modeling: The Actor Experience. - Marjan Sirjani (Principles of Modeling, 2018)

Reo Connectors and Components as Tagged Signal Models. - Marjan Sirjani; Fatemeh Ghassemi; Bahman Pourvatan (It's All About Coordination, 2018)

Hybrid Rebeca: Modeling and Analyzing of Cyber-Physical Systems. - Iman Jahandideh; Fatemeh Ghassemi; Marjan Sirjani (CyPhy/WESE, 2018)

What Good are Models? - Edward A. Lee; Marjan Sirjani (FACS, 2018)

Safe and efficient fleet operation for autonomous machines: an actor-based approach. - Ali Jafari; Jayasoorya Jayanthi Surendran Nair; Stephan Baumgart; Marjan Sirjani (SAC, 2018)

Coordinated actor model of self-adaptive track-based traffic control systems. - Maryam Bagheri 001; Marjan Sirjani; Ehsan Khamespanah; Narges Khakpour; Ilge Akkaya; Ali Movaghar 001; Edward A. Lee (J. Syst. Softw., 2018)

Actor-based macroscopic modeling and simulation for smart urban planning. - Jacopo de Berardinis; Giorgio Forcina; Ali Jafari; 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)

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)

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)

Towards a Framework for Safe and Secure Adaptive Collaborative Systems. - Aida Causevic; Alessandro Vittorio Papadopoulos; Marjan Sirjani (COMPSAC (2), 2019)

An Actor-Based Design Platform for System of Systems. - Marjan Sirjani; Giorgio Forcina; Ali Jafari; Stephan Baumgart; Ehsan Khamespanah; Ali Sedaghatbaf (COMPSAC (1), 2019)

Actors Revisited for Time-Critical Systems. - Marten Lohstroh; Martin Schoeberl; Andrés Goens; Armin Wasicek; Christopher D. Gill; Marjan Sirjani; Edward A. Lee (DAC, 2019)

Analysing Real-time Distributed Systems using Timed Actors. - Marjan Sirjani (DS-RT, 2019)

Reactive Actors: Isolation for Efficient Analysis of Distributed Systems. - Marjan Sirjani; Ehsan Khamespanah; Fatemeh Ghassemi (DS-RT, 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 (ECBS, 2019)

On-Off Attack on a Blockchain-based IoT System. - Fereidoun Moradi; Ali Sedaghatbaf; Sara Abbaspour Asadollah; Aida Causevic; Marjan Sirjani (ETFA, 2019)

A Formal Model to Integrate Behavioral and Structural Adaptations in Self-adaptive Systems. - Narges Khakpour; Jetty Kleijn; Marjan Sirjani (FSEN, 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 001 (SPIN, 2019)

A Compositional Approach for Reliable Adaptation of Track-based Traffic Control Systems at Runtime. - Maryam Bagheri 001; Marjan Sirjani; Ehsan Khamespanah; Ali Movaghar 001 (CoRR, 2019)

Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2017). - Mehdi Dastani; Marjan Sirjani (Sci. Comput. Program., 2019)

Developing Safe Smart Contracts. - Sajjad Rezaei; Ehsan Khamespanah; Marjan Sirjani; Ali Sedaghatbaf; Siamak Mohammadi (COMPSAC, 2020)

Model Checking Software in Cyberphysical Systems. - Marjan Sirjani; Edward A. Lee; Ehsan Khamespanah (COMPSAC, 2020)

Formal Modeling and Analysis of Medical Systems. - Mahsa Zarneshan; Fatemeh Ghassemi; Marjan Sirjani (COORDINATION, 2020)

Towards Formal Analysis of Vehicle Platoons Using Actor Model. - Zeinab Sharifi; Ramtin Khosravi; Marjan Sirjani; Ehsan Khamespanah (ETFA, 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 (FMICS, 2020)

Lightweight Formal Method for Robust Routing in Track-based Traffic Control Systems. - Maryam Bagheri 001; Edward A. Lee; Eunsuk Kang; Marjan Sirjani; Ehsan Khamespanah; Ali Movaghar 001 (MEMOCODE, 2020)

From Requirements to Verifiable Executable Models Using Rebeca. - Marjan Sirjani; Luciana Provenzano; Sara Abbaspour Asadollah; Mahshid Helali Moghadam (SEFM, 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)

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 001 (Int. J. Softw. Tools Technol. Transf., 2020)

Integration and Orchestration of Analysis Tools. - Robert Heinrich; Erwan Bousse; Sandro Koch; Arend Rensink; Elvinia Riccobene; Daniel Ratiu; Marjan Sirjani (Composing Model-Based Analysis Tools, 2021)

Using Afra in Different Domains by Tool Orchestration. - Ehsan Khamespanah; Pavle Mrvaljevic; Anas Fattouh; Marjan Sirjani (Composing Model-Based Analysis Tools, 2021)

Partial Order Reduction for Timed Actors. - Maryam Bagheri 001; Marjan Sirjani; Ehsan Khamespanah; Hossein Hojjat; Ali Movaghar 001 (VSTTE, 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)

An actor-based framework for asynchronous event-based cyber-physical systems. - Iman Jahandideh; Fatemeh Ghassemi; Marjan Sirjani (Softw. Syst. Model., 2021)

Schedulability Analysis of WSAN Applications: Outperformance of a Model Checking Approach. - Ehsan Khamespanah; Morteza Mohaqeqi; Mohammad Ashjaei; Marjan Sirjani (ETFA, 2022)

Monitoring Cyber-Physical Systems Using a Tiny Twin to Prevent Cyber-Attacks. - Fereidoun Moradi; Maryam Bagheri 001; Hanieh Rahmati; Hamed Yazdi; Sara Abbaspour Asadollah; Marjan Sirjani (SPIN, 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)

Magnifier: A Compositional Analysis Approach for Autonomous Traffic Control. - Maryam Bagheri 001; Marjan Sirjani; Ehsan Khamespanah; Christel Baier; Ali Movaghar 001 (IEEE Trans. Software Eng., 2022)

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 (CSCS, 2023)

Using Automata Learning for Compliance Evaluation of Communication Protocols on an NFC Handshake Example. - Stefan Marksteiner; Marjan Sirjani; Mikael Sjödin (ECBS, 2023)

Model Checking of Hyperledger Fabric Smart Contracts. - Elmira Ebrahimi; Ehsan Khamespanah; Marjan Sirjani; Siamak Mohammadi (ETFA, 2023)

Afra: An Eclipse-Based Tool with Extensible Architecture for Modeling and Model Checking of Rebeca Family Models. - Ehsan Khamespanah; Marjan Sirjani; Ramtin Khosravi (FSEN, 2023)

Learning Activation Functions for Adversarial Attack Resilience in CNNs. - Maghsood Salimi; Mohammad Loni; Marjan Sirjani (ICAISC (1), 2023)

SARAF: Searching for Adversarial Robust Activation Functions. - Maghsood Salimi; Mohammad Loni; Marjan Sirjani; Antonio Cicchetti; Sara Abbaspour Asadollah (ICMVA, 2023)

Transparent Actor Model. - Fatemeh Ghassemi; Marjan Sirjani; Ehsan Khamespanah; Mahrokh Mirani; Hossein Hojjat (FormaliSE, 2023)

Timed Actors and Their Formal Verification. - Marjan Sirjani; Ehsan Khamespanah (EXPRESS/SOS, 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)

Actors Upgraded for Variability, Adaptability, and Determinism. - Ramtin Khosravi; Ehsan Khamespanah; Fatemeh Ghassemi; Marjan Sirjani (Active Object Languages: Current Research Trends, 2024)

Automated Passport Control: Mining and Checking Models of Machine Readable Travel Documents. - Stefan Marksteiner; Marjan Sirjani; Mikael Sjödin (ARES, 2024)

Guess and Then Check: Controller Synthesis for Safe and Secure Cyber-Physical Systems. - Rong Gu; Zahra Moezkarimi; Marjan Sirjani (FORTE, 2024)

ConstScene: A Dataset and Model for Advancing Robust Semantic Segmentation in Construction Environment. - Maghsood Salimi; Mohammad Loni; Sara Afshar; Antonio Cicchetti; Marjan Sirjani (ICPRAI (2), 2024)

Formal Verification of Consistency for Systems with Redundant Controllers. - Bjarne Johansson; Bahman Pourvatan; Zahra Moezkarimi; Alessandro Papadopoulos; Marjan Sirjani (MARS@ETAPS, 2024)

Hybrid Rebeca Revisited. - Saeed Zhiany; Fatemeh Ghassemi; Nesa Abbasimoghadam; Ali Hodaei; Ali Ataollahi; József Kovács; Erika Ábrahám; Marjan Sirjani (CoRR, 2024)

CRYSTAL framework: Cybersecurity assurance for cyber-physical systems. - Fereidoun Moradi; Sara Abbaspour Asadollah; Bahman Pourvatan; Zahra Moezkarimi; Marjan Sirjani (J. Log. Algebraic Methods Program., 2024)

Enhancing Cybersecurity through Comprehensive Investigation of Data Flow-Based Attack Scenarios. - Sara Abbaspour Asadollah; Shamoona Imtiaz; Alireza Dehlaghi-Ghadim; Mikael Sjödin; Marjan Sirjani (J. Cybersecur. Priv., 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., 2024)

Harnessing ChatGPT for Model Transformation in Software Architecture: From UML State Diagrams to Rebeca Models for Formal Verification. - Zahra Moezkarimi; Kevin Eriksson; Albin Alm Johansson; Alessio Bucaioni; Marjan Sirjani (ICSA Companion, 2025)

Reachability analysis of Hybrid Rebeca models. - Fatemeh Ghassemi; Saeed Zhiany; Nesa Abbasi; Ali Hodaei; Ali Ataollahi; József Kovács; Erika Ábrahám; Marjan Sirjani (J. Syst. Archit., 2025)

Learning single and compound-protocol automata and checking behavioral equivalences. - Stefan Marksteiner; David Schögler; Marjan Sirjani; Mikael Sjödin (Int. J. Softw. Tools Technol. Transf., 2025)

LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems. - Khashayar Etemadi; Marjan Sirjani; Mahshid Helali Moghadam; Per Erik Strandberg; Paul Pettersson (CoRR, 2025)

Learn, Check, Test - Security Testing Using Automata Learning and Model Checking. - Stefan Marksteiner; Mikael Sjödin; Marjan Sirjani (CoRR, 2025)