Publications
Number of publications matching the search criterion: 17
Journal article (7)
A Comparative Analysis of Hybrid Deep Learning Models for Human Activity Recognition (Oct 2020) Saedeh Abbaspour Gildeh, Faranak Fotouhi , Ali Sedaghatbaf, Hossein Fotouhi, Maryam Vahabi, Maria Lindén Sensors Journal (Sensors)
Safe Design of Flow Management Systems Using Rebeca (Sep 2020) Giorgio Forcina, Ali Sedaghatbaf, Stephan Baumgart, Ali Jafari , Ehsan Khamespanah , Pavle Mrvaljevic , Marjan Sirjani Journal of Information Processing (IPSJ)
A method for dependability evaluation of software architectures (Jul 2018) Ali Sedaghatbaf, Mohammad A. Azgomi
Reliability evaluation of UML/DAM software architectures under parameter uncertainty (Feb 2018) Ali Sedaghatbaf, Mohammad A. Azgomi IET Software (IETSEN)
Quantitative evaluation of software security: an approach based on UML/SecAM and evidence theory (Jul 2016) Ali Sedaghatbaf, Mohammad A. Azgomi The ISC International Journal of Information Security (ISecure)
Attack modelling and security evaluation based on stochastic activity networks (Apr 2014) Ali Sedaghatbaf, Mohammad A. Azgomi Security and Communication Networks (SCN)
SQME: a framework for modeling and evaluation of software architecture quality attributes Ali Sedaghatbaf, Mohammad A. Azgomi Springer Journal on Software and Systems Modeling (SoSym)
Conference/Workshop Paper (9)
Automated Performance Testing Based on Active Deep Learning (May 2021) Ali Sedaghatbaf, Mahshid Helali Moghadam, Mehrdad Saadatmand 2nd ACM/IEEE International Conference on Automation of Software Test (AST 2021)
An Actor-based Approach for Security Analysis of Cyber-Physical Systems (Sep 2020) Fereidoun Moradi, Sara Abbaspour, Ali Sedaghatbaf, Aida Causevic, Marjan Sirjani, Carolyn Talcott 25th International Conference on Formal Methods for Industrial Critical Systems (FMICS20)
An Actor-based Design Platform for System of Systems Marjan Sirjani, Giorgio Forcina, Ali Jafari , Stephan Baumgart, Ehsan Khamespanah , Ali Sedaghatbaf COMPSAC 2020: IEEE 44th Annual Computers, Software, and Applications Conference (COMPSAC 2020)
Developing Safe Smart Contracts (2020) Sajjad Rezaei , Ehsan Khamespanah , Marjan Sirjani, Ali Sedaghatbaf, Siamak Mohammadi COMPSAC 2020: IEEE 44th Annual Computers, Software, and Applications Conference (COMPSAC 2020)
Using Bayesian Networks for a Cyberattacks Propagation Analysis in Systems-of-Systems (Dec 2019) Jamal El Hachem , Ali Sedaghatbaf, Elena Lisova, Aida Causevic Asia-Pacific Software Engineering Conference (APSEC 2019)
On-Off Attack on a Blockchain-based IoT System (Sep 2019) Fereidoun Moradi, Ali Sedaghatbaf, Sara Abbaspour, Aida Causevic, Marjan Sirjani First Workshop on Secure and Trustable Wirelessly Connected Industrial IoT (ETFA - WS01)
Towards an Actor-based Approach to Design Verified ROS-based Robotic Programs using Rebeca (Sep 2019) Saed Dehnavi , Ali Sedaghatbaf, Bahar Salmani , Marjan Sirjani, Mehdi Kargahi , Ehsan Khamespanah The 16th International Conference on Mobile Systems and Pervasive Computing (MobiSPC)
Towards an Actor-based Approach to Design Verified ROS-based Robotic Programs using Rebeca (Jan 2019) Saeid Dehnavi , Ali Sedaghatbaf, Bahar Salmani , Marjan Sirjani, Mehdi Kargahi , Ehsan Khamespanah The 16th International Conference on Mobile Systems and Pervasive Computing (MobiSPC)
Software Architecture Modeling and Evaluation Based on Stochastic Activity Networks (Nov 2015) Ali Sedaghatbaf, Mohammad A. Azgomi International Conference on Fundamentals of Software Engineering (FSEN 2015)
Other (1)
DPAC Newsletter Spring 2021 (Jun 2021) Kristina Lundqvist, Mikael Sjödin, Nandinbaatar Tsog, Saad Mubeen, Fredrik Bruhn, Jakob Danielsson, Marcus Jägemar, Tiberiu Seceleanu, Moris Behnam, Afshin Ameri E., Baran Çürüklü, Branko Miloradovic, Mikael Ekström, LanAnh Trinh, Rong Gu, Eduard Paul Enoiu, Cristina Seceleanu, Fereidoun Moradi, Sara Abbaspour, Ali Sedaghatbaf, Aida Causevic, Marjan Sirjani, Carolyn Talcott
