Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Marjan Sirjani
@article{DBLP:journals/jpdc/MoradiPAS24,
author = {Fereidoun Moradi and
Bahman Pourvatan and
Sara Abbaspour Asadollah and
Marjan Sirjani},
title = {Tiny Twins for detecting cyber-attacks at runtime using concise Rebeca
time transition system},
journal = {J. Parallel Distributed Comput.},
volume = {184},
pages = {104780},
year = {2024},
url = {https://doi.org/10.1016/j.jpdc.2023.104780},
doi = {10.1016/J.JPDC.2023.104780},
timestamp = {Tue, 02 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jpdc/MoradiPAS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/24/KhosraviKGS24,
author = {Ramtin Khosravi and
Ehsan Khamespanah and
Fatemeh Ghassemi and
Marjan Sirjani},
editor = {Frank S. de Boer and
Ferruccio Damiani and
Reiner H{\"{a}}hnle and
Einar Broch Johnsen and
Eduard Kamburjan},
title = {Actors Upgraded for Variability, Adaptability, and Determinism},
booktitle = {Active Object Languages: Current Research Trends},
series = {Lecture Notes in Computer Science},
volume = {14360},
pages = {226--260},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-51060-1\_9},
doi = {10.1007/978-3-031-51060-1\_9},
timestamp = {Mon, 12 Feb 2024 12:42:05 +0100},
biburl = {https://dblp.org/rec/books/sp/24/KhosraviKGS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-18917,
author = {Bjarne Johansson and
Bahman Pourvatan and
Zahra Moezkarimi and
Alessandro Papadopoulos and
Marjan Sirjani},
title = {Formal Verification of Consistency for Systems with Redundant Controllers},
journal = {CoRR},
volume = {abs/2403.18917},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.18917},
doi = {10.48550/ARXIV.2403.18917},
eprinttype = {arXiv},
eprint = {2403.18917},
timestamp = {Wed, 10 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-18917.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cscs2/MarksteinerSCNS23,
author = {Stefan F. Marksteiner and
Christoph Schmittner and
Korbinian Christl and
Dejan Nickovic and
Mikael Sj{\"{o}}din and
Marjan Sirjani},
editor = {Bj{\"{o}}rn Br{\"{u}}cher and
Christoph Krau{\ss} and
Mario Fritz and
Hans{-}Joachim Hof and
Oliver Wasenm{\"{u}}ller},
title = {From {TARA} to Test: Automated Automotive Cybersecurity Test Generation
Out of Threat Modeling},
booktitle = {Proceedings of the 7th {ACM} Computer Science in Cars Symposium, {CSCS}
2023, Darmstadt, Germany, 5 December 2023},
pages = {5:1--5:10},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3631204.3631864},
doi = {10.1145/3631204.3631864},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cscs2/MarksteinerSCNS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbseerc/MarksteinerSS23,
author = {Stefan Marksteiner and
Marjan Sirjani and
Mikael Sj{\"{o}}din},
editor = {Jan Kofron and
Tiziana Margaria and
Cristina Seceleanu},
title = {Using Automata Learning for Compliance Evaluation of Communication
Protocols on an {NFC} Handshake Example},
booktitle = {Engineering of Computer-Based Systems - 8th International Conference,
{ECBS} 2023, V{\"{a}}ster{\aa}s, Sweden, October 16-18, 2023,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14390},
pages = {170--190},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-49252-5\_13},
doi = {10.1007/978-3-031-49252-5\_13},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecbseerc/MarksteinerSS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/EbrahimiKSM23,
author = {Elmira Ebrahimi and
Ehsan Khamespanah and
Marjan Sirjani and
Siamak Mohammadi},
title = {Model Checking of Hyperledger Fabric Smart Contracts},
booktitle = {28th {IEEE} International Conference on Emerging Technologies and
Factory Automation, {ETFA} 2023, Sinaia, Romania, September 12-15,
2023},
pages = {1--8},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ETFA54631.2023.10275704},
doi = {10.1109/ETFA54631.2023.10275704},
timestamp = {Mon, 23 Oct 2023 09:15:55 +0200},
biburl = {https://dblp.org/rec/conf/etfa/EbrahimiKSM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/KhamespanahSK23,
author = {Ehsan Khamespanah and
Marjan Sirjani and
Ramtin Khosravi},
editor = {Hossein Hojjat and
Erika {\'{A}}brah{\'{a}}m},
title = {Afra: An Eclipse-Based Tool with Extensible Architecture for Modeling
and Model Checking of Rebeca Family Models},
booktitle = {Fundamentals of Software Engineering - 10th International Conference,
{FSEN} 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {14155},
pages = {72--87},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-42441-0\_6},
doi = {10.1007/978-3-031-42441-0\_6},
timestamp = {Tue, 05 Sep 2023 20:33:25 +0200},
biburl = {https://dblp.org/rec/conf/fsen/KhamespanahSK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaisc/SalimiLS23,
author = {Maghsood Salimi and
Mohammad Loni and
Marjan Sirjani},
editor = {Leszek Rutkowski and
Rafal Scherer and
Marcin Korytkowski and
Witold Pedrycz and
Ryszard Tadeusiewicz and
Jacek M. Zurada},
title = {Learning Activation Functions for Adversarial Attack Resilience in
CNNs},
booktitle = {Artificial Intelligence and Soft Computing - 22nd International Conference,
{ICAISC} 2023, Zakopane, Poland, June 18-22, 2023, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {14125},
pages = {203--214},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-42505-9\_18},
doi = {10.1007/978-3-031-42505-9\_18},
timestamp = {Sun, 24 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icaisc/SalimiLS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse-formalise/GhassemiSKMH23,
author = {Fatemeh Ghassemi and
Marjan Sirjani and
Ehsan Khamespanah and
Mahrokh Mirani and
Hossein Hojjat},
title = {Transparent Actor Model},
booktitle = {11th {IEEE/ACM} International Conference on Formal Methods in Software
Engineering, FormaliSE 2023, Melbourne, Australia, May 14-15, 2023},
pages = {97--107},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/FormaliSE58978.2023.00018},
doi = {10.1109/FORMALISE58978.2023.00018},
timestamp = {Mon, 10 Jul 2023 15:19:34 +0200},
biburl = {https://dblp.org/rec/conf/icse-formalise/GhassemiSKMH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2309-07302,
author = {Marjan Sirjani and
Ehsan Khamespanah},
editor = {Claudio Antares Mezzina and
Georgiana Caltais},
title = {Timed Actors and Their Formal Verification},
booktitle = {Proceedings Combined 30th International Workshop on Expressiveness
in Concurrency and 20th Workshop on Structural Operational Semantics,
{EXPRESS/SOS} 2023, and 20th Workshop on Structural Operational SemanticsAntwerp,
Belgium, 18th September 2023},
series = {{EPTCS}},
volume = {387},
pages = {1--7},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.387.1},
doi = {10.4204/EPTCS.387.1},
timestamp = {Wed, 25 Oct 2023 16:09:20 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-07302.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2312-16516,
author = {Maghsood Salimi and
Mohammad Loni and
Sara Afshar and
Marjan Sirjani and
Antonio Cicchetti},
title = {ConstScene: Dataset and Model for Advancing Robust Semantic Segmentation
in Construction Environments},
journal = {CoRR},
volume = {abs/2312.16516},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2312.16516},
doi = {10.48550/ARXIV.2312.16516},
eprinttype = {arXiv},
eprint = {2312.16516},
timestamp = {Thu, 18 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2312-16516.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/ZarneshanGKSH22,
author = {Mahsa Zarneshan and
Fatemeh Ghassemi and
Ehsan Khamespanah and
Marjan Sirjani and
John Hatcliff},
title = {Specification and Verification of Timing Properties in Interoperable
Medical Systems},
journal = {Log. Methods Comput. Sci.},
volume = {18},
number = {2},
year = {2022},
url = {https://doi.org/10.46298/lmcs-18(2:13)2022},
doi = {10.46298/LMCS-18(2:13)2022},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/ZarneshanGKSH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BagheriSKBM22,
author = {Maryam Bagheri and
Marjan Sirjani and
Ehsan Khamespanah and
Christel Baier and
Ali Movaghar},
title = {Magnifier: {A} Compositional Analysis Approach for Autonomous Traffic
Control},
journal = {{IEEE} Trans. Software Eng.},
volume = {48},
number = {8},
pages = {2732--2747},
year = {2022},
url = {https://doi.org/10.1109/TSE.2021.3069192},
doi = {10.1109/TSE.2021.3069192},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/BagheriSKBM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/KhamespanahMAS22,
author = {Ehsan Khamespanah and
Morteza Mohaqeqi and
Mohammad Ashjaei and
Marjan Sirjani},
title = {Schedulability Analysis of {WSAN} Applications: Outperformance of
a Model Checking Approach},
booktitle = {27th {IEEE} International Conference on Emerging Technologies and
Factory Automation, {ETFA} 2022, Stuttgart, Germany, September 6-9,
2022},
pages = {1--8},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ETFA52439.2022.9921644},
doi = {10.1109/ETFA52439.2022.9921644},
timestamp = {Wed, 02 Nov 2022 18:01:35 +0100},
biburl = {https://dblp.org/rec/conf/etfa/KhamespanahMAS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/MoradiBRYAS22,
author = {Fereidoun Moradi and
Maryam Bagheri and
Hanieh Rahmati and
Hamed Yazdi and
Sara Abbaspour Asadollah and
Marjan Sirjani},
editor = {Owolabi Legunsen and
Grigore Rosu},
title = {Monitoring Cyber-Physical Systems Using a Tiny Twin to Prevent Cyber-Attacks},
booktitle = {Model Checking Software - 28th International Symposium, {SPIN} 2022,
Virtual Event, May 21, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13255},
pages = {24--43},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-15077-7\_2},
doi = {10.1007/978-3-031-15077-7\_2},
timestamp = {Thu, 25 Aug 2022 08:35:30 +0200},
biburl = {https://dblp.org/rec/conf/spin/MoradiBRYAS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/coordination/2022,
editor = {Maurice H. ter Beek and
Marjan Sirjani},
title = {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},
series = {Lecture Notes in Computer Science},
volume = {13271},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-08143-9},
doi = {10.1007/978-3-031-08143-9},
isbn = {978-3-031-08145-3},
timestamp = {Wed, 15 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-10224,
author = {Ehsan Khamespanah and
Morteza Mohaqeqi and
Mohammad Ashjaei and
Marjan Sirjani},
title = {Schedulability Analysis of {WSAN} Applications: Outperformance of
{A} Model Checking Approach},
journal = {CoRR},
volume = {abs/2205.10224},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.10224},
doi = {10.48550/ARXIV.2205.10224},
eprinttype = {arXiv},
eprint = {2205.10224},
timestamp = {Mon, 23 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-10224.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jisa/SirjaniPAMS21,
author = {Marjan Sirjani and
Luciana Provenzano and
Sara Abbaspour Asadollah and
Mahshid Helali Moghadam and
Mehrdad Saadatmand},
title = {Towards a Verification-Driven Iterative Development of Software for
Safety-Critical Cyber-Physical Systems},
journal = {J. Internet Serv. Appl.},
volume = {12},
number = {1},
pages = {2},
year = {2021},
url = {https://doi.org/10.1186/s13174-021-00132-z},
doi = {10.1186/S13174-021-00132-Z},
timestamp = {Tue, 15 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jisa/SirjaniPAMS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/JahandidehGS21,
author = {Iman Jahandideh and
Fatemeh Ghassemi and
Marjan Sirjani},
title = {An actor-based framework for asynchronous event-based cyber-physical
systems},
journal = {Softw. Syst. Model.},
volume = {20},
number = {3},
pages = {641--665},
year = {2021},
url = {https://doi.org/10.1007/s10270-021-00877-y},
doi = {10.1007/S10270-021-00877-Y},
timestamp = {Tue, 13 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/JahandidehGS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/BagheriSKHM21,
author = {Maryam Bagheri and
Marjan Sirjani and
Ehsan Khamespanah and
Hossein Hojjat and
Ali Movaghar},
editor = {Roderick Bloem and
Rayna Dimitrova and
Chuchu Fan and
Natasha Sharygina},
title = {Partial Order Reduction for Timed Actors},
booktitle = {Software Verification - 13th International Conference, {VSTTE} 2021,
New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop,
{NSV} 2021, Los Angeles, CA, USA, July 18-19, 2021, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {13124},
pages = {43--60},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-95561-8\_4},
doi = {10.1007/978-3-030-95561-8\_4},
timestamp = {Sun, 02 Oct 2022 16:17:05 +0200},
biburl = {https://dblp.org/rec/conf/vstte/BagheriSKHM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/21/HeinrichBKRRRS21,
author = {Robert Heinrich and
Erwan Bousse and
Sandro Koch and
Arend Rensink and
Elvinia Riccobene and
Daniel Ratiu and
Marjan Sirjani},
editor = {Robert Heinrich and
Francisco Dur{\'{a}}n and
Carolyn L. Talcott and
Steffen Zschaler},
title = {Integration and Orchestration of Analysis Tools},
booktitle = {Composing Model-Based Analysis Tools},
pages = {71--95},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81915-6\_5},
doi = {10.1007/978-3-030-81915-6\_5},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/21/HeinrichBKRRRS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/21/KhamespanahMFS21,
author = {Ehsan Khamespanah and
Pavle Mrvaljevic and
Anas Fattouh and
Marjan Sirjani},
editor = {Robert Heinrich and
Francisco Dur{\'{a}}n and
Carolyn L. Talcott and
Steffen Zschaler},
title = {Using Afra in Different Domains by Tool Orchestration},
booktitle = {Composing Model-Based Analysis Tools},
pages = {283--299},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81915-6\_13},
doi = {10.1007/978-3-030-81915-6\_13},
timestamp = {Wed, 25 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/21/KhamespanahMFS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecsa/2021,
editor = {Stefan Biffl and
Elena Navarro and
Welf L{\"{o}}we and
Marjan Sirjani and
Raffaela Mirandola and
Danny Weyns},
title = {Software Architecture - 15th European Conference, {ECSA} 2021, Virtual
Event, Sweden, September 13-17, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12857},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-86044-8},
doi = {10.1007/978-3-030-86044-8},
isbn = {978-3-030-86043-1},
timestamp = {Fri, 03 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecsa/2021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jip/ForcinaSBJKMS20,
author = {Giorgio Forcina and
Ali Sedaghatbaf and
Stephan Baumgart and
Ali Jafari and
Ehsan Khamespanah and
Pavle Mrvaljevic and
Marjan Sirjani},
title = {Safe Design of Flow Management Systems Using Rebeca},
journal = {J. Inf. Process.},
volume = {28},
pages = {588--598},
year = {2020},
url = {https://doi.org/10.2197/ipsjjip.28.588},
doi = {10.2197/IPSJJIP.28.588},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jip/ForcinaSBJKMS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/YousefiKGSM20,
author = {Farnaz Yousefi and
Ehsan Khamespanah and
Mohammed Gharib and
Marjan Sirjani and
Ali Movaghar},
title = {VeriVANca framework: verification of VANETs by property-based message
passing of actors in Rebeca with inheritance},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {22},
number = {5},
pages = {617--633},
year = {2020},
url = {https://doi.org/10.1007/s10009-020-00579-8},
doi = {10.1007/S10009-020-00579-8},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/YousefiKGSM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/SirjaniLK20,
author = {Marjan Sirjani and
Edward A. Lee and
Ehsan Khamespanah},
title = {Model Checking Software in Cyberphysical Systems},
booktitle = {44th {IEEE} Annual Computers, Software, and Applications Conference,
{COMPSAC} 2020, Madrid, Spain, July 13-17, 2020},
pages = {1017--1026},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/COMPSAC48688.2020.0-138},
doi = {10.1109/COMPSAC48688.2020.0-138},
timestamp = {Tue, 29 Sep 2020 12:30:55 +0200},
biburl = {https://dblp.org/rec/conf/compsac/SirjaniLK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/RezaeiKSSM20,
author = {Sajjad Rezaei and
Ehsan Khamespanah and
Marjan Sirjani and
Ali Sedaghatbaf and
Siamak Mohammadi},
title = {Developing Safe Smart Contracts},
booktitle = {44th {IEEE} Annual Computers, Software, and Applications Conference,
{COMPSAC} 2020, Madrid, Spain, July 13-17, 2020},
pages = {1027--1035},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/COMPSAC48688.2020.0-137},
doi = {10.1109/COMPSAC48688.2020.0-137},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compsac/RezaeiKSSM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/ZarneshanGS20,
author = {Mahsa Zarneshan and
Fatemeh Ghassemi and
Marjan Sirjani},
editor = {Simon Bliudze and
Laura Bocchi},
title = {Formal Modeling and Analysis of Medical Systems},
booktitle = {Coordination Models and Languages - 22nd {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2020, Held as Part of the 15th International
Federated Conference on Distributed Computing Techniques, DisCoTec
2020, Valletta, Malta, June 15-19, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12134},
pages = {386--402},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-50029-0\_24},
doi = {10.1007/978-3-030-50029-0\_24},
timestamp = {Wed, 10 Jun 2020 16:04:42 +0200},
biburl = {https://dblp.org/rec/conf/coordination/ZarneshanGS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/SharifiKSK20,
author = {Zeinab Sharifi and
Ramtin Khosravi and
Marjan Sirjani and
Ehsan Khamespanah},
title = {Towards Formal Analysis of Vehicle Platoons Using Actor Model},
booktitle = {25th {IEEE} International Conference on Emerging Technologies and
Factory Automation, {ETFA} 2020, Vienna, Austria, September 8-11,
2020},
pages = {1820--1827},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ETFA46521.2020.9211888},
doi = {10.1109/ETFA46521.2020.9211888},
timestamp = {Thu, 15 Oct 2020 10:17:48 +0200},
biburl = {https://dblp.org/rec/conf/etfa/SharifiKSK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/MoradiASCST20,
author = {Fereidoun Moradi and
Sara Abbaspour Asadollah and
Ali Sedaghatbaf and
Aida Causevic and
Marjan Sirjani and
Carolyn L. Talcott},
editor = {Maurice H. ter Beek and
Dejan Nickovic},
title = {An Actor-Based Approach for Security Analysis of Cyber-Physical Systems},
booktitle = {Formal Methods for Industrial Critical Systems - 25th International
Conference, {FMICS} 2020, Vienna, Austria, September 2-3, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12327},
pages = {130--147},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-58298-2\_5},
doi = {10.1007/978-3-030-58298-2\_5},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/MoradiASCST20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/0001LKSKM20,
author = {Maryam Bagheri and
Edward A. Lee and
Eunsuk Kang and
Marjan Sirjani and
Ehsan Khamespanah and
Ali Movaghar},
title = {Lightweight Formal Method for Robust Routing in Track-based Traffic
Control Systems},
booktitle = {18th {ACM/IEEE} International Conference on Formal Methods and Models
for System Design, {MEMOCODE} 2020, Jaipur, India, December 2-4, 2020},
pages = {1--10},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/MEMOCODE51338.2020.9315135},
doi = {10.1109/MEMOCODE51338.2020.9315135},
timestamp = {Wed, 12 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/memocode/0001LKSKM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/SirjaniPAM20,
author = {Marjan Sirjani and
Luciana Provenzano and
Sara Abbaspour Asadollah and
Mahshid Helali Moghadam},
editor = {Loek Cleophas and
Mieke Massink},
title = {From Requirements to Verifiable Executable Models Using Rebeca},
booktitle = {Software Engineering and Formal Methods. {SEFM} 2020 Collocated Workshops
- ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September
14-15, 2020, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12524},
pages = {67--86},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-67220-1\_6},
doi = {10.1007/978-3-030-67220-1\_6},
timestamp = {Mon, 25 Jan 2021 17:33:06 +0100},
biburl = {https://dblp.org/rec/conf/sefm/SirjaniPAM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-04025,
author = {Mahsa Zarneshan and
Fatemeh Ghassemi and
Ehsan Khamespanah and
Marjan Sirjani and
John Hatcliff},
title = {Specification and Verification of Timing Properties in Interoperable
Medical Systems},
journal = {CoRR},
volume = {abs/2012.04025},
year = {2020},
url = {https://arxiv.org/abs/2012.04025},
eprinttype = {arXiv},
eprint = {2012.04025},
timestamp = {Wed, 09 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-04025.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/DastaniS19,
author = {Mehdi Dastani and
Marjan Sirjani},
title = {Fundamentals of Software Engineering (extended versions of selected
papers of {FSEN} 2017)},
journal = {Sci. Comput. Program.},
volume = {182},
pages = {86--87},
year = {2019},
url = {https://doi.org/10.1016/j.scico.2019.07.004},
doi = {10.1016/J.SCICO.2019.07.004},
timestamp = {Wed, 09 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/DastaniS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/CausevicPS19,
author = {Aida Causevic and
Alessandro Vittorio Papadopoulos and
Marjan Sirjani},
editor = {Vladimir Getov and
Jean{-}Luc Gaudiot and
Nariyoshi Yamai and
Stelvio Cimato and
J. Morris Chang and
Yuuichi Teranishi and
Ji{-}Jiang Yang and
Hong Va Leong and
Hossain Shahriar and
Michiharu Takemoto and
Dave Towey and
Hiroki Takakura and
Atilla El{\c{c}}i and
Susumu Takeuchi and
Satish Puri},
title = {Towards a Framework for Safe and Secure Adaptive Collaborative Systems},
booktitle = {43rd {IEEE} Annual Computer Software and Applications Conference,
{COMPSAC} 2019, Milwaukee, WI, USA, July 15-19, 2019, Volume 2},
pages = {165--170},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/COMPSAC.2019.10201},
doi = {10.1109/COMPSAC.2019.10201},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/CausevicPS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/SirjaniFJBKS19,
author = {Marjan Sirjani and
Giorgio Forcina and
Ali Jafari and
Stephan Baumgart and
Ehsan Khamespanah and
Ali Sedaghatbaf},
editor = {Vladimir Getov and
Jean{-}Luc Gaudiot and
Nariyoshi Yamai and
Stelvio Cimato and
J. Morris Chang and
Yuuichi Teranishi and
Ji{-}Jiang Yang and
Hong Va Leong and
Hossain Shahriar and
Michiharu Takemoto and
Dave Towey and
Hiroki Takakura and
Atilla El{\c{c}}i and
Susumu Takeuchi and
Satish Puri},
title = {An Actor-Based Design Platform for System of Systems},
booktitle = {43rd {IEEE} Annual Computer Software and Applications Conference,
{COMPSAC} 2019, Milwaukee, WI, USA, July 15-19, 2019, Volume 1},
pages = {579--587},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/COMPSAC.2019.00089},
doi = {10.1109/COMPSAC.2019.00089},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compsac/SirjaniFJBKS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/LohstrohSGWGSL19,
author = {Marten Lohstroh and
Martin Schoeberl and
Andr{\'{e}}s Goens and
Armin Wasicek and
Christopher D. Gill and
Marjan Sirjani and
Edward A. Lee},
title = {Actors Revisited for Time-Critical Systems},
booktitle = {Proceedings of the 56th Annual Design Automation Conference 2019,
{DAC} 2019, Las Vegas, NV, USA, June 02-06, 2019},
pages = {152},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3316781.3323469},
doi = {10.1145/3316781.3323469},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dac/LohstrohSGWGSL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsrt/Sirjani19,
author = {Marjan Sirjani},
editor = {Floriano De Rango and
Carlos T. Calafate and
Miroslav Vozn{\'{a}}k and
Alfredo Garro and
Mauro Tropea},
title = {Analysing Real-time Distributed Systems using Timed Actors},
booktitle = {23rd {IEEE/ACM} International Symposium on Distributed Simulation
and Real Time Applications {DS-RT} 2019, Cosenza, Italy, October 7-9,
2019},
pages = {1},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/DS-RT47707.2019.8958670},
doi = {10.1109/DS-RT47707.2019.8958670},
timestamp = {Fri, 31 Jan 2020 16:11:39 +0100},
biburl = {https://dblp.org/rec/conf/dsrt/Sirjani19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsrt/SirjaniKG19,
author = {Marjan Sirjani and
Ehsan Khamespanah and
Fatemeh Ghassemi},
editor = {Floriano De Rango and
Carlos T. Calafate and
Miroslav Vozn{\'{a}}k and
Alfredo Garro and
Mauro Tropea},
title = {Reactive Actors: Isolation for Efficient Analysis of Distributed Systems},
booktitle = {23rd {IEEE/ACM} International Symposium on Distributed Simulation
and Real Time Applications {DS-RT} 2019, Cosenza, Italy, October 7-9,
2019},
pages = {1--10},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/DS-RT47707.2019.8958682},
doi = {10.1109/DS-RT47707.2019.8958682},
timestamp = {Fri, 31 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsrt/SirjaniKG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbseerc/SalimiMLSSSDT19,
author = {Maghsood Salimi and
Amin Majd and
Mohammad Loni and
Tiberiu Seceleanu and
Cristina Seceleanu and
Marjan Sirjani and
Masoud Daneshtalab and
Elena Troubitsyna},
editor = {Maria{-}Iuliana Dascalu and
Ondrej Rysav{\'{y}} and
Constanta{-}Nicoleta Bodea and
Moshe Goldstein and
Miodrag Dukic},
title = {Multi-objective Optimization of Real-Time Task Scheduling Problem
for Distributed Environments},
booktitle = {Proceedings of the 6th Conference on the Engineering of Computer Based
Systems, {ECBS} 2019, Bucharest, Romania, September 2-3, 2019},
pages = {13:1--13:9},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3352700.3352713},
doi = {10.1145/3352700.3352713},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecbseerc/SalimiMLSSSDT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/MoradiSACS19,
author = {Fereidoun Moradi and
Ali Sedaghatbaf and
Sara Abbaspour Asadollah and
Aida Causevic and
Marjan Sirjani},
title = {On-Off Attack on a Blockchain-based IoT System},
booktitle = {24th {IEEE} International Conference on Emerging Technologies and
Factory Automation, {ETFA} 2019, Zaragoza, Spain, September 10-13,
2019},
pages = {1768--1773},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ETFA.2019.8868238},
doi = {10.1109/ETFA.2019.8868238},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/etfa/MoradiSACS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/KhakpourKS19,
author = {Narges Khakpour and
Jetty Kleijn and
Marjan Sirjani},
editor = {Hossein Hojjat and
Mieke Massink},
title = {A Formal Model to Integrate Behavioral and Structural Adaptations
in Self-adaptive Systems},
booktitle = {Fundamentals of Software Engineering - 8th International Conference,
{FSEN} 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11761},
pages = {3--19},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31517-7\_1},
doi = {10.1007/978-3-030-31517-7\_1},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsen/KhakpourKS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/YousefiKGSM19,
author = {Farnaz Yousefi and
Ehsan Khamespanah and
Mohammed Gharib and
Marjan Sirjani and
Ali Movaghar},
editor = {Fabrizio Biondi and
Thomas Given{-}Wilson and
Axel Legay},
title = {VeriVANca: An Actor-Based Framework for Formal Verification of Warning
Message Dissemination Schemes in VANETs},
booktitle = {Model Checking Software - 26th International Symposium, {SPIN} 2019,
Beijing, China, July 15-16, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11636},
pages = {244--259},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30923-7\_14},
doi = {10.1007/978-3-030-30923-7\_14},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/spin/YousefiKGSM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1901-02597,
author = {Iman Jahandideh and
Fatemeh Ghassemi and
Marjan Sirjani},
title = {Hybrid Rebeca: Modeling and Analyzing of Cyber-Physical Systems},
journal = {CoRR},
volume = {abs/1901.02597},
year = {2019},
url = {http://arxiv.org/abs/1901.02597},
eprinttype = {arXiv},
eprint = {1901.02597},
timestamp = {Fri, 01 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1901-02597.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-01137,
author = {Farnaz Yousefi and
Ehsan Khamespanah and
Mohammed Gharib and
Marjan Sirjani and
Ali Movaghar},
title = {VeriVANca: An Actor-Based Framework for Formal Verification of Warning
Message Dissemination Schemes in VANETs},
journal = {CoRR},
volume = {abs/1905.01137},
year = {2019},
url = {http://arxiv.org/abs/1905.01137},
eprinttype = {arXiv},
eprint = {1905.01137},
timestamp = {Wed, 12 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1905-01137.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-06732,
author = {Maryam Bagheri and
Marjan Sirjani and
Ehsan Khamespanah and
Ali Movaghar},
title = {A Compositional Approach for Reliable Adaptation of Track-based Traffic
Control Systems at Runtime},
journal = {CoRR},
volume = {abs/1905.06732},
year = {2019},
url = {http://arxiv.org/abs/1905.06732},
eprinttype = {arXiv},
eprint = {1905.06732},
timestamp = {Wed, 12 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1905-06732.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/BagheriSKKAML18,
author = {Maryam Bagheri and
Marjan Sirjani and
Ehsan Khamespanah and
Narges Khakpour and
Ilge Akkaya and
Ali Movaghar and
Edward A. Lee},
title = {Coordinated actor model of self-adaptive track-based traffic control
systems},
journal = {J. Syst. Softw.},
volume = {143},
pages = {116--139},
year = {2018},
url = {https://doi.org/10.1016/j.jss.2018.05.034},
doi = {10.1016/J.JSS.2018.05.034},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/BagheriSKKAML18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/KhamespanahKS18,
author = {Ehsan Khamespanah and
Ramtin Khosravi and
Marjan Sirjani},
title = {An efficient {TCTL} model checking algorithm and a reduction technique
for verification of timed actor models},
journal = {Sci. Comput. Program.},
volume = {153},
pages = {1--29},
year = {2018},
url = {https://doi.org/10.1016/j.scico.2017.11.004},
doi = {10.1016/J.SCICO.2017.11.004},
timestamp = {Tue, 06 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/KhamespanahKS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/DastaniHS18,
author = {Mehdi Dastani and
Hossein Hojjat and
Marjan Sirjani},
title = {Fundamentals of Software Engineering (extended versions of selected
papers of {FSEN} 2015)},
journal = {Sci. Comput. Program.},
volume = {160},
pages = {1--2},
year = {2018},
url = {https://doi.org/10.1016/j.scico.2017.11.006},
doi = {10.1016/J.SCICO.2017.11.006},
timestamp = {Mon, 14 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/DastaniHS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BerardinisFJS18,
author = {Jacopo de Berardinis and
Giorgio Forcina and
Ali Jafari and
Marjan Sirjani},
title = {Actor-based macroscopic modeling and simulation for smart urban planning},
journal = {Sci. Comput. Program.},
volume = {168},
pages = {142--164},
year = {2018},
url = {https://doi.org/10.1016/j.scico.2018.09.002},
doi = {10.1016/J.SCICO.2018.09.002},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BerardinisFJS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/KhamespanahSMA18,
author = {Ehsan Khamespanah and
Marjan Sirjani and
Kirill Mechitov and
Gul Agha},
title = {Modeling and analyzing real-time wireless sensor and actuator networks
using actors and model checking},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {20},
number = {5},
pages = {547--561},
year = {2018},
url = {https://doi.org/10.1007/s10009-017-0480-3},
doi = {10.1007/S10009-017-0480-3},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/KhamespanahSMA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/SirjaniGP18,
author = {Marjan Sirjani and
Fatemeh Ghassemi and
Bahman Pourvatan},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Jan Rutten},
title = {Reo Connectors and Components as Tagged Signal Models},
booktitle = {It's All About Coordination - Essays to Celebrate the Lifelong Scientific
Achievements of Farhad Arbab},
series = {Lecture Notes in Computer Science},
volume = {10865},
pages = {160--173},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-90089-6\_11},
doi = {10.1007/978-3-319-90089-6\_11},
timestamp = {Sat, 19 Oct 2019 20:29:09 +0200},
biburl = {https://dblp.org/rec/conf/birthday/SirjaniGP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Sirjani18,
author = {Marjan Sirjani},
editor = {Marten Lohstroh and
Patricia Derler and
Marjan Sirjani},
title = {Power is Overrated, Go for Friendliness! Expressiveness, Faithfulness,
and Usability in Modeling: The Actor Experience},
booktitle = {Principles of Modeling - Essays Dedicated to Edward A. Lee on the
Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {10760},
pages = {423--448},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-95246-8\_25},
doi = {10.1007/978-3-319-95246-8\_25},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Sirjani18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cyphy/JahandidehGS18,
author = {Iman Jahandideh and
Fatemeh Ghassemi and
Marjan Sirjani},
editor = {Roger D. Chamberlain and
Walid Taha and
Martin T{\"{o}}rngren},
title = {Hybrid Rebeca: Modeling and Analyzing of Cyber-Physical Systems},
booktitle = {Cyber Physical Systems. Model-Based Design - 8th International Workshop,
CyPhy 2018, and 14th International Workshop, {WESE} 2018, Turin, Italy,
October 4-5, 2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11615},
pages = {3--27},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-23703-5\_1},
doi = {10.1007/978-3-030-23703-5\_1},
timestamp = {Tue, 02 Jul 2019 13:02:18 +0200},
biburl = {https://dblp.org/rec/conf/cyphy/JahandidehGS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/LeeS18,
author = {Edward A. Lee and
Marjan Sirjani},
editor = {Kyungmin Bae and
Peter Csaba {\"{O}}lveczky},
title = {What Good are Models?},
booktitle = {Formal Aspects of Component Software - 15th International Conference,
{FACS} 2018, Pohang, South Korea, October 10-12, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11222},
pages = {3--31},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02146-7\_1},
doi = {10.1007/978-3-030-02146-7\_1},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/facs2/LeeS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/JafariNBS18,
author = {Ali Jafari and
Jayasoorya Jayanthi Surendran Nair and
Stephan Baumgart and
Marjan Sirjani},
editor = {Hisham M. Haddad and
Roger L. Wainwright and
Richard Chbeir},
title = {Safe and efficient fleet operation for autonomous machines: an actor-based
approach},
booktitle = {Proceedings of the 33rd Annual {ACM} Symposium on Applied Computing,
{SAC} 2018, Pau, France, April 09-13, 2018},
pages = {423--426},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3167132.3167382},
doi = {10.1145/3167132.3167382},
timestamp = {Wed, 25 Sep 2019 18:12:13 +0200},
biburl = {https://dblp.org/rec/conf/sac/JafariNBS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2018lee,
editor = {Marten Lohstroh and
Patricia Derler and
Marjan Sirjani},
title = {Principles of Modeling - Essays Dedicated to Edward A. Lee on the
Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {10760},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-95246-8},
doi = {10.1007/978-3-319-95246-8},
isbn = {978-3-319-95245-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/2018lee.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/JaghooriBLCS17,
author = {Mohammad Mahdi Jaghoori and
Frank S. de Boer and
Delphine Longuet and
Tom Chothia and
Marjan Sirjani},
title = {Compositional schedulability analysis of real-time actor-based systems},
journal = {Acta Informatica},
volume = {54},
number = {4},
pages = {343--378},
year = {2017},
url = {https://doi.org/10.1007/s00236-015-0254-x},
doi = {10.1007/S00236-015-0254-X},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/acta/JaghooriBLCS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/BoerSHHRDJSKFY17,
author = {Frank S. de Boer and
Vlad Serbanescu and
Reiner H{\"{a}}hnle and
Ludovic Henrio and
Justine Rochas and
Crystal Chang Din and
Einar Broch Johnsen and
Marjan Sirjani and
Ehsan Khamespanah and
Kiko Fernandez{-}Reyes and
Albert Mingkun Yang},
title = {A Survey of Active Object Languages},
journal = {{ACM} Comput. Surv.},
volume = {50},
number = {5},
pages = {76:1--76:39},
year = {2017},
url = {https://doi.org/10.1145/3122848},
doi = {10.1145/3122848},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/BoerSHHRDJSKFY17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigbed/BagheriKSML17,
author = {Maryam Bagheri and
Ehsan Khamespanah and
Marjan Sirjani and
Ali Movaghar and
Edward A. Lee},
title = {Runtime compositional analysis of track-based traffic control systems},
journal = {{SIGBED} Rev.},
volume = {14},
number = {3},
pages = {38--39},
year = {2017},
url = {https://doi.org/10.1145/3166227.3166233},
doi = {10.1145/3166227.3166233},
timestamp = {Wed, 12 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigbed/BagheriKSML17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigbed/SirjaniKMA17,
author = {Marjan Sirjani and
Ehsan Khamespanah and
Kirill Mechitov and
Gul Agha},
title = {A compositional approach for modeling and timing analysis of wireless
sensor and actuator networks},
journal = {{SIGBED} Rev.},
volume = {14},
number = {3},
pages = {49--56},
year = {2017},
url = {https://doi.org/10.1145/3166227.3166237},
doi = {10.1145/3166227.3166237},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigbed/SirjaniKMA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/CastagnariBFJS17,
author = {Carlo Castagnari and
Jacopo de Berardinis and
Giorgio Forcina and
Ali Jafari and
Marjan Sirjani},
editor = {Antonio Cerone and
Marco Roveri},
title = {Lightweight Preprocessing for Agent-Based Simulation of Smart Mobility
Initiatives},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2017 Collocated Workshops:
DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September
4-5, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10729},
pages = {541--557},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-74781-1\_36},
doi = {10.1007/978-3-319-74781-1\_36},
timestamp = {Mon, 15 Jun 2020 17:05:45 +0200},
biburl = {https://dblp.org/rec/conf/sefm/CastagnariBFJS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fsen/2017,
editor = {Mehdi Dastani and
Marjan Sirjani},
title = {Fundamentals of Software Engineering - 7th International Conference,
{FSEN} 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10522},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68972-2},
doi = {10.1007/978-3-319-68972-2},
isbn = {978-3-319-68971-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsen/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sefm/2017,
editor = {Alessandro Cimatti and
Marjan Sirjani},
title = {Software Engineering and Formal Methods - 15th International Conference,
{SEFM} 2017, Trento, Italy, September 4-8, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10469},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66197-1},
doi = {10.1007/978-3-319-66197-1},
isbn = {978-3-319-66196-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/JafariKKSM16,
author = {Ali Jafari and
Ehsan Khamespanah and
Haukur Kristinsson and
Marjan Sirjani and
Brynjar Magnusson},
title = {Statistical model checking of Timed Rebeca models},
journal = {Comput. Lang. Syst. Struct.},
volume = {45},
pages = {53--79},
year = {2016},
url = {https://doi.org/10.1016/j.cl.2016.01.004},
doi = {10.1016/J.CL.2016.01.004},
timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cl/JafariKKSM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/JafariKSHC16,
author = {Ali Jafari and
Ehsan Khamespanah and
Marjan Sirjani and
Holger Hermanns and
Matteo Cimini},
title = {PTRebeca: Modeling and analysis of distributed and asynchronous systems},
journal = {Sci. Comput. Program.},
volume = {128},
pages = {22--50},
year = {2016},
url = {https://doi.org/10.1016/j.scico.2016.03.004},
doi = {10.1016/J.SCICO.2016.03.004},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/JafariKSHC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/SirjaniK16,
author = {Marjan Sirjani and
Ehsan Khamespanah},
editor = {Erika {\'{A}}brah{\'{a}}m and
Marcello M. Bonsangue and
Einar Broch Johnsen},
title = {On Time Actors},
booktitle = {Theory and Practice of Formal Methods - Essays Dedicated to Frank
de Boer on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9660},
pages = {373--392},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-30734-3\_25},
doi = {10.1007/978-3-319-30734-3\_25},
timestamp = {Sat, 19 Oct 2019 20:29:08 +0200},
biburl = {https://dblp.org/rec/conf/birthday/SirjaniK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/BagheriAKKSML16,
author = {Maryam Bagheri and
Ilge Akkaya and
Ehsan Khamespanah and
Narges Khakpour and
Marjan Sirjani and
Ali Movaghar and
Edward A. Lee},
editor = {Olga Kouchnarenko and
Ramtin Khosravi},
title = {Coordinated Actors for Reliable Self-adaptive Systems},
booktitle = {Formal Aspects of Component Software - 13th International Conference,
{FACS} 2016, Besan{\c{c}}on, France, October 19-21, 2016, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10231},
pages = {241--259},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-57666-4\_15},
doi = {10.1007/978-3-319-57666-4\_15},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/facs2/BagheriAKKSML16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/KhamespanahMSA16,
author = {Ehsan Khamespanah and
Kirill Mechitov and
Marjan Sirjani and
Gul A. Agha},
editor = {Dragan Bosnacki and
Anton Wijs},
title = {Schedulability Analysis of Distributed Real-Time Sensor Network Applications
Using Actor-Based Model Checking},
booktitle = {Model Checking Software - 23rd International Symposium, {SPIN} 2016,
Co-located with {ETAPS} 2016, Eindhoven, The Netherlands, April 7-8,
2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9641},
pages = {165--181},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-32582-8\_11},
doi = {10.1007/978-3-319-32582-8\_11},
timestamp = {Tue, 12 Sep 2023 07:57:22 +0200},
biburl = {https://dblp.org/rec/conf/spin/KhamespanahMSA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/KhamespanahSMSR15,
author = {Ehsan Khamespanah and
Marjan Sirjani and
Mohammad Reza Mousavi and
Zeynab Sabahi{-}Kaviani and
Mohamadreza Razzazi},
title = {State Distribution Policy for Distributed Model Checking of Actor
Models},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {72},
year = {2015},
url = {https://doi.org/10.14279/tuj.eceasst.72.1022},
doi = {10.14279/TUJ.ECEASST.72.1022},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/KhamespanahSMSR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/KhamespanahSSKI15,
author = {Ehsan Khamespanah and
Marjan Sirjani and
Zeynab Sabahi{-}Kaviani and
Ramtin Khosravi and
Mohammad{-}Javad Izadi},
title = {Timed Rebeca schedulability and deadlock freedom analysis using bounded
floating time transition system},
journal = {Sci. Comput. Program.},
volume = {98},
pages = {184--204},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2014.07.005},
doi = {10.1016/J.SCICO.2014.07.005},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/KhamespanahSSKI15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/HojjatSA15,
author = {Hossein Hojjat and
Marjan Sirjani and
Farhad Arbab},
title = {Fundamentals of Software Engineering (selected papers of {FSEN} 2013)},
journal = {Sci. Comput. Program.},
volume = {112},
pages = {1--2},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2015.10.002},
doi = {10.1016/J.SCICO.2015.10.002},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/HojjatSA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Sabahi-KavianiK15,
author = {Zeynab Sabahi{-}Kaviani and
Ramtin Khosravi and
Peter Csaba {\"{O}}lveczky and
Ehsan Khamespanah and
Marjan Sirjani},
title = {Formal semantics and efficient analysis of Timed Rebeca in Real-Time
Maude},
journal = {Sci. Comput. Program.},
volume = {113},
pages = {85--118},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2015.07.003},
doi = {10.1016/J.SCICO.2015.07.003},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Sabahi-KavianiK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agere/ZakeriyanKSK15,
author = {Arvin Zakeriyan and
Ehsan Khamespanah and
Marjan Sirjani and
Ramtin Khosravi},
editor = {Elisa Gonzalez Boix and
Philipp Haller and
Alessandro Ricci and
Carlos A. Varela},
title = {Jacco: more efficient model checking toolset for Java actor programs},
booktitle = {Proceedings of the 5th International Workshop on Programming Based
on Actors, Agents, and Decentralized Control, AGERE! 2015, Pittsburgh,
PA, USA, October 26, 2015},
pages = {37--44},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2824815.2824819},
doi = {10.1145/2824815.2824819},
timestamp = {Sat, 11 Sep 2021 23:19:19 +0200},
biburl = {https://dblp.org/rec/conf/agere/ZakeriyanKSK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/KhamespanahSVK15,
author = {Ehsan Khamespanah and
Marjan Sirjani and
Mahesh Viswanathan and
Ramtin Khosravi},
editor = {Christiano Braga and
Peter Csaba {\"{O}}lveczky},
title = {Floating Time Transition System: More Efficient Analysis of Timed
Actors},
booktitle = {Formal Aspects of Component Software - 12th International Conference,
{FACS} 2015, Niter{\'{o}}i, Brazil, October 14-16, 2015, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9539},
pages = {237--255},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-28934-2\_13},
doi = {10.1007/978-3-319-28934-2\_13},
timestamp = {Fri, 24 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/facs2/KhamespanahSVK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fsen/2015,
editor = {Mehdi Dastani and
Marjan Sirjani},
title = {Fundamentals of Software Engineering - 6th International Conference,
{FSEN} 2015 Tehran, Iran, April 22-24, 2015, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9392},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24644-4},
doi = {10.1007/978-3-319-24644-4},
isbn = {978-3-319-24643-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsen/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/JafariKSH14,
author = {Ali Jafari and
Ehsan Khamespanah and
Marjan Sirjani and
Holger Hermanns},
title = {Performance Analysis of Distributed and Asynchronous Systems using
Probabilistic Timed Actors},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {70},
year = {2014},
url = {https://doi.org/10.14279/tuj.eceasst.70.984},
doi = {10.14279/TUJ.ECEASST.70.984},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/JafariKSH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ReynissonSACJIS14,
author = {Arni Hermann Reynisson and
Marjan Sirjani and
Luca Aceto and
Matteo Cimini and
Ali Jafari and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Steinar Hugi Sigurdarson},
title = {Modelling and simulation of asynchronous real-time systems using Timed
Rebeca},
journal = {Sci. Comput. Program.},
volume = {89},
pages = {41--68},
year = {2014},
url = {https://doi.org/10.1016/j.scico.2014.01.008},
doi = {10.1016/J.SCICO.2014.01.008},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/ReynissonSACJIS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agere/MagnussonKKS14,
author = {Brynjar Magnusson and
Ehsan Khamespanah and
Ramtin Khosravi and
Marjan Sirjani},
editor = {Elisa Gonzalez Boix and
Philipp Haller and
Alessandro Ricci and
Carlos A. Varela},
title = {Event-Based Analysis of Timed Rebeca Models using {SQL}},
booktitle = {Proceedings of the 4th International Workshop on Programming based
on Actors Agents {\&} Decentralized Control, AGERE! 2014, Portland,
OR, USA, October 20, 2014},
pages = {43--54},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2687357.2687365},
doi = {10.1145/2687357.2687365},
timestamp = {Sat, 11 Sep 2021 23:19:19 +0200},
biburl = {https://dblp.org/rec/conf/agere/MagnussonKKS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agere/KhamespanahKS14,
author = {Ehsan Khamespanah and
Ramtin Khosravi and
Marjan Sirjani},
editor = {Elisa Gonzalez Boix and
Philipp Haller and
Alessandro Ricci and
Carlos A. Varela},
title = {Efficient {TCTL} Model Checking Algorithm for Timed Actors},
booktitle = {Proceedings of the 4th International Workshop on Programming based
on Actors Agents {\&} Decentralized Control, AGERE! 2014, Portland,
OR, USA, October 20, 2014},
pages = {55--66},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2687357.2687366},
doi = {10.1145/2687357.2687366},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agere/KhamespanahKS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/sharifiMMS13,
author = {Zeinab Sharifi and
Mahdi Mosaffa and
Siamak Mohammadi and
Marjan Sirjani},
title = {Functional and Performance Analysis of Network-on-Chips Using Actor-based
Modeling and Formal Verification},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {66},
year = {2013},
url = {https://doi.org/10.14279/tuj.eceasst.66.890},
doi = {10.14279/TUJ.ECEASST.66.890},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/sharifiMMS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ArbabS13,
author = {Farhad Arbab and
Marjan Sirjani},
title = {Fundamentals of Software Engineering (selected papers of {FSEN} 2011)},
journal = {Sci. Comput. Program.},
volume = {78},
number = {12},
pages = {2433--2434},
year = {2013},
url = {https://doi.org/10.1016/j.scico.2013.08.011},
doi = {10.1016/J.SCICO.2013.08.011},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/ArbabS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agere/KristinssonJKMS13,
author = {Haukur Kristinsson and
Ali Jafari and
Ehsan Khamespanah and
Brynjar Magnusson and
Marjan Sirjani},
editor = {Nadeem Jamali and
Alessandro Ricci and
Gera Weiss and
Akinori Yonezawa},
title = {Analysing timed Rebeca using McErlang},
booktitle = {Proceedings of the 2013 Workshop on Programming based on Actors, Agents,
and Decentralized Control, AGERE!@SPLASH 2013, Indianapolis, IN, USA,
October 27-28, 2013},
pages = {25--36},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2541329.2541335},
doi = {10.1145/2541329.2541335},
timestamp = {Thu, 11 Mar 2021 17:04:51 +0100},
biburl = {https://dblp.org/rec/conf/agere/KristinssonJKMS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/Sabahi-KavianiKSOK13,
author = {Zeynab Sabahi{-}Kaviani and
Ramtin Khosravi and
Marjan Sirjani and
Peter Csaba {\"{O}}lveczky and
Ehsan Khamespanah},
editor = {Cyrille Artho and
Peter Csaba {\"{O}}lveczky},
title = {Formal Semantics and Analysis of Timed Rebeca in Real-Time Maude},
booktitle = {Formal Techniques for Safety-Critical Systems - Second International
Workshop, {FTSCS} 2013, Queenstown, New Zealand, October 29-30, 2013.
Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {419},
pages = {178--194},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-05416-2\_12},
doi = {10.1007/978-3-319-05416-2\_12},
timestamp = {Wed, 24 May 2017 08:30:54 +0200},
biburl = {https://dblp.org/rec/conf/ftscs/Sabahi-KavianiKSOK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fsen/2013,
editor = {Farhad Arbab and
Marjan Sirjani},
title = {Fundamentals of Software Engineering - 5th International Conference,
{FSEN} 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8161},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40213-5},
doi = {10.1007/978-3-642-40213-5},
isbn = {978-3-642-40212-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsen/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/KhakpourJSGA12,
author = {Narges Khakpour and
Saeed Jalili and
Marjan Sirjani and
Ursula Goltz and
Bahareh Abolhasanzadeh},
title = {HPobSAM for modeling and analyzing {IT} Ecosystems - Through a case
study},
journal = {J. Syst. Softw.},
volume = {85},
number = {12},
pages = {2770--2784},
year = {2012},
url = {https://doi.org/10.1016/j.jss.2012.03.007},
doi = {10.1016/J.JSS.2012.03.007},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/KhakpourJSGA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/SalaunS12,
author = {Gwen Sala{\"{u}}n and
Marjan Sirjani},
title = {Preface: Special issue on Foundations of Coordination Languages and
Software Architectures (selected papers from FOCLASA'09)},
journal = {Sci. Comput. Program.},
volume = {77},
number = {7-8},
pages = {777--778},
year = {2012},
url = {https://doi.org/10.1016/j.scico.2011.09.006},
doi = {10.1016/J.SCICO.2011.09.006},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/SalaunS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/PourvatanSHA12,
author = {Bahman Pourvatan and
Marjan Sirjani and
Hossein Hojjat and
Farhad Arbab},
title = {Symbolic execution of Reo circuits using constraint automata},
journal = {Sci. Comput. Program.},
volume = {77},
number = {7-8},
pages = {848--869},
year = {2012},
url = {https://doi.org/10.1016/j.scico.2011.04.001},
doi = {10.1016/J.SCICO.2011.04.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/PourvatanSHA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ArbabS12,
author = {Farhad Arbab and
Marjan Sirjani},
title = {Fundamentals of software engineering (selected papers of {FSEN} '09)},
journal = {Sci. Comput. Program.},
volume = {77},
number = {7-8},
pages = {887--888},
year = {2012},
url = {https://doi.org/10.1016/j.scico.2011.05.001},
doi = {10.1016/J.SCICO.2011.05.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/ArbabS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/KhakpourJTSM12,
author = {Narges Khakpour and
Saeed Jalili and
Carolyn L. Talcott and
Marjan Sirjani and
Mohammad Reza Mousavi},
title = {Formal modeling of evolving self-adaptive systems},
journal = {Sci. Comput. Program.},
volume = {78},
number = {1},
pages = {3--26},
year = {2012},
url = {https://doi.org/10.1016/j.scico.2011.09.004},
doi = {10.1016/J.SCICO.2011.09.004},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/KhakpourJTSM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agere/KhamespanahSKSI12,
author = {Ehsan Khamespanah and
Zeynab Sabahi{-}Kaviani and
Ramtin Khosravi and
Marjan Sirjani and
Mohammad{-}Javad Izadi},
editor = {Gul A. Agha and
Rafael H. Bordini and
Assaf Marron and
Alessandro Ricci},
title = {Timed-rebeca schedulability and deadlock-freedom analysis using floating-time
transition system},
booktitle = {Proceedings of the 2nd edition on Programming systems, languages and
applications based on actors, agents, and decentralized control abstractions,
AGERE! 2012, October 21-22, 2012, Tucson, Arizona, {USA}},
pages = {23--34},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2414639.2414645},
doi = {10.1145/2414639.2414645},
timestamp = {Thu, 11 Mar 2021 17:04:51 +0100},
biburl = {https://dblp.org/rec/conf/agere/KhamespanahSKSI12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/SigurdarsonSBR12,
author = {Steinar Hugi Sigurdarson and
Marjan Sirjani and
Yngvi Bj{\"{o}}rnsson and
Arni Hermann Reynisson},
editor = {Corina S. Pasareanu and
Gwen Sala{\"{u}}n},
title = {Guided Search for Deadlocks in Actor-Based Models},
booktitle = {Formal Aspects of Component Software, 9th International Symposium,
{FACS} 2012, Mountain View, CA, USA, September 12-14, 2012. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7684},
pages = {242--259},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35861-6\_15},
doi = {10.1007/978-3-642-35861-6\_15},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/facs2/SigurdarsonSBR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/coordination/2012,
editor = {Marjan Sirjani},
title = {Coordination Models and Languages - 14th International Conference,
{COORDINATION} 2012, Stockholm, Sweden, June 14-15, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7274},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30829-1},
doi = {10.1007/978-3-642-30829-1},
isbn = {978-3-642-30828-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fsen/2011,
editor = {Farhad Arbab and
Marjan Sirjani},
title = {Fundamentals of Software Engineering - 4th {IPM} International Conference,
{FSEN} 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7141},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-29320-7},
doi = {10.1007/978-3-642-29320-7},
isbn = {978-3-642-29319-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsen/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/HojjatMS11,
author = {Hossein Hojjat and
Mohammad Reza Mousavi and
Marjan Sirjani},
title = {Formal Analysis of SystemC Designs in Process Algebra},
journal = {Fundam. Informaticae},
volume = {107},
number = {1},
pages = {19--42},
year = {2011},
url = {https://doi.org/10.3233/FI-2011-391},
doi = {10.3233/FI-2011-391},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/HojjatMS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/TalcottSR11,
author = {Carolyn L. Talcott and
Marjan Sirjani and
Shangping Ren},
title = {Comparing three coordination models: Reo, ARC, and {PBRD}},
journal = {Sci. Comput. Program.},
volume = {76},
number = {1},
pages = {3--22},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2009.11.006},
doi = {10.1016/J.SCICO.2009.11.006},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/TalcottSR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/CanalPS11,
author = {Carlos Canal and
Pascal Poizat and
Marjan Sirjani},
title = {Preface},
journal = {Sci. Comput. Program.},
volume = {76},
number = {8},
pages = {631--632},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2010.06.003},
doi = {10.1016/J.SCICO.2010.06.003},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/CanalPS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/SirjaniJ11,
author = {Marjan Sirjani and
Mohammad Mahdi Jaghoori},
editor = {Gul Agha and
Olivier Danvy and
Jos{\'{e}} Meseguer},
title = {Ten Years of Analyzing Actors: Rebeca Experience},
booktitle = {Formal Modeling: Actors, Open Systems, Biological Systems - Essays
Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday},
series = {Lecture Notes in Computer Science},
volume = {7000},
pages = {20--56},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24933-4\_3},
doi = {10.1007/978-3-642-24933-4\_3},
timestamp = {Thu, 21 Sep 2023 09:08:34 +0200},
biburl = {https://dblp.org/rec/conf/birthday/SirjaniJ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/JaghooriHS11,
author = {Mohammad Mahdi Jaghoori and
{\'{O}}lafur Hlynsson and
Marjan Sirjani},
editor = {Farhad Arbab and
Peter Csaba {\"{O}}lveczky},
title = {Networks of Real-Time Actors},
booktitle = {Formal Aspects of Component Software - 8th International Symposium,
{FACS} 2011, Oslo, Norway, September 14-16, 2011, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7253},
pages = {168--186},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-35743-5\_11},
doi = {10.1007/978-3-642-35743-5\_11},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/facs2/JaghooriHS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/KhakpourSG11,
author = {Narges Khakpour and
Marjan Sirjani and
Ursula Goltz},
editor = {Shengchao Qin and
Zongyan Qiu},
title = {Context-Based Behavioral Equivalence of Components in Self-Adaptive
Systems},
booktitle = {Formal Methods and Software Engineering - 13th International Conference
on Formal Engineering Methods, {ICFEM} 2011, Durham, UK, October 26-28,
2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6991},
pages = {16--32},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24559-6\_4},
doi = {10.1007/978-3-642-24559-6\_4},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/KhakpourSG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1108-0228,
author = {Luca Aceto and
Matteo Cimini and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Arni Hermann Reynisson and
Steinar Hugi Sigurdarson and
Marjan Sirjani},
editor = {Mohammad Reza Mousavi and
Ant{\'{o}}nio Ravara},
title = {Modelling and Simulation of Asynchronous Real-Time Systems using Timed
Rebeca},
booktitle = {Proceedings 10th International Workshop on the Foundations of Coordination
Languages and Software Architectures, {FOCLASA} 2011, Aachen, Germany,
10th September, 2011},
series = {{EPTCS}},
volume = {58},
pages = {1--19},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.58.1},
doi = {10.4204/EPTCS.58.1},
timestamp = {Sat, 11 Jul 2020 10:44:59 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1108-0228.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/JaghooriSMKM10,
author = {Mohammad Mahdi Jaghoori and
Marjan Sirjani and
Mohammad Reza Mousavi and
Ehsan Khamespanah and
Ali Movaghar},
title = {Symmetry and partial order reduction techniques in model checking
Rebeca},
journal = {Acta Informatica},
volume = {47},
number = {1},
pages = {33--66},
year = {2010},
url = {https://doi.org/10.1007/s00236-009-0111-x},
doi = {10.1007/S00236-009-0111-X},
timestamp = {Wed, 12 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/JaghooriSMKM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cee/ShahriariMSJM10,
author = {Hamid Reza Shahriari and
Mohammad Sadegh Makarem and
Marjan Sirjani and
Rasool Jalili and
Ali Movaghar},
title = {Vulnerability analysis of networks to detect multiphase attacks using
the actor-based language Rebeca},
journal = {Comput. Electr. Eng.},
volume = {36},
number = {5},
pages = {874--885},
year = {2010},
url = {https://doi.org/10.1016/j.compeleceng.2008.04.009},
doi = {10.1016/J.COMPELECENG.2008.04.009},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cee/ShahriariMSJM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/SabouriS10,
author = {Hamideh Sabouri and
Marjan Sirjani},
title = {Actor-based slicing techniques for efficient reduction of Rebeca models},
journal = {Sci. Comput. Program.},
volume = {75},
number = {10},
pages = {811--827},
year = {2010},
url = {https://doi.org/10.1016/j.scico.2010.02.003},
doi = {10.1016/J.SCICO.2010.02.003},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/SabouriS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/RazaviBSKSS10,
author = {Niloofar Razavi and
Razieh Behjati and
Hamideh Sabouri and
Ehsan Khamespanah and
Amin Shali and
Marjan Sirjani},
title = {Sysfier: Actor-based formal verification of SystemC},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {10},
number = {2},
pages = {19:1--19:35},
year = {2010},
url = {https://doi.org/10.1145/1880050.1880055},
doi = {10.1145/1880050.1880055},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/RazaviBSKSS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/PourvatanSAB10,
author = {Bahman Pourvatan and
Marjan Sirjani and
Farhad Arbab and
Marcello M. Bonsangue},
editor = {Lu{\'{\i}}s Soares Barbosa and
Markus Lumpe},
title = {Decomposition of Constraint Automata},
booktitle = {Formal Aspects of Component Software - 7th International Workshop,
{FACS} 2010, Guimar{\~{a}}es, Portugal, October 14-16, 2010, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6921},
pages = {237--258},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-27269-1\_14},
doi = {10.1007/978-3-642-27269-1\_14},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/facs2/PourvatanSAB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/KhakpourKSJ10,
author = {Narges Khakpour and
Ramtin Khosravi and
Marjan Sirjani and
Saeed Jalili},
editor = {Sung Y. Shin and
Sascha Ossowski and
Michael Schumacher and
Mathew J. Palakal and
Chih{-}Cheng Hung},
title = {Formal analysis of policy-based self-adaptive systems},
booktitle = {Proceedings of the 2010 {ACM} Symposium on Applied Computing (SAC),
Sierre, Switzerland, March 22-26, 2010},
pages = {2536--2543},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1774088.1774613},
doi = {10.1145/1774088.1774613},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/KhakpourKSJ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fsen/2009,
editor = {Farhad Arbab and
Marjan Sirjani},
title = {Fundamentals of Software Engineering, Third {IPM} International Conference,
{FSEN} 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {5961},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11623-0},
doi = {10.1007/978-3-642-11623-0},
isbn = {978-3-642-11622-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsen/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/JaghooriBCS09,
author = {Mohammad Mahdi Jaghoori and
Frank S. de Boer and
Tom Chothia and
Marjan Sirjani},
title = {Schedulability of asynchronous real-time concurrent objects},
journal = {J. Log. Algebraic Methods Program.},
volume = {78},
number = {5},
pages = {402--416},
year = {2009},
url = {https://doi.org/10.1016/j.jlap.2009.02.009},
doi = {10.1016/J.JLAP.2009.02.009},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/JaghooriBCS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fiw/KhakpourSJ09,
author = {Narges Khakpour and
Marjan Sirjani and
Saeed Jalili},
editor = {Masahide Nakamura and
Stephan Reiff{-}Marganiec},
title = {Formal Analysis of Smart Home Policies using Compositional Verification},
booktitle = {Feature Interactions in Software and Communication Systems X, International
Conference on Feature Interactions in Software and Communication Systems,
{ICFI} 2009, 11-12 June, 2009, Lisbon, Portugal},
pages = {220--233},
publisher = {{IOS} Press},
year = {2009},
url = {https://doi.org/10.3233/978-1-60750-014-8-220},
doi = {10.3233/978-1-60750-014-8-220},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fiw/KhakpourSJ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/BehjatiSA09,
author = {Razieh Behjati and
Marjan Sirjani and
Majid Nili Ahmadabadi},
editor = {Farhad Arbab and
Marjan Sirjani},
title = {Bounded Rational Search for On-the-Fly Model Checking of {LTL} Properties},
booktitle = {Fundamentals of Software Engineering, Third {IPM} International Conference,
{FSEN} 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {5961},
pages = {292--307},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-11623-0\_17},
doi = {10.1007/978-3-642-11623-0\_17},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/fsen/BehjatiSA09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/simutools/BazzazSKT09,
author = {Hamid Hajabdolali Bazzaz and
Marjan Sirjani and
Ramtin Khosravi and
Shamim Taheri},
editor = {Olivier Dalle and
Gabriel A. Wainer and
L. Felipe Perrone and
Giovanni Stea},
title = {Modeling networking issues of network-on-chip: a coloured petri nets
approach},
booktitle = {Proceedings of the 2nd International Conference on Simulation Tools
and Techniques for Communications, Networks and Systems, SimuTools
2009, Rome, Italy, March 2-6, 2009},
pages = {22},
publisher = {{ICST/ACM}},
year = {2009},
url = {https://doi.org/10.4108/ICST.SIMUTOOLS2009.5574},
doi = {10.4108/ICST.SIMUTOOLS2009.5574},
timestamp = {Tue, 27 Nov 2018 10:40:37 +0100},
biburl = {https://dblp.org/rec/conf/simutools/BazzazSKT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KhakpourJTSM10,
author = {Narges Khakpour and
Saeed Jalili and
Carolyn L. Talcott and
Marjan Sirjani and
Mohammad Reza Mousavi},
editor = {Sun Meng and
Bernhard Sch{\"{a}}tz},
title = {PobSAM: Policy-based Managing of Actors in Self-Adaptive Systems},
booktitle = {Proceedings of the 6th International Workshop on Formal Aspects of
Component Software, FACS@FMWeek 2009, Eindhoven, The Netherlands,
November 2-3, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {263},
pages = {129--143},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2010.05.008},
doi = {10.1016/J.ENTCS.2010.05.008},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KhakpourJTSM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PourvatanSHA09,
author = {Bahman Pourvatan and
Marjan Sirjani and
Hossein Hojjat and
Farhad Arbab},
editor = {Gwen Sala{\"{u}}n and
Marjan Sirjani},
title = {Automated Analysis of Reo Circuits using Symbolic Execution},
booktitle = {Proceedings of the 8th International Workshop on the Foundations of
Coordination Languages and Software Architectures, {FOCLASA} 2009,
Rhodes, Greece, July 11, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {255},
pages = {137--158},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.10.029},
doi = {10.1016/J.ENTCS.2009.10.029},
timestamp = {Tue, 06 Dec 2022 12:48:24 +0100},
biburl = {https://dblp.org/rec/journals/entcs/PourvatanSHA09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/foclasa/2008,
editor = {Carlos Canal and
Pascal Poizat and
Marjan Sirjani},
title = {Proceedings of the 7th International Workshop on the Foundations of
Coordination Languages and Software Architectures, FOCLASA@ICALP 2008,
Reykjavik, Iceland, July 13, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {229},
number = {2},
publisher = {Elsevier},
year = {2009},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/229/issue/2},
timestamp = {Fri, 24 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/foclasa/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/foclasa/2009,
editor = {Gwen Sala{\"{u}}n and
Marjan Sirjani},
title = {Proceedings of the 8th International Workshop on the Foundations of
Coordination Languages and Software Architectures, {FOCLASA} 2009,
Rhodes, Greece, July 11, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {255},
publisher = {Elsevier},
year = {2009},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/255/suppl/C},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/foclasa/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/BehjatiSRS08,
author = {Razieh Behjati and
Hamideh Sabouri and
Niloofar Razavi and
Marjan Sirjani},
editor = {Jonathan Billington and
Zhenhua Duan and
Maciej Koutny},
title = {An effective approach for model checking SystemC designs},
booktitle = {8th International Conference on Application of Concurrency to System
Design {(ACSD} 2008), Xi'an, China, June 23-27, 2008},
pages = {56--61},
publisher = {{IEEE}},
year = {2008},
url = {https://doi.org/10.1109/ACSD.2008.4574596},
doi = {10.1109/ACSD.2008.4574596},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/acsd/BehjatiSRS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/HojjatMS08,
author = {Hossein Hojjat and
Mohammad Reza Mousavi and
Marjan Sirjani},
editor = {Jonathan Billington and
Zhenhua Duan and
Maciej Koutny},
title = {Process algebraic verification of SystemC codes},
booktitle = {8th International Conference on Application of Concurrency to System
Design {(ACSD} 2008), Xi'an, China, June 23-27, 2008},
pages = {62--67},
publisher = {{IEEE}},
year = {2008},
url = {https://doi.org/10.1109/ACSD.2008.4574597},
doi = {10.1109/ACSD.2008.4574597},
timestamp = {Sat, 11 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acsd/HojjatMS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/KhosraviSASI08,
author = {Ramtin Khosravi and
Marjan Sirjani and
Nesa Asoudeh and
Shaghayegh Sahebi and
Hamed Iravanchi},
editor = {Doug Lea and
Gianluigi Zavattaro},
title = {Modeling and Analysis of Reo Connectors Using Alloy},
booktitle = {Coordination Models and Languages, 10th International Conference,
{COORDINATION} 2008, Oslo, Norway, June 4-6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5052},
pages = {169--183},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68265-3\_11},
doi = {10.1007/978-3-540-68265-3\_11},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/coordination/KhosraviSASI08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/HojjatMS08,
author = {Hossein Hojjat and
Mohammad Reza Mousavi and
Marjan Sirjani},
editor = {Roger L. Wainwright and
Hisham Haddad},
title = {A framework for performance evaluation and functional verification
in stochastic process algebras},
booktitle = {Proceedings of the 2008 {ACM} Symposium on Applied Computing (SAC),
Fortaleza, Ceara, Brazil, March 16-20, 2008},
pages = {339--346},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1363686.1363775},
doi = {10.1145/1363686.1363775},
timestamp = {Sat, 11 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/HojjatMS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sose/MahdikhaniHS08,
author = {Farzad Mahdikhani and
Mahmoud Reza Hashemi and
Marjan Sirjani},
editor = {Jonathan Lee and
Deron Liang and
Y. C. Cheng},
title = {QoS Aspects in Web Services Compositions},
booktitle = {The Fourth {IEEE} International Symposium on Service-Oriented System
Engineering, {SOSE} 2008, 18-19 December 2008, Jhongli, Taiwan},
pages = {239--244},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/SOSE.2008.39},
doi = {10.1109/SOSE.2008.39},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sose/MahdikhaniHS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CanalPS09,
author = {Carlos Canal and
Pascal Poizat and
Marjan Sirjani},
editor = {Carlos Canal and
Pascal Poizat and
Marjan Sirjani},
title = {Preface},
booktitle = {Proceedings of the 7th International Workshop on the Foundations of
Coordination Languages and Software Architectures, FOCLASA@ICALP 2008,
Reykjavik, Iceland, July 13, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {229},
number = {2},
pages = {1--2},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.06.025},
doi = {10.1016/J.ENTCS.2009.06.025},
timestamp = {Fri, 24 Feb 2023 11:36:22 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CanalPS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/TasharofiS09,
author = {Samira Tasharofi and
Marjan Sirjani},
editor = {Carlos Canal and
Pascal Poizat and
Marjan Sirjani},
title = {Formal Modeling and Conformance Validation for {WS-CDL} using Reo
and {CASM}},
booktitle = {Proceedings of the 7th International Workshop on the Foundations of
Coordination Languages and Software Architectures, FOCLASA@ICALP 2008,
Reykjavik, Iceland, July 13, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {229},
number = {2},
pages = {155--174},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.06.034},
doi = {10.1016/J.ENTCS.2009.06.034},
timestamp = {Fri, 24 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/TasharofiS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/SabouriS10,
author = {Hamideh Sabouri and
Marjan Sirjani},
editor = {Carlos Canal and
Corina S. Pasareanu},
title = {Slicing-based Reductions for Rebeca},
booktitle = {Proceedings of the 5th International Workshop on Formal Aspects of
Component Software, {FACS} 2008, Malaga, Spain, September 10-12, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {260},
pages = {209--224},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.12.039},
doi = {10.1016/J.ENTCS.2009.12.039},
timestamp = {Thu, 09 Mar 2023 15:34:34 +0100},
biburl = {https://dblp.org/rec/journals/entcs/SabouriS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/ArbabS07,
author = {Farhad Arbab and
Marjan Sirjani},
title = {Applications of Formal Methods to System Design and Verification},
journal = {J. Univers. Comput. Sci.},
volume = {13},
number = {13},
pages = {1970--1971},
year = {2007},
url = {http://www.jucs.org/jucs\_13\_13/applications\_of\_formal\_methods},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jucs/ArbabS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/HojjatNS07,
author = {Hossein Hojjat and
Hootan Nakhost and
Marjan Sirjani},
title = {Integrating Module Checking and Deduction in a Formal Proof for the
Perlman Spanning Tree Protocol {(STP)}},
journal = {J. Univers. Comput. Sci.},
volume = {13},
number = {13},
pages = {2076--2104},
year = {2007},
url = {https://doi.org/10.3217/jucs-013-13-2076},
doi = {10.3217/JUCS-013-13-2076},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/HojjatNS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/HojjatSMG07,
author = {Hossein Hojjat and
Marjan Sirjani and
Mohammad Reza Mousavi and
Jan Friso Groote},
editor = {Twan Basten and
Gabriel Juh{\'{a}}s and
Sandeep K. Shukla},
title = {Sarir: {A} Rebeca to mCRL2 Translator},
booktitle = {Seventh International Conference on Application of Concurrency to
System Design {(ACSD} 2007), 10-13 July 2007, Bratislava, Slovak Republic},
pages = {216--222},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.ieeecomputersociety.org/10.1109/ACSD.2007.62},
doi = {10.1109/ACSD.2007.62},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/HojjatSMG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/RazaviS07,
author = {Niloofar Razavi and
Marjan Sirjani},
editor = {Farhad Arbab and
Marjan Sirjani},
title = {Compositional Semantics of System-Level Designs Written in SystemC},
booktitle = {International Symposium on Fundamentals of Software Engineering, International
Symposium, {FSEN} 2007, Tehran, Iran, April 17-19, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4767},
pages = {113--128},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75698-9\_8},
doi = {10.1007/978-3-540-75698-9\_8},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/fsen/RazaviS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsea/AlavizadehNS07,
author = {Fatemeh Alavizadeh and
Alireza Hashemi Nekoo and
Marjan Sirjani},
title = {ReUML: a {UML} Profile for Modeling and Verification of Reactive Systems},
booktitle = {Proceedings of the Second International Conference on Software Engineering
Advances {(ICSEA} 2007), August 25-31, 2007, Cap Esterel, French Riviera,
France},
pages = {50},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ICSEA.2007.58},
doi = {10.1109/ICSEA.2007.58},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsea/AlavizadehNS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscas/KakoeeSGSN07,
author = {Mohammad Reza Kakoee and
Hamid Shojaei and
Hassan Ghasemzadeh and
Marjan Sirjani and
Zainalabedin Navabi},
title = {A New Approach for Design and Verification of Transaction Level Models},
booktitle = {International Symposium on Circuits and Systems {(ISCAS} 2007), 27-20
May 2007, New Orleans, Louisiana, {USA}},
pages = {3760--3763},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1109/ISCAS.2007.378779},
doi = {10.1109/ISCAS.2007.378779},
timestamp = {Mon, 28 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iscas/KakoeeSGSN07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/TasharofiVMS07,
author = {Samira Tasharofi and
Mohsen Vakilian and
Roshanak Zilouchian Moghaddam and
Marjan Sirjani},
editor = {Marlon Dumas and
Reiko Heckel},
title = {Modeling Web Service Interactions Using the Coordination Language
Reo},
booktitle = {Web Services and Formal Methods, 4th International Workshop, {WS-FM}
2007, Brisbane, Australia, September 28-29, 2007. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4937},
pages = {108--123},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-79230-7\_8},
doi = {10.1007/978-3-540-79230-7\_8},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/TasharofiVMS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/TalcottSR08,
author = {Carolyn L. Talcott and
Marjan Sirjani and
Shangping Ren},
editor = {Carlos Canal and
Pascal Poizat and
Mirko Viroli},
title = {Comparing Three Coordination Models: Reo, ARC, and {RRD}},
booktitle = {Proceedings of the 6th International Workshop on the Foundations of
Coordination Languages and Software Architectures, {FOCLASA} 2007,
Lisbon, Portugal, September 8, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {194},
number = {4},
pages = {39--55},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.098},
doi = {10.1016/J.ENTCS.2008.03.098},
timestamp = {Tue, 06 Dec 2022 12:35:59 +0100},
biburl = {https://dblp.org/rec/journals/entcs/TalcottSR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fsen/2007,
editor = {Farhad Arbab and
Marjan Sirjani},
title = {International Symposium on Fundamentals of Software Engineering, International
Symposium, {FSEN} 2007, Tehran, Iran, April 17-19, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4767},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75698-9},
doi = {10.1007/978-3-540-75698-9},
isbn = {978-3-540-75697-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsen/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BaierSAR06,
author = {Christel Baier and
Marjan Sirjani and
Farhad Arbab and
Jan J. M. M. Rutten},
title = {Modeling component connectors in Reo by constraint automata},
journal = {Sci. Comput. Program.},
volume = {61},
number = {2},
pages = {75--113},
year = {2006},
url = {https://doi.org/10.1016/j.scico.2005.10.008},
doi = {10.1016/J.SCICO.2005.10.008},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BaierSAR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/SirjaniJBA06,
author = {Marjan Sirjani and
Mohammad Mahdi Jaghoori and
Christel Baier and
Farhad Arbab},
editor = {Paolo Ciancarini and
Herbert Wiklicky},
title = {Compositional Semantics of an Actor-Based Language Using Constraint
Automata},
booktitle = {Coordination Models and Languages, 8th International Conference, {COORDINATION}
2006, Bologna, Italy, June 14-16, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4038},
pages = {281--297},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11767954\_18},
doi = {10.1007/11767954\_18},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/coordination/SirjaniJBA06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/Sirjani06,
author = {Marjan Sirjani},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Rebeca: Theory, Applications, and Tools},
booktitle = {Formal Methods for Components and Objects, 5th International Symposium,
{FMCO} 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {4709},
pages = {102--126},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-74792-5\_5},
doi = {10.1007/978-3-540-74792-5\_5},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fmco/Sirjani06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/TasharofiAS06,
author = {Samira Tasharofi and
Sepand Ansari and
Marjan Sirjani},
editor = {Zhiming Liu and
Jifeng He},
title = {Generating Test Cases for Constraint Automata by Genetic Symbiosis
Algorithm},
booktitle = {Formal Methods and Software Engineering, 8th International Conference
on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November
1-3, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4260},
pages = {478--493},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11901433\_26},
doi = {10.1007/11901433\_26},
timestamp = {Mon, 21 Mar 2022 22:43:10 +0100},
biburl = {https://dblp.org/rec/conf/icfem/TasharofiAS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/RazaviS06,
author = {Niloofar Razavi and
Marjan Sirjani},
title = {Using Reo for formal specification and verification of system designs},
booktitle = {4th {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2006), 27-29 July 2006, Embassy
Suites, Napa, California, {USA}},
pages = {113--122},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/MEMCOD.2006.1695912},
doi = {10.1109/MEMCOD.2006.1695912},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/RazaviS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/JaghooriMS06,
author = {Mohammad Mahdi Jaghoori and
Ali Movaghar and
Marjan Sirjani},
editor = {Hisham Haddad},
title = {Modere: the model-checking engine of Rebeca},
booktitle = {Proceedings of the 2006 {ACM} Symposium on Applied Computing (SAC),
Dijon, France, April 23-27, 2006},
pages = {1810--1815},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1141277.1141704},
doi = {10.1145/1141277.1141704},
timestamp = {Wed, 12 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/JaghooriMS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serp/AlavizadehS06,
author = {Fatemeh Alavizadeh and
Marjan Sirjani},
editor = {Hamid R. Arabnia and
Hassan Reza},
title = {Using {UML} to Develop Verifiable Reactive Systems},
booktitle = {Proceedings of the International Conference on Software Engineering
Research and Practice {\&} Conference on Programming Languages
and Compilers, {SERP} 2006, Las Vegas, Nevada, USA, June 26-29, 2006,
Volume 2},
pages = {554--561},
publisher = {{CSREA} Press},
year = {2006},
timestamp = {Sat, 06 Sep 2008 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serp/AlavizadehS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/webist/GhassemiBLS06,
author = {Fatemeh Ghassemi and
Naser Nematbakhsh and
Behrouz Tork Ladani and
Marjan Sirjani},
editor = {Jos{\'{e}} A. Moinhos Cordeiro and
Vitor Pedrosa and
Bruno Encarna{\c{c}}{\~{a}}o and
Joaquim Filipe},
title = {Specification and Implementation of Multi-Agent Organizations},
booktitle = {{WEBIST} 2006, Proceedings of the Second International Conference
on Web Information Systems and Technologies: Internet Technology /
Web Interface and Applications, Set{\'{u}}bal, Portugal, April
11-13, 2006},
pages = {447--453},
publisher = {{INSTICC} Press},
year = {2006},
timestamp = {Wed, 01 Apr 2009 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/webist/GhassemiBLS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fsen/2005,
editor = {Farhad Arbab and
Marjan Sirjani},
title = {Proceedings of the First {IPM} International Workshop on Foundations
of Software Engineering, {FSEN} 2005, Tehran, Iran, October 1-3, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {159},
publisher = {Elsevier},
year = {2006},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/159/suppl/C},
timestamp = {Thu, 15 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsen/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/SirjaniMSB05,
author = {Marjan Sirjani and
Ali Movaghar and
Amin Shali and
Frank S. de Boer},
title = {Model Checking, Automated Abstraction, and Compositional Verification
of Rebeca Models},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {6},
pages = {1054--1082},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-06-1054},
doi = {10.3217/JUCS-011-06-1054},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/SirjaniMSB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/SirjaniBM05,
author = {Marjan Sirjani and
Frank S. de Boer and
Ali Movaghar{-}Rahimabadi},
title = {Modular Verification of a Component-Based Actor Language},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {10},
pages = {1695--1717},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-10-1695},
doi = {10.3217/JUCS-011-10-1695},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/SirjaniBM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/SirjaniBMS05,
author = {Marjan Sirjani and
Frank S. de Boer and
Ali Movaghar and
Amin Shali},
title = {Extended Rebeca: {A} Component-Based Actor Language with Synchronous
Message Passing},
booktitle = {Fifth International Conference on Application of Concurrency to System
Design {(ACSD} 2005), 6-9 June 2005, St. Malo, France},
pages = {212--221},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ACSD.2005.12},
doi = {10.1109/ACSD.2005.12},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/SirjaniBMS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/ArbabBBRS05,
author = {Farhad Arbab and
Christel Baier and
Frank S. de Boer and
Jan J. M. M. Rutten and
Marjan Sirjani},
editor = {Jean{-}Marie Jacquet and
Gian Pietro Picco},
title = {Synthesis of Reo Circuits for Implementation of Component-Connector
Automata Specifications},
booktitle = {Coordination Models and Languages, 7th International Conference, {COORDINATION}
2005, Namur, Belgium, April 20-23, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3454},
pages = {236--251},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11417019\_16},
doi = {10.1007/11417019\_16},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/coordination/ArbabBBRS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcit/JaghooriSMM05,
author = {Mohammad Mahdi Jaghoori and
Marjan Sirjani and
Mohammad Reza Mousavi and
Ali Movaghar},
editor = {Goutam Chakraborty},
title = {Efficient Symmetry Reduction for an Actor-Based Model},
booktitle = {Distributed Computing and Internet Technology, Second International
Conference, {ICDCIT} 2005, Bhubaneswar, India, December 22-24, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3816},
pages = {494--507},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11604655\_56},
doi = {10.1007/11604655\_56},
timestamp = {Wed, 12 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icdcit/JaghooriSMM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ArbabS06,
author = {Farhad Arbab and
Marjan Sirjani},
editor = {Farhad Arbab and
Marjan Sirjani},
title = {Preface},
booktitle = {Proceedings of the First {IPM} International Workshop on Foundations
of Software Engineering, {FSEN} 2005, Tehran, Iran, October 1-3, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {159},
pages = {1--2},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.058},
doi = {10.1016/J.ENTCS.2005.12.058},
timestamp = {Thu, 15 Dec 2022 16:21:31 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ArbabS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MousaviSA06,
author = {Mohammad Reza Mousavi and
Marjan Sirjani and
Farhad Arbab},
editor = {Carlos Canal and
Mirko Viroli},
title = {Formal Semantics and Analysis of Component Connectors in Reo},
booktitle = {Proceedings of the 4th International Workshop on the Foundations of
Coordination Languages and Software Architectures, {FOCLASA} 2005,
San Francisco, CA, USA, August 27, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {154},
number = {1},
pages = {83--99},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.034},
doi = {10.1016/J.ENTCS.2005.12.034},
timestamp = {Tue, 06 Dec 2022 11:48:16 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MousaviSA06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GhassemiTS06,
author = {Fatemeh Ghassemi and
Samira Tasharofi and
Marjan Sirjani},
editor = {Farhad Arbab and
Marjan Sirjani},
title = {Automated Mapping of Reo Circuits to Constraint Automata},
booktitle = {Proceedings of the First {IPM} International Workshop on Foundations
of Software Engineering, {FSEN} 2005, Tehran, Iran, October 1-3, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {159},
pages = {99--115},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.064},
doi = {10.1016/J.ENTCS.2005.12.064},
timestamp = {Thu, 15 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GhassemiTS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HojjatNS06,
author = {Hossein Hojjat and
Hootan Nakhost and
Marjan Sirjani},
editor = {Farhad Arbab and
Marjan Sirjani},
title = {Formal Verification of the {IEEE} 802.1D Spanning Tree Protocol Using
Extended \emph{R}ebeca},
booktitle = {Proceedings of the First {IPM} International Workshop on Foundations
of Software Engineering, {FSEN} 2005, Tehran, Iran, October 1-3, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {159},
pages = {139--154},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.066},
doi = {10.1016/J.ENTCS.2005.12.066},
timestamp = {Thu, 15 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HojjatNS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/SirjaniMSB04,
author = {Marjan Sirjani and
Ali Movaghar and
Amin Shali and
Frank S. de Boer},
title = {Modeling and Verification of Reactive Systems using Rebeca},
journal = {Fundam. Informaticae},
volume = {63},
number = {4},
pages = {385--410},
year = {2004},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi63-4-05},
timestamp = {Wed, 12 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/SirjaniMSB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/SirjaniSJIM04,
author = {Marjan Sirjani and
Amin Shali and
Mohammad Mahdi Jaghoori and
Hamed Iravanchi and
Ali Movaghar},
title = {A Front-End Tool for Automated Abstraction and Modular Verification
of Actor-Based Models},
booktitle = {4th International Conference on Application of Concurrency to System
Design {(ACSD} 2004), 16-18 June 2004, Hamilton, Canada},
pages = {145--150},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/CSD.2004.1309125},
doi = {10.1109/CSD.2004.1309125},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/SirjaniSJIM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/MehtaMSA04,
author = {Nikunj R. Mehta and
Nenad Medvidovic and
Marjan Sirjani and
Farhad Arbab},
title = {Modeling Behavior in Compositions of Software Architectural Primitives},
booktitle = {19th {IEEE} International Conference on Automated Software Engineering
{(ASE} 2004), 20-25 September 2004, Linz, Austria},
pages = {371--374},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.ieeecomputersociety.org/10.1109/ASE.2004.10051},
doi = {10.1109/ASE.2004.10051},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/MehtaMSA04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdpta/SirjaniMIJS03,
author = {Marjan Sirjani and
Ali Movaghar and
Hamed Iravanchi and
Mohammad Mahdi Jaghoori and
Amin Shali},
editor = {Hamid R. Arabnia and
Youngsong Mun},
title = {Model Checking in Rebeca},
booktitle = {Proceedings of the International Conference on Parallel and Distributed
Processing Techniques and Applications, {PDPTA} '03, June 23 - 26,
2003, Las Vegas, Nevada, USA, Volume 4},
pages = {1819--1822},
publisher = {{CSREA} Press},
year = {2003},
timestamp = {Wed, 12 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pdpta/SirjaniMIJS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ArbabBRS04,
author = {Farhad Arbab and
Christel Baier and
Jan J. M. M. Rutten and
Marjan Sirjani},
editor = {Antonio Brogi and
Jean{-}Marie Jacquet and
Ernesto Pimentel},
title = {Modeling Component Connectors in Reo by Constraint Automata: (Extended
Abstract)},
booktitle = {Proceedings of {FOCLASA} 2003, the Foundations of Coordination Languages
and Software Architectures, a satellite event of {CONCUR} 2003, Marseille,
France, September 2, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {97},
pages = {25--46},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.04.028},
doi = {10.1016/J.ENTCS.2004.04.028},
timestamp = {Tue, 06 Dec 2022 11:29:47 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ArbabBRS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdpta/SirjaniM02,
author = {Marjan Sirjani and
Ali Movaghar},
editor = {Hamid R. Arabnia},
title = {Simulation in Rebeca},
booktitle = {Proceedings of the International Conference on Parallel and Distributed
Processing Techniques and Applications, {PDPTA} '02, June 24 - 27,
2002, Las Vegas, Nevada, USA, Volume 2},
pages = {923--926},
publisher = {{CSREA} Press},
year = {2002},
timestamp = {Wed, 12 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pdpta/SirjaniM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-21 17:56 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
