Marjan Sirjani
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
37
Venues
21
Active years
2002–2026
Best venue rank
A*
Where they publish
- CETFA4 papers
- BCOMPSAC4 papers
- CCoordination4 papers
- MulticonferenceSAC4 papers
- CMEMOCODE2 papers
- BSEFM2 papers
- CICFEM2 papers
- NationalPDPTA2 papers
- A*CAV1 paper
- ASEAMS1 paper
- BIJCNN1 paper
- AICSA1 paper
- CVECoS1 paper
- CFORTE1 paper
- NationalICAISC1 paper
- CFMICS1 paper
- A*DAC1 paper
- CISCAS1 paper
- CICSEA1 paper
- CWEBIST1 paper
- NationalICDCIT1 paper
Papers
37 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CAV | Compositional Verification of Timed Automata via Violation Assumptions. | Mehran Moeini Jam, Hamed Kalantari, Ehsan Khamespanah, Marjan Sirjani, Ali Movaghar |
| 2026 | SEAMS | Ubi-AAL: A Self-Adaptive Ubiquitous Computing System Problem Exemplar in Ambient Assisted Living. | Javier Cmara, Ilias Gerostathopoulos, Livia Lestingi, Michele Loreti, Hiroyuki Nakagawa, Marjan Sirjani, Kenji Tei |
| 2025 | IJCNN | Robust Few-Shot Semantic Segmentation for Blurred and Occluded Objects in Construction Environments. | Maghsood Salimi, Mohammad Loni, Antonio Cicchetti, Marjan Sirjani |
| 2025 | ICSA | 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 |
| 2025 | VECoS | LLM-Based Property-Based Test Generation for Guardrailing Cyber-Physical Systems. | Khashayar Etemadi, Marjan Sirjani, Mahshid Helali Moghadam, Per Erik Strandberg, Paul Pettersson |
| 2024 | FORTE | Guess and Then Check: Controller Synthesis for Safe and Secure Cyber-Physical Systems. | Rong Gu, Zahra Moezkarimi, Marjan Sirjani |
| 2023 | ETFA | Model Checking of Hyperledger Fabric Smart Contracts. | Elmira Ebrahimi, Ehsan Khamespanah, Marjan Sirjani, Siamak Mohammadi |
| 2023 | ICAISC | Learning Activation Functions for Adversarial Attack Resilience in CNNs. | Maghsood Salimi, Mohammad Loni, Marjan Sirjani |
| 2022 | ETFA | Schedulability Analysis of WSAN Applications: Outperformance of a Model Checking Approach. | Ehsan Khamespanah, Morteza Mohaqeqi, Mohammad Ashjaei, Marjan Sirjani |
| 2020 | COMPSAC | Developing Safe Smart Contracts. | Sajjad Rezaei, Ehsan Khamespanah, Marjan Sirjani, Ali Sedaghatbaf, Siamak Mohammadi |
| 2020 | COMPSAC | Model Checking Software in Cyberphysical Systems. | Marjan Sirjani, Edward A. Lee, Ehsan Khamespanah |
| 2020 | Coordination | Formal Modeling and Analysis of Medical Systems. | Mahsa Zarneshan, Fatemeh Ghassemi, Marjan Sirjani |
| 2020 | ETFA | Towards Formal Analysis of Vehicle Platoons Using Actor Model. | Zeinab Sharifi, Ramtin Khosravi, Marjan Sirjani, Ehsan Khamespanah |
| 2020 | FMICS | 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 |
| 2020 | MEMOCODE | 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 |
| 2020 | SEFM | From Requirements to Verifiable Executable Models Using Rebeca. | Marjan Sirjani, Luciana Provenzano, Sara Abbaspour Asadollah, Mahshid Helali Moghadam |
| 2019 | COMPSAC | Towards a Framework for Safe and Secure Adaptive Collaborative Systems. | Aida Causevic, Alessandro Vittorio Papadopoulos, Marjan Sirjani |
| 2019 | COMPSAC | An Actor-Based Design Platform for System of Systems. | Marjan Sirjani, Giorgio Forcina, Ali Jafari, Stephan Baumgart, Ehsan Khamespanah, Ali Sedaghatbaf |
| 2019 | DAC | Actors Revisited for Time-Critical Systems. | Marten Lohstroh, Martin Schoeberl, Andrs Goens, Armin Wasicek, Christopher D. Gill, Marjan Sirjani, Edward A. Lee |
| 2019 | ETFA | On-Off Attack on a Blockchain-based IoT System. | Fereidoun Moradi, Ali Sedaghatbaf, Sara Abbaspour Asadollah, Aida Causevic, Marjan Sirjani |
| 2018 | SAC | Safe and efficient fleet operation for autonomous machines: an actor-based approach. | Ali Jafari, Jayasoorya Jayanthi Surendran Nair, Stephan Baumgart, Marjan Sirjani |
| 2017 | SEFM | Lightweight Preprocessing for Agent-Based Simulation of Smart Mobility Initiatives. | Carlo Castagnari, Jacopo de Berardinis, Giorgio Forcina, Ali Jafari, Marjan Sirjani |
| 2011 | ICFEM | Context-Based Behavioral Equivalence of Components in Self-Adaptive Systems. | Narges Khakpour, Marjan Sirjani, Ursula Goltz |
| 2010 | SAC | Formal analysis of policy-based self-adaptive systems. | Narges Khakpour, Ramtin Khosravi, Marjan Sirjani, Saeed Jalili |
| 2008 | Coordination | Modeling and Analysis of Reo Connectors Using Alloy. | Ramtin Khosravi, Marjan Sirjani, Nesa Asoudeh, Shaghayegh Sahebi, Hamed Iravanchi |
| 2008 | SAC | A framework for performance evaluation and functional verification in stochastic process algebras. | Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirjani |
| 2007 | ISCAS | A New Approach for Design and Verification of Transaction Level Models. | Mohammad Reza Kakoee, Hamid Shojaei, Hassan Ghasemzadeh, Marjan Sirjani, Zainalabedin Navabi |
| 2007 | ICSEA | ReUML: a UML Profile for Modeling and Verification of Reactive Systems. | Fatemeh Alavizadeh, Alireza Hashemi Nekoo, Marjan Sirjani |
| 2006 | Coordination | Compositional Semantics of an Actor-Based Language Using Constraint Automata. | Marjan Sirjani, Mohammad Mahdi Jaghoori, Christel Baier, Farhad Arbab |
| 2006 | ICFEM | Generating Test Cases for Constraint Automata by Genetic Symbiosis Algorithm. | Samira Tasharofi, Sepand Ansari, Marjan Sirjani |
| 2006 | MEMOCODE | Using Reo for formal specification and verification of system designs. | Niloofar Razavi, Marjan Sirjani |
| 2006 | SAC | Modere: the model-checking engine of Rebeca. | Mohammad Mahdi Jaghoori, Ali Movaghar, Marjan Sirjani |
| 2006 | WEBIST | Specification and Implementation of Multi-Agent Organizations. | Fatemeh Ghassemi, Naser Nematbakhsh, Behrouz Tork Ladani, Marjan Sirjani |
| 2005 | Coordination | 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 |
| 2005 | ICDCIT | Efficient Symmetry Reduction for an Actor-Based Model. | Mohammad Mahdi Jaghoori, Marjan Sirjani, Mohammad Reza Mousavi, Ali Movaghar |
| 2003 | PDPTA | Model Checking in Rebeca. | Marjan Sirjani, Ali Movaghar, Hamed Iravanchi, Mohammad Mahdi Jaghoori, Amin Shali |
| 2002 | PDPTA | Simulation in Rebeca. | Marjan Sirjani, Ali Movaghar |