paper-conference

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
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 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
Analysis, verification, and management toolsuite for cyber-physical applications on time-varying networks
Cyber-Physical Systems (CPS) are increasingly utilizing advances in wireless mesh networking among computing nodes to facilitate …
William Emfinger, Gabor Karsai, Abhishek Dubey, Aniruddha S. Gokhale
Cite DOI URL
Colored Petri Net-based Modeling and Formal Analysis of Component-based Applications
Distributed Real-Time Embedded (DRE) Systems that address safety and mission-critical system requirements are applied in a variety of …
Pranav Srinivas Kumar, Abhishek Dubey, Gabor Karsai
PDF Cite
Distributed and Managed: Research Challenges and Opportunities of the Next Generation Cyber-Physical Systems
Cyber-physical systems increasingly rely on distributed computing platforms where sensing, computing, actuation, and communication …
Gabor Karsai, Daniel Balasubramanian, Abhishek Dubey, William Otte
Cite DOI URL
Key Considerations for a Resilient and Autonomous Deployment and Configuration Infrastructure for Cyber-Physical Systems
Multi-module Cyber-Physical Systems (CPSs), such as satellite clusters, swarms of Unmanned Aerial Vehicles (UAV), and fleets of …
Subhav Pradhan, William Otte, Abhishek Dubey, Aniruddha Gokhale, Gabor Karsai
Cite
Taming Multi-Paradigm Integration in a Software Architecture Description Language
Software architecture description languages offer a convenient way of describing the high-level structure of a software system. Such …
Daniel Balasubramanian, Tihamer Levendovszky, Abhishek Dubey, Gabor Karsai
PDF Cite