Linh T. X. Phan

Morgan McGuire

Proceedings of the 2023 ACM Symposium on Cloud Computing, SoCC 2023, 2023

2022

Multi-mode on Multi-core: Making the best of both worlds with Omni.

[BibT_eX]

[DOI]

Robert Gifford

Proceedings of the IEEE Real-Time Systems Symposium, 2022

2021

Vision-Based Self-Assembly for Modular Multirotor Structures.

[BibT_eX]

[DOI]

IEEE Robotics Autom. Lett., 2021

When Idling is Ideal: Optimizing Tail-Latency for Heavy-Tailed Datacenter Workloads with Perséphone.

[BibT_eX]

[DOI]

Proceedings of the SOSP '21: ACM SIGOPS 28th Symposium on Operating Systems Principles, 2021

Towards Virtualization-Agnostic Latency for Time-Sensitive Applications.

[BibT_eX]

[DOI]

Proceedings of the RTNS'2021: 29th International Conference on Real-Time Networks and Systems, 2021

IGOR: Accelerating Byzantine Fault Tolerance for Real-Time Systems with Eager Execution.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE Real-Time and Embedded Technology and Applications Symposium, 2021

DNA: Dynamic Resource Allocation for Soft Real-Time Multicore Systems.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE Real-Time and Embedded Technology and Applications Symposium, 2021

REBOUND: defending distributed systems against attacks with bounded-time recovery.

[BibT_eX]

[DOI]

Proceedings of the EuroSys '21: Sixteenth European Conference on Computer Systems, 2021

2020

Self-Reconfiguration in Response to Faults in Modular Aerial Systems.

[BibT_eX]

[DOI]

IEEE Robotics Autom. Lett., 2020

Bounded-time recovery for distributed real-time systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, 2020

2019

Detecting Asymmetric Application-layer Denial-of-Service Attacks In-Flight with Finelame.

[BibT_eX]

[DOI]

Proceedings of the 2019 USENIX Annual Technical Conference, 2019

Holistic Resource Allocation for Multicore Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE Real-Time and Embedded Technology and Applications Symposium, 2019

RTNF: Predictable Latency for Network Function Virtualization.

[BibT_eX]

[DOI]

Saeed Saeedabedi

Neeraj Gandhi

Yang Wu

Proceedings of the 25th IEEE Real-Time and Embedded Technology and Applications Symposium, 2019

Zeno: Diagnosing Performance Problems with Temporal Provenance.

[BibT_eX]

[DOI]

Yang Wu

Ang Chen

Proceedings of the 16th USENIX Symposium on Networked Systems Design and Implementation, 2019

The Synchronous Data Center.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Hot Topics in Operating Systems, 2019

Holistic multi-resource allocation for multicore real-time virtualization.

[BibT_eX]

[DOI]

Meng Xu

Robert Gifford

Proceedings of the 56th Annual Design Automation Conference 2019, 2019

TMC: Pay-as-you-Go Distributed Communication.

[BibT_eX]

[DOI]

Proceedings of the 3rd Asia-Pacific Workshop on Networking, 2019

2018

Co-Design of Arbitrated Network Control Systems With Overrun Strategies.

[BibT_eX]

[DOI]

Damoon Soudbakhsh

Anuradha M. Annaswamy

IEEE Trans. Control. Netw. Syst., 2018

Automated Detection and Mitigation of Application-level Asymmetric DoS Attacks.

[BibT_eX]

[DOI]

Isaac Pedisich

Boon Thau Loo

Proceedings of the Afternoon Workshop on Self-Driving Networks, 2018

Multi-Mode Virtualization for Soft Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, 2018

SafeMC: A System for the Design and Evaluation of Mode-Change Protocols.

[BibT_eX]

[DOI]

Tianyang Chen

Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, 2018

Generic Formal Framework for Compositional Analysis of Hierarchical Scheduling Systems.

[BibT_eX]

[DOI]

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

LogSafe: Secure and Scalable Data Logger for IoT Devices.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE/ACM Third International Conference on Internet-of-Things Design and Implementation, 2018

DeDoS: Defusing DoS with Dispersion Oriented Software.

[BibT_eX]

[DOI]

Proceedings of the 34th Annual Computer Security Applications Conference, 2018

2017

MC-ADAPT: Adaptive Task Dropping in Mixed-Criticality Scheduling.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2017

Real-time network function virtualization with timing interfaces.

[BibT_eX]

[DOI]

SIGBED Rev., 2017

A Demonstration of the DeDoS Platform for Defusing Asymmetric DDoS Attacks in Data Centers.

[BibT_eX]

[DOI]

Proceedings of the Posters and Demos Proceedings of the Conference of the ACM Special Interest Group on Data Communication, 2017

Revisiting GPC and AND Connector in Real-Time Calculus.

[BibT_eX]

[DOI]

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

vCAT: Dynamic Cache Management Using CAT Virtualization.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE Real-Time and Embedded Technology and Applications Symposium, 2017

Mixed-criticality processing pipelines.

[BibT_eX]

[DOI]

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

2016

Cache-aware interfaces for compositional real-time systems: invited paper.

[BibT_eX]

[DOI]

Meng Xu

SIGBED Rev., 2016

Analysis and Implementation of GlEnergy Saving for Mixed-Criticalityobal Preemptive Fixed-Priority Scheduling with Dynamic Cache Allocation.

[BibT_eX]

[DOI]

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

Network functions virtualization with soft real-time guarantees.

[BibT_eX]

[DOI]

Yang Li

Boon Thau Loo

Proceedings of the 35th Annual IEEE International Conference on Computer Communications, 2016

Dispersing Asymmetric DDoS Attacks with SplitStack.

[BibT_eX]

[DOI]

Proceedings of the 15th ACM Workshop on Hot Topics in Networks, 2016

Cloud-Based Secure Logger for Medical Devices.

[BibT_eX]

[DOI]

Proceedings of the First IEEE International Conference on Connected Health: Applications, 2016

2015

Cache-aware compositional analysis of real-time multicore virtualization platforms.

[BibT_eX]

[DOI]

Real Time Syst., 2015

Flexible Framework for Statistical Schedulability Analysis of Probabilistic Sporadic Tasks.

[BibT_eX]

[DOI]

Abdeldjalil Boudjadar

Proceedings of the IEEE 18th International Symposium on Real-Time Distributed Computing, 2015

Fault Tolerance and the Five-Second Rule.

[BibT_eX]

[DOI]

Proceedings of the 15th Workshop on Hot Topics in Operating Systems, 2015

Mixed-Criticality Scheduling on Multiprocessors Using Task Grouping.

[BibT_eX]

[DOI]

Jiankang Ren

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

Platform-specific timing verification framework in model-based implementation.

[BibT_eX]

[DOI]

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

Quantitative Schedulability Analysis of Continuous Probability Tasks in a Hierarchical Context.

[BibT_eX]

[DOI]

Jin Hyun Kim

Abdeldjalil Boudjadar

Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering, 2015

RT-Open Stack: CPU Resource Management for Real-Time Cloud Computing.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE International Conference on Cloud Computing, 2015

2014

Partitioned scheduling of multi-modal mixed-criticality real-time systems on multiprocessor platforms.

[BibT_eX]

[DOI]

Dionisio de Niz

Proceedings of the 20th IEEE Real-Time and Embedded Technology and Applications Symposium, 2014

Detecting Covert Timing Channels with Time-Deterministic Replay.

[BibT_eX]

[DOI]

Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation, 2014

Real-time multi-core virtual machine scheduling in Xen.

[BibT_eX]

[DOI]

Proceedings of the 2014 International Conference on Embedded Software, 2014

2013

Overhead-aware compositional analysis of real-time systems.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE Real-Time and Embedded Technology and Applications Symposium, 2013

Improving schedulability of fixed-priority real-time systems using shapers.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE Real-Time and Embedded Technology and Applications Symposium, 2013

Towards dynamic pricing-based collaborative optimizations for green data centers.

[BibT_eX]

[DOI]

Proceedings of the Workshops Proceedings of the 29th IEEE International Conference on Data Engineering, 2013

Co-design of control and platform with dropped signals.

[BibT_eX]

[DOI]

Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems (with CPS Week 2013), 2013

Platform dependent code generation of real-time embedded software.

[BibT_eX]

[DOI]

Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems (with CPS Week 2013), 2013

Platform-dependent code generation for embedded real-time software.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Compilers, 2013

2012

State-based scheduling with tree schedules: analysis and evaluation.

[BibT_eX]

[DOI]

Madhukar Anand

Sebastian Fischmeister

Real Time Syst., 2012

Realizing Compositional Scheduling through Virtualization.

[BibT_eX]

[DOI]

Proceedings of the 2012 IEEE 18th Real Time and Embedded Technology and Applications Symposium, 2012

A model-based I/O interface synthesis framework for the cross-platform software modeling.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE International Symposium on Rapid System Prototyping, 2012

2011

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

[BibT_eX]

[DOI]

SIGBED Rev., 2011

Improving resource utilization for compositional scheduling using DPRM interfaces.

[BibT_eX]

[DOI]

SIGBED Rev., 2011

An empirical analysis of scheduling techniques for real-time cloud-based data processing.

[BibT_eX]

[DOI]

Proceedings of the 2011 IEEE International Conference on Service-Oriented Computing and Applications, 2011

Towards a Compositional Multi-modal Framework for Adaptive Cyber-physical Systems.

[BibT_eX]

[DOI]

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

Video Quality Driven Buffer Sizing via Frame Drops.

[BibT_eX]

[DOI]

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

A Semantic Framework for Mode Change Protocols.

[BibT_eX]

[DOI]

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

Removing Abstraction Overhead in the Composition of Hierarchical Real-Time Systems.

[BibT_eX]

[DOI]

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

Compositional analysis of real-time embedded systems.

[BibT_eX]

[DOI]

Proceedings of the 14th International Conference on Compilers, 2011

2010

On the feasibility of dynamic rescheduling on the Intel Distributed Computing Platform.

[BibT_eX]

[DOI]

Proceedings of the 11th International Middleware Conference Industrial Track, Bangalore, India, November 29, 2010

Modeling buffers with data refresh semantics in automotive architectures.

[BibT_eX]

[DOI]

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

Compositional Analysis of Multi-mode Systems.

[BibT_eX]

[DOI]

Proceedings of the 22nd Euromicro Conference on Real-Time Systems, 2010

2009

Timing Analysis of Mixed Time/Event-Triggered Multi-Mode Systems.

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE Real-Time Systems Symposium, 2009

Lightweight Modeling of Complex State Dependencies in Stream Processing Systems.

[BibT_eX]

[DOI]

Anne Bouillard

Proceedings of the 15th IEEE Real-Time and Embedded Technology and Applications Symposium, 2009

BSN Simulator: Optimizing Application Using System Level Simulation.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Workshop on Wearable and Implantable Body Sensor Networks, 2009

2008

A Multi-mode Real-Time Calculus.

[BibT_eX]

[DOI]

P. S. Thiagarajan

Proceedings of the 29th IEEE Real-Time Systems Symposium, 2008

2007

Composing Functional and State-Based Performance Models for Analyzing Heterogeneous Real-Time Systems.

[BibT_eX]

[DOI]

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

2005

Event Count Automata: A State-Based Model for Stream Processing Systems.

[BibT_eX]

[DOI]