Kang G. Shin

Orcid: 0000-0003-0086-8777

Affiliations:
  • University of Michigan, Ann Arbor, USA


According to our database1, Kang G. Shin authored at least 819 papers between 1980 and 2024.

Collaborative distances:

Awards

ACM Fellow

ACM Fellow 2001, "For the development of the theory of dynamic failure in real-time fault-tolerant computing.".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Decomposed and Distributed Modulation to Achieve Secure Transmission.
IEEE Trans. Mob. Comput., December, 2024

Analysis and Prevention of MCAS-Induced Crashes.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., November, 2024

Exploiting Interference With an Intelligent Reflecting Surface to Enhance Data Transmission.
IEEE Trans. Wirel. Commun., August, 2024

Beyond "Taming Electric Scooters": Disentangling Understandings of Micromobility Naturalistic Riding.
Proc. ACM Interact. Mob. Wearable Ubiquitous Technol., August, 2024

iCoding: Countermeasure Against Interference and Eavesdropping in Wireless Communications.
IEEE Trans. Inf. Forensics Secur., 2024

PrivacyLens: On-Device PII Removal from RGB Images using Thermally-Enhanced Sensing.
Proc. Priv. Enhancing Technol., 2024

Analyzing Privacy Implications of Data Collection in Android Automotive OS.
CoRR, 2024

Steward: Natural Language Web Automation.
CoRR, 2024

GenAI Advertising: Risks of Personalizing Ads with LLMs.
CoRR, 2024

Refinement of MMIO Models for Improving the Coverage of Firmware Fuzzing.
CoRR, 2024

Go Go Gadget Hammer: Flipping Nested Pointers for Arbitrary Data Leakage.
Proceedings of the 33rd USENIX Security Symposium, 2024

Context-Aware Anomaly Detection Using Vehicle Dynamics.
Proceedings of the 27th International Symposium on Research in Attacks, 2024

DREW: Double-Throughput Emulated WiFi.
Proceedings of the 30th Annual International Conference on Mobile Computing and Networking, 2024

Achieving the Safety and Security of the End-to-End AV Pipeline.
Proceedings of the 2024 on Cyber Security in CarS Workshop, 2024

2023
Cross-Modality Graph-based Language and Sensor Data Co-Learning of Human-Mobility Interaction.
Proc. ACM Interact. Mob. Wearable Ubiquitous Technol., September, 2023

Rethink Physical Security: Protecting Vehicles via Battery-Enabled Sensing and Control [Point of View].
Proc. IEEE, August, 2023

Context-Aware Beam Tracking for 5G mmWave V2I Communications.
IEEE Trans. Mob. Comput., June, 2023

In-Vehicle Phone Localization for Prevention of Distracted Driving.
IEEE Trans. Mob. Comput., June, 2023

End-to-End Asynchronous Traffic Scheduling in Converged 5G and Time-Sensitive Networks.
CoRR, 2023

A Switch Architecture for Time-Triggered Transmission with Best-Effort Delivery.
CoRR, 2023

DynaMIX: Resource Optimization for DNN-Based Real-Time Applications on a Multi-Tasking System.
CoRR, 2023

Is Boeing 737-MAX Still Safe? Analysis and Prevention of MCAS-Induced Crashes.
CoRR, 2023

A Survey on Controller Area Network Reverse Engineering.
IEEE Commun. Surv. Tutorials, 2023

Eye-Shield: Real-Time Protection of Mobile Device Screen Information from Shoulder Surfing.
Proceedings of the 32nd USENIX Security Symposium, 2023

Detection of Inconsistencies in Privacy Practices of Browser Extensions.
Proceedings of the 44th IEEE Symposium on Security and Privacy, 2023

METRO: Magnetic Road Markings for All-weather, Smart Roads.
Proceedings of the 21st ACM Conference on Embedded Networked Sensor Systems, 2023

PRICAR: Privacy Framework for Vehicular Data Sharing with Third Parties.
Proceedings of the IEEE Secure Development Conference, 2023

Unify: Turning BLE/FSK SoC into WiFi SoC.
Proceedings of the 29th Annual International Conference on Mobile Computing and Networking, 2023

Interaction-Aware and Hierarchically-Explainable Heterogeneous Graph-based Imitation Learning for Autonomous Driving Simulation.
IROS, 2023

Fast Application Launch on Personal Computing/Communication Devices.
Proceedings of the 21st USENIX Conference on File and Storage Technologies, 2023

Fingerprinting Battery Health Using Relaxing Voltages.
Proceedings of the 14th ACM International Conference on Future Energy Systems, 2023

Using Phone Sensors to Augment Vehicle Reliability.
Proceedings of the IEEE Conference on Communications and Network Security, 2023

T-TER: Defeating A2 Trojans with Targeted Tamper-Evident Routing.
Proceedings of the 2023 ACM Asia Conference on Computer and Communications Security, 2023

2022
Accurate Angular Inference for 802.11ad Devices Using Beam-Specific Measurements.
IEEE Trans. Mob. Comput., 2022

Distribution Prediction for Reconfiguring Urban Dockless E-Scooter Sharing Systems.
IEEE Trans. Knowl. Data Eng., 2022

Spatio-Temporal Capsule-Based Reinforcement Learning for Mobility-on-Demand Coordination.
IEEE Trans. Knowl. Data Eng., 2022

Information Fusion for (Re)Configuring Bike Station Networks With Crowdsourcing.
IEEE Trans. Knowl. Data Eng., 2022

Pervasive Pose Estimation for Fall Detection.
ACM Trans. Comput. Heal., 2022

Elastic Model Aggregation with Parameter Service.
CoRR, 2022

Framed Fidelity MAC: Losslessly packing multi-user transmissions in a virtual point-to-point framework.
Comput. Networks, 2022

Socially-Equitable Interactive Graph Information Fusion-based Prediction for Urban Dockless E-Scooter Sharing.
Proceedings of the WWW '22: The ACM Web Conference 2022, Virtual Event, Lyon, France, April 25, 2022

Fuzzing Hardware Like Software.
Proceedings of the 31st USENIX Security Symposium, 2022

SpecHammer: Combining Spectre and Rowhammer for New Speculative Attacks.
Proceedings of the 43rd IEEE Symposium on Security and Privacy, 2022

Cross-zone and extreme-aware mobility learning of crowd interactions with built environments.
Proceedings of the 9th ACM International Conference on Systems for Energy-Efficient Buildings, 2022

DETROIT: Data Collection, Translation and Sharing for Rapid Vehicular App Development.
Proceedings of the 19th Annual IEEE International Conference on Sensing, 2022

DNN-SAM: Split-and-Merge DNN Execution for Real-Time Object Detection.
Proceedings of the 28th IEEE Real-Time and Embedded Technology and Applications Symposium, 2022

Protecting electric scooters from thefts using batteries.
Proceedings of the MobiSys '22: The 20th Annual International Conference on Mobile Systems, Applications and Services, Portland, Oregon, 27 June 2022, 2022

Battery-enabled vehicle immobilizer.
Proceedings of the MobiSys '22: The 20th Annual International Conference on Mobile Systems, Applications and Services, Portland, Oregon, 27 June 2022, 2022

Battery-enabled anti-theft vehicle immobilizer.
Proceedings of the MobiSys '22: The 20th Annual International Conference on Mobile Systems, Applications and Services, Portland, Oregon, 27 June 2022, 2022

Automatic calibration of magnetic tracking: demo.
Proceedings of the ACM MobiCom '22: The 28th Annual International Conference on Mobile Computing and Networking, Sydney, NSW, Australia, October 17, 2022

Automatic calibration of magnetic tracking.
Proceedings of the ACM MobiCom '22: The 28th Annual International Conference on Mobile Computing and Networking, Sydney, NSW, Australia, October 17, 2022

FLEW: fully emulated wifi.
Proceedings of the ACM MobiCom '22: The 28th Annual International Conference on Mobile Computing and Networking, Sydney, NSW, Australia, October 17, 2022

Hydra : Resilient and Highly Available Remote Memory.
Proceedings of the 20th USENIX Conference on File and Storage Technologies, 2022

Do Opt-Outs Really Opt Me Out?
Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022

Are There Wireless Hidden Cameras Spying on Me?
Proceedings of the Annual Computer Security Applications Conference, 2022

2021
Exploiting Interactions of Multiple Interference for Cooperative Interference Alignment.
IEEE Trans. Wirel. Commun., 2021

Using Mobile Device Batteries as Thermometers.
GetMobile Mob. Comput. Commun., 2021

Automated Extraction and Presentation of Data Practices in Privacy Policies.
Proc. Priv. Enhancing Technol., 2021

Incentivizing Platform-User Interactions for Crowdsensing.
IEEE Internet Things J., 2021

Bomberman: Defining and Defeating Hardware Ticking Timebombs at Design-time.
Proceedings of the 42nd IEEE Symposium on Security and Privacy, 2021

BlueFi: bluetooth over WiFi.
Proceedings of the ACM SIGCOMM 2021 Conference, Virtual Event, USA, August 23-27, 2021., 2021

ML for RT: Priority Assignment Using Machine Learning.
Proceedings of the 27th IEEE Real-Time and Embedded Technology and Applications Symposium, 2021

Wearable, untethered hands tracking with passive magnets.
Proceedings of the ACM MobiCom '21: The 27th Annual International Conference on Mobile Computing and Networking, 2021

MagX: wearable, untethered hands tracking with passive magnets.
Proceedings of the ACM MobiCom '21: The 27th Annual International Conference on Mobile Computing and Networking, 2021

Poster Abstract: Neighbor-aware Queue-based Random Access.
Proceedings of the 2021 IEEE Conference on Computer Communications Workshops, 2021

iCoding: Countermeasure Against Interference and Eavesdropping in Wireless Communications.
Proceedings of the IEEE Global Communications Conference, 2021

Consistency Analysis of Data-Usage Purposes in Mobile Apps.
Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021

S2-CAN: Sufficiently Secure Controller Area Network.
Proceedings of the ACSAC '21: Annual Computer Security Applications Conference, Virtual Event, USA, December 6, 2021

2020
Inside-Out Precoding to Manage Multiple Interferences From the Same Source.
IEEE Trans. Veh. Technol., 2020

Power Guarantee for Electric Systems Using Real-Time Scheduling.
IEEE Trans. Parallel Distributed Syst., 2020

Coverage Performance in MIMO-ZFBF Dense HetNets with Multiplexing and LOS/NLOS Path-Loss Attenuation.
IEEE Trans. Mob. Comput., 2020

Power saving with CoMP transmission for densely deployed small cell networks.
J. Supercomput., 2020

SPy: Car Steering Reveals Your Trip Route!
Proc. Priv. Enhancing Technol., 2020

Authenticating Drivers Using Automotive Batteries.
Proc. ACM Interact. Mob. Wearable Ubiquitous Technol., 2020

Mobile Device Batteries as Thermometers.
Proc. ACM Interact. Mob. Wearable Ubiquitous Technol., 2020

Response-Time Analysis for Multi-Mode Tasks in Real-Time Multiprocessor Systems.
IEEE Access, 2020

Dynamic Flow Distribution Prediction for Urban Dockless E-Scooter Sharing Reconfiguration.
Proceedings of the WWW '20: The Web Conference 2020, Taipei, Taiwan, April 20-24, 2020, 2020

Towards Fine-grained Flow Forecasting: A Graph Attention Approach for Bike Sharing Systems.
Proceedings of the WWW '20: The Web Conference 2020, Taipei, Taiwan, April 20-24, 2020, 2020

SNB: Reduction of Consecutive Message Reception Failures in C-V2X Communications.
Proceedings of the 92nd IEEE Vehicular Technology Conference, 2020

ICAS: an Extensible Framework for Estimating the Susceptibility of IC Layouts to Additive Trojans.
Proceedings of the 2020 IEEE Symposium on Security and Privacy, 2020

Optimal Priority Assignment for Multiple CAN/CAN-FD Buses with a Central Gateway.
Proceedings of the 41st IEEE Real-Time Systems Symposium, 2020

Causes and fixes of unexpected phone shutoffs.
Proceedings of the MobiSys '20: The 18th Annual International Conference on Mobile Systems, 2020

Off is Not Off: On the Security of Parked Vehicles.
Proceedings of the 8th IEEE Conference on Communications and Network Security, 2020

2019
Design and Adaptation of Multi-Interference Steering.
IEEE Trans. Wirel. Commun., 2019

Coordinated Multi-Point Transmissions Based on Interference Alignment and Neutralization.
IEEE Trans. Wirel. Commun., 2019

Extending Battery System Operation via Adaptive Reconfiguration.
ACM Trans. Sens. Networks, 2019

On the Granularity of Trie-Based Data Structures for Name Lookups and Updates.
IEEE/ACM Trans. Netw., 2019

Spatio-temporal Adaptive Pricing for Balancing Mobility-on-Demand Networks.
ACM Trans. Intell. Syst. Technol., 2019

EACAN: Reliable and Resource-Efficient CAN Communications.
ACM Trans. Embed. Comput. Syst., 2019

Thermal-Aware Scheduling for Integrated CPUs-GPU Platforms.
ACM Trans. Embed. Comput. Syst., 2019

Interference Steering to Manage Interference in IoT.
IEEE Internet Things J., 2019

TurnsMap: Enhancing Driving Safety at Intersections with Mobile Crowdsensing and Deep Learning.
Proc. ACM Interact. Mob. Wearable Ubiquitous Technol., 2019

Mitigating the Performance-Efficiency Tradeoff in Resilient Memory Disaggregation.
CoRR, 2019

Federated User Representation Learning.
CoRR, 2019

Provisioning Energy-Efficiency and QoS for Multi-Carrier CoMP with Limited Feedback.
CoRR, 2019

Defensive Routing: a Preventive Layout-Level Defense Against Untrusted Foundries.
CoRR, 2019

An Extensible Framework for Quantifying the Coverage of Defenses Against Untrusted Foundries.
CoRR, 2019

Security and Privacy in the Internet of Things.
Computer, 2019

Exploiting interactions among signals to decode interfering transmissions with fewer receiving antennas.
Comput. Commun., 2019

Spatio-Temporal Capsule-based Reinforcement Learning for Mobility-on-Demand Network Coordination.
Proceedings of the World Wide Web Conference, 2019

Randomized Caching in Cooperative UAV-Enabled Fog-RAN.
Proceedings of the 2019 IEEE Wireless Communications and Networking Conference, 2019

Caching or No Caching in Dense HetNets?
Proceedings of the 2019 IEEE Wireless Communications and Networking Conference, 2019

Coverage Performance of Aerial-Terrestrial HetNets.
Proceedings of the 89th IEEE Vehicular Technology Conference, 2019

Optimal Priority Assignment for Scheduling Mixed CAN and CAN-FD Frames.
Proceedings of the 25th IEEE Real-Time and Embedded Technology and Applications Symposium, 2019

Tiresias: A GPU Cluster Manager for Distributed Deep Learning.
Proceedings of the 16th USENIX Symposium on Networked Systems Design and Implementation, 2019

Detection of Misplaced Stationary RFID Tags.
Proceedings of the 17th Annual International Conference on Mobile Systems, 2019

Detecting Misplaced RFID Tags on Static Shelved Items.
Proceedings of the 17th Annual International Conference on Mobile Systems, 2019

Keep Others from Peeking at Your Mobile Device Screen!
Proceedings of the 25th Annual International Conference on Mobile Computing and Networking, 2019

Incrementally-deployable Indoor Navigation with Automatic Trace Generation.
Proceedings of the 2019 IEEE Conference on Computer Communications, 2019

Interference Recycling: Exploiting Interfering Signals to Enhance Data Transmission.
Proceedings of the 2019 IEEE Conference on Computer Communications, 2019

Crowd-Flow Graph Construction and Identification with Spatio-Temporal Signal Feature Fusion.
Proceedings of the 2019 IEEE Conference on Computer Communications, 2019

Environment-aware estimation of battery state-of-charge for mobile devices.
Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems, 2019

How Do Non-Ideal UAV Antennas Affect Air-to-Ground Communications?
Proceedings of the 2019 IEEE International Conference on Communications, 2019

Adaptive Battery Diagnosis/Prognosis for Efficient Operation.
Proceedings of the Tenth ACM International Conference on Future Energy Systems, 2019

Design Optimization of Frame Preemption in Real-Time Switched Ethernet.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

Optimal Design and Management of a Hybrid Energy Storage System.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Exploiting Sound Masking for Audio Privacy in Smartphones.
Proceedings of the 2019 ACM Asia Conference on Computer and Communications Security, 2019

LibreCAN: Automated CAN Message Translator.
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019

2018
SoH-Aware Reconfiguration in Battery Packs.
IEEE Trans. Smart Grid, 2018

Distributed Packet Forwarding and Caching Based on Stochastic Network Utility Maximization.
IEEE/ACM Trans. Netw., 2018

Use of Phone Sensors to Enhance Distracted Pedestrians' Safety.
IEEE Trans. Mob. Comput., 2018

Automatic Identification of Driver's Smartphone Exploiting Common Vehicle-Riding Actions.
IEEE Trans. Mob. Comput., 2018

Cell Association in Dense Heterogeneous Cellular Networks.
IEEE Trans. Mob. Comput., 2018

Post-CCA and Reinforcement Learning Based Bandwidth Adaptation in 802.11ac Networks.
IEEE Trans. Mob. Comput., 2018

Thermal-Aware Resource Management for Embedded Real-Time Systems.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018

ClusterFetch: A Lightweight Prefetcher for Intensive Disk Reads.
IEEE Trans. Computers, 2018

Wearable Technology brings Security to Alexa and Siri.
GetMobile Mob. Comput. Commun., 2018

Geomagnetism for Smartphone-Based Indoor Localization: Challenges, Advances, and Comparisons.
ACM Comput. Surv., 2018

Who Killed My Parked Car?
CoRR, 2018

Dynamic Interference Steering in Heterogeneous Cellular Networks.
IEEE Access, 2018

Polisis: Automated Analysis and Presentation of Privacy Policies Using Deep Learning.
Proceedings of the 27th USENIX Security Symposium, 2018

Maximizing Quality of Aggregation in WSNs under Deadline and Interference Constraints.
Proceedings of the 15th Annual IEEE International Conference on Sensing, 2018

Closing the Gap Between Stability and Schedulability: A New Task Model for Cyber-Physical Systems.
Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, 2018

Physical-State-Aware Dynamic Slack Management for Mixed-Criticality Systems.
Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, 2018

MUCA: New Routing for Named Data Networking.
Proceedings of the 2018 IFIP Networking Conference and Workshops, 2018

Cross-Platform Support for Rapid Development of Mobile Acoustic Sensing Applications.
Proceedings of the 16th Annual International Conference on Mobile Systems, 2018

(Re)Configuring Bike Station Network via Crowdsourced Information Fusion and Joint Optimization.
Proceedings of the Nineteenth ACM International Symposium on Mobile Ad Hoc Networking and Computing, 2018

Steering Crowdsourced Signal Map Construction via Bayesian Compressive Sensing.
Proceedings of the 2018 IEEE Conference on Computer Communications, 2018

Poster abstract: Routing meets caching in named data networks.
Proceedings of the IEEE INFOCOM 2018, 2018

A Fast and Memory-Efficient Trie Structure for Name-Based Packet Forwarding.
Proceedings of the 2018 IEEE 26th International Conference on Network Protocols, 2018

An Optimization Method for Multi-Operator and Mixed-Traffic LTE Deployments in the Unlicensed Bands.
Proceedings of the IEEE Global Communications Conference, 2018

Wireless CSI-based head tracking in the driver seat.
Proceedings of the 14th International Conference on emerging Networking EXperiments and Technologies, 2018

Power Savings with CoMP Technology in Cellular Networks.
Proceedings of the 2018 IEEE International Conference on Big Data and Smart Computing, 2018

2017
Decentralized Memory Disaggregation Over Low-Latency Networks.
login Usenix Mag., 2017

Coverage Analysis of Multi-Stream MIMO HetNets With MRC Receivers.
IEEE Trans. Wirel. Commun., 2017

Transmit Power Control for D2D-Underlaid Cellular Networks Based on Statistical Features.
IEEE Trans. Veh. Technol., 2017

Coverage Performance in Multistream MIMO-ZFBF Heterogeneous Networks.
IEEE Trans. Veh. Technol., 2017

Battery-Aware Mobile Data Service.
IEEE Trans. Mob. Comput., 2017

Joint Energy Replenishment and Operation Scheduling in Wireless Rechargeable Sensor Networks.
IEEE Trans. Ind. Informatics, 2017

A Case Study on Improving Capacity Delivery of Battery Packs via Reconfiguration.
ACM Trans. Cyber Phys. Syst., 2017

Hieroglyph: Locally-Sufficient Graph Processing via Compute-Sync-Merge.
Proc. ACM Meas. Anal. Comput. Syst., 2017

Development and use of a new task model for cyber-physical systems: A real-time scheduling perspective.
J. Syst. Softw., 2017

Adaptive transmission in heterogeneous networks.
IET Commun., 2017

Interference Steering to Manage Interference.
CoRR, 2017

How Long Will My Phone Battery Last?
CoRR, 2017

Mobile IMUs Reveal Driver's Identity From Vehicle Turns.
CoRR, 2017

Scalable Real-time Transport of Baseband Traffic.
CoRR, 2017

Performance Isolation Anomalies in RDMA.
Proceedings of the Workshop on Kernel-Bypass Networks, 2017

Efficient Memory Disaggregation with Infiniswap.
Proceedings of the 14th USENIX Symposium on Networked Systems Design and Implementation, 2017

iCharge: User-Interactive Charging of Mobile Devices.
Proceedings of the 15th Annual International Conference on Mobile Systems, 2017

Poster: Charge My Phone As I Instruct.
Proceedings of the 15th Annual International Conference on Mobile Systems, 2017

CarLab: Framework for Vehicular Data Collection and Processing.
Proceedings of the 2nd ACM International Workshop on Smart, 2017

Continuous Authentication for Voice Assistants.
Proceedings of the 23rd Annual International Conference on Mobile Computing and Networking, 2017

Efficient thermoelectric cooling for mobile devices.
Proceedings of the 2017 IEEE/ACM International Symposium on Low Power Electronics and Design, 2017

When and how much to neutralize interference?
Proceedings of the 2017 IEEE Conference on Computer Communications, 2017

Enhancing wireless performance using reflectors.
Proceedings of the 2017 IEEE Conference on Computer Communications, 2017

Battery state-of-health estimation for mobile devices.
Proceedings of the 8th International Conference on Cyber-Physical Systems, 2017

Locating and Tracking BLE Beacons with Smartphones.
Proceedings of the 13th International Conference on emerging Networking EXperiments and Technologies, 2017

Research Issues and Approaches for Connected and Automated Vehicles.
Proceedings of the Seventh ACM Conference on Data and Application Security and Privacy, 2017

Viden: Attacker Identification on In-Vehicle Networks.
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, 2017

2016
POEM: Minimizing Energy Consumption for WiFi Tethering Service.
IEEE/ACM Trans. Netw., 2016

Near-Optimal Velocity Control for Mobile Charging in Wireless Rechargeable Sensor Networks.
IEEE Trans. Mob. Comput., 2016

Fair and Efficient Coexistence of Heterogeneous Channel Widths in Next-Generation Wireless LANs.
IEEE Trans. Mob. Comput., 2016

Gradient-Based Fingerprinting for Indoor Localization and Tracking.
IEEE Trans. Ind. Electron., 2016

Eliminating Periodic Flush Overhead of File I/O with Non-Volatile Buffer Cache.
IEEE Trans. Computers, 2016

Privacy vs. Reward in Indoor Location-Based Services.
Proc. Priv. Enhancing Technol., 2016

ForcePhone: Software Lets Smartphones Sense Touch Force.
IEEE Pervasive Comput., 2016

Generalizing fixed-priority scheduling for better schedulability in mixed-criticality systems.
Inf. Process. Lett., 2016

BinderCracker: Assessing the Robustness of Android System Services.
CoRR, 2016

Performance Evaluation of MISO-SDMA in Heterogeneous Networks with Practical Cell Association.
Proceedings of the IEEE 84th Vehicular Technology Conference, 2016

Coverage Performance of MIMO-MRC in Heterogeneous Networks: A Stochastic Geometry Perspective.
Proceedings of the IEEE 84th Vehicular Technology Conference, 2016

Protecting Privacy of BLE Device Users.
Proceedings of the 25th USENIX Security Symposium, 2016

Fingerprinting Electronic Control Units for Vehicle Intrusion Detection.
Proceedings of the 25th USENIX Security Symposium, 2016

Version Traveler: Fast and Memory-Efficient Version Switching in Graph Processing Systems.
Proceedings of the 2016 USENIX Annual Technical Conference, 2016

Reducing Journaling Harm on Virtualized I/O Systems.
Proceedings of the 9th ACM International on Systems and Storage Conference, 2016

PriBots: Conversational Privacy with Chatbots.
Proceedings of the Workshop on Security Fatigue, 2016

Offline Guarantee and Online Management of Power Demand and Supply in Cyber-Physical Systems.
Proceedings of the 2016 IEEE Real-Time Systems Symposium, 2016

Prevention of information mis-translation by a malicious gateway in connected vehicles.
Proceedings of the 14th Annual Conference on Privacy, Security and Trust, 2016

Masquerade of mobile applications: Introducing unlinkability in a practical way.
Proceedings of the 14th Annual Conference on Privacy, Security and Trust, 2016

Demo: Augmenting Force-Sensing Interface to Mobile Devices with Sound.
Proceedings of the 14th Annual International Conference on Mobile Systems, 2016

Expansion of Human-Phone Interface By Sensing Structure-Borne Sound Propagation.
Proceedings of the 14th Annual International Conference on Mobile Systems, 2016

Analog man-in-the-middle attack against link-based packet source identification.
Proceedings of the 17th ACM International Symposium on Mobile Ad Hoc Networking and Computing, 2016

Decoding interfering signals with fewer receiving antennas.
Proceedings of the 35th Annual IEEE International Conference on Computer Communications, 2016

Coordinated multi-point transmissions based on interference alignment and neutralization.
Proceedings of the 35th Annual IEEE International Conference on Computer Communications, 2016

✲-Aware Charging of Lithium-Ion Battery Cells.
Proceedings of the 7th ACM/IEEE International Conference on Cyber-Physical Systems, 2016

Provisioning Statistical QoS for Coordinated Communications with Limited Feedback.
Proceedings of the 2016 IEEE Global Communications Conference, 2016

Exploiting Quantization Uncertainty for Enhancing Capacity of Limited-Feedback MISO Ad Hoc Networks.
Proceedings of the 2016 IEEE Global Communications Conference, 2016

Resting weak cells to improve battery pack's capacity delivery via reconfiguration.
Proceedings of the Seventh International Conference on Future Energy Systems, Waterloo, ON, Canada, June 21, 2016

RT-OPEX: Flexible Scheduling for Cloud-RAN Processing.
Proceedings of the 12th International on Conference on emerging Networking EXperiments and Technologies, 2016

Error Handling of In-vehicle Networks Makes Them Vulnerable.
Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, 2016

Understanding and defending the binder attack surface in Android.
Proceedings of the 32nd Annual Conference on Computer Security Applications, 2016

2015
Cooperation without Synchronization: Practical Cooperative Relaying for Wireless Networks.
IEEE Trans. Mob. Comput., 2015

Thwarting Intelligent Malicious Behaviors in Cooperative Spectrum Sensing.
IEEE Trans. Mob. Comput., 2015

Low-Overhead Control Channels in Wireless Networks.
IEEE Trans. Mob. Comput., 2015

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

Distributed Coordination of Co-Channel Femtocells via Inter-Cell Signaling With Arbitrary Delay.
IEEE J. Sel. Areas Commun., 2015

Connectivity of Cognitive Device-to-Device Communications Underlying Cellular Networks.
IEEE J. Sel. Areas Commun., 2015

Radio Resource Allocation for OFDM-Based Dynamic Spectrum Sharing: Duality Gap and Time Averaging.
IEEE J. Sel. Areas Commun., 2015

Modeling and characterization of transmission energy consumption in Machine-to-Machine networks.
Proceedings of the 2015 IEEE Wireless Communications and Networking Conference, 2015

Fast and accurate cardinality estimation in cellular-based wireless communications.
Proceedings of the 2015 IEEE Wireless Communications and Networking Conference, 2015

LinkDroid: Reducing Unregulated Aggregation of App Usage Behaviors.
Proceedings of the 24th USENIX Security Symposium, 2015

Anatomization and Protection of Mobile Apps' Location Privacy Threats.
Proceedings of the 24th USENIX Security Symposium, 2015

Modeling and Real-Time Scheduling of Large-Scale Batteries for Maximizing Performance.
Proceedings of the 2015 IEEE Real-Time Systems Symposium, 2015

Invisible Sensing of Vehicle Steering with Smartphones.
Proceedings of the 13th Annual International Conference on Mobile Systems, 2015

EchoTag: Accurate Infrastructure-Free Indoor Location Tagging with Smartphones.
Proceedings of the 21st Annual International Conference on Mobile Computing and Networking, 2015

Last-Mile Navigation Using Smartphones.
Proceedings of the 21st Annual International Conference on Mobile Computing and Networking, 2015

Differentially private and strategy-proof spectrum auction with approximate revenue maximization.
Proceedings of the 2015 IEEE Conference on Computer Communications, 2015

SPIRO: Turning elephants into mice with efficient RF transport.
Proceedings of the 2015 IEEE Conference on Computer Communications, 2015

EMS: Efficient Multicast Streaming Scheme for Multicasting within Wi-Fi Hotspot.
Proceedings of the 23rd IEEE International Conference on Network Protocols, 2015

SHARE: SoH-aware reconfiguration to enhance deliverable capacity of large-scale battery packs.
Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems, 2015

CPS approach to checking norm operation of a brake-by-wire system.
Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems, 2015

On the impact of delay constraint on the multicast outage in wireless fading environment.
Proceedings of the 2015 IEEE International Conference on Communications, 2015

Application-assisted live migration of virtual machines with Java applications.
Proceedings of the Tenth European Conference on Computer Systems, 2015

2014
Reducing Peak Power Consumption inMulti-Core Systems without ViolatingReal-Time Constraints.
IEEE Trans. Parallel Distributed Syst., 2014

Improvement of Real-Time Multi-CoreSchedulability with Forced Non-Preemption.
IEEE Trans. Parallel Distributed Syst., 2014

Fast Spectrum Shaping for Next-Generation Wireless Networks.
IEEE Trans. Mob. Comput., 2014

Preempt a Job or Not in EDF Scheduling of Uniprocessor Systems.
IEEE Trans. Computers, 2014

Rapid Prototyping and Evaluation of Intelligence Functions of Active Storage Devices.
IEEE Trans. Computers, 2014

Page Replacement for Write References in NAND Flash Based Virtual Memory Systems.
J. Comput. Sci. Eng., 2014

Improving transport design for WARP SDR deployments.
Proceedings of the 2014 ACM workshop on Software radio implementation forum, 2014

Real-Time Discharge/Charge Rate Management for Hybrid Energy Storage in Electric Vehicles.
Proceedings of the IEEE 35th IEEE Real-Time Systems Symposium, 2014

MU-MIMO downlink scheduling based on users' correlation and fairness.
Proceedings of the 25th IEEE Annual International Symposium on Personal, 2014

Differentially private spectrum auction with approximate revenue maximization.
Proceedings of the Fifteenth ACM International Symposium on Mobile Ad Hoc Networking and Computing, 2014

Measurement-based transmission schemes for network MIMO.
Proceedings of the Fifteenth ACM International Symposium on Mobile Ad Hoc Networking and Computing, 2014

Rendezvous for heterogeneous spectrum-agile devices.
Proceedings of the 2014 IEEE Conference on Computer Communications, 2014

Reliable video multicast over Wi-Fi networks with coordinated multiple APs.
Proceedings of the 2014 IEEE Conference on Computer Communications, 2014

Secure cooperative spectrum sensing and access against intelligent malicious behaviors.
Proceedings of the 2014 IEEE Conference on Computer Communications, 2014

Real-time battery thermal management for electric vehicles.
Proceedings of the ACM/IEEE International Conference on Cyber-Physical Systems, 2014

Vulnerability and Protection of Channel State Information in Multiuser MIMO Networks.
Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security, 2014

POSTER: Positioning Attack on Proximity-Based People Discovery.
Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security, 2014

Location Privacy Protection for Smartphone Users.
Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security, 2014

2013
Joint collision resolution and transmit-power adjustment for Aloha-type random access.
Wirel. Commun. Mob. Comput., 2013

Robust Tracking of Small-Scale Mobile Primary User in Cognitive Radio Networks.
IEEE Trans. Parallel Distributed Syst., 2013

Cooperative Carrier Signaling: Harmonizing Coexisting WPAN and WLAN Devices.
IEEE/ACM Trans. Netw., 2013

Delay-Optimal Broadcast for Multihop Wireless Networks Using Self-Interference Cancellation.
IEEE Trans. Mob. Comput., 2013

Joint Optimal Sensor Selection and Scheduling in Dynamic Spectrum Access Networks.
IEEE Trans. Mob. Comput., 2013

Maximizing Transmission Opportunities in Wireless Multihop Networks.
IEEE Trans. Mob. Comput., 2013

Mobile Autonomous Router System for Dynamic (Re)formation of Wireless Relay Networks.
IEEE Trans. Mob. Comput., 2013

Optimal Online Sensing Sequence in Multichannel Cognitive Radio Networks.
IEEE Trans. Mob. Comput., 2013

Agent-based modeling of malware dynamics in heterogeneous environments.
Secur. Commun. Networks, 2013

What Should Secondary Users Do Upon Incumbents' Return?
IEEE J. Sel. Areas Commun., 2013

Hierarchical Market Competition in a Duopoly Super Wi-Fi Spectrum Market.
IEEE J. Sel. Areas Commun., 2013

Ergodic Sum Capacity of Spectrum-Sharing Multiple Access with Collision Metric.
IEEE J. Sel. Areas Commun., 2013

On Selfish Configuration in Wi-Fi Tethering.
IEEE Commun. Lett., 2013

Enhanced cognitive Radio Resource Management for LTE systems.
Proceedings of the 9th IEEE International Conference on Wireless and Mobile Computing, 2013

An Enhanced Spectrum Resource Allocation Algorithm for Femtocells.
Proceedings of the 78th IEEE Vehicular Technology Conference, 2013

MutantX-S: Scalable Malware Clustering Based on Static Features.
Proceedings of the 2013 USENIX Annual Technical Conference, 2013

Distributed association control in shared wireless networks.
Proceedings of the 10th Annual IEEE International Conference on Sensing, 2013

Schedulability Analysis for a Mode Transition in Real-Time Multi-core Systems.
Proceedings of the IEEE 34th Real-Time Systems Symposium, 2013

Design and Management of Satellite Power Systems.
Proceedings of the IEEE 34th Real-Time Systems Symposium, 2013

Predicting thermal behavior for temperature management in time-critical multicore systems.
Proceedings of the 19th IEEE Real-Time and Embedded Technology and Applications Symposium, 2013

NEMOx: scalable network MIMO for wireless networks.
Proceedings of the 19th Annual International Conference on Mobile Computing and Networking, 2013

Gap Sense: Lightweight coordination of heterogeneous wireless devices.
Proceedings of the IEEE INFOCOM 2013, Turin, Italy, April 14-19, 2013, 2013

Defeating heterogeneity in wireless multicast networks.
Proceedings of the IEEE INFOCOM 2013, Turin, Italy, April 14-19, 2013, 2013

Real-time prediction of battery power requirements for electric vehicles.
Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems (with CPS Week 2013), 2013

On authentication in a connected vehicle: secure integration of mobile devices with vehicular networks.
Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems (with CPS Week 2013), 2013

CogWnet: A Resource Management Architecture for Cognitive Wireless Networks.
Proceedings of the 22nd International Conference on Computer Communication and Networks, 2013

Tradeoffs in compressing virtual machine checkpoints.
Proceedings of the 7th International Workshop on Virtualization Technologies in Distributed Computing, 2013

Towards a Fault-Resilient Cloud Management Stack.
Proceedings of the 5th USENIX Workshop on Hot Topics in Cloud Computing, 2013

Secure cooperative spectrum sensing in cognitive radio networks using interference signatures.
Proceedings of the IEEE Conference on Communications and Network Security, 2013

LISA: Location information ScrAmbler for privacy protection on smartphones.
Proceedings of the IEEE Conference on Communications and Network Security, 2013

On fault resilience of OpenStack.
Proceedings of the ACM Symposium on Cloud Computing, SOCC '13, 2013

DUET: integration of dynamic and static analyses for malware clustering with cluster ensembles.
Proceedings of the Annual Computer Security Applications Conference, 2013

2012
Application-aware dynamic spectrum access.
Wirel. Networks, 2012

Privacy protection for users of location-based services.
IEEE Wirel. Commun., 2012

DSASync: Managing End-to-End Connections in Dynamic Spectrum Access Wireless LANs.
IEEE/ACM Trans. Netw., 2012

Distributed Resource Allocation Based on Queue Balancing in Multihop Cognitive Radio Networks.
IEEE/ACM Trans. Netw., 2012

E-MiLi: Energy-Minimizing Idle Listening in Wireless Networks.
IEEE Trans. Mob. Comput., 2012

Exploiting Spectrum Heterogeneity in Dynamic Spectrum Market.
IEEE Trans. Mob. Comput., 2012

Admission and Eviction Control of Cognitive Radio Users at Wi-Fi 2.0 Hotspots.
IEEE Trans. Mob. Comput., 2012

DESA: Dependable, Efficient, Scalable Architecture for Management of Large-Scale Batteries.
IEEE Trans. Ind. Informatics, 2012

Attack Prevention for Collaborative Spectrum Sensing in Cognitive Radio Networks.
IEEE J. Sel. Areas Commun., 2012

Efficient Distributed Linear Classification Algorithms via the Alternating Direction Method of Multipliers.
Proceedings of the Fifteenth International Conference on Artificial Intelligence and Statistics, 2012

Improving Application Launch Performance on Solid State Drives.
J. Comput. Sci. Technol., 2012

QoS provisioning for large-scale multi-ap WLANs.
Ad Hoc Networks, 2012

Design of SMS commanded-and-controlled and P2P-structured mobile botnets.
Proceedings of the Fifth ACM Conference on Security and Privacy in Wireless and Mobile Networks, 2012

ARCHoN: Adaptive range control of hotzone cells in heterogeneous cellular networks.
Proceedings of the 9th Annual IEEE Communications Society Conference on Sensor, 2012

Generalized geometry-based optimal power control in wireless networks.
Proceedings of the 9th Annual IEEE Communications Society Conference on Sensor, 2012

Controlling Preemption for Better Schedulability in Multi-Core Systems.
Proceedings of the 33rd IEEE Real-Time Systems Symposium, 2012

Building efficient spectrum-agile devices for dummies.
Proceedings of the 18th Annual International Conference on Mobile Computing and Networking, 2012

Open WiFi networks: Lethal weapons for botnets?
Proceedings of the IEEE INFOCOM 2012, Orlando, FL, USA, March 25-30, 2012, 2012

Pack Sizing and Reconfiguration for Management of Large-Scale Batteries.
Proceedings of the 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems, 2012

Exploiting interference locality in coordinated multi-point transmission systems.
Proceedings of IEEE International Conference on Communications, 2012

Profiling Software for Energy Consumption.
Proceedings of the 2012 IEEE International Conference on Green Computing and Communications, 2012

On time-domain coexistence of unlicensed and licensed spectrum users.
Proceedings of the IEEE International Symposium on Dynamic Spectrum Access Networks, 2012

2011
Analysis of QoS Provisioning in Cognitive Radio Networks: A Case Study.
Wirel. Pers. Commun., 2011

Rate-Control and Queueing of Backhaul Downstream Traffic for Mobile Wireless Systems.
Wirel. Pers. Commun., 2011

Opportunistic Access of TV Spectrum Using Cognitive-Radio-Enabled Cellular Networks.
IEEE Trans. Veh. Technol., 2011

Self-reconfigurable wireless mesh networks.
IEEE/ACM Trans. Netw., 2011

Joint Spectrum Allocation and Power Control for Multihop Cognitive Radio Networks.
IEEE Trans. Mob. Comput., 2011

Secure Cooperative Sensing in IEEE 802.22 WRANs Using Shadow Fading Correlation.
IEEE Trans. Mob. Comput., 2011

MODELZ: Monitoring, Detection, and Analysis of Energy-Greedy Anomalies in Mobile Handsets.
IEEE Trans. Mob. Comput., 2011

A Lightweight Passive Online Detection Method for Pinpointing Misbehavior in WLANs.
IEEE Trans. Mob. Comput., 2011

Adaptive Interference Management of OFDMA Femtocells for Co-Channel Deployment.
IEEE J. Sel. Areas Commun., 2011

Detection of Small-Scale Primary Users in Cognitive Radio Networks.
IEEE J. Sel. Areas Commun., 2011

Thermal-Aware Scheduling of Critical Applications Using Job Migration and Power-Gating on Multi-core Chips.
Proceedings of the IEEE 10th International Conference on Trust, 2011

TGIS: Booting Trust for Secure Information Sharing in Dynamic Group Collaborations.
Proceedings of the PASSAT/SocialCom 2011, Privacy, 2011

Enabling coexistence of heterogeneous wireless systems: case for ZigBee and WiFi.
Proceedings of the 12th ACM Interational Symposium on Mobile Ad Hoc Networking and Computing, 2011

A case for the coexistence of heterogeneous wireless networks.
Proceedings of the 3rd ACM workshop on Wireless of the students, 2011

Measuring the effectiveness of infrastructure-level detection of large-scale botnets.
Proceedings of the 19th International Workshop on Quality of Service, 2011

Opportunistic spectrum access for mobile cognitive radios.
Proceedings of the INFOCOM 2011. 30th IEEE International Conference on Computer Communications, 2011

Good guys vs. Bot Guise: Mimicry attacks against fast-flux detection systems.
Proceedings of the INFOCOM 2011. 30th IEEE International Conference on Computer Communications, 2011

Wi-Fi 2.0: Price and quality competitions of duopoly cognitive radio wireless service providers with time-varying spectrum availability.
Proceedings of the INFOCOM 2011. 30th IEEE International Conference on Computer Communications, 2011

Measurement and analysis of global IP-usage patterns of fast-flux botnets.
Proceedings of the INFOCOM 2011. 30th IEEE International Conference on Computer Communications, 2011

Adaptive Subcarrier Nulling: Enabling partial spectrum sharing in wireless LANs.
Proceedings of the 19th annual IEEE International Conference on Network Protocols, 2011

Out-of-band sensing with ZigBee for dynamic channel assignment in on-the-move hotspots.
Proceedings of the 19th annual IEEE International Conference on Network Protocols, 2011

Sidekick: AP aggregation over partially overlapping channels.
Proceedings of the 19th annual IEEE International Conference on Network Protocols, 2011

Efficient Sensing Matters a Lot for Large-Scale Batteries.
Proceedings of the 2011 IEEE/ACM International Conference on Cyber-Physical Systems, 2011

Maestro: quality-of-service in large disk arrays.
Proceedings of the 8th International Conference on Autonomic Computing, 2011

FAST: Quick Application Launch on Solid-State Drives.
Proceedings of the 9th USENIX Conference on File and Storage Technologies, 2011

2010
Cognitive radios for dynamic spectrum access: from concept to reality.
IEEE Wirel. Commun., 2010

Understanding Wi-Fi 2.0: from the economical perspective of wireless service providers.
IEEE Wirel. Commun., 2010

Geometry-based optimal power control of fading multiple access channels for maximum sum-rate in cognitive radio networks.
IEEE Trans. Wirel. Commun., 2010

In-Band Spectrum Sensing in IEEE 802.22 WRANs for Incumbent Protection.
IEEE Trans. Mob. Comput., 2010

Maximum Achievable Throughput in Multiband Multiantenna Wireless Mesh Networks.
IEEE Trans. Mob. Comput., 2010

On predictive routing of security contexts in an all-IP network.
Secur. Commun. Networks, 2010

Integration of Collaborative Analyses for Development of Embedded Control Software.
Proc. IEEE, 2010

LiteGreen: Saving Energy in Networked Desktops Using Virtualization.
Proceedings of the 2010 USENIX Annual Technical Conference, 2010

Managing TCP Connections in Dynamic Spectrum Access Based Wireless LANs.
Proceedings of the Seventh Annual IEEE Communications Society Conference on Sensor, 2010

CTRL: a self-organizing femtocell management architecture for co-channel deployment.
Proceedings of the 16th Annual International Conference on Mobile Computing and Networking, 2010

Sybot: an adaptive and mobile spectrum survey system for wifi networks.
Proceedings of the 16th Annual International Conference on Mobile Computing and Networking, 2010

Chorus: Collision Resolution for Efficient Wireless Broadcast.
Proceedings of the INFOCOM 2010. 29th IEEE International Conference on Computer Communications, 2010

DAC: Distributed Asynchronous Cooperation for Wireless Relay Networks.
Proceedings of the INFOCOM 2010. 29th IEEE International Conference on Computer Communications, 2010

Multihop Transmission Opportunity in Wireless Multihop Networks.
Proceedings of the INFOCOM 2010. 29th IEEE International Conference on Computer Communications, 2010

Spatio-Temporal Fusion for Small-scale Primary Detection in Cognitive Radio Networks.
Proceedings of the INFOCOM 2010. 29th IEEE International Conference on Computer Communications, 2010

Asymmetry-Aware Real-Time Distributed Joint Resource Allocation in IEEE 802.22 WRANs.
Proceedings of the INFOCOM 2010. 29th IEEE International Conference on Computer Communications, 2010

M-Polar: Channel Allocation for Throughput Maximization in SDR Mesh Networks.
Proceedings of the INFOCOM 2010. 29th IEEE International Conference on Computer Communications, 2010

Dependable, efficient, scalable architecture for management of large-scale batteries.
Proceedings of the ACM/IEEE 1st International Conference on Cyber-Physical Systems, 2010

Application-Layer Intrusion Detection in MANETs.
Proceedings of the 43rd Hawaii International International Conference on Systems Science (HICSS-43 2010), 2010

Detection of botnets using combined host- and network-level information.
Proceedings of the 2010 IEEE/IFIP International Conference on Dependable Systems and Networks, 2010

2009
On accurate and asymmetry-aware measurement of link quality in wireless mesh networks.
IEEE/ACM Trans. Netw., 2009

Throughput Behavior in Multihop Multiantenna Wireless Networks.
IEEE Trans. Mob. Comput., 2009

What does control theory bring to systems research?
ACM SIGOPS Oper. Syst. Rev., 2009

An Optimal Sensing Framework Based on Spatial RSS-profile in Cognitive Radio Networks.
Proceedings of the Sixth Annual IEEE Communications Society Conference on Sensor, 2009

Optimal Admission and Eviction Control of Secondary Users at Cognitive Radio HotSpots.
Proceedings of the Sixth Annual IEEE Communications Society Conference on Sensor, 2009

Scheduling of Battery Charge, Discharge, and Rest.
Proceedings of the 30th IEEE Real-Time Systems Symposium, 2009

Post-Deployment Performance Debugging in Wireless Sensor Networks.
Proceedings of the 30th IEEE Real-Time Systems Symposium, 2009

On Dynamic Reconfiguration of a Large-Scale Battery System.
Proceedings of the 15th IEEE Real-Time and Embedded Technology and Applications Symposium, 2009

RB-Seeker: Auto-detection of Redirection Botnets.
Proceedings of the Network and Distributed System Security Symposium, 2009

Impact of mobility on spectrum sensing in cognitive radio networks.
Proceedings of the 2009 ACM Workshop on Cognitive Radio Networks, CoRoNet 2009, Beijing, 2009

Predictive routing of contexts in an overlay network.
Proceedings of the Integrated Network Management, 2009

Attack-Tolerant Distributed Sensing for Dynamic Spectrum Access Networks.
Proceedings of the 17th annual IEEE International Conference on Network Protocols, 2009

A Case Study of QoS Provisioning in TV-Band Cognitive Radio Networks.
Proceedings of the 18th International Conference on Computer Communications and Networks, 2009

GHVR: One-to-One Gradient-Height Vector Routing in Wireless Mesh Networks.
Proceedings of the 42st Hawaii International International Conference on Systems Science (HICSS-42 2009), 2009

Automated control of multiple virtualized resources.
Proceedings of the 2009 EuroSys Conference, Nuremberg, Germany, April 1-3, 2009, 2009

Large-scale malware indexing using function-call graphs.
Proceedings of the 2009 ACM Conference on Computer and Communications Security, 2009

2008
Efficient Discovery of Spectrum Opportunities with MAC-Layer Sensing in Cognitive Radio Networks.
IEEE Trans. Mob. Comput., 2008

OS-MAC: An Efficient MAC Protocol for Spectrum-Agile Wireless Networks.
IEEE Trans. Mob. Comput., 2008

Distributed Authentication of Program Integrity Verification in Wireless Sensor Networks.
ACM Trans. Inf. Syst. Secur., 2008

Attack-tolerant localization via iterative verification of locations in sensor networks.
ACM Trans. Embed. Comput. Syst., 2008

Secure routing based on distributed key sharing in large-scale sensor networks.
ACM Trans. Embed. Comput. Syst., 2008

Impact of RTOS parameters on end-to-end timing performance.
SIGBED Rev., 2008

Energy-conservation in 802.11 WLANs via transmission-strategy-aware airtime allocation.
Comput. Networks, 2008

Using hypervisor to provide data secrecy for user applications on a per-page basis.
Proceedings of the 4th International Conference on Virtual Execution Environments, 2008

Containment of network worms via per-process rate-limiting.
Proceedings of the 4th International ICST Conference on Security and Privacy in Communication Networks, 2008

ARCMA: attack-resilient collaborative message authentication in wireless sensor networks.
Proceedings of the 4th International ICST Conference on Security and Privacy in Communication Networks, 2008

On capturing malware dynamics in mobile power-law networks.
Proceedings of the 4th International ICST Conference on Security and Privacy in Communication Networks, 2008

An Optimal Transmission Strategy for IEEE 802.11 Wireless LANs: Stochastic Control Approach.
Proceedings of the Fifth Annual IEEE Communications Society Conference on Sensor, 2008

OPAG: Opportunistic Data Aggregation in Wireless Sensor Networks.
Proceedings of the 29th IEEE Real-Time Systems Symposium, 2008

Detecting energy-greedy anomalies and mobile malware variants.
Proceedings of the 6th International Conference on Mobile Systems, 2008

Behavioral detection of malware on mobile handsets.
Proceedings of the 6th International Conference on Mobile Systems, 2008

In-band spectrum sensing in cognitive radio networks: energy detection or feature detection?
Proceedings of the 14th Annual International Conference on Mobile Computing and Networking, 2008

Exploiting Multi-Channel Diversity in Spectrum-Agile Networks.
Proceedings of the INFOCOM 2008. 27th IEEE International Conference on Computer Communications, 2008

Attack-Tolerant Time-Synchronization in Wireless Sensor Networks.
Proceedings of the INFOCOM 2008. 27th IEEE International Conference on Computer Communications, 2008

Power-Adjusted Random Access to a Wireless Channel.
Proceedings of the INFOCOM 2008. 27th IEEE International Conference on Computer Communications, 2008

On the Achievable Throughput of Multi-Band Multi-Antenna Wireless Mesh Networks.
Proceedings of the Global Communications Conference, 2008. GLOBECOM 2008, New Orleans, LA, USA, 30 November, 2008

2007
Smooth handoff with enhanced packet buffering-and-forwarding in wireless/mobile networks.
Wirel. Networks, 2007

Online Web Cluster Capacity Estimation and Its Application to Energy Conservation.
IEEE Trans. Parallel Distributed Syst., 2007

Defense against spoofed IP traffic using hop-count filtering.
IEEE/ACM Trans. Netw., 2007

Interference analysis and transmit power control in IEEE 802.11a/h wireless LANs.
IEEE/ACM Trans. Netw., 2007

Maximizing Communication Concurrency via Link-Layer Packet Salvaging in Mobile Ad Hoc Networks.
IEEE Trans. Mob. Comput., 2007

Aggregating Bandwidth for Multihomed Mobile Collaborative Communities.
IEEE Trans. Mob. Comput., 2007

PRISM: Improving the Performance of Inverse-Multiplexed TCP in Wireless Networks.
IEEE Trans. Mob. Comput., 2007

What and how much to gain by spectrum agility?
IEEE J. Sel. Areas Commun., 2007

NetDraino: Saving Network Resources via Selective Packet Drops.
J. Comput. Sci. Eng., 2007

Eve: a measurement-centric emulation environment for adaptive internet servers.
Proceedings of the 2007 Spring Simulation Multiconference, 2007

Integrating Virtual Execution Platform for Accurate Analysis in Distributed Real-Time Control System Development.
Proceedings of the 28th IEEE Real-Time Systems Symposium (RTSS 2007), 2007

Energy-efficient airtime allocation in multi-rate multi-power-level wireless LANs.
Proceedings of the 4th International ICST Conference on Heterogeneous Networking for Quality, 2007

Partial Disk Failures: Using Software to Analyze Physical Damage.
Proceedings of the 24th IEEE Conference on Mass Storage Systems and Technologies (MSST 2007), 2007

Characterization and analysis of multi-hop wireless MIMO network throughput.
Proceedings of the 8th ACM Interational Symposium on Mobile Ad Hoc Networking and Computing, 2007

Towards context-aware wireless spectrum agility.
Proceedings of the 13th Annual International Conference on Mobile Computing and Networking, 2007

Self-healing multi-radio wireless mesh networks.
Proceedings of the 13th Annual International Conference on Mobile Computing and Networking, 2007

Adaptive control of virtualized resources in utility computing environments.
Proceedings of the 2007 EuroSys Conference, Lisbon, Portugal, March 21-23, 2007, 2007

Virtualization-Based Techniques for Enabling Multi-tenant Management Tools.
Proceedings of the Managing Virtualization of Networks and Services, 2007

Internet routing resilience to failures: analysis and implications.
Proceedings of the 2007 ACM Conference on Emerging Network Experiment and Technology, 2007

An Experimental Approach to Spectrum Sensing in Cognitive Radio Networks with Off-the-Shelf IEEE 802.11 Devices.
Proceedings of the 4th IEEE Consumer Communications and Networking Conference, 2007

Content-Sharing for Dummies: A Secure and Usable Mechanism in Wi-Fi Infrastructure Home Networks.
Proceedings of the 4th IEEE Consumer Communications and Networking Conference, 2007

2006
Task Construction for Model-Based Design of Embedded Control Software.
IEEE Trans. Software Eng., 2006

Sapphire: Statistical Characterization and Model-Based Adaptation of Networked Applications.
IEEE Trans. Parallel Distributed Syst., 2006

On the role and controllability of persistent clients in traffic aggregates.
IEEE/ACM Trans. Netw., 2006

Contention-based airtime usage control in multirate IEEE 802.11 wireless LANs.
IEEE/ACM Trans. Netw., 2006

Online feedback-based estimation of dynamic page service time.
SIGBED Rev., 2006

Improving aggregated channel performance through decentralized channel monitoring.
Comput. Networks, 2006

Proactive security for mobile messaging networks.
Proceedings of the 2006 ACM Workshop on Wireless Security, 2006

On Mobile Viruses Exploiting Messaging and Bluetooth Services.
Proceedings of the Second International Conference on Security and Privacy in Communication Networks and the Workshops, 2006

Design of Location Service for a Hybrid Network of Mobile Actors and Static Sensors.
Proceedings of the 27th IEEE Real-Time Systems Symposium (RTSS 2006), 2006

Node Clustering in Mobile Peer-to-Peer Multihop Networks.
Proceedings of the 4th IEEE Conference on Pervasive Computing and Communications Workshops (PerCom 2006 Workshops), 2006

System Support for Management of Networked Low-Power Sensors.
Proceedings of the Management of Integrated End-to-End Communications and Services, 2006

On accurate measurement of link quality in multi-hop wireless mesh networks.
Proceedings of the 12th Annual International Conference on Mobile Computing and Networking, 2006

Differentiated BGP Update Processing for Improved Routing Convergence.
Proceedings of the 14th IEEE International Conference on Network Protocols, 2006

Gvu: A View-Oriented Framework for Data Management in Grid Environments.
Proceedings of the High Performance Computing, 2006

On Securing Networked Real-Time Embedded Systems.
Proceedings of the Embedded and Ubiquitous Computing, International Conference, 2006

On Building a Lightweight Security Architecture for Sensor Networks.
Proceedings of the Emerging Directions in Embedded and Ubiquitous Computing, 2006

Integration of an Analysis Tool for Large-Scale Embedded Real-Time Software into a Vehicle Control Platform Development Tool Chain.
Proceedings of the 2006 International Conference on Embedded Systems & Applications, 2006

2005
IP Easy-pass: a light-weight network-edge resource access control.
IEEE/ACM Trans. Netw., 2005

End-to-end delay bounds for traffic aggregates under guaranteed-rate scheduling algorithms.
IEEE/ACM Trans. Netw., 2005

Optimal tradeoffs for location-based routing in large-scale ad hoc networks.
IEEE/ACM Trans. Netw., 2005

Soft Tamper-Proofing via Program Integrity Verification in Wireless Sensor Networks.
IEEE Trans. Mob. Comput., 2005

An Enhanced Inter-Access Point Protocol for Uniform Intra and Intersubnet Handoffs.
IEEE Trans. Mob. Comput., 2005

Best-Effort Patching for Multicast True VoD Service.
Multim. Tools Appl., 2005

FS2: dynamic data replication in free disk space for improving disk performance and energy consumption.
Proceedings of the 20th ACM Symposium on Operating Systems Principles 2005, 2005

Improving Cross-domain Authentication overWireless Local Area Networks.
Proceedings of the First International Conference on Security and Privacy for Emerging Areas in Communications Networks, 2005

Gradient-Ascending Routing via Footprints in Wireless Sensor Networks.
Proceedings of the 26th IEEE Real-Time Systems Symposium (RTSS 2005), 2005

Synthesis of Real-Time Implementations from Component-Based Software Models.
Proceedings of the 26th IEEE Real-Time Systems Symposium (RTSS 2005), 2005

Priority Refinement for Dependent Tasks in Large Embedded Real-Time Software.
Proceedings of the 11th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2005), 2005

Context-aware metadata creation in a heterogeneous mobile environment.
Proceedings of the Network and Operating System Support for Digital Audio and Video, 2005

Improving TCP performance over wireless networks with collaborative multi-homed mobile hosts.
Proceedings of the 3rd International Conference on Mobile Systems, 2005

Link-layer salvaging for making routing progress in mobile ad hoc networks.
Proceedings of the 6th ACM Interational Symposium on Mobile Ad Hoc Networking and Computing, 2005

Energy-efficient self-adapting online linear forecasting for wireless sensor network applications.
Proceedings of the IEEE 2nd International Conference on Mobile Adhoc and Sensor Systems, 2005

Model-Checking of Component-Based Event-Driven Real-Time Embedded Software.
Proceedings of the Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2005), 2005

Improving energy efficiency by making DRAM less randomly accessed.
Proceedings of the 2005 International Symposium on Low Power Electronics and Design, 2005

Smart power-saving mode for IEEE 802.11 wireless LANs.
Proceedings of the INFOCOM 2005. 24th Annual Joint Conference of the IEEE Computer and Communications Societies, 2005

Achieving per-stream QoS with distributed airtime allocation and admission control in IEEE 802.11e wireless LANs.
Proceedings of the INFOCOM 2005. 24th Annual Joint Conference of the IEEE Computer and Communications Societies, 2005

CONNET: Self-Controlled Access Links for Delay and Jitter Requirements.
Proceedings of the 13th IEEE International Conference on Network Protocols (ICNP 2005), 2005

SMRP: Fast Restoration of Multicast Sessions from Persistent Failures.
Proceedings of the 2005 International Conference on Dependable Systems and Networks (DSN 2005), 28 June, 2005

2004
Soft Real-Time Communication over Ethernet with Adaptive Traffic Smoothing.
IEEE Trans. Parallel Distributed Syst., 2004

Markov-chain modeling for multicast signaling delay analysis.
IEEE/ACM Trans. Netw., 2004

Resynchronization and controllability of bursty service requests.
IEEE/ACM Trans. Netw., 2004

Stateful distributed interposition.
ACM Trans. Comput. Syst., 2004

Checking consistency in multimedia synchronization constraints.
IEEE Trans. Multim., 2004

Analysis of Adaptive Bandwidth Allocation in Wireless Networks with Multilevel Degradable Quality of Service.
IEEE Trans. Mob. Comput., 2004

LiSP: A lightweight security protocol for wireless sensor networks.
ACM Trans. Embed. Comput. Syst., 2004

Change-Point Monitoring for the Detection of DoS Attacks.
IEEE Trans. Dependable Secur. Comput., 2004

Power-stepped protocol: enhancing spatial utilization in a clustered mobile ad hoc network.
IEEE J. Sel. Areas Commun., 2004

Robust TCP congestion recovery.
J. High Speed Networks, 2004

Early-stage performance modeling and its application for integrated embedded control software design.
Proceedings of the Fourth International Workshop on Software and Performance, 2004

On-Line Dynamic Voltage Scaling for Hard Real-Time Systems Using the EDF Algorithm.
Proceedings of the 25th IEEE Real-Time Systems Symposium (RTSS 2004), 2004

Component Allocation with Multiple Resource Constraints for Large Embedded Real-Time Software Design.
Proceedings of the 10th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2004), 2004

Software-Hardware Cooperative Power Management for Main Memory.
Proceedings of the Power-Aware Computer Systems, 4th International Workshop, 2004

Distributed Channel Monitoring for Wireless Bandwidth Aggregation.
Proceedings of the NETWORKING 2004, 2004

Coordinated aggregate scheduling for improving end-to-end delay performance.
Proceedings of the Quality of Service, 2004

Paving the first mile for QoS-dependent applications and appliances.
Proceedings of the Quality of Service, 2004

On the Modeling and Optimization of Discontinuous Network Congestion Control Systems.
Proceedings of the Proceedings IEEE INFOCOM 2004, 2004

IP Easy-pass: Edge Resource Access Control.
Proceedings of the Proceedings IEEE INFOCOM 2004, 2004

The Impact of Concurrency Gains on the Analysis and Control of Multi-threaded Internet Services.
Proceedings of the Proceedings IEEE INFOCOM 2004, 2004

Multi-View Modeling and Analysis of Embedded Real-Time Software with Meta-Modeling and Model Transformation.
Proceedings of the 8th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2004), 2004

TCP performance under aggregate fair queueing.
Proceedings of the Global Telecommunications Conference, 2004. GLOBECOM '04, Dallas, Texas, USA, 29 November, 2004

Handheld Routers: Intelligent Bandwidth Aggregation for Mobile Collaborative Communities.
Proceedings of the 1st International Conference on Broadband Networks (BROADNETS 2004), 2004

2003
Transport-Aware IP Routers: A Built-In Protection Mechanism to Counter DDoS Attacks.
IEEE Trans. Parallel Distributed Syst., 2003

Statistical Real-Time Communication over Ethernet.
IEEE Trans. Parallel Distributed Syst., 2003

Delay analysis of feedback-synchronization signaling for multicast flow control.
IEEE/ACM Trans. Netw., 2003

A Fault-Tolerant Scheduling Algorithm for Real-Time Periodic Tasks with Possible Software Faults.
IEEE Trans. Computers, 2003

User-Level QoS-Adaptive Resource Management in Server End-Systems.
IEEE Trans. Computers, 2003

Evolution of the Internet QoS and support for soft real-time applications.
Proc. IEEE, 2003

Energy-efficient PCF operation of IEEE 802.11a WLANs via transmit power control.
Comput. Networks, 2003

Assured forwarding fairness using equation-based packet marking and packet separation.
Comput. Networks, 2003

Design and Implementation of Power-Aware Virtual Memory.
Proceedings of the General Track: 2003 USENIX Annual Technical Conference, 2003

Persistent dropping: an efficient control of traffic aggregates.
Proceedings of the ACM SIGCOMM 2003 Conference on Applications, 2003

An End-to-End Tool Chain for Multi-View Modeling and Analysis of Avionics Mission Computing Software.
Proceedings of the 24th IEEE Real-Time Systems Symposium (RTSS 2003), 2003

On Soft Real-Time Guarantees on Ethernet.
Proceedings of the Real-Time and Embedded Computing Systems and Applications, 2003

Improving Scalability of Task Allocation and Scheduling in Large Distributed Real-Time Systems Using Shared Buffers.
Proceedings of the 9th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2003), 2003

A Model-Based Approach to System-Level Dependency and Real-Time Analysis of Embedded Software.
Proceedings of the 9th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2003), 2003

RT-WLAN: a soft real-time extension to ORiNOCO Linux device driver.
Proceedings of the IEEE 14th International Symposium on Personal, 2003

MiSer: an optimal low-energy transmission strategy for IEEE 802.11a/h.
Proceedings of the Ninth Annual International Conference on Mobile Computing and Networking, 2003

Improving Dependability of Real-Time Communication with Preplanned Backup Routes and Spare Resource Pool.
Proceedings of the Quality of Service, 2003

Statistical Characterization for Per-hop QoS.
Proceedings of the Quality of Service, 2003

Algorithms for effective variable bit rate traffic smoothing.
Proceedings of the 22nd IEEE International Performance Computing and Communications Conference, 2003

An Integrated Approach to Modeling and Analysis of Embedded Real-Time Systems Based on Timed Petri Net.
Proceedings of the 23rd International Conference on Distributed Computing Systems (ICDCS 2003), 2003

UMAV: A Simple Enhancement to the IEEE 802.11 DCF.
Proceedings of the 36th Hawaii International Conference on System Sciences (HICSS-36 2003), 2003

Integrated Modeling and Analysis of Computer-Based Embedded Control Systems.
Proceedings of the 10th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2003), 2003

Transforming Structural Model to Runtime Model of Embedded Software with Real-Time Constraints.
Proceedings of the 2003 Design, 2003

Hop-count filtering: an effective defense against spoofed DDoS traffic.
Proceedings of the 10th ACM Conference on Computer and Communications Security, 2003

Multiagent planning for agents with internal execution resource constraints.
Proceedings of the Second International Joint Conference on Autonomous Agents & Multiagent Systems, 2003

Resource allocation for a limited real-time agent.
Proceedings of the Second International Joint Conference on Autonomous Agents & Multiagent Systems, 2003

2002
Constructing reconfigurable software for machine control systems.
IEEE Trans. Robotics Autom., 2002

Adaptive Bandwidth Reservation and Admission Control in QoS-Sensitive Cellular Networks.
IEEE Trans. Parallel Distributed Syst., 2002

Performance Guarantees for Web Server End-Systems: A Control-Theoretical Approach.
IEEE Trans. Parallel Distributed Syst., 2002

Scalable flow control for multicast ABR services in ATM networks.
IEEE/ACM Trans. Netw., 2002

The BLUE active queue management algorithms.
IEEE/ACM Trans. Netw., 2002

Goodput Analysis and Link Adaptation for IEEE 802.11a Wireless LANs.
IEEE Trans. Mob. Comput., 2002

Robust Adaptive Metrics for Deadline Assignment in Distributed Hard Real-Time Systems.
Real Time Syst., 2002

Hybrid Broadcast for the Video-on-Demand Service.
J. Comput. Sci. Technol., 2002

Multicast Video-on-Demand services.
Comput. Commun. Rev., 2002

Improving Wait-Free Algorithms for Interprocess Communication in Embedded Real-Time Systems.
Proceedings of the General Track: 2002 USENIX Annual Technical Conference, 2002

Layer-4 Service Differentiation and Resource Isolation.
Proceedings of the 8th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2002), 2002

Measurement of OS Services and Its Application to Performance Modeling and Analysis of Integrated Embedded Software.
Proceedings of the 8th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2002), 2002

Detecting SYN Flooding Attacks.
Proceedings of the Proceedings IEEE INFOCOM 2002, 2002

Energy-Efficient PCF Operation of IEEE 802.11a Wireless LAN.
Proceedings of the Proceedings IEEE INFOCOM 2002, 2002

Equation-Based Packet Marking for Assured Forwarding Services.
Proceedings of the Proceedings IEEE INFOCOM 2002, 2002

Analysis of Combined Adaptive Bandwidth Allocation and Admission Control in Wireless Networks.
Proceedings of the Proceedings IEEE INFOCOM 2002, 2002

Analysis of Event-Driven Real-Time Systems with Time Petri Nets: A Translation-Based Approach.
Proceedings of the Design and Analysis of Distributed Embedded Systems, IFIP 17<sup>th</sup> World Computer Congress, 2002

SYN-dog: Sniffing SYN Flooding Sources.
Proceedings of the 22nd International Conference on Distributed Computing Systems (ICDCS'02), 2002

2001
A class of adaptive hybrid ARQ schemes for wireless links.
IEEE Trans. Veh. Technol., 2001

EMERALDS: A Small-Memory Real-Time Microkernel.
IEEE Trans. Software Eng., 2001

All-to-All Personalized Communication in Multidimensional Torus and Mesh Networks.
IEEE Trans. Parallel Distributed Syst., 2001

Real-Time Transport of MPEG Video with a Statistically Guaranteed Loss Ratio in ATM Networks.
IEEE Trans. Parallel Distributed Syst., 2001

Evaluating the impact of stale link state on quality-of-service routing.
IEEE/ACM Trans. Netw., 2001

Synchronous Bandwidth Allocation for Real-Time Communications with the Timed-Token MAC Protocol.
IEEE Trans. Computers, 2001

Trade-Off Analysis of Real-Time Control Performance and Schedulability.
Real Time Syst., 2001

What Are the Top Ten Most Influential Parallel and Distributed Processing Concepts of the Past Millenium?
J. Parallel Distributed Comput., 2001

Planning and Resource Allocation for Hard Real-time, Fault-Tolerant Plan Execution.
Auton. Agents Multi Agent Syst., 2001

Location/mobility-dependent bandwidth adaptation in QoS-sensitive cellular networks.
Proceedings of the 54th IEEE Vehicular Technology Conference, 2001

Real-Time Dynamic Voltage Scaling for Low-Power Embedded Operating Systems.
Proceedings of the 18th ACM Symposium on Operating System Principles, 2001

A DAVIC Video-on-Demand System Based on the RTSP.
Proceedings of the 2001 Symposium on Applications and the Internet (SAINT 2001), 2001

Implementing Traffic Shaping and Link Scheduling on a High-Performance Server.
Proceedings of the 7th IEEE Real-Time Technology and Applications Symposium (RTAS 2001), 30 May, 2001

Transmission of Aggregate VoD Streams Using Playback Rate.
Proceedings of the 7th IEEE Real-Time Technology and Applications Symposium (RTAS 2001), 30 May, 2001

A New Scheduling Scheme for Multicast True VoD Service.
Proceedings of the Advances in Multimedia Information Processing, 2001

BLUE: an alternative approach to active queue management.
Proceedings of the Network and Operating System Support for Digital Audio and Video, 2001

Statistical Analysis of Feedback-Synchronization Signaling Delay for Multicast Flow Control.
Proceedings of the Proceedings IEEE INFOCOM 2001, 2001

Stochastic Fair Blue: A Queue Management Algorithm for Enforcing Fairness.
Proceedings of the Proceedings IEEE INFOCOM 2001, 2001

Reconfigurable Software for Open Architecture Controllers.
Proceedings of the 2001 IEEE International Conference on Robotics and Automation, 2001

Modeling Manufacturing Control Software.
Proceedings of the 2001 IEEE International Conference on Robotics and Automation, 2001

Model-based Control for Reconfigurable Manufacturing Systems.
Proceedings of the 2001 IEEE International Conference on Robotics and Automation, 2001

Second-Order Rate-Control Based Transport Protocols.
Proceedings of the 9th International Conference on Network Protocols (ICNP 2001), 2001

Performance analysis of the interactivity for multicast true VoD service.
Proceedings of the 10th International Conference on Computer Communications and Networks, 2001

Adaptive-weighted packet scheduling for premium service.
Proceedings of the IEEE International Conference on Communications, 2001

Adaptive packet filters.
Proceedings of the Global Telecommunications Conference, 2001

Performance Evaluation of Dependable Real-Time Communication with Elastic QoS.
Proceedings of the 2001 International Conference on Dependable Systems and Networks (DSN 2001) (formerly: FTCS), 2001

Design and Evaluation of Routing Schemes for Dependable Real-Time Connections.
Proceedings of the 2001 International Conference on Dependable Systems and Networks (DSN 2001) (formerly: FTCS), 2001

2000
A comparative study of bandwidth reservation and admission control schemes in QoS-sensitive cellular networks.
Wirel. Networks, 2000

Distributed Route Selection for Establishing Real-Time Channels.
IEEE Trans. Parallel Distributed Syst., 2000

A unified wireless LAN architecture for real-time and non-real-time communication services.
IEEE/ACM Trans. Netw., 2000

MDARTS: A Multiprocessor Database Architecture for Hard Real-Time Systems.
IEEE Trans. Knowl. Data Eng., 2000

Effects of electromagnetic interference on controller-computer upsets and system stability.
IEEE Trans. Control. Syst. Technol., 2000

Design and Implementation of Efficient Message Scheduling for Controller Area Network.
IEEE Trans. Computers, 2000

Scalable Hardware Priority Queue Architectures for High-Speed Packet Switches.
IEEE Trans. Computers, 2000

Evaluation of Fault Tolerance Latency from Real-Time Application's Perspectives.
IEEE Trans. Computers, 2000

On Load Balancing in Multicomputer/Distributed Systems Equipped with Circuit or Cut-Through Switching Capability.
IEEE Trans. Computers, 2000

Period-Based Load Partitioning and Assignment for Large Real-Time Applications.
IEEE Trans. Computers, 2000

QoS Negotiation in Real-Time Systems and Its Application to Automated Flight Control.
IEEE Trans. Computers, 2000

Exploiting path/location information for connection admission control in cellular networks.
Proceedings of the 2000 IEEE Wireless Communications and Networking Conference, 2000

Virtual Services: A New Abstraction for Server Consolidation.
Proceedings of the General Track: 2000 USENIX Annual Technical Conference, 2000

A User-Customizable Energy-Adaptive Combined Static/Dynamic Scheduler for Mobile Applications.
Proceedings of the 21st IEEE Real-Time Systems Symposium (RTSS 2000), 2000

Achieving Real-Time Communication over Ethernet with Adaptive Traffic Smoothing.
Proceedings of the Sixth IEEE Real Time Technology and Applications Symposium, RTAS 2000, Washington, DC, USA, May 31, 2000

A Simple Refinement of Slow-Start of TCP Congestion Control.
Proceedings of the Fifth IEEE Symposium on Computers and Communications (ISCC 2000), 2000

A Two-Step Adaptive Error Recovery Scheme for Video Transmission over Wireless Networks.
Proceedings of the Proceedings IEEE INFOCOM 2000, 2000

An Approach to Checking Consistency in Multimedia Synchronization Constraints.
Proceedings of the 2000 IEEE International Conference on Multimedia and Expo, 2000

An architecture for embedded software integration using reusable components.
Proceedings of the 2000 International Conference on Compilers, 2000

1999
Experimental Evaluation of Behavior-Based Failure-Detection Schemes in Real-Time Communication Networks.
IEEE Trans. Parallel Distributed Syst., 1999

A Router Architecture for Flexible Routing and Switching in Multihop Point-To-Point Networks.
IEEE Trans. Parallel Distributed Syst., 1999

Combined Task and Message Scheduling in Distributed Real-Time Systems.
IEEE Trans. Parallel Distributed Syst., 1999

Understanding and improving TCP performance over networks with minimum rate guarantees.
IEEE/ACM Trans. Netw., 1999

An uplink CDMA system architecture with diverse QoS guarantees for heterogeneous traffic.
IEEE/ACM Trans. Netw., 1999

ARMADA Middleware and Communication Services.
Real Time Syst., 1999

Multimedia-Friendly Server and Communication Design.
IEEE Multim., 1999

EMERALDS: a small-memory real-time microkernel.
Proceedings of the 17th ACM Symposium on Operating System Principles, 1999

Load-Sensitive Routing of Long-Lived IP Flows.
Proceedings of the ACM SIGCOMM 1999 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication, August 30, 1999

Transport of MPEG Video with Statistical Loss and Delay Guarantees in ATM Networks Using a Histogram-Based Source Model.
Proceedings of the 20th IEEE Real-Time Systems Symposium, 1999

QoS Provisioning with qContracts in Web and Multimedia Servers.
Proceedings of the 20th IEEE Real-Time Systems Symposium, 1999

Applicability of Cyclic-Memory Networks and IEEE1394 for Fine Motion Control and Arcade Games.
Proceedings of the 6th International Workshop on Real-Time Computing and Applications Symposium (RTCSA '99), 1999

Statistical Real-Time Communication over Ethernet for Manufacturing Automation Systems.
Proceedings of the Fifth IEEE Real-Time Technology and Applications Symposium, 1999

Non-Preemptive Scheduling of Real-Time Threads on Multi-Level-Context Architectures.
Proceedings of the Parallel and Distributed Processing, 1999

Scalable Flow Control for Multicast ABR Services.
Proceedings of the Proceedings IEEE INFOCOM '99, 1999

A Self-Configuring RED Gateway.
Proceedings of the Proceedings IEEE INFOCOM '99, 1999

Open Architecture Controller Software for Integration of Machine Tool Monitoring.
Proceedings of the 1999 IEEE International Conference on Robotics and Automation, 1999

Configurable Complete Exchanges in 2D Torus-Connected Networks.
Proceedings of the International Conference on Parallel Processing 1999, 1999

Adaptation and graceful degradation of control system performance by task reallocation and period adjustment.
Proceedings of the 11th Euromicro Conference on Real-Time Systems (ECRTS 1999), 1999

1998
Distributed tool sharing in flexible manufacturing systems.
IEEE Trans. Robotics Autom., 1998

Fault-Tolerant Real-Time Communication in Distributed Computing Systems.
IEEE Trans. Parallel Distributed Syst., 1998

Providing deterministic delay guarantees in ATM networks.
IEEE/ACM Trans. Netw., 1998

A Router Architecture for Real-Time Communication in Multicomputer Networks.
IEEE Trans. Computers, 1998

Damage Assessment for Optimal Rollback Recovery.
IEEE Trans. Computers, 1998

A Primary-Backup Channel Approach to Dependable Real-Time Communication in Multihop Networks.
IEEE Trans. Computers, 1998

First low-cost failure recovery for reliable real-time multimedia communication.
IEEE Netw., 1998

A Cellular Wireless Local Area Network with QoS Guarantees for Heterogeneous Traffic.
Mob. Networks Appl., 1998

A Practical Approach to Resource Allocation in Video-on-Demand Servers.
J. Vis. Commun. Image Represent., 1998

Predictive and Adaptive Bandwidth Reservation for Hand-Offs in QoS-Sensitive Cellular Networks.
Proceedings of the ACM SIGCOMM 1998 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication, August 31, 1998

Realizing Services for Guaranteed-QoS Communication on a Microkernel Operating System.
Proceedings of the 19th IEEE Real-Time Systems Symposium, 1998

Rate-Monotonic Scheduling in the Presence of Timing Unpredictability.
Proceedings of the Fourth IEEE Real-Time Technology and Applications Symposium, 1998

End-Host Architecture for QoS-Adaptive Communication.
Proceedings of the Fourth IEEE Real-Time Technology and Applications Symposium, 1998

Comparison of Connection Admission-Control Schemes in the Presence of Hand-Offs in Cellular Networks.
Proceedings of the MOBICOM '98, 1998

The END: A Network Adapter Design Tool.
Proceedings of the Proceedings IEEE INFOCOM '98, The Conference on Computer Communications, Seventeenth Annual Joint Conference of the IEEE Computer and Communications Societies, Gateway to the 21st Century, San Francisco, CA, USA, March 29, 1998

Efficient All-to-All Personalized Exchange in Multidimensional Torus Networks.
Proceedings of the 1998 International Conference on Parallel Processing (ICPP '98), 1998

Evaluating the Overheads of Source-Directed Quality-of-Service Routing.
Proceedings of the 1998 International Conference on Network Protocols (ICNP '98), 1998

Adaptive Packet Marking for Providing Differentiated Services in the Internet.
Proceedings of the 1998 International Conference on Network Protocols (ICNP '98), 1998

Providing Unrestricted VCR Functions in Multicast Video-on-Demand Servers.
Proceedings of the IEEE International Conference on Multimedia Computing and Systems, 1998

Comparative Study of Scalable Batching Policies in Disk-Array-Based Deterministic Video-on-Demand Servers.
Proceedings of the International Conference On Computer Communications and Networks (ICCCN 1998), 1998

Reliability Modeling of Hard Real-Time Systems.
Proceedings of the Digest of Papers: FTCS-28, 1998

1997
Assignment and Scheduling Communicating Periodic Tasks in Distributed Real-Time Systems.
IEEE Trans. Software Eng., 1997

Structuring Communication Software for Quality-of-Service Guarantees.
IEEE Trans. Software Eng., 1997

Comment on "A Pre-Run-Time Scheduling Algorithm for Hard Real-Time Systems''.
IEEE Trans. Software Eng., 1997

Scheduling messages on controller area network for real-time CIM applications.
IEEE Trans. Robotics Autom., 1997

PP-MESS-SIM: A Flexible and Extensible Simulator for Evaluating Multicomputer Networks.
IEEE Trans. Parallel Distributed Syst., 1997

Optimal Task Assignment in Homogeneous Networks.
IEEE Trans. Parallel Distributed Syst., 1997

Statistical Real-Time Channels on Multiaccess Bus Networks.
IEEE Trans. Parallel Distributed Syst., 1997

Schema Evolution of an Object-Oriented Real-Time Database System for Manufacturing Automation.
IEEE Trans. Knowl. Data Eng., 1997

Allocation of Periodic Task Modules with Precedence and Deadline Constraints.
IEEE Trans. Computers, 1997

On Slot Allocation for Time-Constrained Messages in Dual-Bus Networks.
IEEE Trans. Computers, 1997

Destination-Driven Routing for Low-Cost Multicast.
IEEE J. Sel. Areas Commun., 1997

Implementation of Decentralized Load Sharing in Networked Workstations Using the Condor Package.
J. Parallel Distributed Comput., 1997

Fast Restoration of Real-Time Communication Service from Component Failures in Multi-Hop Networks.
Proceedings of the ACM SIGCOMM 1997 Conference on Applications, 1997

Scalable hardware earliest-deadline-first scheduler for ATM switching networks.
Proceedings of the 18th IEEE Real-Time Systems Symposium (RTSS '97), 1997

Efficient spare-resource allocation for fast restoration of real-time channels from network component failures.
Proceedings of the 18th IEEE Real-Time Systems Symposium (RTSS '97), 1997

On memory protection in real-time OS for small embedded systems.
Proceedings of the 4th International Workshop on Real-Time Computing Systems and Applications (RTCSA '97), 1997

An efficient semaphore implementation scheme for small-memory embedded systems.
Proceedings of the 3rd IEEE Real-Time Technology and Applications Symposium, 1997

STREAMER: Hardware Support for Smoothed Transmission of Stored Video over ATM.
Proceedings of the Parallel Computer Routing and Communication, 1997

Uplink CDMA Systems with Diverse QoS Guarantees for Heterogeneous Traffic.
Proceedings of the MOBICOM '97, 1997

Scheduling Video Programs in Near Video-on-Demand Systems.
Proceedings of the Fifth ACM International Conference on Multimedia '97, 1997

Integrated Rate and Credit Feedback Control for ABR Service in ATM Networks.
Proceedings of the Proceedings IEEE INFOCOM '97, 1997

Development of Iterative Real-time Scheduler to Planner Feedback.
Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

Impact of Selection Functions on Routing Algorithm Performance in Multicomputer Networks.
Proceedings of the 11th international conference on Supercomputing, 1997

Schedule revision in a distributed job shop with the makespan objective.
Proceedings of the 1997 IEEE International Conference on Robotics and Automation, 1997

A Parametrized Branch-and-Bound Strategy for Scheduling Precedence-Constrained Tasks on a Multiprocessor System.
Proceedings of the 1997 International Conference on Parallel Processing (ICPP '97), 1997

Distributed Real-Time Systems: Issues, Solutions, and Applications.
Proceedings of the 1997 International Conference on Parallel and Distributed Systems (ICPADS '97), 1997

Deadline Assignment in Distributed Hard Real-Time Systems with Relaxed Locality Constraints.
Proceedings of the 17th International Conference on Distributed Computing Systems, 1997

Experimental Evaluation of Failure-Detection Schemes in Real-time Communication Networks.
Proceedings of the Digest of Papers: FTCS-27, 1997

Development of Iterative Scheduler to Planner Feedback.
Proceedings of the Fourteenth National Conference on Artificial Intelligence and Ninth Innovative Applications of Artificial Intelligence Conference, 1997

Avoiding Failure via Pre-Planned Responses and Time-Bounded Planning.
Proceedings of the Fourteenth National Conference on Artificial Intelligence and Ninth Innovative Applications of Artificial Intelligence Conference, 1997

Detecting and Reacting to Unplanned-for World States.
Proceedings of the Fourteenth National Conference on Artificial Intelligence and Ninth Innovative Applications of Artificial Intelligence Conference, 1997

1996
PRIAM: polite rescheduler for intelligent automated manufacturing.
IEEE Trans. Robotics Autom., 1996

Design and evaluation of real-time communication for FieldBus-based manufacturing systems.
IEEE Trans. Robotics Autom., 1996

Evaluation of Load Sharing in HARTS with Consideration of Its Communication Activities.
IEEE Trans. Parallel Distributed Syst., 1996

Adaptive Fault-Tolerant Deadlock-Free Routing in Meshes and Hypercubes.
IEEE Trans. Computers, 1996

Analysis and Implementation of Hybrid Switching.
IEEE Trans. Computers, 1996

Sequencing Tasks to Minimize the Effects of Near-Coincident Faults in TMR Controller Computers.
IEEE Trans. Computers, 1996

Design and Analysis of an Optimal Instruction-Retry Policy for TMR Controller Computers.
IEEE Trans. Computers, 1996

Execution Time Analysis of Communicating Tasks in Distributed Systems.
IEEE Trans. Computers, 1996

Determination of an Optimal Retry Time in Multiple-Module Computing Systems.
IEEE Trans. Computers, 1996

Load Sharing in Hypercube-Connected Multicomputers in the Presence of Node Failures.
IEEE Trans. Computers, 1996

A Synthetic Workload for a Distributed Real-time System.
Real Time Syst., 1996

Centralized Wireless MAC Protocols Using Slotted ALOHA and Dynamic TDD Transmission.
Perform. Evaluation, 1996

A New Location coding Scheme for Intelligent Transportation Systems.
J. Intell. Transp. Syst., 1996

Plan Development using Local Probabilistic Models.
Proceedings of the UAI '96: Proceedings of the Twelfth Annual Conference on Uncertainty in Artificial Intelligence, 1996

A Causal Message Ordering Scheme for Distributed Embedded Real-Time Systems.
Proceedings of the 15th Symposium on Reliable Distributed Systems, 1996

On task schedulability in real-time control systems.
Proceedings of the 17th IEEE Real-Time Systems Symposium (RTSS '96), 1996

Message transmission with timing constraints in ring networks .
Proceedings of the 17th IEEE Real-Time Systems Symposium (RTSS '96), 1996

Probabilistic Real-Time Data Access with Interval Constraints.
Proceedings of the Online-Proceedings of the First International Workshop on Real-Time Databases: Issues and Applications, 1996

On data logging in real-time process control systems.
Proceedings of the Third International Workshop on Real-Time Computing Systems Application (RTCSA '96), October 30, 1996

Evaluation of the communication latency over real-time channel in HARTS.
Proceedings of the Third International Workshop on Real-Time Computing Systems Application (RTCSA '96), October 30, 1996

EMERALDS: a microkernel for embedded real-time systems.
Proceedings of the 2nd IEEE Real-Time Technology and Applications Symposium, 1996

Resource management for real-time communication: making theory meet practice.
Proceedings of the 2nd IEEE Real-Time Technology and Applications Symposium, 1996

RTCAST: lightweight multicast for real-time process groups.
Proceedings of the 2nd IEEE Real-Time Technology and Applications Symposium, 1996

A Router Architecture for Real-Time Point-to-Point Networks.
Proceedings of the 23rd Annual International Symposium on Computer Architecture, 1996

Traffic-Controlled Rate-Monotonic Priority Scheduling of ATM Cells.
Proceedings of the Proceedings IEEE INFOCOM '96, 1996

Combined Routing and Scheduling of Concurrent Communication Traffic in Hypercube Multicomputers.
Proceedings of the 16th International Conference on Distributed Computing Systems, 1996

Multiplexing Statistical Real-Time Channels in a Multiaccess Local-Area Network.
Proceedings of the 16th International Conference on Distributed Computing Systems, 1996

Sensor data management in manufacturing systems.
Proceedings of the Workshop on Databases - Active and Real-Time, 1996

Expecting the Unexpected: Detecting and Reacting to Unplanned-for World States.
Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996

1995
Semaphore Queue Priority Assignment for Real-Time Multiprocessor Synchronization.
IEEE Trans. Software Eng., 1995

Synchronous Bandwidth Allocation in FDDI Networks.
IEEE Trans. Parallel Distributed Syst., 1995

Establishment of Isolated Failure Immune Real-Time Channels in HARTS.
IEEE Trans. Parallel Distributed Syst., 1995

FDDI-M: A Scheme to Double FDDI's Ability of Supporting Synchronous Traffic.
IEEE Trans. Parallel Distributed Syst., 1995

Prevention of Congestion in Packet-Switched Multistage Interconnection Networks.
IEEE Trans. Parallel Distributed Syst., 1995

Computing time delay and its effects on real-time control systems.
IEEE Trans. Control. Syst. Technol., 1995

A Reservation-Based Algorithm for Scheduling Both Periodic and Aperiodic Real-Time Tasks.
IEEE Trans. Computers, 1995

A Coordinated Location Policy for Load Sharing in Hypercube-Connected Multicomputers.
IEEE Trans. Computers, 1995

Efficient Implementation Techniques for Gracefully Degradable Multiprocessor Systems.
IEEE Trans. Computers, 1995

Analytic Evaluation of Contention Protocols Used in Distributed Real-Time Systems.
Real Time Syst., 1995

World Modeling for the Dynamic Construction of Real-Time Control Plans.
Artif. Intell., 1995

On Slot Reuse for Isochronous Services in DQDB Networks.
Proceedings of the 16th IEEE Real-Time Systems Symposium, 1995

Optimal Combined Task and Message Scheduling in Distributed Real-Time Systems.
Proceedings of the 16th IEEE Real-Time Systems Symposium, 1995

Non-preemptive scheduling of messages on controller area network for real-time control applications.
Proceedings of the 1st IEEE Real-Time Technology and Applications Symposium, 1995

Real-time communication in FieldBus multiaccess networks.
Proceedings of the 1st IEEE Real-Time Technology and Applications Symposium, 1995

Scheduling MPEG-Compressed Video Streams with Firm Deadline Constraints.
Proceedings of the Third ACM International Conference on Multimedia '95, 1995

A Polynominal-Time Optimal Synchronous Bandwidth Allocation Scheme for the Timed-Token MAC Protocol.
Proceedings of the Proceedings IEEE INFOCOM '95, 1995

On Slot Allocation for Time-Constrained Messages in DQDB Networks.
Proceedings of the Proceedings IEEE INFOCOM '95, 1995

Software Engineering of Machine Control Systems: An Approach to Lifecycle Economics.
Proceedings of the 1995 International Conference on Robotics and Automation, 1995

Mapping Concurrently-Communicating Modules onto Mesh Multicomputers Equipped with Virtual Channels.
Proceedings of the 15th International Conference on Distributed Computing Systems, Vancouver, British Columbia, Canada, May 30, 1995

A Distributed Table-Driven Route Selection Scheme for Establishing Real-Time Video Channels.
Proceedings of the 15th International Conference on Distributed Computing Systems, Vancouver, British Columbia, Canada, May 30, 1995

A programmable routing controller for flexible communications in point-to-point networks.
Proceedings of the 1995 International Conference on Computer Design (ICCD '95), 1995

A distributed route-selection scheme for establishing real-time channels.
Proceedings of the High Performance Networking VI, 1995

Fault-Tolerant Clock Synchronization for Distributed Systems Using Continuous Synchronization Messages.
Proceedings of the Digest of Papers: FTCS-25, 1995

OODB Support for Real-Time Open-Architecture Controllers.
Proceedings of the Database Systems for Advanced Applications '95, 1995

PP-MEss-SIM: a simulator for evaluating multicomputer interconnection networks.
Proceedings of the Proceedings 28st Annual Simulation Symposium (SS '95), 1995

1994
SWSL: A Synthetic Workload Specification Language for Real-Time Systems.
IEEE Trans. Software Eng., 1994

Design and Evaluation of Effective Load Sharing in Distributed Real-Time Systems.
IEEE Trans. Parallel Distributed Syst., 1994

Fault-Tolerant Routing in Mesh Architectures.
IEEE Trans. Parallel Distributed Syst., 1994

Fault-Tolerant Clock Synchronization in Large Multicomputer Systems.
IEEE Trans. Parallel Distributed Syst., 1994

On Probabilistic Diagnosis of Multiprocessor Systems Using Multiple Syndromes.
IEEE Trans. Parallel Distributed Syst., 1994

Interleaved All-to-All Reliable Broadcast on Meshes and Hypercubes.
IEEE Trans. Parallel Distributed Syst., 1994

Operationally Enhanced Folded Hypercubes.
IEEE Trans. Parallel Distributed Syst., 1994

Real-Time Communication in Multihop Networks.
IEEE Trans. Parallel Distributed Syst., 1994

On the maximum feedback delay in a linear/nonlinear control system with input disturbances caused by controller-computer failures.
IEEE Trans. Control. Syst. Technol., 1994

On the ability of establishing real-time channels in point-to-point packet-switched networks.
IEEE Trans. Commun., 1994

Assignment of Task Modules in Hypercube Multicomputers with Component Failures for Communication Efficiency.
IEEE Trans. Computers, 1994

A Time Redundancy Approach to TMR Failures Using Fault-State Likelihoods.
IEEE Trans. Computers, 1994

Probabilistic Clock Synchronization in Large Distributed Systems.
IEEE Trans. Computers, 1994

An Optimal Retry Policy Based on Fault Classification.
IEEE Trans. Computers, 1994

Load Sharing with Consideration of Future Task Arrivals in Heterogeneous Distributed Real-Time Systems.
IEEE Trans. Computers, 1994

Incorporation of Optimal Timeouts into Distributed Real-Time Load Sharing.
IEEE Trans. Computers, 1994

Real-time computing: a new discipline of computer science and engineering.
Proc. IEEE, 1994

Guest Editors' Introduction: Parallel and Distributed Real-Time Computing.
IEEE Parallel Distributed Technol. Syst. Appl., 1994

Probabilistic Diagnosis of Multiprocessor Systems.
ACM Comput. Surv., 1994

Transparent Load Sharing in Distributed Systems: Decentralized Design Alternatives Based on the Condor Package.
Proceedings of the 13th Symposium on Reliable Distributed Systems, 1994

Support for Multiple Classes of Traffic in Multicomputer Routers.
Proceedings of the Parallel Computer Routing and Communication, 1994

Combining Contracts and Exemplar-Based Programming for Class Hiding and Customization.
Proceedings of the Ninth Annual Conference on Object-Oriented Programming Systems, 1994

Real-Time Communication in ATM Networks.
Proceedings of the Proceedings 19th Conference on Local Computer Networks, 1994

A Layered Approach to Fault-Tolerance and Timeliness Issues in SAFENET.
Proceedings of the Proceedings 19th Conference on Local Computer Networks, 1994

Polite Rescheduling: Responding to Local Schedule Disruptions in Distributed Manufacturing Systems.
Proceedings of the 1994 International Conference on Robotics and Automation, 1994

Sequencing of Concurrent Communication Traffic in a Mesh Multicomputer with Virtual Channels.
Proceedings of the 1994 International Conference on Parallel Processing, 1994

What Types of Research Papers Should We Be Writing?
Proceedings of the Proceedings 1994 International Conference on Parallel and Distributed Systems, 1994

SPIDER: Flexible and Efficient Communication Support for Point-to-Point Distributed Systems.
Proceedings of the 14th International Conference on Distributed Computing Systems, 1994

Replication and Allocation of Task Modules in Distributed Real-Time Systems.
Proceedings of the Digest of Papers: FTCS/24, 1994

1993
CIRCA: a cooperative intelligent real-time control architecture.
IEEE Trans. Syst. Man Cybern., 1993

Direct control and coordination using neural networks.
IEEE Trans. Syst. Man Cybern., 1993

Use of Common Time Base for Checkpointing and Rollback Recovery in a Distributed System.
IEEE Trans. Software Eng., 1993

Optimal Scheduling of Cooperative Tasks in a Distributed System Using an Enumerative Method.
IEEE Trans. Software Eng., 1993

Analytic Models of Adaptive Load Sharing Schemes in Distributed Real-Time Systems.
IEEE Trans. Parallel Distributed Syst., 1993

A Simple Distributed Loop-Free Routing Strategy for Computer Communication Networks.
IEEE Trans. Parallel Distributed Syst., 1993

Mixed time-constrained and non-time-constrained communications in local area networks.
IEEE Trans. Commun., 1993

Optimal and Efficient Probabilistic Distributed Diagnosis Schemes.
IEEE Trans. Computers, 1993

Deadlock-Free Fault-Tolerant Routing in Injured Hypercubes.
IEEE Trans. Computers, 1993

A New Performance Measure for Scheduling Independent Real-Time Tasks.
J. Parallel Distributed Comput., 1993

Optimal Load Sharing in Distributed Real-Time Systems.
J. Parallel Distributed Comput., 1993

Evaluation of Load Sharing in HARTS while Considering Message Routing and Broadcasting.
Proceedings of the 1993 ACM SIGMETRICS conference on Measurement and modeling of computer systems, 1993

Intelligent Disruption Recovery for Decentralized Manufacturing Systems.
Proceedings of the 1993 IEEE International Conference on Robotics and Automation, 1993

Adaptive Deadlock-Free Routing in Multicomputers Using Only One Extra Virtual Channel.
Proceedings of the 1993 International Conference on Parallel Processing, 1993

Software Fault Injection and its Application in Distributed Systems.
Proceedings of the Digest of Papers: FTCS-23, 1993

1992
Derivation and application of hard deadlines for real-time control systems.
IEEE Trans. Syst. Man Cybern., 1992

Minimum-time collision-free trajectory planning for dual-robot systems.
IEEE Trans. Robotics Autom., 1992

Delivery of Time-Critical Message Using a Multiple Copy Approach.
ACM Trans. Comput. Syst., 1992

Traffic Routing for Multicomputer Networks with Virtual Cut-Through Capability.
IEEE Trans. Computers, 1992

A Distributed Real-Time Operating System.
IEEE Softw., 1992

Allocation of periodic task modules with precedence and deadline constraints in distributed real-time systems.
Proceedings of the Real-Time Systems Symposium, 1992

Real-time communication in local area ring networks.
Proceedings of the 17th Conference on Local Computer Networks, 1992

Communication-Oriented Assignment of Task Modules in Hypercube Multicomputers.
Proceedings of the 12th International Conference on Distributed Computing Systems, 1992

B<i>IB</i>D<i>B</i>: A Bibliographic Database for Collaboration.
Proceedings of the CSCW '92, Proceedings of the Conference on Computer Supported Cooperative Work, Toronto, Canada, October 31, 1992

1991
Design of a knowledge-based controller for intelligent control systems.
IEEE Trans. Syst. Man Cybern., 1991

Intelligent coordination of multiple systems with neural networks.
IEEE Trans. Syst. Man Cybern., 1991

Scheduling job operations in an automatic assembly line.
IEEE Trans. Robotics Autom., 1991

Real-time communications in a computer-controlled workcell.
IEEE Trans. Robotics Autom., 1991

Shortest path planning in discretized workspaces using dominance relation.
IEEE Trans. Robotics Autom., 1991

Reliable Broadcast Algorithms for HARTS.
ACM Trans. Comput. Syst., 1991

A RAM Architecture for Concurrent Access and On-Chip Testing.
IEEE Trans. Computers, 1991

Performance Analysis of Virtual Cut-Through Switching in HARTS: A Hexagonal Mesh Multicomputer.
IEEE Trans. Computers, 1991

HARTS: A Distributed Real-Time Architecture.
Computer, 1991

Effective load sharing in distributed real-time systems.
Proceedings of the Third IEEE Symposium on Parallel and Distributed Processing, 1991

Real-time communication in multi-hop networks.
Proceedings of the 10th International Conference on Distributed Computing Systems (ICDCS 1991), 1991

A Multiple Copy Approach for Delivering Messages Under Deadline Constraints.
Proceedings of the 1991 International Symposium on Fault-Tolerant Computing, 1991

Load Sharing in Hypercube Multicomputers in the Presence of Node Failures.
Proceedings of the 1991 International Symposium on Fault-Tolerant Computing, 1991

1990
Measurement and Analysis of Workload Effects on Fault Latency in Real-Time Systems.
IEEE Trans. Software Eng., 1990

Application of Real-Time Monitoring to Scheduling Tasks with Random Execution Times.
IEEE Trans. Software Eng., 1990

Depth-First Search Approach for Fault-Tolerant Routing in Hypercube.
IEEE Trans. Parallel Distributed Syst., 1990

Design for test using partial parallel scan.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1990

On the Number of Acceptable Task Assignments in Distributed Computing Systems.
IEEE Trans. Computers, 1990

Minimal Order Loop-Free Routing Strategy.
IEEE Trans. Computers, 1990

Hardware-Assisted Software Clock Synchronization for Homogeneous Distributed Systems.
IEEE Trans. Computers, 1990

Location of a Faulty Module in a Computing System.
IEEE Trans. Computers, 1990

Addressing, Routing, and Broadcasting in Hexagonal Mesh Multiprocessors.
IEEE Trans. Computers, 1990

Adaptive Fault-Tolerant Routing in Hypercube Multicomputers.
IEEE Trans. Computers, 1990

Subcube Allocation and Task Migration in Hypercube Multiprocessors.
IEEE Trans. Computers, 1990

Fault-Tolerant Clock Synchronization in Distributed Systems.
Computer, 1990

A Bayesian Appraoch to Fault Classification.
Proceedings of the 1990 ACM SIGMETRICS conference on Measurement and modeling of computer systems, 1990

Analysis of Three Contention Protocols in Distributed Real-Time Systems.
Proceedings of the Real-Time Systems Symposium, 1990

A Distributed I/O Architecture for HARTS.
Proceedings of the 17th Annual International Symposium on Computer Architecture, 1990

Shortest path planning with dominance relation.
Proceedings of the 1990 IEEE International Conference on Robotics and Automation, 1990

Traffic Routing for Multi-Computer Networks with Virtual Cut-Through Capability.
Proceedings of the 10th International Conference on Distributed Computing Systems (ICDCS 1990), May 28, 1990

Optimal multiple syndrome probabilistic diagnosis.
Proceedings of the 20th International Symposium on Fault-Tolerant Computing, 1990

1989
Optimal Dynamic Control of Resources in a Distributed System.
IEEE Trans. Software Eng., 1989

Coordination of dual robot arms using kinematic redundancy.
IEEE Trans. Robotics Autom., 1989

Load Sharing in Distributed Real-Time Systems with State-Change Broadcasts.
IEEE Trans. Computers, 1989

Polynomial Testing of Packet Switching Networks.
IEEE Trans. Computers, 1989

HARTOS: A Distributed Real-Time Operating System.
ACM SIGOPS Oper. Syst. Rev., 1989

On Relaxed Squashed Embedding of Graphs into a Hypercube.
SIAM J. Comput., 1989

Load Sharing in Distributed Real-Time Systems with Broadcast of State Changes.
Proceedings of the 1989 ACM SIGMETRICS international conference on Measurement and modeling of computer systems, 1989

Task Migration in Hypercube Multiprocessors.
Proceedings of the 16th Annual International Symposium on Computer Architecture. Jerusalem, 1989

Static allocation of periodic tasks with precedence constraints in distributed real-time systems.
Proceedings of the 9th International Conference on Distributed Computing Systems, 1989

A microprogrammable VLSI routing controller for HARTS.
Proceedings of the Computer Design: VLSI in Computers and Processors, 1989

A module-sliced approach for high yield VLSI/WSI processors.
Proceedings of the Computer Design: VLSI in Computers and Processors, 1989

A clock distribution scheme for nonsymmetric VLSI circuits.
Proceedings of the 1989 IEEE International Conference on Computer-Aided Design, 1989

Message routing in HARTS with faulty components.
Proceedings of the Nineteenth International Symposium on Fault-Tolerant Computing, 1989

1988
A variational dynamic programming approach to robot-path planning with a distance-safety criterion.
IEEE J. Robotics Autom., 1988

Performance Modeling and Measurement of Real-Time Multiprocessors with Time-Shared Buses.
IEEE Trans. Computers, 1988

Transmission Delays in Hardware Clock Synchronization.
IEEE Trans. Computers, 1988

Modeling and Measurement of Error Propagation in a Multimodule Computing System.
IEEE Trans. Computers, 1988

Reliable Broadcast in Hypercube Multicomputers.
IEEE Trans. Computers, 1988

Optimal design and use of retry in fault-tolerant computer systems.
J. ACM, 1988

Port Manipulator for the Distributed Realization of an Integrated Manufacturing System.
Comput. Syst. Sci. Eng., 1988

Checkpointing and Rollback Recovery in a Distributed System Using Common Time Base.
Proceedings of the Seventh Symposium on Reliable Distributed Systems, 1988

Evaluation of the Probability of Dynamic Failure and Processor Utilization for Real-Time Systems.
Proceedings of the 9th IEEE Real-Time Systems Symposium (RTSS '88), 1988

Optimal Resource Control in Periodic Real-Time Environments.
Proceedings of the 9th IEEE Real-Time Systems Symposium (RTSS '88), 1988

A probabilistic approach to collision-free robot path planning.
Proceedings of the 1988 IEEE International Conference on Robotics and Automation, 1988

Embedding triple-modular redundancy into a hypercube architecture.
Proceedings of the Third Conference on Hypercube Concurrent Computers and Applications, 1988

Hypercube management in the presence of node failures.
Proceedings of the Third Conference on Hypercube Concurrent Computers and Applications, 1988

Message routing in an injured hypercube.
Proceedings of the Third Conference on Hypercube Concurrent Computers and Applications, 1988

1987
Intertask communications in an integrated multirobot system.
IEEE J. Robotics Autom., 1987

Clock Synchronization of a Large Multiprocessor System in the Presence of Malicious Faults.
IEEE Trans. Computers, 1987

Optimal Checkpointing of Real-Time Tasks.
IEEE Trans. Computers, 1987

Performance Analysis of Distributed Routing Strategies Free of Ping-Pong-Type Looping.
IEEE Trans. Computers, 1987

Modeling of Concurrent Task Execution in a Distributed System for Real-Time Control.
IEEE Trans. Computers, 1987

Processor Tradeoffs in Distributed Real-Time Systems.
IEEE Trans. Computers, 1987

Processor Allocation in an <i>N</i>-Cube Multiprocessor Using Gray Codes.
IEEE Trans. Computers, 1987

Optimal reconfiguration strategy for a degradable multimodule computing system.
J. ACM, 1987

Workload Effects on Fault Latency for Real-Time Computing Systems.
Proceedings of the 8th IEEE Real-Time Systems Symposium (RTSS '87), 1987

1986
Measurement and Application of Fault Latency.
IEEE Trans. Computers, 1986

On Scheduling Tasks with a Quick Recovery from Failure.
IEEE Trans. Computers, 1986

New Performance Measures for Design and Evaluation of Real-Time Multiprocessors.
Comput. Syst. Sci. Eng., 1986

Optimal Checkpointing of Real-Time Tasks.
Proceedings of the Fifth Symposium on Reliability in Distributed Software and Database Systems, 1986

Automatic generation of trajectory planners for industrial robots.
Proceedings of the 1986 IEEE International Conference on Robotics and Automation, 1986

1985
A structured framework for the control of industrial manipulators.
IEEE Trans. Syst. Man Cybern., 1985

Minimum-time path planning for robot arms and their dynamics.
IEEE Trans. Syst. Man Cybern., 1985

A Cost-Effective Multistage Interconnection Network with Network Overlapping and Memory Interleaving.
IEEE Trans. Computers, 1985

Ensuring Fault Tolerance of Phase-Locked Clocks.
IEEE Trans. Computers, 1985

Synchronization of a Large Clock Network in the Presence of Malicious Faults.
Proceedings of the 6th IEEE Real-Time Systems Symposium (RTSS '85), 1985

Communication primitives for a distributed multi-robot system.
Proceedings of the 1985 IEEE International Conference on Robotics and Automation, 1985

The Processor Number-Power Tradeoff in a Class of Multiprocessors.
Proceedings of the 5th International Conference on Distributed Computing Systems, 1985

1984
Evaluation of Error Recovery Blocks Used for Cooperating Processes.
IEEE Trans. Software Eng., 1984

Error Detection Process - Model, Design, and Its Impact on Computer Performance.
IEEE Trans. Computers, 1984

Design and Evaluation of a Fault-Tolerant Multiprocessur Using Hardware Recovery Blocks.
IEEE Trans. Computers, 1984

Optimization Criteria for Checkpoint Placement.
Commun. ACM, 1984

A hierarchical system structure for coordinated control of industrial manipulators.
Proceedings of the 1984 IEEE International Conference on Robotics and Automation, 1984

1983
Queueing analysis of a canonical model of real-time multiprocessors.
Proceedings of the International Conference on Measurements and Modeling of Computer Systems, 1983

Performance Measures for Multiprocessor Controllers.
Proceedings of the Performance '83, 1983

Analysis of Backward Error Recovery for Concurrent Processes with Recovery Blocks.
Proceedings of the International Conference on Parallel Processing, 1983

1982
Design of HM<sup>2</sup>p - A Hierarchical Multimicroprocessor for General Purpose Applications.
IEEE Trans. Computers, 1982

A Comparative Study of Robot Languages.
Computer, 1982

1981
A Fault-Tolerant Multiprocessor System with Rollback Recovery Capabilities.
Proceedings of the 2nd International Conference on Distributed Computing Systems, 1981

1980
Recursive Least Squares Estimation of Cell Kinetic Parameters Using Sequential Measurements of Cell DNA Contents.
IEEE Trans. Syst. Man Cybern., 1980

A Distributed Microprocessor System for Controlling and Managing Fighter Aircraft.
Proceedings of the Distributed Data Acquisition, Computing, and Control Symposium, 1980


  Loading...