Arvind Easwaran

According to our database1, Arvind Easwaran authored at least 99 papers between 2005 and 2021.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
Online cycle detection for models with mode-dependent input and output dependencies.
J. Syst. Archit., 2021

Special issue on design of embedded software and systems (SI: ICESS19).
J. Syst. Archit., 2021

Monitoring Cumulative Cost Properties.
CoRR, 2021

An anomaly detection framework for digital twin driven cyber-physical systems.
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.
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.
IEEE Trans. Parallel Distributed Syst., 2020

Resilience Bounds of Network Clock Synchronization with Fault Correction.
ACM Trans. Sens. Networks, 2020

A Scenario-Based Branch-and-Bound Approach for MES Scheduling in Urban Buildings.
IEEE Trans. Ind. Informatics, 2020

PAC Model Checking of Black-Box Continuous-Time Dynamical Systems.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

Crossbar-Constrained Technology Mapping for ReRAM Based In-Memory Computing.
IEEE Trans. Computers, 2020

A schedule randomization policy to mitigate timing attacks in WirelessHART networks.
Real Time Syst., 2020

A survey on time-sensitive resource allocation in the cloud continuum.
it Inf. Technol., 2020

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

Flow Network Models for Online Scheduling Real-Time Tasks on Multiprocessors.
IEEE Access, 2020

Out-of-Distribution Detection in Multi-Label Datasets using Latent Space of β-VAE.
Proceedings of the 2020 IEEE Security and Privacy Workshops, 2020

Authentication Protocol for Secure Automotive Systems: Benchmarking Post-Quantum Cryptography.
Proceedings of the IEEE International Symposium on Circuits and Systems, 2020

Poster Abstract: C-Sync: The Resilient Time Synchronization Protocol.
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.
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.
Proceedings of the 11th ACM/IEEE International Conference on Cyber-Physical Systems, 2020

DeCoRIC: Decentralized Connected Resilient IoT Clustering.
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.
Proceedings of the 20th International Conference on Embedded Software, 2020

Real-Time Energy Monitoring in IoT-enabled Mobile Devices.
Proceedings of the 2020 Design, Automation & Test in Europe Conference & Exhibition, 2020

Blockchain, what time is it? Trustless Datetime Synchronization for IoT.
Proceedings of the 2020 International Conference on Omni-layer Intelligent Systems, 2020

2019
SlotSwapper: a schedule randomization protocol for real-time WirelessHART networks.
SIGBED Rev., 2019

Dynamic budget management and budget reclamation for mixed-criticality systems.
Real Time Syst., 2019

Design of an online-tuned model based compound controller for a fully automated artificial pancreas.
Medical Biol. Eng. Comput., 2019

Guest Editor Introduction.
IEEE Embed. Syst. Lett., 2019

Contract-Based Methodology for Developing Resilient Cyber-Infrastructure in the Industry 4.0 Era.
IEEE Embed. Syst. Lett., 2019

Flow Network-Based Real-Time Scheduling for Reducing Static Energy Consumption on Multiprocessors.
IEEE Access, 2019

Automatic Generation of Hierarchical Contracts for Resilience in Cyber-Physical Systems.
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.
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.
Proceedings of the IEEE 22nd International Symposium on Real-Time Distributed Computing, 2019

Linearization based Safety Verification of a Glucose Control Protocol.
Proceedings of the IEEE 22nd International Symposium on Real-Time Distributed Computing, 2019

Probably Approximate Safety Verification of Hybrid Dynamical Systems.
Proceedings of the Formal Methods and Software Engineering, 2019

Contract-based hierarchical resilience framework for cyber-physical systems: demo abstract.
Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems, 2019

Towards safe machine learning for CPS: infer uncertainty from training data.
Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems, 2019

TiLA: Twin-in-the-Loop Architecture for Cyber-Physical Production Systems.
Proceedings of the 37th IEEE International Conference on Computer Design, 2019

Combining Task-level and System-level Scheduling Modes for Mixed Criticality Systems.
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.
ACM Trans. Embed. Comput. Syst., 2018

Towards Overhead-Free Interface Theory for Compositional Hierarchical Real-Time Systems.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018

Predictability and Performance Aware Replacement Policy PVISAM for Unified Shared Caches in Real-time Multicores.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018

MC-Fluid: Multi-Core Fluid-Based Mixed-Criticality Scheduling.
IEEE Trans. Computers, 2018

Multi-rate fluid scheduling of mixed-criticality systems on multiprocessors.
Real Time Syst., 2018

Contract-Based Hierarchical Resilience Management for Cyber-Physical Systems.
Computer, 2018

Evaluation of an artificial pancreas in <i>in silico</i> patients with online-tuned internal model control.
Biomed. Signal Process. Control., 2018

Mixed-Criticality Scheduling on Multiprocessors with Service Guarantees.
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.
Proceedings of the 21st IEEE International Symposium on Real-Time Distributed Computing, 2018

Design and Analysis for Dual Priority Scheduling.
Proceedings of the 21st IEEE International Symposium on Real-Time Distributed Computing, 2018

CLAIR: A Contract-Based Framework for Developing Resilient CPS Architectures.
Proceedings of the 21st IEEE International Symposium on Real-Time Distributed Computing, 2018

Resilience Bounds of Sensing-Based Network Clock Synchronization.
Proceedings of the 24th IEEE International Conference on Parallel and Distributed Systems, 2018

Challenges in Digital Twin Development for Cyber-Physical Production Systems.
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.
IEEE Trans. Parallel Distributed Syst., 2017

Underapproximating Backward Reachable Sets by Semialgebraic Sets.
IEEE Trans. Autom. Control., 2017

Reach-Avoid Verification for Nonlinear Systems Based on Boundary Analysis.
IEEE Trans. Autom. Control., 2017

Probabilistic analysis for mixed criticality systems using fixed priority preemptive scheduling.
Proceedings of the 25th International Conference on Real-Time Networks and Systems, 2017

Efficient decentralized active balancing strategy for smart battery cells.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

Utilization difference based partitioned scheduling of mixed-criticality systems.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

A systematic security analysis of real-time cyber-physical systems.
Proceedings of the 22nd Asia and South Pacific Design Automation Conference, 2017

Area-constrained technology mapping for in-memory computing using ReRAM devices.
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.
SIGBED Rev., 2016

Dynamic Budget Management with Service Guarantees for Mixed-Criticality Systems.
Proceedings of the 2016 IEEE Real-Time Systems Symposium, 2016

Demo Abstract: Predictable SoC Architecture Based on COTS Multi-Core.
Proceedings of the 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2016

WiP Abstract: A Novel Strategy for Active Cell Balancing.
Proceedings of the 7th ACM/IEEE International Conference on Cyber-Physical Systems, 2016

Mixed-Criticality Scheduling to Minimize Makespan.
Proceedings of the 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2016

Under-Approximating Backward Reachable Sets by Polytopes.
Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015
Composition of Schedulability Analyses for Real-Time Multiprocessor Systems.
IEEE Trans. Computers, 2015

MC-Fluid: Simplified and Optimally Quantified.
Proceedings of the 2015 IEEE Real-Time Systems Symposium, 2015

Resource Efficient Isolation Mechanisms in Mixed-Criticality Scheduling.
Proceedings of the 27th Euromicro Conference on Real-Time Systems, 2015

2014
Contention-free executions for real-time multiprocessor scheduling.
ACM Trans. Embed. Comput. Syst., 2014

MC-Fluid: Fluid Model-Based Mixed-Criticality Scheduling on Multiprocessors.
Proceedings of the IEEE 35th IEEE Real-Time Systems Symposium, 2014

Mapping Time-Critical Safety-Critical Cyber Physical Systems to Hybrid FPGAs.
Proceedings of the 2014 IEEE International Conference on Cyber-Physical Systems, 2014

Message from the Conference Chairs.
Proceedings of the 2014 IEEE International Conference on Cyber-Physical Systems, 2014

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

Demand-Based Scheduling of Mixed-Criticality Sporadic Tasks on One Processor.
Proceedings of the IEEE 34th Real-Time Systems Symposium, 2013

Global EDF Schedulability Analysis for Synchronous Parallel Tasks on Multicore Platforms.
Proceedings of the 25th Euromicro Conference on Real-Time Systems, 2013

2012
Laxity dynamics and LLF schedulability analysis on multiprocessor platforms.
Real Time Syst., 2012

Convex optimization framework for intermediate deadline assignment in soft and hard real-time distributed systems.
J. Syst. Softw., 2012

Extending Task-level to Job-level Fixed Priority Assignment and Schedulability Analysis Using Pseudo-deadlines.
Proceedings of the 33rd IEEE Real-Time Systems Symposium, 2012

2011
CARTS: a tool for compositional analysis of real-time systems.
SIGBED Rev., 2011

Zero-laxity based real-time multiprocessor scheduling.
J. Syst. Softw., 2011

Response Time Analysis of COTS-Based Multicores Considering the Contention on the Shared Memory Bus.
Proceedings of the IEEE 10th International Conference on Trust, 2011

Maximizing Contention-Free Executions in Multiprocessor Scheduling.
Proceedings of the 17th IEEE Real-Time and Embedded Technology and Applications Symposium, 2011

2010
Multiprocessor real-time scheduling considering concurrency and urgency.
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.
SIGBED Rev., 2010

Provably good multiprocessor scheduling with resource sharing.
Real Time Syst., 2010

LLF Schedulability Analysis on Multiprocessor Platforms.
Proceedings of the 31st IEEE Real-Time Systems Symposium, 2010

Online robust optimization framework for QoS guarantees in distributed soft real-time systems.
Proceedings of the 10th International conference on Embedded software, 2010

Resource Sharing in Global Fixed-Priority Preemptive Multiprocessor Scheduling.
Proceedings of the Scheduling, 14.02. - 19.02.2010, 2010

2009
Optimal virtual cluster-based multiprocessor scheduling.
Real Time Syst., 2009

A Compositional Scheduling Framework for Digital Avionics Systems.
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.
Proceedings of the ICPPW 2009, 2009

2008
Compositional schedulability analysis for cyber-physical systems.
SIGBED Rev., 2008

Compositional Feasibility Analysis of Conditional Real-Time Task Models.
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.
Proceedings of the 20th Euromicro Conference on Real-Time Systems, 2008

2007
Compositional Analysis Framework Using EDP Resource Models.
Proceedings of the 28th IEEE Real-Time Systems Symposium (RTSS 2007), 2007

Compositional Schedulability Analysis of Hierarchical Real-Time Systems.
Proceedings of the Tenth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2007), 2007

2006
Steering of Discrete Event Systems: Control Theory Approach.
Electron. Notes Theor. Comput. Sci., 2006

Incremental schedulability analysis of hierarchical real-time components.
Proceedings of the 6th ACM & IEEE International conference on Embedded software, 2006

2005
Simulation of Simultaneous Events in Regular Expressions for Run-Time Verification.
Electron. Notes Theor. Comput. Sci., 2005


  Loading...