default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Sara Abbaspour Asadollah
@article{DBLP:journals/jlap/MoradiAPMS24,
author = {Fereidoun Moradi and
Sara Abbaspour Asadollah and
Bahman Pourvatan and
Zahra Moezkarimi and
Marjan Sirjani},
title = {{CRYSTAL} framework: Cybersecurity assurance for cyber-physical systems},
journal = {J. Log. Algebraic Methods Program.},
volume = {139},
pages = {100965},
year = {2024},
url = {https://doi.org/10.1016/j.jlamp.2024.100965},
doi = {10.1016/J.JLAMP.2024.100965},
timestamp = {Fri, 09 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlap/MoradiAPMS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jocsap/AsadollahIDSS24,
author = {Sara Abbaspour Asadollah and
Shamoona Imtiaz and
Alireza Dehlaghi{-}Ghadim and
Mikael Sj{\"{o}}din and
Marjan Sirjani},
title = {Enhancing Cybersecurity through Comprehensive Investigation of Data
Flow-Based Attack Scenarios},
journal = {J. Cybersecur. Priv.},
volume = {4},
number = {4},
pages = {823--852},
year = {2024},
url = {https://doi.org/10.3390/jcp4040039},
doi = {10.3390/JCP4040039},
timestamp = {Sun, 04 May 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jocsap/AsadollahIDSS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {Sat, 08 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jpdc/MoradiPAS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/CiccozziAALMM23,
author = {Federico Ciccozzi and
Lorenzo Addazi and
Sara Abbaspour Asadollah and
Bj{\"{o}}rn Lisper and
Abu Naser Masud and
Saad Mubeen},
title = {A Comprehensive Exploration of Languages for Parallel Computing},
journal = {{ACM} Comput. Surv.},
volume = {55},
number = {2},
pages = {24:1--24:39},
year = {2023},
url = {https://doi.org/10.1145/3485008},
doi = {10.1145/3485008},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/CiccozziAALMM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmva/SalimiLSCA23,
author = {Maghsood Salimi and
Mohammad Loni and
Marjan Sirjani and
Antonio Cicchetti and
Sara Abbaspour Asadollah},
title = {{SARAF:} Searching for Adversarial Robust Activation Functions},
booktitle = {Proceedings of the 2023 6th International Conference on Machine Vision
and Applications, {ICMVA} 2023, Singapore, Singapore, March 10-12,
2023},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3589572.3589598},
doi = {10.1145/3589572.3589598},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icmva/SalimiLSCA23.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}
}
@article{DBLP:journals/corr/abs-2205-08404,
author = {Rafia Inam and
Alberto Yukinobu Hata and
Vlasjov Prifti and
Sara Abbaspour Asadollah},
title = {A Comprehensive Study on Artificial Intelligence Algorithms to Implement
Safety Using Communication Technologies},
journal = {CoRR},
volume = {abs/2205.08404},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.08404},
doi = {10.48550/ARXIV.2205.08404},
eprinttype = {arXiv},
eprint = {2205.08404},
timestamp = {Mon, 23 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-08404.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/access/GirsSAAM20,
author = {Svetlana Girs and
S{\'{e}}verine Sentilles and
Sara Abbaspour Asadollah and
Mohammad Ashjaei and
Saad Mubeen},
title = {A Systematic Literature Study on Definition and Modeling of Service-Level
Agreements for Cloud Services in IoT},
journal = {{IEEE} Access},
volume = {8},
pages = {134498--134513},
year = {2020},
url = {https://doi.org/10.1109/ACCESS.2020.3011483},
doi = {10.1109/ACCESS.2020.3011483},
timestamp = {Fri, 14 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/GirsSAAM20.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 = {Sun, 19 Jan 2025 13:40:10 +0100},
biburl = {https://dblp.org/rec/conf/fmics/MoradiASCST20.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}
}
@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}
}
@phdthesis{DBLP:phd/basesearch/Asadollah18,
author = {Sara Abbaspour Asadollah},
title = {Concurrency Bugs: Characterization, Debugging and Runtime Verification},
school = {M{\"{a}}lardalen University College, V{\"{a}}ster{\aa}s,
Eskilstuna, Sweden},
year = {2018},
url = {https://nbn-resolving.org/urn:nbn:se:mdh:diva-41237},
urn = {urn:nbn:se:mdh:diva-41237},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/phd/basesearch/Asadollah18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/MubeenAPABB18,
author = {Saad Mubeen and
Sara Abbaspour Asadollah and
Alessandro Vittorio Papadopoulos and
Mohammad Ashjaei and
Hongyu Pei Breivold and
Moris Behnam},
title = {Management of Service Level Agreements for Cloud Services in IoT:
{A} Systematic Mapping Study},
journal = {{IEEE} Access},
volume = {6},
pages = {30184--30207},
year = {2018},
url = {https://doi.org/10.1109/ACCESS.2017.2744677},
doi = {10.1109/ACCESS.2017.2744677},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/MubeenAPABB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispdc/AsadollahSEH18,
author = {Sara Abbaspour Asadollah and
Daniel Sundmark and
Sigrid Eldh and
Hans Hansson},
title = {A Runtime Verification Tool for Detecting Concurrency Bugs in FreeRTOS
Embedded Software},
booktitle = {17th International Symposium on Parallel and Distributed Computing,
{ISPDC} 2018, Geneva, Switzerland, June 25-28, 2018},
pages = {172--179},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/ISPDC2018.2018.00032},
doi = {10.1109/ISPDC2018.2018.00032},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ispdc/AsadollahSEH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jisa/AsadollahSEH17,
author = {Sara Abbaspour Asadollah and
Daniel Sundmark and
Sigrid Eldh and
Hans Hansson},
title = {Concurrency bugs in open source software: a case study},
journal = {J. Internet Serv. Appl.},
volume = {8},
number = {1},
pages = {4:1--4:15},
year = {2017},
url = {https://doi.org/10.1186/s13174-017-0055-2},
doi = {10.1186/S13174-017-0055-2},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jisa/AsadollahSEH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sqj/AsadollahSEHA17,
author = {Sara Abbaspour Asadollah and
Daniel Sundmark and
Sigrid Eldh and
Hans Hansson and
Wasif Afzal},
title = {10 Years of research on debugging concurrent and multicore software:
a systematic mapping study},
journal = {Softw. Qual. J.},
volume = {25},
number = {1},
pages = {49--82},
year = {2017},
url = {https://doi.org/10.1007/s11219-015-9301-7},
doi = {10.1007/S11219-015-9301-7},
timestamp = {Tue, 01 Apr 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sqj/AsadollahSEHA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ficloud/PapadopoulosAAM17,
author = {Alessandro Vittorio Papadopoulos and
Sara Abbaspour Asadollah and
Mohammad Ashjaei and
Saad Mubeen and
Hongyu Pei Breivold and
Moris Behnam},
editor = {Irfan Awan and
Filipe Portela and
Muhammad Younas},
title = {SLAs for Industrial IoT: Mind the Gap},
booktitle = {5th International Conference on Future Internet of Things and Cloud
Workshops, FiCloud Workshops 2017, Prague, Czech Republic, August
21-23, 2017},
pages = {75--78},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/FiCloudW.2017.70},
doi = {10.1109/FICLOUDW.2017.70},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ficloud/PapadopoulosAAM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/AsadollahSH17,
author = {Sara Abbaspour Asadollah and
Daniel Sundmark and
Hans A. Hansson},
title = {Runtime Verification for Detecting Suspension Bugs in Multicore and
Parallel Software},
booktitle = {2017 {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICST} Workshops 2017, Tokyo, Japan, March
13-17, 2017},
pages = {77--80},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICSTW.2017.20},
doi = {10.1109/ICSTW.2017.20},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/icst/AsadollahSH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/AsadollahSESH16,
author = {Sara Abbaspour Asadollah and
Mehrdad Saadatmand and
Sigrid Eldh and
Daniel Sundmark and
Hans A. Hansson},
editor = {Zijiang Yang and
Ting Liu and
Daniel Xiapu Luo},
title = {A model for systematic monitoring and debugging of starvation bugs
in multicore software},
booktitle = {Proceedings of the 1st International Workshop on Specification, Comprehension,
Testing, and Debugging of Concurrent Programs, SCTDCP@ASE 2016, Singapore,
Singapore, September 3, 2016},
pages = {7--11},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2975954.2975958},
doi = {10.1145/2975954.2975958},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/AsadollahSESH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oss/AsadollahSEHE16,
author = {Sara Abbaspour Asadollah and
Daniel Sundmark and
Sigrid Eldh and
Hans Hansson and
Eduard Paul Enoiu},
editor = {Kevin Crowston and
Imed Hammouda and
Bj{\"{o}}rn Lundell and
Gregorio Robles and
Jonas Gamalielsson and
Juho Lindman},
title = {A Study of Concurrency Bugs in an Open Source Software},
booktitle = {Open Source Systems: Integrating Communities - 12th {IFIP} {WG} 2.13
International Conference, {OSS} 2016, Gothenburg, Sweden, May 30 -
June 2, 2016, Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {472},
pages = {16--31},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-39225-7\_2},
doi = {10.1007/978-3-319-39225-7\_2},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oss/AsadollahSEHE16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/AsadollahHSE15,
author = {Sara Abbaspour Asadollah and
Hans Hansson and
Daniel Sundmark and
Sigrid Eldh},
editor = {Mark Grechanik and
Javier Alonso and
Allen P. Nikora},
title = {Towards Classification of Concurrency Bugs Based on Observable Properties},
booktitle = {1st {IEEE/ACM} International Workshop on Complex Faults and Failures
in Large Software Systems, {COUFLESS} 2015, Florence, Italy, May 23,
2015},
pages = {41--47},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/COUFLESS.2015.14},
doi = {10.1109/COUFLESS.2015.14},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/AsadollahHSE15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/AsadollahIH15,
author = {Sara Abbaspour Asadollah and
Rafia Inam and
Hans Hansson},
editor = {Khaled El{-}Fakih and
Gerassimos D. Barlas and
Nina Yevtushenko},
title = {A Survey on Testing for Cyber Physical System},
booktitle = {Testing Software and Systems - 27th {IFIP} {WG} 6.1 International
Conference, {ICTSS} 2015, Sharjah and Dubai, United Arab Emirates,
November 23-25, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9447},
pages = {194--207},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25945-1\_12},
doi = {10.1007/978-3-319-25945-1\_12},
timestamp = {Thu, 27 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/AsadollahIH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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 2025-05-05 20:50 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:
