paper-conference

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
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
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
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
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