default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMarjan Sirjani
Person information
- affiliation: Malardalen University, Sweden
- affiliation: Reykjavik University, Iceland
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j47]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: 100965 (2024)- [j46]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) - [c91]Stefan Marksteiner
, Marjan Sirjani, Mikael Sjödin:
Automated Passport Control: Mining and Checking Models of Machine Readable Travel Documents. ARES 2024: 171:1-171:8 - [c90]Rong Gu, Zahra Moezkarimi, Marjan Sirjani:
Guess and Then Check: Controller Synthesis for Safe and Secure Cyber-Physical Systems. FORTE 2024: 230-238 - [c89]Bjarne Johansson, Bahman Pourvatan, Zahra Moezkarimi, Alessandro Papadopoulos, Marjan Sirjani:
Formal Verification of Consistency for Systems with Redundant Controllers. MARS@ETAPS 2024: 169-191 - [p3]Ramtin Khosravi, Ehsan Khamespanah, Fatemeh Ghassemi, Marjan Sirjani:
Actors Upgraded for Variability, Adaptability, and Determinism. Active Object Languages: Current Research Trends 2024: 226-260 - [i7]Saeed Zhiany, Fatemeh Ghassemi, Nesa Abbasimoghadam, Ali Hodaei, Ali Ataollahi, József Kovács, Erika Ábrahám, Marjan Sirjani:
Hybrid Rebeca Revisited. CoRR abs/2411.03160 (2024) - 2023
- [c88]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: 5:1-5:10 - [c87]Stefan Marksteiner, Marjan Sirjani, Mikael Sjödin:
Using Automata Learning for Compliance Evaluation of Communication Protocols on an NFC Handshake Example. ECBS 2023: 170-190 - [c86]Elmira Ebrahimi, Ehsan Khamespanah, Marjan Sirjani, Siamak Mohammadi:
Model Checking of Hyperledger Fabric Smart Contracts. ETFA 2023: 1-8 - [c85]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 - [c84]Maghsood Salimi, Mohammad Loni, Marjan Sirjani:
Learning Activation Functions for Adversarial Attack Resilience in CNNs. ICAISC (1) 2023: 203-214 - [c83]Maghsood Salimi, Mohammad Loni, Marjan Sirjani, Antonio Cicchetti, Sara Abbaspour Asadollah:
SARAF: Searching for Adversarial Robust Activation Functions. ICMVA 2023 - [c82]Fatemeh Ghassemi, Marjan Sirjani, Ehsan Khamespanah, Mahrokh Mirani, Hossein Hojjat:
Transparent Actor Model. FormaliSE 2023: 97-107 - [c81]Marjan Sirjani, Ehsan Khamespanah:
Timed Actors and Their Formal Verification. EXPRESS/SOS 2023: 1-7 - [i6]Maghsood Salimi, Mohammad Loni, Sara Afshar, Marjan Sirjani, Antonio Cicchetti:
ConstScene: Dataset and Model for Advancing Robust Semantic Segmentation in Construction Environments. CoRR abs/2312.16516 (2023) - 2022
- [j45]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) - [j44]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) - [c80]Ehsan Khamespanah, Morteza Mohaqeqi, Mohammad Ashjaei, Marjan Sirjani:
Schedulability Analysis of WSAN Applications: Outperformance of a Model Checking Approach. ETFA 2022: 1-8 - [c79]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: 24-43 - [e14]Maurice H. ter Beek, Marjan Sirjani:
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. Lecture Notes in Computer Science 13271, Springer 2022, ISBN 978-3-031-08145-3 [contents] - [i5]Ehsan Khamespanah, Morteza Mohaqeqi, Mohammad Ashjaei, Marjan Sirjani:
Schedulability Analysis of WSAN Applications: Outperformance of A Model Checking Approach. CoRR abs/2205.10224 (2022) - 2021
- [j43]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): 2 (2021) - [j42]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) - [c78]Maryam Bagheri, Marjan Sirjani, Ehsan Khamespanah, Hossein Hojjat, Ali Movaghar:
Partial Order Reduction for Timed Actors. VSTTE 2021: 43-60 - [p2]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 - [p1]Ehsan Khamespanah, Pavle Mrvaljevic, Anas Fattouh, Marjan Sirjani:
Using Afra in Different Domains by Tool Orchestration. Composing Model-Based Analysis Tools 2021: 283-299 - [e13]Stefan Biffl, Elena Navarro, Welf Löwe, Marjan Sirjani, Raffaela Mirandola, Danny Weyns:
Software Architecture - 15th European Conference, ECSA 2021, Virtual Event, Sweden, September 13-17, 2021, Proceedings. Lecture Notes in Computer Science 12857, Springer 2021, ISBN 978-3-030-86043-1 [contents] - 2020
- [j41]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: 588-598 (2020) - [j40]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): 617-633 (2020) - [c77]Marjan Sirjani, Edward A. Lee, Ehsan Khamespanah:
Model Checking Software in Cyberphysical Systems. COMPSAC 2020: 1017-1026 - [c76]Sajjad Rezaei, Ehsan Khamespanah, Marjan Sirjani, Ali Sedaghatbaf, Siamak Mohammadi:
Developing Safe Smart Contracts. COMPSAC 2020: 1027-1035 - [c75]Mahsa Zarneshan, Fatemeh Ghassemi, Marjan Sirjani:
Formal Modeling and Analysis of Medical Systems. COORDINATION 2020: 386-402 - [c74]Zeinab Sharifi, Ramtin Khosravi, Marjan Sirjani, Ehsan Khamespanah:
Towards Formal Analysis of Vehicle Platoons Using Actor Model. ETFA 2020: 1820-1827 - [c73]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: 130-147 - [c72]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: 1-10 - [c71]Marjan Sirjani, Luciana Provenzano, Sara Abbaspour Asadollah, Mahshid Helali Moghadam:
From Requirements to Verifiable Executable Models Using Rebeca. SEFM 2020: 67-86 - [i4]Mahsa Zarneshan, Fatemeh Ghassemi, Ehsan Khamespanah, Marjan Sirjani, John Hatcliff:
Specification and Verification of Timing Properties in Interoperable Medical Systems. CoRR abs/2012.04025 (2020)
2010 – 2019
- 2019
- [j39]Mehdi Dastani, Marjan Sirjani:
Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2017). Sci. Comput. Program. 182: 86-87 (2019) - [c70]Aida Causevic, Alessandro Vittorio Papadopoulos, Marjan Sirjani:
Towards a Framework for Safe and Secure Adaptive Collaborative Systems. COMPSAC (2) 2019: 165-170 - [c69]Marjan Sirjani, Giorgio Forcina, Ali Jafari, Stephan Baumgart, Ehsan Khamespanah, Ali Sedaghatbaf:
An Actor-Based Design Platform for System of Systems. COMPSAC (1) 2019: 579-587 - [c68]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: 152 - [c67]Marjan Sirjani:
Analysing Real-time Distributed Systems using Timed Actors. DS-RT 2019: 1 - [c66]Marjan Sirjani, Ehsan Khamespanah, Fatemeh Ghassemi:
Reactive Actors: Isolation for Efficient Analysis of Distributed Systems. DS-RT 2019: 1-10 - [c65]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: 13:1-13:9 - [c64]Fereidoun Moradi, Ali Sedaghatbaf, Sara Abbaspour Asadollah, Aida Causevic, Marjan Sirjani:
On-Off Attack on a Blockchain-based IoT System. ETFA 2019: 1768-1773 - [c63]Narges Khakpour, Jetty Kleijn, Marjan Sirjani:
A Formal Model to Integrate Behavioral and Structural Adaptations in Self-adaptive Systems. FSEN 2019: 3-19 - [c62]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: 244-259 - [i3]Iman Jahandideh, Fatemeh Ghassemi, Marjan Sirjani:
Hybrid Rebeca: Modeling and Analyzing of Cyber-Physical Systems. CoRR abs/1901.02597 (2019) - [i2]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 abs/1905.01137 (2019) - [i1]Maryam Bagheri, Marjan Sirjani, Ehsan Khamespanah, Ali Movaghar:
A Compositional Approach for Reliable Adaptation of Track-based Traffic Control Systems at Runtime. CoRR abs/1905.06732 (2019) - 2018
- [j38]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: 116-139 (2018) - [j37]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: 1-29 (2018) - [j36]Mehdi Dastani, Hossein Hojjat, Marjan Sirjani:
Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2015). Sci. Comput. Program. 160: 1-2 (2018) - [j35]Jacopo de Berardinis, Giorgio Forcina, Ali Jafari, Marjan Sirjani:
Actor-based macroscopic modeling and simulation for smart urban planning. Sci. Comput. Program. 168: 142-164 (2018) - [j34]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): 547-561 (2018) - [c61]Marjan Sirjani, Fatemeh Ghassemi, Bahman Pourvatan:
Reo Connectors and Components as Tagged Signal Models. It's All About Coordination 2018: 160-173 - [c60]Marjan Sirjani:
Power is Overrated, Go for Friendliness! Expressiveness, Faithfulness, and Usability in Modeling: The Actor Experience. Principles of Modeling 2018: 423-448 - [c59]Iman Jahandideh, Fatemeh Ghassemi, Marjan Sirjani:
Hybrid Rebeca: Modeling and Analyzing of Cyber-Physical Systems. CyPhy/WESE 2018: 3-27 - [c58]Edward A. Lee, Marjan Sirjani:
What Good are Models? FACS 2018: 3-31 - [c57]Ali Jafari, Jayasoorya Jayanthi Surendran Nair, Stephan Baumgart, Marjan Sirjani:
Safe and efficient fleet operation for autonomous machines: an actor-based approach. SAC 2018: 423-426 - [e12]Marten Lohstroh, Patricia Derler, Marjan Sirjani:
Principles of Modeling - Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 10760, Springer 2018, ISBN 978-3-319-95245-1 [contents] - 2017
- [j33]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): 343-378 (2017) - [j32]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): 76:1-76:39 (2017) - [j31]Maryam Bagheri, Ehsan Khamespanah, Marjan Sirjani, Ali Movaghar, Edward A. Lee:
Runtime compositional analysis of track-based traffic control systems. SIGBED Rev. 14(3): 38-39 (2017) - [j30]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): 49-56 (2017) - [c56]Carlo Castagnari, Jacopo de Berardinis, Giorgio Forcina, Ali Jafari, Marjan Sirjani:
Lightweight Preprocessing for Agent-Based Simulation of Smart Mobility Initiatives. SEFM Workshops 2017: 541-557 - [e11]Mehdi Dastani, Marjan Sirjani:
Fundamentals of Software Engineering - 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers. Lecture Notes in Computer Science 10522, Springer 2017, ISBN 978-3-319-68971-5 [contents] - [e10]Alessandro Cimatti, Marjan Sirjani:
Software Engineering and Formal Methods - 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings. Lecture Notes in Computer Science 10469, Springer 2017, ISBN 978-3-319-66196-4 [contents] - 2016
- [j29]Ali Jafari, Ehsan Khamespanah, Haukur Kristinsson, Marjan Sirjani, Brynjar Magnusson:
Statistical model checking of Timed Rebeca models. Comput. Lang. Syst. Struct. 45: 53-79 (2016) - [j28]Ali Jafari, Ehsan Khamespanah, Marjan Sirjani, Holger Hermanns, Matteo Cimini:
PTRebeca: Modeling and analysis of distributed and asynchronous systems. Sci. Comput. Program. 128: 22-50 (2016) - [c55]Marjan Sirjani, Ehsan Khamespanah:
On Time Actors. Theory and Practice of Formal Methods 2016: 373-392 - [c54]Maryam Bagheri, Ilge Akkaya, Ehsan Khamespanah, Narges Khakpour, Marjan Sirjani, Ali Movaghar, Edward A. Lee:
Coordinated Actors for Reliable Self-adaptive Systems. FACS 2016: 241-259 - [c53]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: 165-181 - 2015
- [j27]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) - [j26]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: 184-204 (2015) - [j25]Hossein Hojjat, Marjan Sirjani, Farhad Arbab:
Fundamentals of Software Engineering (selected papers of FSEN 2013). Sci. Comput. Program. 112: 1-2 (2015) - [j24]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: 85-118 (2015) - [c52]Arvin Zakeriyan, Ehsan Khamespanah, Marjan Sirjani, Ramtin Khosravi:
Jacco: more efficient model checking toolset for Java actor programs. AGERE!@SPLASH 2015: 37-44 - [c51]Ehsan Khamespanah, Marjan Sirjani, Mahesh Viswanathan, Ramtin Khosravi:
Floating Time Transition System: More Efficient Analysis of Timed Actors. FACS 2015: 237-255 - [e9]Mehdi Dastani, Marjan Sirjani:
Fundamentals of Software Engineering - 6th International Conference, FSEN 2015 Tehran, Iran, April 22-24, 2015, Revised Selected Papers. Lecture Notes in Computer Science 9392, Springer 2015, ISBN 978-3-319-24643-7 [contents] - 2014
- [j23]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) - [j22]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: 41-68 (2014) - [c50]Brynjar Magnusson, Ehsan Khamespanah, Ramtin Khosravi, Marjan Sirjani:
Event-Based Analysis of Timed Rebeca Models using SQL. AGERE!@SPLASH 2014: 43-54 - [c49]Ehsan Khamespanah, Ramtin Khosravi, Marjan Sirjani:
Efficient TCTL Model Checking Algorithm for Timed Actors. AGERE!@SPLASH 2014: 55-66 - 2013
- [j21]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) - [j20]Farhad Arbab, Marjan Sirjani:
Fundamentals of Software Engineering (selected papers of FSEN 2011). Sci. Comput. Program. 78(12): 2433-2434 (2013) - [c48]Haukur Kristinsson, Ali Jafari, Ehsan Khamespanah, Brynjar Magnusson, Marjan Sirjani:
Analysing timed Rebeca using McErlang. AGERE!@SPLASH 2013: 25-36 - [c47]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: 178-194 - [e8]Farhad Arbab, Marjan Sirjani:
Fundamentals of Software Engineering - 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers. Lecture Notes in Computer Science 8161, Springer 2013, ISBN 978-3-642-40212-8 [contents] - 2012
- [j19]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): 2770-2784 (2012) - [j18]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): 777-778 (2012) - [j17]Bahman Pourvatan, Marjan Sirjani, Hossein Hojjat, Farhad Arbab:
Symbolic execution of Reo circuits using constraint automata. Sci. Comput. Program. 77(7-8): 848-869 (2012) - [j16]Farhad Arbab, Marjan Sirjani:
Fundamentals of software engineering (selected papers of FSEN '09). Sci. Comput. Program. 77(7-8): 887-888 (2012) - [j15]Narges Khakpour, Saeed Jalili, Carolyn L. Talcott, Marjan Sirjani, Mohammad Reza Mousavi:
Formal modeling of evolving self-adaptive systems. Sci. Comput. Program. 78(1): 3-26 (2012) - [c46]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: 23-34 - [c45]Steinar Hugi Sigurdarson, Marjan Sirjani, Yngvi Björnsson, Arni Hermann Reynisson:
Guided Search for Deadlocks in Actor-Based Models. FACS 2012: 242-259 - [e7]Marjan Sirjani:
Coordination Models and Languages - 14th International Conference, COORDINATION 2012, Stockholm, Sweden, June 14-15, 2012. Proceedings. Lecture Notes in Computer Science 7274, Springer 2012, ISBN 978-3-642-30828-4 [contents] - [e6]Farhad Arbab, Marjan Sirjani:
Fundamentals of Software Engineering - 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers. Lecture Notes in Computer Science 7141, Springer 2012, ISBN 978-3-642-29319-1 [contents] - 2011
- [j14]Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirjani:
Formal Analysis of SystemC Designs in Process Algebra. Fundam. Informaticae 107(1): 19-42 (2011) - [j13]Carolyn L. Talcott, Marjan Sirjani, Shangping Ren:
Comparing three coordination models: Reo, ARC, and PBRD. Sci. Comput. Program. 76(1): 3-22 (2011) - [j12]Carlos Canal, Pascal Poizat, Marjan Sirjani:
Preface. Sci. Comput. Program. 76(8): 631-632 (2011) - [c44]Marjan Sirjani, Mohammad Mahdi Jaghoori:
Ten Years of Analyzing Actors: Rebeca Experience. Formal Modeling: Actors, Open Systems, Biological Systems 2011: 20-56 - [c43]Mohammad Mahdi Jaghoori, Ólafur Hlynsson, Marjan Sirjani:
Networks of Real-Time Actors. FACS 2011: 168-186 - [c42]Narges Khakpour, Marjan Sirjani, Ursula Goltz:
Context-Based Behavioral Equivalence of Components in Self-Adaptive Systems. ICFEM 2011: 16-32 - [c41]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: 1-19 - 2010
- [j11]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): 33-66 (2010) - [j10]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): 874-885 (2010) - [j9]Hamideh Sabouri, Marjan Sirjani:
Actor-based slicing techniques for efficient reduction of Rebeca models. Sci. Comput. Program. 75(10): 811-827 (2010) - [j8]Niloofar Razavi, Razieh Behjati, Hamideh Sabouri, Ehsan Khamespanah, Amin Shali, Marjan Sirjani:
Sysfier: Actor-based formal verification of SystemC. ACM Trans. Embed. Comput. Syst. 10(2): 19:1-19:35 (2010) - [c40]Bahman Pourvatan, Marjan Sirjani, Farhad Arbab, Marcello M. Bonsangue:
Decomposition of Constraint Automata. FACS 2010: 237-258 - [c39]Narges Khakpour, Ramtin Khosravi, Marjan Sirjani, Saeed Jalili:
Formal analysis of policy-based self-adaptive systems. SAC 2010: 2536-2543 - [e5]Farhad Arbab, Marjan Sirjani:
Fundamentals of Software Engineering, Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers. Lecture Notes in Computer Science 5961, Springer 2010, ISBN 978-3-642-11622-3 [contents]
2000 – 2009
- 2009
- [j7]Mohammad Mahdi Jaghoori, Frank S. de Boer, Tom Chothia, Marjan Sirjani:
Schedulability of asynchronous real-time concurrent objects. J. Log. Algebraic Methods Program. 78(5): 402-416 (2009) - [c38]Narges Khakpour, Marjan Sirjani, Saeed Jalili:
Formal Analysis of Smart Home Policies using Compositional Verification. ICFI 2009: 220-233 - [c37]Razieh Behjati, Marjan Sirjani, Majid Nili Ahmadabadi:
Bounded Rational Search for On-the-Fly Model Checking of LTL Properties. FSEN 2009: 292-307 - [c36]