paper-conference

Smart City Hubs: Opportunities for Integrating and Studying Human CPS at Scale
Abhishek Dubey, Monika Sturm, Martin Lehofer, Janos Sztipanovits
PDF Cite
A Model-Based Approach for Reliability Assessment in Component-Based Systems
This paper describes a formal framework for reliability assessment of component-based systems with respect to specific missions. A …
Saideep Nannapaneni, Abhishek Dubey, Sherif Abdelwahed, Sankaran Mahadevan, Sandeep Neema
Cite
A Model-Based Approach for Reliability Assessment in Component-Based Systems
This paper describes a formal framework for reliability assessment of component-based systems with respect to specific missions. A …
Saideep Nannapaneni, Abhishek Dubey, Sherif Abdelwahed, Sankaran Mahadevan, Sandeep Neema
Cite
Establishing Secure Interactions across Distributed Applications in Satellite Clusters
Recent developments in small satellites have led to an increasing interest in building satellite clusters as open systems that provide …
S. Pradhan, W. Emfinger, Abhishek Dubey, W. R. Otte, D. Balasubramanian, A. Gokhale, G. Karsai, A. Coglio
Cite DOI
Establishing Secure Interactions across Distributed Applications in Satellite Clusters
Recent developments in small satellites have led to an increasing interest in building satellite clusters as open systems that provide …
S. Pradhan, W. Emfinger, Abhishek Dubey, W. R. Otte, D. Balasubramanian, A. Gokhale, G. Karsai, A. Coglio
Cite DOI
Performance evaluation of an authentication mechanism in time-triggered networked control systems
An important challenge in networked control systems is to ensure the confidentiality and integrity of the message in order to secure …
G. Martins, A. Bhattacharjee, Abhishek Dubey, X. D. Koutsoukos
Cite DOI
Performance evaluation of an authentication mechanism in time-triggered networked control systems
An important challenge in networked control systems is to ensure the confidentiality and integrity of the message in order to secure …
G. Martins, A. Bhattacharjee, Abhishek Dubey, X. D. Koutsoukos
Cite DOI
A Rapid Testing Framework for a Mobile Cloud
Mobile clouds such as network-connected vehicles and satellite clusters are an emerging class of systems that are extensions to …
Daniel Balasubramanian, Abhishek Dubey, William R. Otte, William Emfinger, Pranav Srinivas Kumar, Gabor Karsai
Cite DOI URL
A Rapid Testing Framework for a Mobile Cloud
Mobile clouds such as network-connected vehicles and satellite clusters are an emerging class of systems that are extensions to …
Daniel Balasubramanian, Abhishek Dubey, William R. Otte, William Emfinger, Pranav Srinivas Kumar, Gabor Karsai
Cite DOI URL
A resilient and secure software platform and architecture for distributed spacecraft
A distributed spacecraft is a cluster of independent satellite modules flying in formation that communicate via ad-hoc wireless …
William R. Otte, Abhishek Dubey, Gabor Karsai
Cite DOI URL