Fardin Abdi Taghi Abad

Publication Activity (10 Years)

Years Active: 2012-2016
Publications (10 Years): 1

Top Topics

Cyber Physical Systems

Modeling Language

Top Venues

ACM Trans. Embed. Comput. Syst.

Publications

Fardin Abdi Taghi Abad, Renato Mancuso, Stanley Bak, Or D. Dantsker, Marco Caccamo
Reset-based recovery for real-time cyber-physical systems with temporal safety constraints. ETFA (2016)
Stanley Bak, Zhenqi Huang, Fardin Abdi Taghi Abad, Marco Caccamo
Safety and Progress for Distributed Cyber-Physical Systems with Unreliable Communication. ACM Trans. Embed. Comput. Syst. 14 (4) (2015)
Fardin Abdi Taghi Abad, Joel van der Woude, Yi Lu, Stanley Bak, Marco Caccamo, Lui Sha, Renato Mancuso, Sibin Mohan
On-chip control flow integrity check for real time embedded systems. CPSNA (2013)
Stanley Bak, Fardin Abdi Taghi Abad, Zhenqi Huang, Marco Caccamo
Using run-time checking to provide safety and progress for distributed cyber-physical systems. RTCSA (2013)
Fardin Abdi Taghi Abad, Marco Caccamo, Brett Robbins
A Fault Resilient Architecture for Distributed Cyber-Physical Systems. RTCSA (2012)