Fereidoun Moradi, Sara Abbaspour Asadollah, Bahman Pourvatan, Zahra Moezkarimi, Marjan Sirjani: CRYSTAL Framework: Cybersecurity Assurance for Cyber-Physical Systems. Journal of Logical and Algebraic Methods in Programming. 139: 100965 (2024)
PDF
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: 104780 (2024)
PDF
BibTeX
Ramtin Khosravi, Ehsan Khamespanah, Fatemeh Ghassemi, Marjan Sirjani:
Actors Upgraded for Variability, Adaptability, and Determinism. Active Object Languages: Current Research Trends 2024: 226-260
PDF
BibTeX
Bjarne Johansson, Bahman Pourvatan, Zahra Moezkarimi, Alessandro Papadopoulos, Marjan Sirjani:
Formal Verification of Consistency for Systems with Redundant Controllers. CoRR abs/2403.18917 (2024)
PDF
BibTeX
Rong Gu, Zahra Moezkarimi, Marjan Sirjani: Guess and Then Check: Controller Synthesis for Safe and Secure Cyber-Physical Systems. In: Castiglioni, V., Francalanza, A. (eds) Formal Techniques for Distributed Objects, Components, and Systems. FORTE 2024. Lecture Notes in Computer Science, vol 14678. Springer, Cham.
PDF
Fereidoun Moradi: Automated Vulnerability Discovery and Attack Detection Framework for Cyber-Physical Systems - PhD Thesis, Malardalen University, Sweden, 2024
PDF
Stefan Marksteiner: Model-Driven Security Test Case Generation Using Threat Modeling and Automata Learning - PhD Thesis, Malardalen University, Sweden, 2024
Fatemeh Ghassemi, Marjan Sirjani, Ehsan Khamespanah, Mahrokh Mirani, Hossein Hojjat: Transparent Actor Model. FormaliSE 2023: 97-107
PDF
BibTeX
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: 72-87
PDF
BibTeX
Elmira Ebrahimi, Ehsan Khamespanah, Marjan Sirjani, Siamak Mohammadi: Model Checking of Hyperledger Fabric Smart Contracts. ETFA 2023: 1-8
PDF
BibTeX
Fereidoun Moradi, Sara Abbaspour Asadollah, Bahman Pourvatan, Zahra Moezkarimi, Marjan Sirjani, CRYSTAL Framework: Cybersecurity Assurance for Cyber-Physical Systems, Technical Report, Submitted to NWPT 2023
PDF
Hiep Hong Trinh: Model-Based Development & Verification of ROS2 Robotic Applications Using Timed Rebeca - Master Thesis, Malardalen University, Sweden, 2023
PDF
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)
PDF
BibTeX
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, 28th International Symposium on Model Checking of Software (SPIN), 2022
PDF
BibTeX
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): 2732-2747 (2022)
PDF
BibTeX
Ehsan Khamespanah, Morteza Mohaqeqi, Mohammad Ashjaei, Marjan Sirjani: Schedulability Analysis of WSAN Applications: Outperformance of a Model Checking Approach. ETFA 2022: 1-8
PDF
BibTeX
Ermia Hassanpour: Using Safety Analysis Techniques to Derive Safety Properties for Formal Verification of Safety-Critical Systems - Master Thesis, Malardalen University, Sweden, 2022
PDF
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, Journal of Internet Services and Applications, 2021
PDF
BibTeX
Iman Jahandideh, Fatemeh Ghassemi, Marjan Sirjani: An actor-based framework for asynchronous event-based cyber-physical systems. Softw. Syst. Model. 20(3): 641-665 (2021)
PDF
BibTeX
Maryam Bagheri, Marjan Sirjani, Ehsan Khamespanah, Hossein Hojjat, Ali Movaghar: Partial Order Reduction for Timed Actors. VSTTE 2021: 43-60
PDF
BibTeX
Robert Heinrich, Erwan Bousse, Sandro Koch, Arend Rensink, Elvinia Riccobene, Daniel Ratiu, Marjan Sirjani: Integration and Orchestration of Analysis Tools. Composing Model-Based Analysis Tools 2021: 71-95
PDF
BibTeX
Ehsan Khamespanah, Pavle Mrvaljevic, Anas Fattouh, Marjan Sirjani: Using Afra in Different Domains by Tool Orchestration. Composing Model-Based Analysis Tools 2021: 283-299
PDF
BibTeX
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, 18th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE), 2020
PDF
Mahsa Zarneshan, Fatemeh Ghassemi, Marjan Sirjani: Formal Modeling and Analysis of Medical Systems, 22nd IFIP WG 6.1 International Conference, Coordination Models and Languages (COORDINATION), 2020
PDF
BibTeX
Shaghayegh Tavassoli, Ramtin Khosravi, Ehsan Khamespanah: Finite Interval-Time Transition System for Real-Time Actors, The Third IFIP International Conference on Topics in Theoretical Computer Science (TTCS), 2020
PDF
BibTeX
Giorgio Forcina, Ali Sedaghatbaf, Stephan Baumgart, Ali Jafari, Ehsan Khamespanah, Pavle Mrvaljevic, Marjan Sirjani: Safe Design of Flow Management Systems Using Rebeca, Journal of Information Processing (JIP), 2020
PDF
BibTeX
Pavle Mrvaljevic: Tool Orchestration for Modeling, Verification, and Analysis of Collaborating Autonomous Machines - Master Thesis, Malardalen University, Sweden, 2020
PDF
Kostiantyn Sharovarskyi: Software for Safe Mobile Robots with ROS 2 and Rebeca - Master Thesis, Malardalen University, Sweden, 2020
PDF
Fereidoun Moradi, Sara Abbaspour Asadollah, Ali Sedaghatbaf, Aida Causevic, Marjan Sirjani, and Carolyn Talcott: An Actor-based Approach for Security Analysis of Cyber-Physical Systems,
25th International Conference on Formal Methods for Industrial Critical Systems (FMICS), 2020
PDF
BibTeX
Marjan Sirjani, Luciana Provenzano, Sara Abbaspour Asadollah, Mahshid Helali Moghadam and Mehrdad Saadatmand: Towards a Verification-Driven Iterative Development of Cyber-Physical System,
Submitted to a Journal
PDF
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, Software Tools for Technology Transfer (STTT), 2020
PDF
BibTeX
Zeinab Sharifi, Ramtin Khosravi, Marjan Sirjani, Ehsan Khamespanah: Towards Formal Analysis of Vehicle Platoons Using Actor Model, 25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 2020
PDF
Marjan Sirjani, Edward A. Lee, Ehsan Khamespanah: Verification of Cyberphysical Systems, Design, Modeling, Verification, and Analysis of Cyber-Physical Systems special issue of Mathematics, 2020
PDF
Marjan Sirjani, Edward A. Lee, Ehsan Khamespanah: Model Checking Software in Cyberphysical Systems, IEEE 44th Annual Computers, Software, and Applications Conference (COMPSAC), 2020
PDF
BibTeX
Sajjad Rezaei, Ehsan Khamespanah, Marjan Sirjani, Ali Sedaghatbaf, Siamak Mohammadi: Developing Safe Smart Contracts, IEEE 44th Annual Computers, Software, and Applications Conference (COMPSAC), 2020
PDF
BibTeX
Marjan Sirjani, Ehsan Khamespanah, Fatemeh Ghassemi: Reactive Actors: Isolation for Efficient Analysis of Distributed Systems, 23rd IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications (DS-RT), 2019
PDF
BibTeX
Marjan Sirjani, Luciana Provenzano, Sara Abbaspour Asadollah, Mahshid Helali Moghadam: From Requirements to Verifiable Executable Models Using Rebeca, ASYDE, 2019
PDF
Vladimir Djukanovic: Mapping UML Diagrams to the Reactive Object Language (Rebeca) - Master Thesis, Malardalen University, Sweden, 2019
PDF
Saeid Dehnavi, Ali Sedaghatbaf, Bahar Salmani, Marjan Sirjani, Mehdi Kargahi, Ehsan Khamespanah: Towards an Actor-based Approach to Design Verified ROS-based Robotic Programs using Rebeca, MobiSPC, 2019
PDF
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
PDF
BibTeX
Marjan Sirjani, Giorgio Forcina, Ali Jafari, Stephan Baumgart, Ehsan Khamespanah, Ali Sedaghatbaf: An Actor-based Design Platform for System of Systems, IEEE 43th Annual Computers, Software, and Applications Conference (COMPSAC), 2019, Invited Paper
PDF
BibTeX
Saeid Dehnavi: RoboRebeca: A New Framework to Design Verified ROS-Based Robotic Programs - Master Thesis, Malardalen University, Sweden, 2019
PDF
Giorgio Forcina, Ehsan Khamespanah, Ali Jafari, Ali Sedaghatbaf, Stephan Baumgart, Marjan Sirjani: AdaptiveFlow: An Actor-based Eulerian Framework for Track-based Flow Management, Technical Report
PDF
Iman Jahandideh, Fatemeh Ghassemi, Marjan Sirjani: Hybrid Rebeca: Modeling and Analyzing of Cyber-Physical Systems, CyPhy, 2018
PDF
BibTeX
Edward A. Lee and Marjan Sirjani: What Good Are Models?, Invited Paper in Proc. of Formal Aspects of Component Software (FACS), Pohang, South Korea, October 10-12, 2018, Kyungmin Bae and Peter Csaba Olveczky, Eds., Springer, LNCS 11222.
PDF
BibTeX
Ali Jafari, Jayasoorya Jayanthi Surendran Nair, Stephan Baumgart and Marjan Sirjani: Safe and Efficient Fleet Operation for Autonomous Machines: An Actor-based Approach, ACM SAC, 2018.
PDF
BibTeX
Maryam Bagheri, Marjan Sirjani, Ehsan Khamespanah, Narges Khakpour, Ilge Akkaya, Ali Movaghar and Edward A. Lee: Coordinated Actor Model of Self-adaptive Track-based Traffic Control Systems, Journal of Systems and Software, 2018.
PDF
Ehsan Khamespanah: Modeling, Verification, and Analysis of Timed Actor-Based Models - PhD Thesis, Reykjavik University, Iceland, 2018
PDF
Behnaz Yousefi, Fatemeh Ghassemi, and Ramtin Khosravi: Modeling and Efficient Verification of Wireless Ad hoc Networks, volume 29, Issue 6, pp 1051–1086, Formal Aspects of Computing, 2017.
BibTeX
Marjan Sirjani: Power is Overrated, Go for Friendliness! Expressiveness, Faithfulness and Usability in Modeling - The Actor Experience, Proceedings of Edward A. Lee Festschrift, Principles of Modeling, 2017.
PDF
Frank de Boer, Vlad Serbanescu, Reiner Hahnle, 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 Computing Surveys, 2017.
BibTeX
Carlo Castagnari, Jacopo de Berardinis, Giorgio Forcina, Ali Jafari, Marjan Sirjani: Lightweight Preprocessing for Agent-Based Simulation of Smart Mobility Initiatives, FOCLASA, 2017.
PDF BibTeX
Pouria Mellati, Ehsan Khamespanah, Ramtin Khosravi: LeeTL: LTL with quantifications over model objects, SPIN, 2017.
PDF BibTeX
Ehsan Khamespanah, Kirill Mechitov, Marjan Sirjani, Gul Agha: Modeling and Analyzing Real-Time Wireless Sensor and Actuator Networks Using Actors and Model Checking, Software Tools for Technology Transfer, 2017.
PDF
Ehsan Khamespanah, Ramtin Khosravi, Marjan Sirjani: An Efficient TCTL Model Checking Algorithm and A Reduction Technique for Verification of Timed Actor Models, Science of Computer Programming, 2017.
PDF
Jayasoorya Jayanthi Surendran Nair: Modeling And Analyzing Collaborating Heavy Machines, School of Innovation Design and Engineering, Malardalen University, Vasteras, Sweden (2017).
PDF
Maryam Bagheri, Ehsan Khamespanah, Marjan Sirjani, Ali Movaghar, Edward A. Lee: Runtime Compositional Analysis of Track-based Traffic Control Systems, CRTS, 2016.
PDF
Marjan Sirjani, Ehsan Khamespanah, Kirill Mechitov, Gul Agha: A Compositional Approach for Modeling and Timing Analysis of Wireless Sensor and Actuator Networks, CRTS, 2016.
PDF
Maryam Bagheri, Ilge Akkaya, Ehsan Khamespanah, Narges Khakpour, Marjan Sirjani, Ali Movaghar, Edward A. Lee: Coordinated Actors for Reliable Self-Adaptive Systems, FACS, 2016.
PDF BibTeX
Ehsan Khamespanah, Kirill Mechitov, Marjan Sirjani, Gul Agha: Schedulability Analysis of Distributed Real-Time Sensor Network Applications Using Actor-Based Model Checking, SPIN, 2016.
PDF BibTeX
Mohammad Mahdi Jaghoori, Frank de Boer, Delphine Longuet, Tom Chothia, Marjan Sirjani: Compositional schedulability analysis of real-time actor-based systems, Acta Informatica, 2016.
PDF
Ali Jafari, Ehsan Khamespanah, Haukur Kristinsson, Marjan Sirjani, Brynjar Magnusson: Statistical Model Checking of Timed Rebeca, Models Computer Languages, Systems & Structures, 2016.
PDF BibTeX
Ali Jafari, Ehsan Khamespanah, Marjan Sirjani, Holger Hermanns, Matteo Cimini: PTRebeca: Modeling and Analysis of Distributed and Asynchronous Systems, Science of Computer Programming, 2016.
PDF BibTeX
Marjan Sirjani, Ehsan Khamespanah: On Time Actors, LNCS 9660, 2016.
PDF BibTeX
Stephan Rehfeld, Marc Erich Latoschik, Henrik Tramberend: Estimating latency and concurrency of asynchronous real-time interactive systems using model checking, IEEE Virtual Reality, 2016.
PDF BibTeX
Maryam Bagheri, Ilge Akkaya, Ehsan Khamespanah, Narges Khakpour, Marjan Sirjani, Ali Movaghar, Edward A. Lee: Modeling and Analyzing Air Traffic Control Systems using Ptolemy, Ptolemy Mini-Conference, 2015.
PDF
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, Science of Computer Programming, 2015.
PDF BibTeX
Zeynab Sabahi-Kaviani, Ramtin Khosravi, Peter Csaba Ölveczky, Ehsan Khamespanah, Marjan Sirjani: Formal semantics and efficient analysis of Timed Rebeca in Real-Time Maude, Science of Computer Programming, 2015.
BibTeX
Ehsan Khamespanah, Marjan Sirjani, Mahesh Viswanathan, Ramtin Khosravi: Floating Time Transition System: More Efficient Analysis of Timed Actors, FACS, 2015.
PDF BibTeX
Ehsan Khamespanah, Marjan Sirjani, Mohammad Reza Mousavi, Zeynab Sabahi-Kaviani, Mohamadreza Razzazi: State Distribution Policy for Distributed Model Checking of Actor Models, AVoCS, 2015.
PDF BibTeX
Arvin Zakerian, Ehsan Khamespanah, Marjan Sirjani, Ramtin Khosravi: Jacco: more efficient model checking toolset for Java actor programs, AGERE, 2015.
PDF BibTeX
Behnaz Yousefi, Fatemeh Ghassemi, Ramtin Khosravi: Modeling and Efficient Verification of Broadcasting Actors, FSEN, 2015.
BibTeX
Arni Hermann Reynisson, Marjan Sirjani, Luca Aceto, Matteo Cimini, Ali Jafari, Anna Ingolfsdottir, Steinar Hugi Sigurdarson, Modelling and simulation of asynchronous real-time systems using Timed Rebeca, Science of Computer Programming, 2014.
PDF BibTeX
Brynjar Magnusson, Ehsan Khamespanah, Marjan Sirjani, Ramtin Khosravi, Event-based Analysis of Timed Rebeca Models using SQL, AGERE 2014, USA, October 2014.
PDF BibTeX
Ehsan Khamespanah, Marjan Sirjani, Ramtin Khosravi, Efficient TCTL Model Checking Algorithm for Timed Actors, AGERE 2014, USA, October 2014.
PDF BibTeX
Ali Jafari, Ehsan Khamespanah, Marjan Sirjani and Holger Hermanns, Performance Analysis of Distributed and Asynchronous Systems using Probabilistic Timed Actors, In: AVoCS 2014, Netherlands, 2014.
PDF BibTeX
Haukur Kristinsson, Ali Jafari, Ehsan Khamespanah, Marjan Sirjani, and Brynjar Magnusson: Analysing Timed Rebeca Using McErlang, AGERE, 2013.
PDF BibTeX
Zeinab Sharifi, Siamak Mohammadi, and Marjan Sirjani: Comparison of NoC Routing Algorithms Using Formal Methods, PDPTA, 2013.
PDF
Zeinab Sharifi, Mahdi Mosaffa, Siamak Mohammadi, and Marjan Sirjani: Functional and Performance Analysis of Network-on-Chips Using Actor-based Modeling and Formal Verification, AVoCS, 2013.
PDF BibTeX
Hamideh Sabouri, Ramtin Khosravi: Modeling and Verification of Reconfigurable Actor Families, JUCS-19(2), 2013.
BibTeX
Zeinab Sabahi-Kaviani, Ramtin Khosravi, Marjan Sirjani, Peter Csaba Ölveczky, and Ehsan Khamespanah: Formal Semantics and Analysis of Timed Rebeca in Real-Time Maude, FTSCS, 2013.
PDF BibTeX
Narges Khakpour, Saeed Jalili, Marjan Sirjani, Ursula Goltz, Bahareh Abolhasanzadeh: HPobSAM for modeling and analyzing IT Ecosystems - Through a case study, Journal of Systems and Software 85(12), 2012.
PDF BibTeX
Steinar Hugi Sigurdarson, Marjan Sirjani, Yngvi Björnsson, Arni Hermann Reynisson: Guided Search for Deadlocks in Actor-Based Models. FACS, 2012.
BibTeX
Haukur Kristinsson: Event-Based analysis of Read-Time Actor Models - Master Thesis, Reykjavík University, Iceland (2012).
PDF
Brynjar Magnusson: Simulation-Based Analysis of Timed Rebeca Using TeProp and SQL - Master Thesis, Reykjavík University, Iceland (2012).
PDF
Ramtin Khosravi, Hamideh Sabouri: Using Coordinated Actors to Model Families of Distributed Systems, Coordination, 2012.
BibTeX
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, 2012.
PDF BibTeX
Mahsa Varshosaz, Ramtin Khosravi: Modeling and Verification of Probabilistic Actor Systems Using pRebeca, ICFEM, 2012.
BibTeX
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.
PDF BibTeX
Marjan Sirjani, Mohammad Mahdi Jaghoori: Ten Years of Analyzing Actors: Rebeca Experience. Formal Modeling: Actors, Open Systems, Biological Systems, 2011.
PDF BibTeX
Narges Khakpour, Marjan Sirjani, Ursula Goltz: Context-Based Behavioral Equivalence of Components in Self-Adaptive Systems, ICFEM, 2011.
PDF BibTeX
Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirjani: Formal Analysis of SystemC Designs in Process Algebra, Fundam. Inform-107(1), 2011.
PDF BibTeX
Arni Hermann Reynisson: Timed Rebeca Refinement and Simulation - Master Thesis, Reykjavík University, Iceland (2011).
PDF
Narges Khakpour, Ramtin Khosravi, Marjan Sirjani, Saeed Jalili: Formal analysis of policy-based self-adaptive systems. SAC 2010: 2536-2543.
PDF BibTeX
Niloofar Razavi, Razieh Behjati, Hamideh Sabouri, Ehsan Khamespanah, Amin Shali, Marjan Sirjani: Sysfier: Actor-based formal verification of SystemC. ACM Trans. Embedded Comput. Syst. 10(2): 19 (2010).
BibTeX
Mohammad Mahdi Jaghoori, Marjan Sirjani, Mohammad Reza Mousavi, Ehsan Khamespanah, Ali Movaghar: Symmetry and partial order reduction techniques in model checking Rebeca. Acta Inf. 47(1): 33-66 (2010).
PDF BibTeX
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. Computers & Electrical Engineering 36(5): 874-885 (2010).
BibTeX
Hamideh Sabouri, Marjan Sirjani: Slicing-based Reductions for Rebeca. Electr. Notes Theor. Comput. Sci. 260: 209-224 (2010).
BibTeX
Narges Khakpour, Saeed Jalili, Carolyn L. Talcott, Marjan Sirjani, Mohammad Reza Mousavi: PobSAM: Policy-based Managing of Actors in Self-Adaptive Systems. Electr. Notes Theor. Comput. Sci. 263: 129-143 (2010).
BibTeX
Hamideh Sabouri, Marjan Sirjani: Actor-based slicing techniques for efficient reduction of Rebeca models. Sci. Comput. Program. 75(10): 811-827 (2010).
BibTeX
Razieh Behjati, Marjan Sirjani, Majid Nili Ahmadabadi: Bounded Rational Search for On-the-Fly Model Checking of LTL Properties. FSEN 2009: 292-307.
BibTeX
Narges Khakpour, Marjan Sirjani, Saeed Jalili: Formal Analysis of Smart Home Policies using Compositional Verification. ICFI 2009: 220-233.
PDF BibTeX
Mohammad Mahdi Jaghoori, Frank S. de Boer, Tom Chothia, Marjan Sirjani: Schedulability of asynchronous real-time concurrent objects. J. Log. Algebr. Program. 78(5): 402-416 (2009).
PDF BibTeX
Carolyn L. Talcott, Marjan Sirjani, Shangping Ren: Comparing Three Coordination Models: Reo, ARC, and RRD. Electr. Notes Theor. Comput. Sci. 194(4):39-55 (2008).
PDF BibTeX
Razieh Behjati, Hamideh Sabouri, Niloofar Razavi, Marjan Sirjani: An effective approach for model checking SystemC designs. ACSD 2008: 56-61.
BibTeX
Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirjani: Process algebraic verification of SystemC codes. ACSD 2008: 62-67.
PDF BibTeX Presentation
Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirjani: A framework for performance evaluation and functional verification in stochastic process algebras. SAC 2008: 339-346.
PDF BibTeX
Hossein Hojjat, Marjan Sirjani, Mohammad Reza Mousavi, Jan Friso Groote: Sarir: A Rebeca to mCRL2 Translator. ACSD 2007: 216-222.
BibTeX
Niloofar Razavi, Marjan Sirjani: Compositional Semantics of System-Level Designs Written in SystemC. FSEN 2007: 113-128.
PDF BibTeX
Fatemeh Alavizadeh, Alireza Hashemi Nekoo, Marjan Sirjani: ReUML: a UML Profile for Modeling and Verification of Reactive Systems. ICSEA 2007: 50.
PDF BibTeX
Mohammad Reza Kakoee, Hamid Shojaei, Hassan Ghasemzadeh, Marjan Sirjani, Zainalabedin Navabi: A New Approach for Design and Verification of Transaction Level Models. ISCAS 2007: 3760-3763
Farhad Arbab, Marjan Sirjani: Applications of Formal Methods to System Design and Verification. J. UCS 13(13): 1970-1971 (2007).
PDF BibTeX
Hossein Hojjat, Hootan Nakhost, Marjan Sirjani: Integrating Module Checking and Deduction in a Formal Proof for the Perlman Spanning Tree Protocol (STP). J. UCS 13(13): 2076-2104 (2007).
PDF BibTeX
Marjan Sirjani, Mohammad Mahdi Jaghoori, Christel Baier, Farhad Arbab: Compositional Semantics of an Actor-Based Language Using Constraint Automata. COORDINATION 2006: 281-297.
PDF BibTeX
Marjan Sirjani: Rebeca: Theory, Applications, and Tools. FMCO 2006: 102-126.
BibTeX
Mohammad Mahdi Jaghoori, Ali Movaghar, Marjan Sirjani: Modere: the model-checking engine of Rebeca. SAC 2006: 1810-1815.
PDF BibTeX
Fatemeh Alavizadeh, Marjan Sirjani: Using UML to Develop Verifiable Reactive Systems. Software Engineering Research and Practice 2006: 554-561.
PDF BibTeX
Hossein Hojjat, Hootan Nakhost, Marjan Sirjani: Formal Verification of the IEEE 802.1D Spanning Tree Protocol Using Extended Rebeca. Electr. Notes Theor. Comput. Sci. 159: 139-154 (2006).
BibTeX
Marjan Sirjani, Frank S. de Boer, Ali Movaghar, Amin Shali: Extended Rebeca: A Component-Based Actor Language with Synchronous Message Passing. ACSD 2005: 212-221.
BibTeX
Mohammad Mahdi Jaghoori, Marjan Sirjani, Mohammad Reza Mousavi, Ali Movaghar: Efficient Symmetry Reduction for an Actor-Based Model. ICDCIT 2005: 494-507.
PDF BibTeX
Marjan Sirjani, Frank S. de Boer, Ali Movaghar-Rahimabadi: Modular Verification of a Component-Based Actor Language. J. UCS 11(10): 1695-1717 (2005).
PDF BibTeX
Marjan Sirjani, Ali Movaghar, Amin Shali, Frank S. de Boer: Model Checking, Automated Abstraction, and Compositional Verification of Rebeca Models. J. UCS 11(6): 1054-1082 (2005).
PDF BibTeX
Marjan Sirjani, Amin Shali, Mohammad Mahdi Jaghoori, Hamed Iravanchi, Ali Movaghar: A Front-End Tool for Automated Abstraction and Modular Verification of Actor-Based Models. ACSD 2004: 145-150.
PDF BibTeX
Nikunj R. Mehta, Nenad Medvidovic, Marjan Sirjani, Farhad Arbab: Modeling Behavior in Compositions of Software Architectural Primitives. ASE 2004: 371-374.
BibTeX
Marjan Sirjani, Ali Movaghar, Amin Shali, Frank S. de Boer: Modeling and Verification of Reactive Systems using Rebeca. Fundam. Inform. 63(4): 385-410 (2004).
PDF BibTeX
Marjan Sirjani: Formal Specification and Verification of Concurrent and Reactive Systems. Ph.D. disseration, Department of Computer Engineering, Sharif University of Technology, 2004.
PDF