publications:
- title: "Reliability evaluation of UML/DAM software architectures under parameter uncertainty"
  author:
  - name: "Ali Sedaghatbaf"
    link: "https://www.linkedin.com/in/ali-sedaghatbaf-7663903b/"
  - name: "Mohammad Abdollahi Azgomi"
    link: "https://researchr.org/alias/mohammad-abdollahi-azgomi"
  year: "2018"
  doi: "https://doi.org/10.1049/iet-sen.2017.0077"
  links:
    doi: "https://doi.org/10.1049/iet-sen.2017.0077"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/iee/SedaghatbafA18"
  researchr: "https://researchr.org/publication/SedaghatbafA18-0"
  cites: 0
  citedby: 0
  journal: "IEE Proceedings - Software"
  volume: "12"
  number: "3"
  pages: "236-244"
  kind: "article"
  key: "SedaghatbafA18-0"
- title: "Safe Design of Flow Management Systems Using Rebeca"
  author:
  - name: "Giorgio Forcina"
    link: "https://researchr.org/alias/giorgio-forcina"
  - name: "Ali Sedaghatbaf"
    link: "https://www.linkedin.com/in/ali-sedaghatbaf-7663903b/"
  - name: "Stephan Baumgart"
    link: "https://researchr.org/alias/stephan-baumgart"
  - name: "Ali Jafari"
    link: "https://researchr.org/alias/ali-jafari"
  - name: "Ehsan Khamespanah"
    link: "https://researchr.org/alias/ehsan-khamespanah"
  - name: "Pavle Mrvaljevic"
    link: "https://researchr.org/alias/pavle-mrvaljevic"
  - name: "Marjan Sirjani"
    link: "https://researchr.org/alias/marjan-sirjani"
  year: "2020"
  doi: "https://doi.org/10.2197/ipsjjip.28.588"
  links:
    doi: "https://doi.org/10.2197/ipsjjip.28.588"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/jip/ForcinaSBJKMS20"
  researchr: "https://researchr.org/publication/ForcinaSBJKMS20"
  cites: 0
  citedby: 0
  journal: "JIP"
  volume: "28"
  pages: "588-598"
  kind: "article"
  key: "ForcinaSBJKMS20"
- title: "A Comparative Analysis of Hybrid Deep Learning Models for Human Activity Recognition"
  author:
  - name: "Saedeh Abbaspour"
    link: "https://researchr.org/alias/saedeh-abbaspour"
  - name: "Faranak Fotouhi"
    link: "https://researchr.org/alias/faranak-fotouhi"
  - name: "Ali Sedaghatbaf"
    link: "https://www.linkedin.com/in/ali-sedaghatbaf-7663903b/"
  - name: "Hossein Fotouhi"
    link: "https://researchr.org/alias/hossein-fotouhi"
  - name: "Maryam Vahabi"
    link: "https://researchr.org/alias/maryam-vahabi"
  - name: "Maria Lindén"
    link: "https://researchr.org/alias/maria-lind%C3%A9n"
  year: "2020"
  doi: "https://doi.org/10.3390/s20195707"
  links:
    doi: "https://doi.org/10.3390/s20195707"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/sensors/AbbaspourFSFVL20"
  researchr: "https://researchr.org/publication/AbbaspourFSFVL20"
  cites: 0
  citedby: 0
  journal: "Sensors"
  volume: "20"
  number: "19"
  pages: "5707"
  kind: "article"
  key: "AbbaspourFSFVL20"
- title: "Using Bayesian Networks for a Cyberattacks Propagation Analysis in Systems-of-Systems"
  author:
  - name: "Jamal El Hachem"
    link: "https://researchr.org/alias/jamal-el-hachem"
  - name: "Ali Sedaghatbaf"
    link: "https://www.linkedin.com/in/ali-sedaghatbaf-7663903b/"
  - name: "Elena Lisova"
    link: "https://researchr.org/alias/elena-lisova"
  - name: "Aida Causevic"
    link: "https://researchr.org/alias/aida-causevic"
  year: "2019"
  doi: "https://doi.org/10.1109/APSEC48747.2019.00056"
  links:
    doi: "https://doi.org/10.1109/APSEC48747.2019.00056"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/apsec/HachemSLC19"
  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"
  kind: "inproceedings"
  key: "HachemSLC19"
- title: "A method for dependability evaluation of software architectures"
  author:
  - name: "Ali Sedaghatbaf"
    link: "https://www.linkedin.com/in/ali-sedaghatbaf-7663903b/"
  - name: "Mohammad Abdollahi Azgomi"
    link: "https://researchr.org/alias/mohammad-abdollahi-azgomi"
  year: "2018"
  doi: "https://doi.org/10.1007/s00607-017-0568-3"
  links:
    doi: "https://doi.org/10.1007/s00607-017-0568-3"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/computing/SedaghatbafA18"
  researchr: "https://researchr.org/publication/SedaghatbafA18"
  cites: 0
  citedby: 0
  journal: "Computing"
  volume: "100"
  number: "2"
  pages: "119-150"
  kind: "article"
  key: "SedaghatbafA18"
- title: "On-Off Attack on a Blockchain-based IoT System"
  author:
  - name: "Fereidoun Moradi"
    link: "https://researchr.org/alias/fereidoun-moradi"
  - name: "Ali Sedaghatbaf"
    link: "https://www.linkedin.com/in/ali-sedaghatbaf-7663903b/"
  - name: "Sara Abbaspour Asadollah"
    link: "https://researchr.org/alias/sara-abbaspour-asadollah"
  - name: "Aida Causevic"
    link: "https://researchr.org/alias/aida-causevic"
  - name: "Marjan Sirjani"
    link: "https://researchr.org/alias/marjan-sirjani"
  year: "2019"
  doi: "https://doi.org/10.1109/ETFA.2019.8868238"
  links:
    doi: "https://doi.org/10.1109/ETFA.2019.8868238"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/etfa/MoradiSACS19"
  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"
  kind: "inproceedings"
  key: "MoradiSACS19"
- title: "Attack modelling and security evaluation based on stochastic activity networks"
  author:
  - name: "Ali Sedaghatbaf"
    link: "https://www.linkedin.com/in/ali-sedaghatbaf-7663903b/"
  - name: "Mohammad Abdollahi Azgomi"
    link: "https://researchr.org/alias/mohammad-abdollahi-azgomi"
  year: "2014"
  doi: "http://dx.doi.org/10.1002/sec.774"
  links:
    doi: "http://dx.doi.org/10.1002/sec.774"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/scn/SedaghatbafA14"
  researchr: "https://researchr.org/publication/SedaghatbafA14"
  cites: 0
  citedby: 0
  journal: "Security and Communication Networks"
  volume: "7"
  number: "4"
  pages: "714-737"
  kind: "article"
  key: "SedaghatbafA14"
- title: "Developing Safe Smart Contracts"
  author:
  - name: "Sajjad Rezaei"
    link: "https://researchr.org/alias/sajjad-rezaei"
  - name: "Ehsan Khamespanah"
    link: "https://researchr.org/alias/ehsan-khamespanah"
  - name: "Marjan Sirjani"
    link: "https://researchr.org/alias/marjan-sirjani"
  - name: "Ali Sedaghatbaf"
    link: "https://www.linkedin.com/in/ali-sedaghatbaf-7663903b/"
  - name: "Siamak Mohammadi"
    link: "https://researchr.org/alias/siamak-mohammadi"
  year: "2020"
  doi: "https://doi.org/10.1109/COMPSAC48688.2020.0-137"
  links:
    doi: "https://doi.org/10.1109/COMPSAC48688.2020.0-137"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/compsac/RezaeiKSSM20"
  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"
  kind: "inproceedings"
  key: "RezaeiKSSM20"
- title: "An Actor-Based Design Platform for System of Systems"
  author:
  - name: "Marjan Sirjani"
    link: "https://researchr.org/alias/marjan-sirjani"
  - name: "Giorgio Forcina"
    link: "https://researchr.org/alias/giorgio-forcina"
  - name: "Ali Jafari"
    link: "https://researchr.org/alias/ali-jafari"
  - name: "Stephan Baumgart"
    link: "https://researchr.org/alias/stephan-baumgart"
  - name: "Ehsan Khamespanah"
    link: "https://researchr.org/alias/ehsan-khamespanah"
  - name: "Ali Sedaghatbaf"
    link: "https://www.linkedin.com/in/ali-sedaghatbaf-7663903b/"
  year: "2019"
  doi: "https://doi.org/10.1109/COMPSAC.2019.00089"
  links:
    doi: "https://doi.org/10.1109/COMPSAC.2019.00089"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/compsac/SirjaniFJBKS19"
  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:
  - name: "Vladimir Getov"
    link: "https://researchr.org/alias/vladimir-getov"
  - name: "Jean-Luc Gaudiot"
    link: "https://researchr.org/alias/jean-luc-gaudiot"
  - name: "Nariyoshi Yamai"
    link: "https://researchr.org/alias/nariyoshi-yamai"
  - name: "Stelvio Cimato"
    link: "https://researchr.org/alias/stelvio-cimato"
  - name: "J. Morris Chang"
    link: "https://researchr.org/alias/j.-morris-chang"
  - name: "Yuuichi Teranishi"
    link: "https://researchr.org/alias/yuuichi-teranishi"
  - name: "Ji-Jiang Yang"
    link: "https://researchr.org/alias/ji-jiang-yang"
  - name: "Hong Va Leong"
    link: "https://researchr.org/alias/hong-va-leong"
  - name: "Hossain Shahriar"
    link: "https://researchr.org/alias/hossain-shahriar"
  - name: "Michiharu Takemoto"
    link: "https://researchr.org/alias/michiharu-takemoto"
  - name: "Dave Towey"
    link: "https://researchr.org/alias/dave-towey"
  - name: "Hiroki Takakura"
    link: "https://researchr.org/alias/hiroki-takakura"
  - name: "Atilla Elçi"
    link: "https://researchr.org/alias/atilla-el%C3%A7i"
  - name: "Susumu Takeuchi"
    link: "https://researchr.org/alias/susumu-takeuchi"
  - name: "Satish Puri"
    link: "https://researchr.org/alias/satish-puri"
  publisher: "IEEE"
  isbn: "978-1-7281-2607-4"
  kind: "inproceedings"
  key: "SirjaniFJBKS19"
- title: "An Actor-Based Approach for Security Analysis of Cyber-Physical Systems"
  author:
  - name: "Fereidoun Moradi"
    link: "https://researchr.org/alias/fereidoun-moradi"
  - name: "Sara Abbaspour Asadollah"
    link: "https://researchr.org/alias/sara-abbaspour-asadollah"
  - name: "Ali Sedaghatbaf"
    link: "https://www.linkedin.com/in/ali-sedaghatbaf-7663903b/"
  - name: "Aida Causevic"
    link: "https://researchr.org/alias/aida-causevic"
  - name: "Marjan Sirjani"
    link: "https://researchr.org/alias/marjan-sirjani"
  - name: "Carolyn L. Talcott"
    link: "https://researchr.org/alias/carolyn-l.-talcott"
  year: "2020"
  doi: "https://doi.org/10.1007/978-3-030-58298-2_5"
  links:
    doi: "https://doi.org/10.1007/978-3-030-58298-2_5"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/fmics/MoradiASCST20"
  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:
  - name: "Maurice H. ter Beek"
    link: "https://researchr.org/alias/maurice-h.-ter-beek"
  - name: "Dejan Nickovic"
    link: "https://researchr.org/alias/dejan-nickovic"
  volume: "12327"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-030-58298-2"
  kind: "inproceedings"
  key: "MoradiASCST20"
- title: "Software Architecture Modeling and Evaluation Based on Stochastic Activity Networks"
  author:
  - name: "Ali Sedaghatbaf"
    link: "https://www.linkedin.com/in/ali-sedaghatbaf-7663903b/"
  - name: "Mohammad Abdollahi Azgomi"
    link: "https://researchr.org/alias/mohammad-abdollahi-azgomi"
  year: "2015"
  doi: "http://dx.doi.org/10.1007/978-3-319-24644-4_3"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-319-24644-4_3"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/fsen/SedaghatbafA15"
  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:
  - name: "Mehdi Dastani"
    link: "https://researchr.org/alias/mehdi-dastani"
  - name: "Marjan Sirjani"
    link: "https://researchr.org/alias/marjan-sirjani"
  volume: "9392"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-319-24643-7"
  kind: "inproceedings"
  key: "SedaghatbafA15"
- title: "Quantitative evaluation of software security: an approach based on UML/SecAM and evidence theory"
  author:
  - name: "Ali Sedaghatbaf"
    link: "https://www.linkedin.com/in/ali-sedaghatbaf-7663903b/"
  - name: "Mohammad Abdollahi Azgomi"
    link: "https://researchr.org/alias/mohammad-abdollahi-azgomi"
  year: "2016"
  doi: "https://doi.org/10.22042/isecure.2016.8.2.5"
  links:
    doi: "https://doi.org/10.22042/isecure.2016.8.2.5"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/isecure/SedaghatbafA16"
  researchr: "https://researchr.org/publication/SedaghatbafA16"
  cites: 0
  citedby: 0
  journal: "ISeCure"
  volume: "8"
  number: "2"
  pages: "141-153"
  kind: "article"
  key: "SedaghatbafA16"
- title: "SQME: a framework for modeling and evaluation of software architecture quality attributes"
  author:
  - name: "Ali Sedaghatbaf"
    link: "https://www.linkedin.com/in/ali-sedaghatbaf-7663903b/"
  - name: "Mohammad Abdollahi Azgomi"
    link: "https://researchr.org/alias/mohammad-abdollahi-azgomi"
  year: "2019"
  doi: "https://doi.org/10.1007/s10270-018-0684-3"
  links:
    doi: "https://doi.org/10.1007/s10270-018-0684-3"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/sosym/SedaghatbafA19"
  researchr: "https://researchr.org/publication/SedaghatbafA19"
  cites: 0
  citedby: 0
  journal: "Software and Systems Modeling"
  volume: "18"
  number: "4"
  pages: "2609-2632"
  kind: "article"
  key: "SedaghatbafA19"