Event Count Automata: A State-Based Model for Stream Processing Systems. - Samarjit Chakraborty; Linh T. X. Phan; P. S. Thiagarajan (RTSS, 2005)

Composing Functional and State-Based Performance Models for Analyzing Heterogeneous Real-Time Systems. - Linh T. X. Phan; Samarjit Chakraborty; P. S. Thiagarajan; Lothar Thiele (RTSS, 2007)

A Multi-mode Real-Time Calculus. - Linh T. X. Phan; Samarjit Chakraborty; P. S. Thiagarajan (RTSS, 2008)

BSN Simulator: Optimizing Application Using System Level Simulation. - Ioana Cutcutache; Thi Thanh Nga Dang; Wai Kay Leong; Shanshan Liu; Kathy Dang Nguyen; Linh Thi Xuan Phan; Joon Edward Sim; Zhenxin Sun; Teck Bok Tok; Lin Xu; Francis Eng Hock Tay; Weng-Fai Wong (BSN, 2009)

Lightweight Modeling of Complex State Dependencies in Stream Processing Systems. - Anne Bouillard; Linh T. X. Phan; Samarjit Chakraborty (IEEE Real-Time and Embedded Technology and Applications Symposium, 2009)

Timing Analysis of Mixed Time/Event-Triggered Multi-Mode Systems. - Linh T. X. Phan; Samarjit Chakraborty; Insup Lee 001 (RTSS, 2009)

Compositional Analysis of Multi-mode Systems. - Linh T. X. Phan; Insup Lee 001; Oleg Sokolsky (ECRTS, 2010)

Modeling buffers with data refresh semantics in automotive architectures. - Linh Thi Xuan Phan; Reinhard Schneider 001; Samarjit Chakraborty; Insup Lee 001 (EMSOFT, 2010)

On the feasibility of dynamic rescheduling on the Intel Distributed Computing Platform. - Zhuoyao Zhang; Linh T. X. Phan; Godfrey Tan; Saumya Jain; Harrison Duong; Boon Thau Loo; Insup Lee 001 (Middleware (Industry Track), 2010)

Compositional analysis of real-time embedded systems. - Linh T. X. Phan; Insup Lee 001; Oleg Sokolsky (CASES, 2011)

Removing Abstraction Overhead in the Composition of Hierarchical Real-Time Systems. - Sanjian Chen; Linh T. X. Phan; Jaewoo Lee; Insup Lee 001; Oleg Sokolsky (IEEE Real-Time and Embedded Technology and Applications Symposium, 2011)

A Semantic Framework for Mode Change Protocols. - Linh T. X. Phan; Insup Lee 001; Oleg Sokolsky (IEEE Real-Time and Embedded Technology and Applications Symposium, 2011)

Video Quality Driven Buffer Sizing via Frame Drops. - Deepak Gangadharan; Linh T. X. Phan; Samarjit Chakraborty; Roger Zimmermann; Insup Lee 001 (RTCSA (1), 2011)

Towards a Compositional Multi-modal Framework for Adaptive Cyber-physical Systems. - Linh T. X. Phan; Insup Lee 001 (RTCSA (2), 2011)

An empirical analysis of scheduling techniques for real-time cloud-based data processing. - Linh T. X. Phan; Zhuoyao Zhang; Qi Zheng; Boon Thau Loo; Insup Lee 001 (SOCA, 2011)

Improving resource utilization for compositional scheduling using DPRM interfaces. - Jaewoo Lee; Linh T. X. Phan; Sanjian Chen; Oleg Sokolsky; Insup Lee 001 (SIGBED Rev., 2011)

CARTS: a tool for compositional analysis of real-time systems. - Linh T. X. Phan; Jaewoo Lee; Arvind Easwaran; Vinay Ramaswamy; Sanjian Chen; Insup Lee 001; Oleg Sokolsky (SIGBED Rev., 2011)

A model-based I/O interface synthesis framework for the cross-platform software modeling. - BaekGyu Kim; Linh T. X. Phan; Insup Lee 001; Oleg Sokolsky (RSP, 2012)

Realizing Compositional Scheduling through Virtualization. - Jaewoo Lee; Sisu Xi; Sanjian Chen; Linh T. X. Phan; Christopher D. Gill; Insup Lee 001; Chenyang Lu 001; Oleg Sokolsky (IEEE Real-Time and Embedded Technology and Applications Symposium, 2012)

State-based scheduling with tree schedules: analysis and evaluation. - Madhukar Anand; Sebastian Fischmeister; Insup Lee 001; Linh T. X. Phan (Real Time Syst., 2012)

Platform-dependent code generation for embedded real-time software. - BaekGyu Kim; Linh T. X. Phan; Oleg Sokolsky; Insup Lee 001 (CASES, 2013)

Platform dependent code generation of real-time embedded software. - BaekGyu Kim; Insup Lee 001; Linh T. X. Phan; Oleg Sokolsky (ICCPS, 2013)

Co-design of control and platform with dropped signals. - Damoon Soudbakhsh; Linh T. X. Phan; Oleg Sokolsky; Insup Lee 001; Anuradha Annaswamy (ICCPS, 2013)

Towards dynamic pricing-based collaborative optimizations for green data centers. - Yang Li 025; David Chiu 001; Changbin Liu; Linh T. X. Phan; Tanveer Gill; Sanchit Aggarwal; Zhuoyao Zhang; Boon Thau Loo; David Maier 001; Bart McManus (ICDE Workshops, 2013)

Improving schedulability of fixed-priority real-time systems using shapers. - Linh T. X. Phan; Insup Lee 001 (IEEE Real-Time and Embedded Technology and Applications Symposium, 2013)

Overhead-aware compositional analysis of real-time systems. - Linh T. X. Phan; Meng Xu 010; Jaewoo Lee; Insup Lee 001; Oleg Sokolsky (IEEE Real-Time and Embedded Technology and Applications Symposium, 2013)

Real-time multi-core virtual machine scheduling in Xen. - Sisu Xi; Meng Xu 010; Chenyang Lu 001; Linh T. X. Phan; Christopher D. Gill; Oleg Sokolsky; Insup Lee 001 (EMSOFT, 2014)

Detecting Covert Timing Channels with Time-Deterministic Replay. - Ang Chen 001; W. Brad Moore; Hanjun Xiao; Andreas Haeberlen; Linh Thi Xuan Phan; Micah Sherr; Wenchao Zhou (OSDI, 2014)

Partitioned scheduling of multi-modal mixed-criticality real-time systems on multiprocessor platforms. - Dionisio de Niz; Linh T. X. Phan (RTAS, 2014)

RT-Open Stack: CPU Resource Management for Real-Time Cloud Computing. - Sisu Xi; Chong Li; Chenyang Lu 001; Christopher D. Gill; Meng Xu 010; Linh T. X. Phan; Insup Lee 001; Oleg Sokolsky (CLOUD, 2015)

Quantitative Schedulability Analysis of Continuous Probability Tasks in a Hierarchical Context. - Jin Hyun Kim; Abdeldjalil Boudjadar; Ulrik Nyman; Marius Mikucionis; Kim G. Larsen; Arne Skou; Insup Lee 001; Linh Thi Xuan Phan (CBSE, 2015)

Platform-specific timing verification framework in model-based implementation. - BaekGyu Kim; Lu Feng 001; Linh T. X. Phan; Oleg Sokolsky; Insup Lee 001 (DATE, 2015)

Mixed-Criticality Scheduling on Multiprocessors Using Task Grouping. - Jiankang Ren; Linh Thi Xuan Phan (ECRTS, 2015)

Fault Tolerance and the Five-Second Rule. - Ang Chen 001; Hanjun Xiao; Andreas Haeberlen; Linh Thi Xuan Phan (HotOS, 2015)

Flexible Framework for Statistical Schedulability Analysis of Probabilistic Sporadic Tasks. - Abdeldjalil Boudjadar; Jin Hyun Kim; Alexandre David; Kim G. Larsen; Marius Mikucionis; Ulrik Nyman; Arne Skou; Insup Lee 001; Linh Thi Xuan Phan (ISORC, 2015)

Cache-aware compositional analysis of real-time multicore virtualization platforms. - Meng Xu 010; Linh Thi Xuan Phan; Oleg Sokolsky; Sisu Xi; Chenyang Lu 001; Christopher D. Gill; Insup Lee 001 (Real Time Syst., 2015)

Cloud-Based Secure Logger for Medical Devices. - Hung Nguyen 002; Bipeen Acharya; Radoslav Ivanov; Andreas Haeberlen; Linh T. X. Phan; Oleg Sokolsky; Jesse Walker; James Weimer; William Hanson III; Insup Lee 001 (CHASE, 2016)

Dispersing Asymmetric DDoS Attacks with SplitStack. - Ang Chen 001; Akshay Sriraman; Tavish Vaidya; Yuankai Zhang 001; Andreas Haeberlen; Boon Thau Loo; Linh Thi Xuan Phan; Micah Sherr; Clay Shields; Wenchao Zhou (HotNets, 2016)

Network functions virtualization with soft real-time guarantees. - Yang Li 025; Linh Thi Xuan Phan; Boon Thau Loo (INFOCOM, 2016)

Analysis and Implementation of GlEnergy Saving for Mixed-Criticalityobal Preemptive Fixed-Priority Scheduling with Dynamic Cache Allocation. - Meng Xu 010; Linh Thi Xuan Phan; Hyon-Young Choi; Insup Lee 001 (RTAS, 2016)

Cache-aware interfaces for compositional real-time systems: invited paper. - Linh Thi Xuan Phan; Meng Xu 010; Insup Lee 001 (SIGBED Rev., 2016)

Mixed-criticality processing pipelines. - Dionisio de Niz; Björn Andersson; Hyoseung Kim 001; Mark H. Klein 001; Linh Thi Xuan Phan; Raj Rajkumar (DATE, 2017)

vCAT: Dynamic Cache Management Using CAT Virtualization. - Meng Xu 010; Linh Thi Xuan Phan; Xuan Phan; Hyon-Young Choi; Insup Lee 001 (RTAS, 2017)

Revisiting GPC and AND Connector in Real-Time Calculus. - Yue Tang 001; Nan Guan; Weichen Liu; Linh Thi Xuan Phan; Wang Yi 001 (RTSS, 2017)

A Demonstration of the DeDoS Platform for Defusing Asymmetric DDoS Attacks in Data Centers. - Henri Maxime Demoulin; Tavish Vaidya; Isaac Pedisich; Nik Sultana; Bowen Wang; Jingyu Qian; Yuankai Zhang 001; Ang Chen 001; Andreas Haeberlen; Boon Thau Loo; Linh Thi Xuan Phan; Micah Sherr; et al. (SIGCOMM Posters and Demos, 2017)

Real-time network function virtualization with timing interfaces. - Linh Thi Xuan Phan (SIGBED Rev., 2017)

MC-ADAPT: Adaptive Task Dropping in Mixed-Criticality Scheduling. - Jaewoo Lee; Hoon Sung Chwa; Linh T. X. Phan; Insik Shin; Insup Lee 001 (ACM Trans. Embed. Comput. Syst., 2017)

DeDoS: Defusing DoS with Dispersion Oriented Software. - Henri Maxime Demoulin; Tavish Vaidya; Isaac Pedisich; Bob DiMaiolo; Jingyu Qian; Chirag Shah; Yuankai Zhang 001; Ang Chen 001; Andreas Haeberlen; Boon Thau Loo; Linh Thi Xuan Phan; Micah Sherr; et al. (ACSAC, 2018)

LogSafe: Secure and Scalable Data Logger for IoT Devices. - Hung Nguyen 002; Radoslav Ivanov; Linh T. X. Phan; Oleg Sokolsky; James Weimer; Insup Lee 001 (IoTDI, 2018)

Generic Formal Framework for Compositional Analysis of Hierarchical Scheduling Systems. - Jalil Boudjadar; Jin Hyun Kim; Linh Thi Xuan Phan; Insup Lee 001; Kim G. Larsen; Ulrik Nyman (ISORC, 2018)

SafeMC: A System for the Design and Evaluation of Mode-Change Protocols. - Tianyang Chen; Linh Thi Xuan Phan (RTAS, 2018)

Multi-Mode Virtualization for Soft Real-Time Systems. - Haoran Li; Meng Xu 010; Chong Li; Chenyang Lu 001; Christopher D. Gill; Linh T. X. Phan; Insup Lee 001; Oleg Sokolsky (RTAS, 2018)

Automated Detection and Mitigation of Application-level Asymmetric DoS Attacks. - Henri Maxime Demoulin; Isaac Pedisich; Linh Thi Xuan Phan; Boon Thau Loo (SelfDN@SIGCOMM, 2018)

Co-Design of Arbitrated Network Control Systems With Overrun Strategies. - Damoon Soudbakhsh; Linh Thi Xuan Phan; Anuradha M. Annaswamy; Oleg Sokolsky (IEEE Trans. Control. Netw. Syst., 2018)

TMC: Pay-as-you-Go Distributed Communication. - Henri Maxime Demoulin; Nikos Vasilakis; John Sonchack; Isaac Pedisich; Vincent Liu 001; Boon Thau Loo; Linh Thi Xuan Phan; Jonathan M. Smith; Irene Zhang (APNet, 2019)

Holistic multi-resource allocation for multicore real-time virtualization. - Meng Xu 010; Robert Gifford; Linh Thi Xuan Phan (DAC, 2019)

The Synchronous Data Center. - Tian Yang; Robert Gifford; Andreas Haeberlen; Linh Thi Xuan Phan (HotOS, 2019)

Zeno: Diagnosing Performance Problems with Temporal Provenance. - Yang Wu; Ang Chen 001; Linh Thi Xuan Phan (NSDI, 2019)

RTNF: Predictable Latency for Network Function Virtualization. - Saeed Saeedabedi; Neeraj Gandhi; Henri Maxime Demoulin; Yang Wu; Linh Thi Xuan Phan (RTAS, 2019)

Holistic Resource Allocation for Multicore Real-Time Systems. - Meng Xu 010; Linh Thi Xuan Phan; Hyon-Young Choi; Yuhan Lin; Haoran Li; Chenyang Lu 001; Insup Lee 001 (RTAS, 2019)

Detecting Asymmetric Application-layer Denial-of-Service Attacks In-Flight with Finelame. - Henri Maxime Demoulin; Isaac Pedisich; Nikos Vasilakis; Vincent Liu 001; Boon Thau Loo; Linh Thi Xuan Phan (USENIX ATC, 2019)

Bounded-time recovery for distributed real-time systems. - Neeraj Gandhi; Edo Roth; Robert Gifford; Linh Thi Xuan Phan; Andreas Haeberlen (RTAS, 2020)

Self-Reconfiguration in Response to Faults in Modular Aerial Systems. - Neeraj Gandhi; David Saldaña; Vijay Kumar 001; Linh Thi Xuan Phan (IEEE Robotics Autom. Lett., 2020)

REBOUND: defending distributed systems against attacks with bounded-time recovery. - Neeraj Gandhi; Edo Roth; Brian Sandler; Andreas Haeberlen; Linh Thi Xuan Phan (EuroSys, 2021)

DNA: Dynamic Resource Allocation for Soft Real-Time Multicore Systems. - Robert Gifford; Neeraj Gandhi; Linh Thi Xuan Phan; Andreas Haeberlen (RTAS, 2021)

IGOR: Accelerating Byzantine Fault Tolerance for Real-Time Systems with Eager Execution. - Andrew D. Loveless; Ronald G. Dreslinski; Baris Kasikci; Linh Thi Xuan Phan (RTAS, 2021)

Towards Virtualization-Agnostic Latency for Time-Sensitive Applications. - Haoran Li; Meng Xu 010; Chong Li; Chenyang Lu 001; Christopher D. Gill; Linh T. X. Phan; Insup Lee 001; Oleg Sokolsky (RTNS, 2021)

When Idling is Ideal: Optimizing Tail-Latency for Heavy-Tailed Datacenter Workloads with Perséphone. - Henri Maxime Demoulin; Joshua Fried; Isaac Pedisich; Marios Kogias; Boon Thau Loo; Linh Thi Xuan Phan; Irene Zhang (SOSP, 2021)

Vision-Based Self-Assembly for Modular Multirotor Structures. - Yehonathan Litman; Neeraj Gandhi; Linh Thi Xuan Phan; David Saldaña (IEEE Robotics Autom. Lett., 2021)

Multi-mode on Multi-core: Making the best of both worlds with Omni. - Robert Gifford; Linh Thi Xuan Phan (RTSS, 2022)

Metaverse as a Service: Megascale Social 3D on the Cloud. - Andreas Haeberlen; Linh Thi Xuan Phan; Morgan McGuire (SoCC, 2023)

Real-Time Packet-Based Intrusion Detection on Edge Devices. - Niccolò Borgioli; Linh Thi Xuan Phan; Federico Aromolo; Alessandro Biondi 001; Giorgio C. Buttazzo (CPS-IoT Week Workshops, 2023)

PCSPOOF: Compromising the Safety of Time-Triggered Ethernet. - Andrew D. Loveless; Linh Thi Xuan Phan; Ronald G. Dreslinski; Baris Kasikci (SP, 2023)

CrossTalk: Making Low-Latency Fault Tolerance Cheap by Exploiting Redundant Networks. - Andrew D. Loveless; Linh Thi Xuan Phan; Lisa Erickson; Ronald G. Dreslinski; Baris Kasikci (ACM Trans. Embed. Comput. Syst., 2023)

Path Structured Multimarginal Schrödinger Bridge for Probabilistic Learning of Hardware Resource Usage by Control Software. - Georgiy A. Bondar; Robert Gifford; Linh Thi Xuan Phan; Abhishek Halder (ACC, 2024)

Online Rotor Fault Detection and Isolation for Vertical Takeoff and Landing Vehicles. - Jiaqi Lian; Neeraj Gandhi; Yifan Wang; Linh Thi Xuan Phan (IROS, 2024)

Rotor Fault Detection and Isolation in Aerial Vehicles with Dozens of Rotors. - Neeraj Gandhi; Jiawei Xu 005; David Saldaña; Linh Thi Xuan Phan (LARS, 2024)

Decntr: Optimizing Safety and Schedulability with Multi-Mode Control and Resource Allocation Co-Design. - Robert Gifford; Felipe Galarza-Jimenez; Linh Thi Xuan Phan; Majid Zamani 001 (RTAS, 2024)

Analysis of Long-term Average Behaviors of Probabilistic Task Systems. - Yifan Cai; Linh Thi Xuan Phan; P. S. Thiagarajan (RTNS, 2024)

Stochastic Learning of Computational Resource Usage as Graph Structured Multimarginal Schrödinger Bridge. - Georgiy A. Bondar; Robert Gifford; Linh Thi Xuan Phan; Abhishek Halder (CoRR, 2024)

A convolutional autoencoder architecture for robust network intrusion detection in embedded systems. - Niccolò Borgioli; Federico Aromolo; Linh Thi Xuan Phan; Giorgio C. Buttazzo (J. Syst. Archit., 2024)

Object-oriented Unified Encrypted Memory Management for Heterogeneous Memory Architectures. - Mo Sha 002; Yifan Cai; Sheng Wang 011; Linh Thi Xuan Phan; Feifei Li 001; Kian-Lee Tan (Proc. ACM Manag. Data, 2024)

RoboRebound: Multi-Robot System Defense with Bounded-Time Interaction. - Neeraj Gandhi; Yifan Cai; Andreas Haeberlen; Linh Thi Xuan Phan (EuroSys, 2025)

FairDP: Achieving Fairness Certification with Differential Privacy. - Khang Tran; Ferdinando Fioretto; Issa Khalil; My T. Thai; Linh Thi Xuan Phan; NhatHai Phan (SaTML, 2025)

A view of the sustainable computing landscape. - Benjamin C. Lee; David Brooks 001; Arthur van Benthem; Mariam Elgamal; Udit Gupta; Gage Hills; Vincent Liu 001; Linh Thi Xuan Phan; Benjamin Pierce; Christopher Stewart; Emma Strubell; Gu-Yeon Wei; et al. (Patterns, 2025)

CORD: Co-design of Resource Allocation and Deadline Decomposition with Generative Profiling. - Robert Gifford; Abby Eisenklam; Georgiy A. Bondar; Yifan Cai; Tushar Sial; Linh Thi Xuan Phan; Abhishek Halder (CoRR, 2025)