paper-conference

Mechanisms for Outsourcing Computation via a Decentralized Market
As the number of personal computing and IoT devices grows rapidly, so does the amount of computational power that is available at the …
Scott Eisele, Taha Eghtesad, Nicholas Troutman, Aron Laszka, Abhishek Dubey
Cite
On Algorithmic Decision Procedures in Emergency Response Systems in Smart and Connected Communities
Emergency Response Management (ERM) is a critical problem faced by communities across the globe. Despite its importance, it is common …
Geoffrey Pettet, Ayan Mukhopadhyay, Mykel Kochenderfer, Yevgeniy Vorobeychik, Abhishek Dubey
Cite
On Decentralized Route Planning Using the Road Side Units as Computing Resources
Residents in cities typically use third-party platforms such as Google Maps for route planning services. While providing near real-time …
Jose Paolo Talusan, Michael Wilbur, Abhishek Dubey, Keiichi Yasumoto
Cite
Qualitative fault modeling in safety critical Cyber Physical Systems
One of the key requirements for designing safety critical cyber physical systems (CPS) is to ensure resiliency. Typically, the cyber …
Ajay Chhokra, Nagabhushan Mahadevan, Abhishek Dubey, Gabor Karsa
Cite
Realistic Synchrophasor Data Generation for Anomaly Detection and Event Classification
The push to automate and digitize the electric grid has led to widespread installation of Phasor Measurement Units (PMUs) for improved …
Kaduvettykunnal Sajan, Mohini Bariya, Sanchita Basak, Anurag K. Srivastava, Abhishek Dubey, Alexandra von Meier, Gautam Biswas
Cite
Security in Mixed Time and Event Triggered Cyber-Physical Systems using Moving Target Defense
Memory corruption attacks such as code injection, code reuse, and non-control data attacks have become widely popular for compromising …
B. Potteiger, F. Cai, A. Dubey, X. Koutsoukos, Z. Zhang
Cite DOI
Streaming computation algorithms for spatiotemporal micromobility service availability
Location-based services and fleet management are important components of modern smart cities. However, statistical analysis with …
W. Barbour, M. Wilbur, R. Sandoval, A. Dubey, D. B. Work
Cite DOI
Time-dependent Decentralized Routing using Federated Learning
Recent advancements in cloud computing have driven rapid development in data-intensive smart city applications by providing near real …
Michael Wilbur, Chinmaya Samal, Jose Paolo Talusan, Keiichi Yasumoto, Abhishek Dubey
Cite
Data-Driven Detection of Anomalies and Cascading Failures in Traffic Networks
Traffic networks are one of the most critical infrastructures for any community. The increasing integration of smart and connected …
Sanchita Basak, Afiya Aman, Aron Laszka, Abhishek Dubey, Bruno Leao
Cite DOI
VeriSolid for TRANSAX: Correct-by-Design Ethereum Smart Contracts for Energy Trading
The adoption of blockchain based platforms is rising rapidly. Their popularity is explained by their ability to maintain a distributed …
Aron Laszka, Anastasia Mavridou, Scott Eisele, Emmanouela Statchtiari, Abhishek Dubey
Cite