6

Cyber-Physical Vulnerability Analysis of IoT Applications Using Multi-Modeling
Summary Using the Smart Home as a use case, we examine the vulnerabilities in the system across the technologies used in its …
Ted Bapty, Abhishek Dubey, Janos Sztipanovits
Cite DOI URL
Chapter Seven - Consensus mechanisms and information security technologies
Distributed Ledger Technology (DLT) helps maintain and distribute predefined types of information and data in a decentralized manner. …
Peng Zhang, Douglas C. Schmidt, Jules White, Abhishek Dubey
Cite DOI URL
Chapter Six - Testing at scale of IoT blockchain applications
Abstract Due to the ever-increasing adaptation of Blockchain technologies in the private, public, and business domains, both the use of …
Michael A. Walker, Douglas C. Schmidt, Abhishek Dubey
Cite DOI URL
Diagnosis in Cyber-Physical Systems with Fault Protection Assemblies
Fault Protection Assemblies are used in cyber-physical systems for automated fault-isolation. These devices alter the mode of the …
Ajay Chhokra, Abhishek Dubey, Nagabhushan Mahadevan, Saqib Hasan, Gabor Karsai
Cite DOI URL
A Smart Decision Support System for Public Transit Operations
Shashank Shekhar, Fangzhou Sun, Abhishek Dubey, Aniruddha Gokhale, Himanshu Neema, Martin Lehofer, Dan Freudberg
Cite
Designing a Resilient Deployment and Reconfiguration Infrastructure for Remotely Managed Cyber-Physical Systems
Multi-module Cyber-Physical Systems (CPS), such as satellite clusters, swarms of Unmanned Aerial Vehicles (UAV), and fleets of Unmanned …
Subhav Pradhan, Abhishek Dubey, Aniruddha S. Gokhale
Cite DOI URL
Fault-Adaptivity in Hard Real-Time Component-Based Software Systems
Complexity in embedded software systems has reached the point where we need run-time mechanisms that provide fault management services. …
Abhishek Dubey, Gabor Karsai, Nagabhushan Mahadevan
Cite DOI URL
A collaborative early-stage ship design environment
Recent advances in sensor and weapons systems are significantly increasing the electrical power that is required and the thermal loads …
Julie Chalfant, Blake Langland, Sherif Abdelwahed, Chryssostomos Chryssostomidis, Roger Dougal, Abhishek Dubey, Touria El Mezyani, JD Herbst, Thomas Kiehne, Juan Ordonez, others
Cite
Power-Aware Modeling and Autonomic Management Framework for Distributed Computing Systems
Rajat Mehrotra, Abhishek Dubey, Sherif Abdelwahed, Asser N. Tantawi
Cite URL
Model-based Tools and Techniques for Real-Time System and Software Health Management
The ultimate challenge in system health management is the theory for and application of the technology to systems, for instance to an …
Sherif Abdelwahed, Abhishek Dubey, Gabor Karsai, Nagabhushan Mahadevan
Cite DOI URL