Ali Sedaghatbaf (not working at IDT anymore)

[Show all publications]

[Google Scholar author page]

Latest publications:

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)

An Actor-based Approach for Security Analysis of Cyber-Physical Systems (Sep 2020)
Fereidoun Moradi, Sara Abbaspour Asadollah, Ali Sedaghatbaf, Aida Causevic, Marjan Sirjani, Carolyn Talcott
25th International Conference on Formal Methods for Industrial Critical Systems (FMICS20)

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 Asadollah, 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)

PhD students supervised as assistant supervisor:

Fereidoun Moradi