Marjan Sirjani

ORCID

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 71

Top Venues

Sci. Comput. Program.

CoRR

ETFA

FACS

Publications

Stefan Marksteiner, Marjan Sirjani, Mikael Sjödin
Automated Passport Control: Mining and Checking Models of Machine Readable Travel Documents. ARES (2024)
Bjarne Johansson, Bahman Pourvatan, Zahra Moezkarimi, Alessandro Papadopoulos, Marjan Sirjani
Formal Verification of Consistency for Systems with Redundant Controllers. MARS@ETAPS (2024)
Rong Gu, Zahra Moezkarimi, Marjan Sirjani
Guess and Then Check: Controller Synthesis for Safe and Secure Cyber-Physical Systems. FORTE (2024)
Fereidoun Moradi, Sara Abbaspour Asadollah, Bahman Pourvatan, Zahra Moezkarimi, Marjan Sirjani
CRYSTAL framework: Cybersecurity assurance for cyber-physical systems. J. Log. Algebraic Methods Program. 139 (2024)
Fereidoun Moradi, Bahman Pourvatan, Sara Abbaspour Asadollah, Marjan Sirjani
Tiny Twins for detecting cyber-attacks at runtime using concise Rebeca time transition system. J. Parallel Distributed Comput. 184 (2024)
Maghsood Salimi, Mohammad Loni, Sara Afshar, Marjan Sirjani, Antonio Cicchetti
ConstScene: Dataset and Model for Advancing Robust Semantic Segmentation in Construction Environments. CoRR (2023)
Stefan Marksteiner, Marjan Sirjani, Mikael Sjödin
Using Automata Learning for Compliance Evaluation of Communication Protocols on an NFC Handshake Example. ECBS (2023)
Maghsood Salimi, Mohammad Loni, Marjan Sirjani, Antonio Cicchetti, Sara Abbaspour Asadollah
SARAF: Searching for Adversarial Robust Activation Functions. ICMVA (2023)
Elmira Ebrahimi, Ehsan Khamespanah, Marjan Sirjani, Siamak Mohammadi
Model Checking of Hyperledger Fabric Smart Contracts. ETFA (2023)
Maghsood Salimi, Mohammad Loni, Marjan Sirjani
Learning Activation Functions for Adversarial Attack Resilience in CNNs. ICAISC (1) (2023)
Marjan Sirjani, Ehsan Khamespanah
Timed Actors and Their Formal Verification. EXPRESS/SOS (2023)
Fatemeh Ghassemi, Marjan Sirjani, Ehsan Khamespanah, Mahrokh Mirani, Hossein Hojjat
Transparent Actor Model. FormaliSE (2023)
Ehsan Khamespanah, Marjan Sirjani, Ramtin Khosravi
Afra: An Eclipse-Based Tool with Extensible Architecture for Modeling and Model Checking of Rebeca Family Models. FSEN (2023)
Stefan F. Marksteiner, Christoph Schmittner, Korbinian Christl, Dejan Nickovic, Mikael Sjödin, Marjan Sirjani
From TARA to Test: Automated Automotive Cybersecurity Test Generation Out of Threat Modeling. CSCS (2023)
Maryam Bagheri, Marjan Sirjani, Ehsan Khamespanah, Christel Baier, Ali Movaghar
Magnifier: A Compositional Analysis Approach for Autonomous Traffic Control. IEEE Trans. Software Eng. 48 (8) (2022)
Ehsan Khamespanah, Morteza Mohaqeqi, Mohammad Ashjaei, Marjan Sirjani
Schedulability Analysis of WSAN Applications: Outperformance of A Model Checking Approach. CoRR (2022)
Ehsan Khamespanah, Morteza Mohaqeqi, Mohammad Ashjaei, Marjan Sirjani
Schedulability Analysis of WSAN Applications: Outperformance of a Model Checking Approach. ETFA (2022)
Mahsa Zarneshan, Fatemeh Ghassemi, Ehsan Khamespanah, Marjan Sirjani, John Hatcliff
Specification and Verification of Timing Properties in Interoperable Medical Systems. Log. Methods Comput. Sci. 18 (2) (2022)
Fereidoun Moradi, Maryam Bagheri, Hanieh Rahmati, Hamed Yazdi, Sara Abbaspour Asadollah, Marjan Sirjani
Monitoring Cyber-Physical Systems Using a Tiny Twin to Prevent Cyber-Attacks. SPIN (2022)
Iman Jahandideh, Fatemeh Ghassemi, Marjan Sirjani
An actor-based framework for asynchronous event-based cyber-physical systems. Softw. Syst. Model. 20 (3) (2021)
Maryam Bagheri, Marjan Sirjani, Ehsan Khamespanah, Hossein Hojjat, Ali Movaghar
Partial Order Reduction for Timed Actors. VSTTE (2021)
Marjan Sirjani, Luciana Provenzano, Sara Abbaspour Asadollah, Mahshid Helali Moghadam, Mehrdad Saadatmand
Towards a Verification-Driven Iterative Development of Software for Safety-Critical Cyber-Physical Systems. J. Internet Serv. Appl. 12 (1) (2021)
Fereidoun Moradi, Sara Abbaspour Asadollah, Ali Sedaghatbaf, Aida Causevic, Marjan Sirjani, Carolyn L. Talcott
An Actor-Based Approach for Security Analysis of Cyber-Physical Systems. FMICS (2020)
Giorgio Forcina, Ali Sedaghatbaf, Stephan Baumgart, Ali Jafari, Ehsan Khamespanah, Pavle Mrvaljevic, Marjan Sirjani
Safe Design of Flow Management Systems Using Rebeca. J. Inf. Process. 28 (2020)
Zeinab Sharifi, Ramtin Khosravi, Marjan Sirjani, Ehsan Khamespanah
Towards Formal Analysis of Vehicle Platoons Using Actor Model. ETFA (2020)
Mahsa Zarneshan, Fatemeh Ghassemi, Ehsan Khamespanah, Marjan Sirjani, John Hatcliff
Specification and Verification of Timing Properties in Interoperable Medical Systems. CoRR (2020)
Sajjad Rezaei, Ehsan Khamespanah, Marjan Sirjani, Ali Sedaghatbaf, Siamak Mohammadi
Developing Safe Smart Contracts. COMPSAC (2020)
Farnaz Yousefi, Ehsan Khamespanah, Mohammed Gharib, Marjan Sirjani, Ali Movaghar
VeriVANca framework: verification of VANETs by property-based message passing of actors in Rebeca with inheritance. Int. J. Softw. Tools Technol. Transf. 22 (5) (2020)
Mahsa Zarneshan, Fatemeh Ghassemi, Marjan Sirjani
Formal Modeling and Analysis of Medical Systems. COORDINATION (2020)
Marjan Sirjani, Edward A. Lee, Ehsan Khamespanah
Model Checking Software in Cyberphysical Systems. COMPSAC (2020)
Maryam Bagheri, Edward A. Lee, Eunsuk Kang, Marjan Sirjani, Ehsan Khamespanah, Ali Movaghar
Lightweight Formal Method for Robust Routing in Track-based Traffic Control Systems. MEMOCODE (2020)
Marjan Sirjani, Luciana Provenzano, Sara Abbaspour Asadollah, Mahshid Helali Moghadam
From Requirements to Verifiable Executable Models Using Rebeca. SEFM (2020)
Narges Khakpour, Jetty Kleijn, Marjan Sirjani
A Formal Model to Integrate Behavioral and Structural Adaptations in Self-adaptive Systems. FSEN (2019)
Marjan Sirjani, Giorgio Forcina, Ali Jafari, Stephan Baumgart, Ehsan Khamespanah, Ali Sedaghatbaf
An Actor-Based Design Platform for System of Systems. COMPSAC (1) (2019)
Marjan Sirjani
Analysing Real-time Distributed Systems using Timed Actors. DS-RT (2019)
Maryam Bagheri, Marjan Sirjani, Ehsan Khamespanah, Ali Movaghar
A Compositional Approach for Reliable Adaptation of Track-based Traffic Control Systems at Runtime. CoRR (2019)
Maghsood Salimi, Amin Majd, Mohammad Loni, Tiberiu Seceleanu, Cristina Seceleanu, Marjan Sirjani, Masoud Daneshtalab, Elena Troubitsyna
Multi-objective Optimization of Real-Time Task Scheduling Problem for Distributed Environments. ECBS (2019)
Fereidoun Moradi, Ali Sedaghatbaf, Sara Abbaspour Asadollah, Aida Causevic, Marjan Sirjani
On-Off Attack on a Blockchain-based IoT System. ETFA (2019)
Farnaz Yousefi, Ehsan Khamespanah, Mohammed Gharib, Marjan Sirjani, Ali Movaghar
VeriVANca: An Actor-Based Framework for Formal Verification of Warning Message Dissemination Schemes in VANETs. CoRR (2019)
Marjan Sirjani, Ehsan Khamespanah, Fatemeh Ghassemi
Reactive Actors: Isolation for Efficient Analysis of Distributed Systems. DS-RT (2019)
Farnaz Yousefi, Ehsan Khamespanah, Mohammed Gharib, Marjan Sirjani, Ali Movaghar
VeriVANca: An Actor-Based Framework for Formal Verification of Warning Message Dissemination Schemes in VANETs. SPIN (2019)
Marten Lohstroh, Martin Schoeberl, Andrés Goens, Armin Wasicek, Christopher D. Gill, Marjan Sirjani, Edward A. Lee
Actors Revisited for Time-Critical Systems. DAC (2019)
Aida Causevic, Alessandro Vittorio Papadopoulos, Marjan Sirjani
Towards a Framework for Safe and Secure Adaptive Collaborative Systems. COMPSAC (2) (2019)
Iman Jahandideh, Fatemeh Ghassemi, Marjan Sirjani
Hybrid Rebeca: Modeling and Analyzing of Cyber-Physical Systems. CoRR (2019)
Mehdi Dastani, Marjan Sirjani
Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2017). Sci. Comput. Program. 182 (2019)
Ehsan Khamespanah, Marjan Sirjani, Kirill Mechitov, Gul Agha
Modeling and analyzing real-time wireless sensor and actuator networks using actors and model checking. Int. J. Softw. Tools Technol. Transf. 20 (5) (2018)
Maryam Bagheri, Marjan Sirjani, Ehsan Khamespanah, Narges Khakpour, Ilge Akkaya, Ali Movaghar, Edward A. Lee
Coordinated actor model of self-adaptive track-based traffic control systems. J. Syst. Softw. 143 (2018)
Iman Jahandideh, Fatemeh Ghassemi, Marjan Sirjani
Hybrid Rebeca: Modeling and Analyzing of Cyber-Physical Systems. CyPhy/WESE (2018)
Mehdi Dastani, Hossein Hojjat, Marjan Sirjani
Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2015). Sci. Comput. Program. 160 (2018)
Jacopo de Berardinis, Giorgio Forcina, Ali Jafari, Marjan Sirjani
Actor-based macroscopic modeling and simulation for smart urban planning. Sci. Comput. Program. 168 (2018)
Marjan Sirjani, Fatemeh Ghassemi, Bahman Pourvatan
Reo Connectors and Components as Tagged Signal Models. It's All About Coordination (2018)
Ali Jafari, Jayasoorya Jayanthi Surendran Nair, Stephan Baumgart, Marjan Sirjani
Safe and efficient fleet operation for autonomous machines: an actor-based approach. SAC (2018)
Edward A. Lee, Marjan Sirjani
What Good are Models? FACS (2018)
Ehsan Khamespanah, Ramtin Khosravi, Marjan Sirjani
An efficient TCTL model checking algorithm and a reduction technique for verification of timed actor models. Sci. Comput. Program. 153 (2018)
Marjan Sirjani
Power is Overrated, Go for Friendliness! Expressiveness, Faithfulness, and Usability in Modeling: The Actor Experience. Principles of Modeling (2018)
Marjan Sirjani, Ehsan Khamespanah, Kirill Mechitov, Gul Agha
A compositional approach for modeling and timing analysis of wireless sensor and actuator networks. SIGBED Rev. 14 (3) (2017)
Mohammad Mahdi Jaghoori, Frank S. de Boer, Delphine Longuet, Tom Chothia, Marjan Sirjani
Compositional schedulability analysis of real-time actor-based systems. Acta Informatica 54 (4) (2017)
Carlo Castagnari, Jacopo de Berardinis, Giorgio Forcina, Ali Jafari, Marjan Sirjani
Lightweight Preprocessing for Agent-Based Simulation of Smart Mobility Initiatives. SEFM Workshops (2017)
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
A Survey of Active Object Languages. ACM Comput. Surv. 50 (5) (2017)
Maryam Bagheri, Ehsan Khamespanah, Marjan Sirjani, Ali Movaghar, Edward A. Lee
Runtime compositional analysis of track-based traffic control systems. SIGBED Rev. 14 (3) (2017)
Marjan Sirjani, Ehsan Khamespanah
On Time Actors. Theory and Practice of Formal Methods (2016)
Ali Jafari, Ehsan Khamespanah, Marjan Sirjani, Holger Hermanns, Matteo Cimini
PTRebeca: Modeling and analysis of distributed and asynchronous systems. Sci. Comput. Program. 128 (2016)
Ehsan Khamespanah, Kirill Mechitov, Marjan Sirjani, Gul A. Agha
Schedulability Analysis of Distributed Real-Time Sensor Network Applications Using Actor-Based Model Checking. SPIN (2016)
Maryam Bagheri, Ilge Akkaya, Ehsan Khamespanah, Narges Khakpour, Marjan Sirjani, Ali Movaghar, Edward A. Lee
Coordinated Actors for Reliable Self-adaptive Systems. FACS (2016)
Ali Jafari, Ehsan Khamespanah, Haukur Kristinsson, Marjan Sirjani, Brynjar Magnusson
Statistical model checking of Timed Rebeca models. Comput. Lang. Syst. Struct. 45 (2016)
Ehsan Khamespanah, Marjan Sirjani, Zeynab Sabahi-Kaviani, Ramtin Khosravi, Mohammad-Javad Izadi
Timed Rebeca schedulability and deadlock freedom analysis using bounded floating time transition system. Sci. Comput. Program. 98 (2015)
Ehsan Khamespanah, Marjan Sirjani, Mohammad Reza Mousavi, Zeynab Sabahi-Kaviani, Mohamadreza Razzazi
State Distribution Policy for Distributed Model Checking of Actor Models. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 72 (2015)
Ehsan Khamespanah, Marjan Sirjani, Mahesh Viswanathan, Ramtin Khosravi
Floating Time Transition System: More Efficient Analysis of Timed Actors. FACS (2015)
Hossein Hojjat, Marjan Sirjani, Farhad Arbab
Fundamentals of Software Engineering (selected papers of FSEN 2013). Sci. Comput. Program. 112 (2015)
Zeynab Sabahi-Kaviani, Ramtin Khosravi, Peter Csaba Ölveczky, Ehsan Khamespanah, Marjan Sirjani
Formal semantics and efficient analysis of Timed Rebeca in Real-Time Maude. Sci. Comput. Program. 113 (2015)
Arvin Zakeriyan, Ehsan Khamespanah, Marjan Sirjani, Ramtin Khosravi
Jacco: more efficient model checking toolset for Java actor programs. AGERE!@SPLASH (2015)
Ali Jafari, Ehsan Khamespanah, Marjan Sirjani, Holger Hermanns
Performance Analysis of Distributed and Asynchronous Systems using Probabilistic Timed Actors. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 70 (2014)
Brynjar Magnusson, Ehsan Khamespanah, Ramtin Khosravi, Marjan Sirjani
Event-Based Analysis of Timed Rebeca Models using SQL. AGERE!@SPLASH (2014)
Arni Hermann Reynisson, Marjan Sirjani, Luca Aceto, Matteo Cimini, Ali Jafari, Anna Ingólfsdóttir, Steinar Hugi Sigurdarson
Modelling and simulation of asynchronous real-time systems using Timed Rebeca. Sci. Comput. Program. 89 (2014)
Ehsan Khamespanah, Ramtin Khosravi, Marjan Sirjani
Efficient TCTL Model Checking Algorithm for Timed Actors. AGERE!@SPLASH (2014)
Haukur Kristinsson, Ali Jafari, Ehsan Khamespanah, Brynjar Magnusson, Marjan Sirjani
Analysing timed Rebeca using McErlang. AGERE!@SPLASH (2013)
Zeinab Sharifi, Mahdi Mosaffa, Siamak Mohammadi, Marjan Sirjani
Functional and Performance Analysis of Network-on-Chips Using Actor-based Modeling and Formal Verification. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 66 (2013)
Zeynab Sabahi-Kaviani, Ramtin Khosravi, Marjan Sirjani, Peter Csaba Ölveczky, Ehsan Khamespanah
Formal Semantics and Analysis of Timed Rebeca in Real-Time Maude. FTSCS (2013)
Farhad Arbab, Marjan Sirjani
Fundamentals of Software Engineering (selected papers of FSEN 2011). Sci. Comput. Program. 78 (12) (2013)
Narges Khakpour, Saeed Jalili, Marjan Sirjani, Ursula Goltz, Bahareh Abolhasanzadeh
HPobSAM for modeling and analyzing IT Ecosystems - Through a case study. J. Syst. Softw. 85 (12) (2012)
Narges Khakpour, Saeed Jalili, Carolyn L. Talcott, Marjan Sirjani, Mohammad Reza Mousavi
Formal modeling of evolving self-adaptive systems. Sci. Comput. Program. 78 (1) (2012)
Steinar Hugi Sigurdarson, Marjan Sirjani, Yngvi Björnsson, Arni Hermann Reynisson
Guided Search for Deadlocks in Actor-Based Models. FACS (2012)
Bahman Pourvatan, Marjan Sirjani, Hossein Hojjat, Farhad Arbab
Symbolic execution of Reo circuits using constraint automata. Sci. Comput. Program. 77 (7-8) (2012)
Ehsan Khamespanah, Zeynab Sabahi-Kaviani, Ramtin Khosravi, Marjan Sirjani, Mohammad-Javad Izadi
Timed-rebeca schedulability and deadlock-freedom analysis using floating-time transition system. AGERE!@SPLASH (2012)
Farhad Arbab, Marjan Sirjani
Fundamentals of software engineering (selected papers of FSEN '09). Sci. Comput. Program. 77 (7-8) (2012)
Gwen Salaün, Marjan Sirjani
Preface: Special issue on Foundations of Coordination Languages and Software Architectures (selected papers from FOCLASA'09). Sci. Comput. Program. 77 (7-8) (2012)
Carolyn L. Talcott, Marjan Sirjani, Shangping Ren
Comparing three coordination models: Reo, ARC, and PBRD. Sci. Comput. Program. 76 (1) (2011)
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)
Carlos Canal, Pascal Poizat, Marjan Sirjani
Preface. Sci. Comput. Program. 76 (8) (2011)
Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirjani
Formal Analysis of SystemC Designs in Process Algebra. Fundam. Informaticae 107 (1) (2011)
Narges Khakpour, Marjan Sirjani, Ursula Goltz
Context-Based Behavioral Equivalence of Components in Self-Adaptive Systems. ICFEM (2011)
Mohammad Mahdi Jaghoori, Ólafur Hlynsson, Marjan Sirjani
Networks of Real-Time Actors. FACS (2011)
Marjan Sirjani, Mohammad Mahdi Jaghoori
Ten Years of Analyzing Actors: Rebeca Experience. Formal Modeling: Actors, Open Systems, Biological Systems (2011)
Mohammad Mahdi Jaghoori, Marjan Sirjani, Mohammad Reza Mousavi, Ehsan Khamespanah, Ali Movaghar
Symmetry and partial order reduction techniques in model checking Rebeca. Acta Informatica 47 (1) (2010)
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. Comput. Electr. Eng. 36 (5) (2010)
Narges Khakpour, Ramtin Khosravi, Marjan Sirjani, Saeed Jalili
Formal analysis of policy-based self-adaptive systems. SAC (2010)
Narges Khakpour, Saeed Jalili, Carolyn L. Talcott, Marjan Sirjani, Mohammad Reza Mousavi
PobSAM: Policy-based Managing of Actors in Self-Adaptive Systems. Electron. Notes Theor. Comput. Sci. 263 (2010)
Hamideh Sabouri, Marjan Sirjani
Slicing-based Reductions for Rebeca. Electron. Notes Theor. Comput. Sci. 260 (2010)
Bahman Pourvatan, Marjan Sirjani, Farhad Arbab, Marcello M. Bonsangue
Decomposition of Constraint Automata. FACS (2010)
Hamideh Sabouri, Marjan Sirjani
Actor-based slicing techniques for efficient reduction of Rebeca models. Sci. Comput. Program. 75 (10) (2010)

Marjan Sirjani.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Marjan Sirjani