Fardin Abdi Taghi Abad

According to our database, Fardin Abdi Taghi Abad authored at least 12 papers between 2012 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Software Fault Tolerance for Cyber-Physical Systems via Full System Restart.

Pushpak Jagtap, Fardin Abdi, Matthias Rungger, Majid Zamani, Marco Caccamo

ACM Trans. Cyber Phys. Syst., 2020

2019

Safety and security of cyber-physical systems

Fardin Abdi Taghi Abad

PhD thesis, 2019

Preserving Physical Safety Under Cyber Attacks.

Fardin Abdi, Chien-Ying Chen, Monowar Hasan, Songran Liu, Sibin Mohan, Marco Caccamo

IEEE Internet Things J., 2019

2018

Guaranteed physical security with restart-based design for cyber-physical systems.

Fardin Abdi, Chien-Ying Chen, Monowar Hasan, Songran Liu, Sibin Mohan, Marco Caccamo

Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, 2018

2017

Restart-Based Security Mechanisms for Safety-Critical Embedded Systems.

Fardin Abdi, Chien-Ying Chen, Monowar Hasan, Songran Liu, Sibin Mohan, Marco Caccamo

CoRR, 2017

Restart-based fault-tolerance: System design and schedulability analysis.

Fardin Abdi, Renato Mancuso, Rohan Tabish, Marco Caccamo

Proceedings of the 23rd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2017

Application and system-level software fault tolerance through full system restarts.

Fardin Abdi, Rohan Tabish, Matthias Rungger, Majid Zamani, Marco Caccamo

Proceedings of the 8th International Conference on Cyber-Physical Systems, 2017

2016

Reset-based recovery for real-time cyber-physical systems with temporal safety constraints.

Fardin Abdi Taghi Abad, Renato Mancuso, Stanley Bak, Or D. Dantsker, Marco Caccamo

Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, 2016

2015

Safety and Progress for Distributed Cyber-Physical Systems with Unreliable Communication.

Stanley Bak, Zhenqi Huang, Fardin Abdi Taghi Abad, Marco Caccamo

ACM Trans. Embed. Comput. Syst., 2015

2013

Using run-time checking to provide safety and progress for distributed cyber-physical systems.

Stanley Bak, Fardin Abdi Taghi Abad, Zhenqi Huang, Marco Caccamo

Proceedings of the 2013 IEEE 19th International Conference on Embedded and Real-Time Computing Systems and Applications, 2013

On-chip control flow integrity check for real time embedded systems.

Fardin Abdi Taghi Abad, Joel van der Woude, Yi Lu, Stanley Bak, Marco Caccamo, Lui Sha, Renato Mancuso, Sibin Mohan

Proceedings of the 1st IEEE International Conference on Cyber-Physical Systems, 2013

2012

A Fault Resilient Architecture for Distributed Cyber-Physical Systems.

Fardin Abdi Taghi Abad, Marco Caccamo, Brett Robbins

Proceedings of the 2012 IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2012