Skip to main content
Horizontal Menu
Research
Areas
Projects
Publications
Education
Prospective Students
Internship Program
Team
Sponsors
Contact
Opportunities
Login
Submit
Hamburger Menu
Home
ISIS Calendar
Research
Research Projects
Research Areas
Publications
Education
Internship Program
Prospective Students
Team
Sponsors
Contact
Opportunities
Breadcrumb
Home
/
Ajay Chhokra
First name
Ajay
Last name
Chhokra
Chhokra, A., Dubey, A., Mahadevan, N., Hasan, S., & Karsai, G
.
(2018)
.
Diagnosis in Cyber-Physical Systems with Fault Protection Assemblies
.
In
Diagnosability, Security and Safety of Hybrid Dynamic and Cyber-Physical Systems
(pp.
201-225
)
.
Springer International Publishing
. http://doi.org/10.1007/978-3-319-74962-4_8 (
Original work published
03AD)
View
Chhokra, A., Barreto, C., Dubey, A., Karsai, G., & Koutsoukos, X
.
(2021)
.
Power-Attack: A Comprehensive Tool-Chain for Modeling and Simulating Attacks in Power Systems
.
In
MSCPES@CPSIoTWEEK
.
New York, NY, USA:
Association for Computing Machinery
. http://doi.org/10.1145/3470481.3472705
View
Chhokra, A., Dubey, A., Mahadevan, N., & Karsai, G
.
(2015)
.
A component-based approach for modeling failure propagations in power systems
.
In
Modeling and Simulation of Cyber-Physical Energy Systems (MSCPES), 2015 Workshop on
(pp.
1–6
)
.
Seattle, Washington, USA:
IEEE
.
View
Chhokra, A., Abdelwahed, S., Dubey, A., Neema, S., & Karsai, G
.
(2015)
.
From System Modeling to Formal Verification
.
The 2015 Electronic System Level Synthesis Conference
.
San Francisco:
ECSI
. (
Original work published
07/01/2015AD)
View
Chhokra, A., Kulkarni, A., Hasan, S., Dubey, A., Mahadevan, N., & Karsai, G
.
(2017)
.
A Systematic Approach Of Identifying Optimal Load Control Actions For Arresting Cascading Failures In Power Systems
.
In
2nd Workshop on Cyber-Physical Security and Resilience in Smart Grids (CPSR-SG 2017)
.
Pittsburgh, Pennsylvania, USA:
ACM
. (
Original work published
04/2017AD)
View
Hasan, S., Chhokra, A., Mahadevan, N., Dubey, A., & Karsai, G
.
(2017)
.
Cyber-Physical Vulnerability Analysis
(
No. ISIS-17-101
)
.
ISIS Technical Report
(pp.
1-14
)
.
Nashville
:
Insitute For Software Integrated Systems
. (
Original work published
01/2017AD)
View
Shekhar, S., Chhokra, A., Bhattacharjee, A., Aupy, G., & Gokhale, A
.
(2017)
.
INDICES: Exploiting Edge Resources for Performance-aware Cloud-hosted Services
.
Technical Report
.
Nashville
:
Institute for Software Integrated Systems, Vanderbilt University
.
View
Chhokra, A., Hasan, S., Dubey, A., Mahadevan, N., & Karsai, G
.
(2017)
.
WiP Abstract: Diagnostics and Prognostics using Temporal Causal Models for Cyber-Physical Energy Systems
.
ACM/IEEE 8th International Conference on Cyber-Physical Systems
.
View
Chhokra, A., Dubey, A., Mahadevan, N., & Karsai, G
.
(2016)
.
Poster Abstract: Distributed Reasoning for Diagnosing Cascading Outages in Cyber Physical Energy Systems
.
In
2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS)
(pp.
1-1
)
.
Berlin, Germany:
IEEE
. (
Original work published
April)
View
Barve, Y., Shekhar, S., Chhokra, A., Khare, S., Kang, Z., Bhattacharjee, A., et al
.
(2019)
.
FECBench: A Holistic Interference-aware Approach for Application Performance Modeling
.
In
IEEE International Conference on Cloud Engineering (IC2E)
.
Prague, Czech Republic
. (
Original work published
June/2019)
View
Pagination
Page 1
Next page
››