@article{SedaghatbafA18-0,
  title = {Reliability evaluation of UML/DAM software architectures under parameter uncertainty},
  author = {Ali Sedaghatbaf and Mohammad Abdollahi Azgomi},
  year = {2018},
  doi = {10.1049/iet-sen.2017.0077},
  url = {https://doi.org/10.1049/iet-sen.2017.0077},
  researchr = {https://researchr.org/publication/SedaghatbafA18-0},
  cites = {0},
  citedby = {0},
  journal = {IEE Proceedings - Software},
  volume = {12},
  number = {3},
  pages = {236-244},
}

@article{ForcinaSBJKMS20,
  title = {Safe Design of Flow Management Systems Using Rebeca},
  author = {Giorgio Forcina and Ali Sedaghatbaf and Stephan Baumgart and Ali Jafari and Ehsan Khamespanah and Pavle Mrvaljevic and Marjan Sirjani},
  year = {2020},
  doi = {10.2197/ipsjjip.28.588},
  url = {https://doi.org/10.2197/ipsjjip.28.588},
  researchr = {https://researchr.org/publication/ForcinaSBJKMS20},
  cites = {0},
  citedby = {0},
  journal = {JIP},
  volume = {28},
  pages = {588-598},
}

@article{AbbaspourFSFVL20,
  title = {A Comparative Analysis of Hybrid Deep Learning Models for Human Activity Recognition},
  author = {Saedeh Abbaspour and Faranak Fotouhi and Ali Sedaghatbaf and Hossein Fotouhi and Maryam Vahabi and Maria Lindén},
  year = {2020},
  doi = {10.3390/s20195707},
  url = {https://doi.org/10.3390/s20195707},
  researchr = {https://researchr.org/publication/AbbaspourFSFVL20},
  cites = {0},
  citedby = {0},
  journal = {Sensors},
  volume = {20},
  number = {19},
  pages = {5707},
}

@inproceedings{HachemSLC19,
  title = {Using Bayesian Networks for a Cyberattacks Propagation Analysis in Systems-of-Systems},
  author = {Jamal El Hachem and Ali Sedaghatbaf and Elena Lisova and Aida Causevic},
  year = {2019},
  doi = {10.1109/APSEC48747.2019.00056},
  url = {https://doi.org/10.1109/APSEC48747.2019.00056},
  researchr = {https://researchr.org/publication/HachemSLC19},
  cites = {0},
  citedby = {0},
  pages = {363-370},
  booktitle = {26th Asia-Pacific Software Engineering Conference, APSEC 2019, Putrajaya, Malaysia, December 2-5, 2019},
  publisher = {IEEE},
  isbn = {978-1-7281-4648-5},
}

@article{SedaghatbafA18,
  title = {A method for dependability evaluation of software architectures},
  author = {Ali Sedaghatbaf and Mohammad Abdollahi Azgomi},
  year = {2018},
  doi = {10.1007/s00607-017-0568-3},
  url = {https://doi.org/10.1007/s00607-017-0568-3},
  researchr = {https://researchr.org/publication/SedaghatbafA18},
  cites = {0},
  citedby = {0},
  journal = {Computing},
  volume = {100},
  number = {2},
  pages = {119-150},
}

@inproceedings{MoradiSACS19,
  title = {On-Off Attack on a Blockchain-based IoT System},
  author = {Fereidoun Moradi and Ali Sedaghatbaf and Sara Abbaspour Asadollah and Aida Causevic and Marjan Sirjani},
  year = {2019},
  doi = {10.1109/ETFA.2019.8868238},
  url = {https://doi.org/10.1109/ETFA.2019.8868238},
  researchr = {https://researchr.org/publication/MoradiSACS19},
  cites = {0},
  citedby = {0},
  pages = {1768-1773},
  booktitle = {24th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2019, Zaragoza, Spain, September 10-13, 2019},
  publisher = {IEEE},
  isbn = {978-1-7281-0303-7},
}

@article{SedaghatbafA14,
  title = {Attack modelling and security evaluation based on stochastic activity networks},
  author = {Ali Sedaghatbaf and Mohammad Abdollahi Azgomi},
  year = {2014},
  doi = {10.1002/sec.774},
  url = {http://dx.doi.org/10.1002/sec.774},
  researchr = {https://researchr.org/publication/SedaghatbafA14},
  cites = {0},
  citedby = {0},
  journal = {Security and Communication Networks},
  volume = {7},
  number = {4},
  pages = {714-737},
}

@inproceedings{RezaeiKSSM20,
  title = {Developing Safe Smart Contracts},
  author = {Sajjad Rezaei and Ehsan Khamespanah and Marjan Sirjani and Ali Sedaghatbaf and Siamak Mohammadi},
  year = {2020},
  doi = {10.1109/COMPSAC48688.2020.0-137},
  url = {https://doi.org/10.1109/COMPSAC48688.2020.0-137},
  researchr = {https://researchr.org/publication/RezaeiKSSM20},
  cites = {0},
  citedby = {0},
  pages = {1027-1035},
  booktitle = {44th IEEE Annual Computers, Software, and Applications Conference, COMPSAC 2020, Madrid, Spain, July 13-17, 2020},
  publisher = {IEEE},
  isbn = {978-1-7281-7303-0},
}

@inproceedings{SirjaniFJBKS19,
  title = {An Actor-Based Design Platform for System of Systems},
  author = {Marjan Sirjani and Giorgio Forcina and Ali Jafari and Stephan Baumgart and Ehsan Khamespanah and Ali Sedaghatbaf},
  year = {2019},
  doi = {10.1109/COMPSAC.2019.00089},
  url = {https://doi.org/10.1109/COMPSAC.2019.00089},
  researchr = {https://researchr.org/publication/SirjaniFJBKS19},
  cites = {0},
  citedby = {0},
  pages = {579-587},
  booktitle = {43rd IEEE Annual Computer Software and Applications Conference, COMPSAC 2019, Milwaukee, WI, USA, July 15-19, 2019, Volume 1},
  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çi and Susumu Takeuchi and Satish Puri},
  publisher = {IEEE},
  isbn = {978-1-7281-2607-4},
}

@inproceedings{MoradiASCST20,
  title = {An Actor-Based Approach for Security Analysis of Cyber-Physical Systems},
  author = {Fereidoun Moradi and Sara Abbaspour Asadollah and Ali Sedaghatbaf and Aida Causevic and Marjan Sirjani and Carolyn L. Talcott},
  year = {2020},
  doi = {10.1007/978-3-030-58298-2_5},
  url = {https://doi.org/10.1007/978-3-030-58298-2_5},
  researchr = {https://researchr.org/publication/MoradiASCST20},
  cites = {0},
  citedby = {0},
  pages = {130-147},
  booktitle = {Formal Methods for Industrial Critical Systems - 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings},
  editor = {Maurice H. ter Beek and Dejan Nickovic},
  volume = {12327},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-030-58298-2},
}

@inproceedings{SedaghatbafA15,
  title = {Software Architecture Modeling and Evaluation Based on Stochastic Activity Networks},
  author = {Ali Sedaghatbaf and Mohammad Abdollahi Azgomi},
  year = {2015},
  doi = {10.1007/978-3-319-24644-4_3},
  url = {http://dx.doi.org/10.1007/978-3-319-24644-4_3},
  researchr = {https://researchr.org/publication/SedaghatbafA15},
  cites = {0},
  citedby = {0},
  pages = {46-53},
  booktitle = {Fundamentals of Software Engineering - 6th International Conference, FSEN 2015 Tehran, Iran, April 22-24, 2015, Revised Selected Papers},
  editor = {Mehdi Dastani and Marjan Sirjani},
  volume = {9392},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-319-24643-7},
}

@article{SedaghatbafA16,
  title = {Quantitative evaluation of software security: an approach based on UML/SecAM and evidence theory},
  author = {Ali Sedaghatbaf and Mohammad Abdollahi Azgomi},
  year = {2016},
  doi = {10.22042/isecure.2016.8.2.5},
  url = {https://doi.org/10.22042/isecure.2016.8.2.5},
  researchr = {https://researchr.org/publication/SedaghatbafA16},
  cites = {0},
  citedby = {0},
  journal = {ISeCure},
  volume = {8},
  number = {2},
  pages = {141-153},
}

@article{SedaghatbafA19,
  title = {SQME: a framework for modeling and evaluation of software architecture quality attributes},
  author = {Ali Sedaghatbaf and Mohammad Abdollahi Azgomi},
  year = {2019},
  doi = {10.1007/s10270-018-0684-3},
  url = {https://doi.org/10.1007/s10270-018-0684-3},
  researchr = {https://researchr.org/publication/SedaghatbafA19},
  cites = {0},
  citedby = {0},
  journal = {Software and Systems Modeling},
  volume = {18},
  number = {4},
  pages = {2609-2632},
}