Arvind Easwaran

CoRR, 2024

2023

Online Schedule Randomization to Mitigate Timing Attacks in 5G Periodic URLLC Communications.

[BibT_eX]

[DOI]

ACM Trans. Sens. Networks, November, 2023

Online Distributed Schedule Randomization to Mitigate Timing Attacks in Industrial Control Systems.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., November, 2023

Design and analyses of functional mode changes for mixed-criticality systems.

[BibT_eX]

[DOI]

Vijaya Kumar Sundar

Real Time Syst., March, 2023

Co-Design of Out-of-Distribution Detectors for Autonomous Emergency Braking Systems.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2023

Towards Safe Model-Free Building Energy Management using Masked Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the IEEE PES Innovative Smart Grid Technologies Europe, 2023

2022

Efficient Out-of-Distribution Detection Using Latent Space of <i>β</i>-VAE for Cyber-Physical Systems.

[BibT_eX]

[DOI]

ACM Trans. Cyber Phys. Syst., 2022

Demo Abstract: Real-Time Out-of-Distribution Detection on a Mobile Robot.

[BibT_eX]

[DOI]

CoRR, 2022

A Low-Cost Lane-Following Algorithm for Cyber-Physical Robots.

[BibT_eX]

[DOI]

Archit Gupta

CoRR, 2022

Behavioural cloning based RL agents for district energy management.

[BibT_eX]

[DOI]

Proceedings of the 9th ACM International Conference on Systems for Energy-Efficient Buildings, 2022

Work-in-Progress: Deadline-Constrained Multi-Resource Allocation in Edge-Cloud System.

[BibT_eX]

[DOI]

Proceedings of the IEEE Real-Time Systems Symposium, 2022

Design Methodology for Deep Out-of-Distribution Detectors in Real-Time Cyber-Physical Systems.

[BibT_eX]

[DOI]

Jose Peeterson Emerson Raja

Proceedings of the 28th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2022

Event-Driven Real-Time Multi-Objective Charging Schedule Optimization For Electric Vehicle Fleets.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2022

Out of Distribution Reasoning by Weakly-Supervised Disentangled Logic Variational Autoencoder.

[BibT_eX]

[DOI]

Zahra RahimiNasab

Proceedings of the 6th International Conference on System Reliability and Safety, 2022

PAC-Based Formal Verification for Out-of-Distribution Data Detection.

[BibT_eX]

[DOI]

Mohit Prashant

Proceedings of the 6th International Conference on System Reliability and Safety, 2022

Deadline-constrained Multi-resource Task Mapping and Allocation for Edge-Cloud Systems.

[BibT_eX]

[DOI]

Aryaman Shaan

Proceedings of the IEEE Global Communications Conference, 2022

2021

Improving Variational Autoencoder based Out-of-Distribution Detection for Embedded Real-time Applications.

[BibT_eX]

[DOI]

Yeli Feng

ACM Trans. Embed. Comput. Syst., 2021

Online cycle detection for models with mode-dependent input and output dependencies.

[BibT_eX]

[DOI]

Etienne Borde

J. Syst. Archit., 2021

Special issue on design of embedded software and systems (SI: ICESS19).

[BibT_eX]

[DOI]

Qi Zhu

Naijun Zhan

J. Syst. Archit., 2021

Efficient Out-of-Distribution Detection Using Latent Space of β-VAE for Cyber-Physical Systems.

[BibT_eX]

[DOI]

CoRR, 2021

WiP Abstract : Robust Out-of-distribution Motion Detection and Localization in Autonomous CPS.

[BibT_eX]

[DOI]

Yeli Feng

CoRR, 2021

Embedded out-of-distribution detection on an autonomous robot platform.

[BibT_eX]

[DOI]

CoRR, 2021

A novel load distribution strategy for aggregators using IoT-enabled mobile devices.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Communications, 2021

Cluster-Based Network Time Synchronization for Resilience with Energy Efficiency.

[BibT_eX]

[DOI]

Proceedings of the 42nd IEEE Real-Time Systems Symposium, 2021

Monitoring Cumulative Cost Properties.

[BibT_eX]

[DOI]

Omar I. Al-Bataineh

Proceedings of the 9th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2021

An anomaly detection framework for digital twin driven cyber-physical systems.

[BibT_eX]

[DOI]

Proceedings of the ICCPS '21: ACM/IEEE 12th International Conference on Cyber-Physical Systems, 2021

Robust out-of-distribution motion detection and localization in autonomous CPS: wip abstract.

[BibT_eX]

[DOI]

Yeli Feng

Proceedings of the ICCPS '21: ACM/IEEE 12th International Conference on Cyber-Physical Systems, 2021

2020

Scheduling Parallel Real-Time Tasks on the Minimum Number of Processors.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2020

Resilience Bounds of Network Clock Synchronization with Fault Correction.

[BibT_eX]

[DOI]

Linshan Jiang

ACM Trans. Sens. Networks, 2020

A Scenario-Based Branch-and-Bound Approach for MES Scheduling in Urban Buildings.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Informatics, 2020

PAC Model Checking of Black-Box Continuous-Time Dynamical Systems.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

Crossbar-Constrained Technology Mapping for ReRAM Based In-Memory Computing.

[BibT_eX]

[DOI]

Debjyoti Bhattacharjee

Yaswanth Tavva

Anupam Chattopadhyay

IEEE Trans. Computers, 2020

A schedule randomization policy to mitigate timing attacks in WirelessHART networks.

[BibT_eX]

[DOI]

Real Time Syst., 2020

A survey on time-sensitive resource allocation in the cloud continuum.

[BibT_eX]

[DOI]

it Inf. Technol., 2020

Demo Abstract: Contract-based Hierarchical Resilience Framework for Cyber-Physical Systems.

[BibT_eX]

[DOI]

CoRR, 2020

Flow Network Models for Online Scheduling Real-Time Tasks on Multiprocessors.

[BibT_eX]

[DOI]

Hyeonjoong Cho

IEEE Access, 2020

Out-of-Distribution Detection in Multi-Label Datasets using Latent Space of β-VAE.

[BibT_eX]

[DOI]

Proceedings of the 2020 IEEE Security and Privacy Workshops, 2020

Authentication Protocol for Secure Automotive Systems: Benchmarking Post-Quantum Cryptography.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Circuits and Systems, 2020

Poster Abstract: C-Sync: The Resilient Time Synchronization Protocol.

[BibT_eX]

[DOI]

Proceedings of the 19th ACM/IEEE International Conference on Information Processing in Sensor Networks, 2020

A Game-Theoretic Approach to Secure Estimation and Control for Cyber-Physical Systems with a Digital Twin.

[BibT_eX]

[DOI]

Zhiheng Xu

Proceedings of the 11th ACM/IEEE International Conference on Cyber-Physical Systems, 2020

WiP Abstract: Mobility-based Load Balancing for IoT-enabled Devices in Smart Grids.

[BibT_eX]

[DOI]

Proceedings of the 11th ACM/IEEE International Conference on Cyber-Physical Systems, 2020

DeCoRIC: Decentralized Connected Resilient IoT Clustering.

[BibT_eX]

[DOI]

Proceedings of the 29th International Conference on Computer Communications and Networks, 2020

Efficient Multi-Class Out-of-Distribution Reasoning for Perception Based Networks: Work-in-Progress.

[BibT_eX]

[DOI]

Proceedings of the 20th International Conference on Embedded Software, 2020

Real-Time Energy Monitoring in IoT-enabled Mobile Devices.

[BibT_eX]

[DOI]

Proceedings of the 2020 Design, Automation & Test in Europe Conference & Exhibition, 2020

Blockchain, what time is it? Trustless Datetime Synchronization for IoT.

[BibT_eX]

[DOI]

Proceedings of the 2020 International Conference on Omni-layer Intelligent Systems, 2020

2019

SlotSwapper: a schedule randomization protocol for real-time WirelessHART networks.

[BibT_eX]

[DOI]

SIGBED Rev., 2019

Dynamic budget management and budget reclamation for mixed-criticality systems.

[BibT_eX]

[DOI]

Real Time Syst., 2019

Design of an online-tuned model based compound controller for a fully automated artificial pancreas.

[BibT_eX]

[DOI]

Arpita Bhattacharjee

Melvin Khee-Shing Leow

Nam-Joon Cho

Medical Biol. Eng. Comput., 2019

Guest Editor Introduction.

[BibT_eX]

[DOI]

IEEE Embed. Syst. Lett., 2019

Contract-Based Methodology for Developing Resilient Cyber-Infrastructure in the Industry 4.0 Era.

[BibT_eX]

[DOI]

Karthikeyan Thangamariappan

IEEE Embed. Syst. Lett., 2019

Flow Network-Based Real-Time Scheduling for Reducing Static Energy Consumption on Multiprocessors.

[BibT_eX]

[DOI]

IEEE Access, 2019

Automatic Generation of Hierarchical Contracts for Resilience in Cyber-Physical Systems.

[BibT_eX]

[DOI]

Zhiheng Xu

Proceedings of the 25th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2019

Managing Industrial Communication Delays with Software-Defined Networking.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2019

A Practical Degradation Model for Mixed-Criticality Systems.

[BibT_eX]

[DOI]

Vijaya Kumar Sundar

Proceedings of the IEEE 22nd International Symposium on Real-Time Distributed Computing, 2019

Linearization based Safety Verification of a Glucose Control Protocol.

[BibT_eX]

[DOI]

Proceedings of the IEEE 22nd International Symposium on Real-Time Distributed Computing, 2019

Probably Approximate Safety Verification of Hybrid Dynamical Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2019

Contract-based hierarchical resilience framework for cyber-physical systems: demo abstract.

[BibT_eX]

[DOI]

Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems, 2019

Towards safe machine learning for CPS: infer uncertainty from training data.

[BibT_eX]

[DOI]

Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems, 2019

TiLA: Twin-in-the-Loop Architecture for Cyber-Physical Production Systems.

[BibT_eX]

[DOI]

Proceedings of the 37th IEEE International Conference on Computer Design, 2019

Combining Task-level and System-level Scheduling Modes for Mixed Criticality Systems.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications DS-RT 2019, 2019

2018

Efficient Schedulability Test for Dynamic-Priority Scheduling of Mixed-Criticality Real-Time Systems.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2018

Towards Overhead-Free Interface Theory for Compositional Hierarchical Real-Time Systems.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018

Predictability and Performance Aware Replacement Policy PVISAM for Unified Shared Caches in Real-time Multicores.

[BibT_eX]

[DOI]

Mohammad Shihabul Haque

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018

MC-Fluid: Multi-Core Fluid-Based Mixed-Criticality Scheduling.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2018

Multi-rate fluid scheduling of mixed-criticality systems on multiprocessors.

[BibT_eX]

[DOI]

Hyeonjoong Cho

Real Time Syst., 2018

Contract-Based Hierarchical Resilience Management for Cyber-Physical Systems.

[BibT_eX]

[DOI]

Mohammad Shihabul Haque

Karthikeyan Thangamariappan

Computer, 2018

Evaluation of an artificial pancreas in <i>in silico</i> patients with online-tuned internal model control.

[BibT_eX]

[DOI]

Arpita Bhattacharjee

Melvin Khee-Shing Leow

Nam-Joon Cho

Biomed. Signal Process. Control., 2018

Mixed-Criticality Scheduling on Multiprocessors with Service Guarantees.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE International Symposium on Real-Time Distributed Computing, 2018

A Self-Reconfiguring Cache Architecture to Improve Control Quality in Cyber-Physical Systems.

[BibT_eX]

[DOI]

Mohammad Shihabul Haque

Proceedings of the 21st IEEE International Symposium on Real-Time Distributed Computing, 2018

Design and Analysis for Dual Priority Scheduling.

[BibT_eX]

[DOI]

Risat Pathan

Proceedings of the 21st IEEE International Symposium on Real-Time Distributed Computing, 2018

CLAIR: A Contract-Based Framework for Developing Resilient CPS Architectures.

[BibT_eX]

[DOI]

Karthikeyan Thangamariappan

Proceedings of the 21st IEEE International Symposium on Real-Time Distributed Computing, 2018

Resilience Bounds of Sensing-Based Network Clock Synchronization.

[BibT_eX]

[DOI]

Linshan Jiang

Jothi Prasanna Shanmuga Sundaram

Proceedings of the 24th IEEE International Conference on Parallel and Distributed Systems, 2018

Challenges in Digital Twin Development for Cyber-Physical Production Systems.

[BibT_eX]

[DOI]

Proceedings of the Cyber Physical Systems. Model-Based Design - 8th International Workshop, 2018

2017

Global EDF Schedulability Analysis for Parallel Tasks on Multi-Core Platforms.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2017

Underapproximating Backward Reachable Sets by Semialgebraic Sets.

[BibT_eX]

[DOI]

Bai Xue

Zhikun She

IEEE Trans. Autom. Control., 2017

Reach-Avoid Verification for Nonlinear Systems Based on Boundary Analysis.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2017

Probabilistic analysis for mixed criticality systems using fixed priority preemptive scheduling.

[BibT_eX]

[DOI]

Dorin Maxim

Robert I. Davis

Liliana Cucu-Grosjean

Proceedings of the 25th International Conference on Real-Time Networks and Systems, 2017

Efficient decentralized active balancing strategy for smart battery cells.

[BibT_eX]

[DOI]

Nitin Shivaraman

Sebastian Steinhorst

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

Utilization difference based partitioned scheduling of mixed-criticality systems.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

A systematic security analysis of real-time cyber-physical systems.

[BibT_eX]

[DOI]

Anupam Chattopadhyay

Shivam Bhasin

Proceedings of the 22nd Asia and South Pacific Design Automation Conference, 2017

Area-constrained technology mapping for in-memory computing using ReRAM devices.

[BibT_eX]

[DOI]

Debjyoti Bhattacharjee

Anupam Chattopadhyay

Proceedings of the 22nd Asia and South Pacific Design Automation Conference, 2017

2016

Towards compositional mixed-criticality real-time scheduling in open systems: invited paper.

[BibT_eX]

[DOI]

SIGBED Rev., 2016

Dynamic Budget Management with Service Guarantees for Mixed-Criticality Systems.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE Real-Time Systems Symposium, 2016

Demo Abstract: Predictable SoC Architecture Based on COTS Multi-Core.

[BibT_eX]

[DOI]

Nitin Shivaraman

Sriram Vasudevan

Proceedings of the 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2016

WiP Abstract: A Novel Strategy for Active Cell Balancing.

[BibT_eX]

[DOI]

Sriram Vasudevan

Nitin Shivaraman

Proceedings of the 7th ACM/IEEE International Conference on Cyber-Physical Systems, 2016

Mixed-Criticality Scheduling to Minimize Makespan.

[BibT_eX]

[DOI]

Sanjoy K. Baruah

Zhishan Guo

Proceedings of the 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2016

Under-Approximating Backward Reachable Sets by Polytopes.

[BibT_eX]

[DOI]

Bai Xue

Zhikun She

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015

Composition of Schedulability Analyses for Real-Time Multiprocessor Systems.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2015

MC-Fluid: Simplified and Optimally Quantified.

[BibT_eX]

[DOI]

Sanjoy K. Baruah

Zhishan Guo

Proceedings of the 2015 IEEE Real-Time Systems Symposium, 2015

Resource Efficient Isolation Mechanisms in Mixed-Criticality Scheduling.

[BibT_eX]

[DOI]

Proceedings of the 27th Euromicro Conference on Real-Time Systems, 2015

2014

Contention-free executions for real-time multiprocessor scheduling.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2014

MC-Fluid: Fluid Model-Based Mixed-Criticality Scheduling on Multiprocessors.

[BibT_eX]

[DOI]

Proceedings of the IEEE 35th IEEE Real-Time Systems Symposium, 2014

Mapping Time-Critical Safety-Critical Cyber Physical Systems to Hybrid FPGAs.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE International Conference on Cyber-Physical Systems, 2014

Message from the Conference Chairs.

[BibT_eX]

[DOI]

Victor C. S. Lee

Joseph Kee-Yin Ng

Proceedings of the 2014 IEEE International Conference on Cyber-Physical Systems, 2014

2013

Welcome message.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE International Symposium on Industrial Embedded Systems, 2013

Demand-Based Scheduling of Mixed-Criticality Sporadic Tasks on One Processor.

[BibT_eX]

[DOI]

Proceedings of the IEEE 34th Real-Time Systems Symposium, 2013

Global EDF Schedulability Analysis for Synchronous Parallel Tasks on Multicore Platforms.

[BibT_eX]

[DOI]

Proceedings of the 25th Euromicro Conference on Real-Time Systems, 2013

2012

Laxity dynamics and LLF schedulability analysis on multiprocessor platforms.

[BibT_eX]

[DOI]

Real Time Syst., 2012

Convex optimization framework for intermediate deadline assignment in soft and hard real-time distributed systems.

[BibT_eX]

[DOI]

J. Syst. Softw., 2012

Extending Task-level to Job-level Fixed Priority Assignment and Schedulability Analysis Using Pseudo-deadlines.

[BibT_eX]

[DOI]

Proceedings of the 33rd IEEE Real-Time Systems Symposium, 2012

2011

CARTS: a tool for compositional analysis of real-time systems.

[BibT_eX]

[DOI]

SIGBED Rev., 2011

Zero-laxity based real-time multiprocessor scheduling.

[BibT_eX]

[DOI]

J. Syst. Softw., 2011

Response Time Analysis of COTS-Based Multicores Considering the Contention on the Shared Memory Bus.

[BibT_eX]

[DOI]

Proceedings of the IEEE 10th International Conference on Trust, 2011

Maximizing Contention-Free Executions in Multiprocessor Scheduling.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE Real-Time and Embedded Technology and Applications Symposium, 2011

2010

Multiprocessor real-time scheduling considering concurrency and urgency.

[BibT_eX]

[DOI]

SIGBED Rev., 2010

Finding an upper bound on the increase in execution time due to contention on the memory bus in COTS-based multicore systems.

[BibT_eX]

[DOI]

SIGBED Rev., 2010

Provably good multiprocessor scheduling with resource sharing.

[BibT_eX]

[DOI]

Real Time Syst., 2010

LLF Schedulability Analysis on Multiprocessor Platforms.

[BibT_eX]

[DOI]

Proceedings of the 31st IEEE Real-Time Systems Symposium, 2010

Online robust optimization framework for QoS guarantees in distributed soft real-time systems.

[BibT_eX]

[DOI]

Proceedings of the 10th International conference on Embedded software, 2010

Resource Sharing in Global Fixed-Priority Preemptive Multiprocessor Scheduling.

[BibT_eX]

[DOI]

Proceedings of the Scheduling, 14.02. - 19.02.2010, 2010

2009

Optimal virtual cluster-based multiprocessor scheduling.

[BibT_eX]

[DOI]

Real Time Syst., 2009

A Compositional Scheduling Framework for Digital Avionics Systems.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2009

Scheduling Sporadic Tasks on Multiprocessors with Mutual Exclusion Constraints.

[BibT_eX]

[DOI]

Proceedings of the ICPPW 2009, 2009

2008

Compositional schedulability analysis for cyber-physical systems.

[BibT_eX]

[DOI]

SIGBED Rev., 2008

Compositional Feasibility Analysis of Conditional Real-Time Task Models.

[BibT_eX]

[DOI]

Madhukar Anand

Sebastian Fischmeister

Proceedings of the 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 2008

Hierarchical Scheduling Framework for Virtual Clustering of Multiprocessors.

[BibT_eX]

[DOI]

Proceedings of the 20th Euromicro Conference on Real-Time Systems, 2008

2007

Compositional Analysis Framework Using EDP Resource Models.

[BibT_eX]

[DOI]

Madhukar Anand

Proceedings of the 28th IEEE Real-Time Systems Symposium (RTSS 2007), 2007

Compositional Schedulability Analysis of Hierarchical Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the Tenth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2007), 2007

2006

Incremental schedulability analysis of hierarchical real-time components.

[BibT_eX]

[DOI]

Proceedings of the 6th ACM & IEEE International conference on Embedded software, 2006

2005

Steering of Discrete Event Systems: Control Theory Approach.

[BibT_eX]

[DOI]