Lui Sha
Orcid: 0000-0002-5578-0791Affiliations:
- University of Illinois at Urbana-Champaign, Urbana, IL, USA
According to our database1,
Lui Sha
authored at least 279 papers
between 1983 and 2024.
Collaborative distances:
Collaborative distances:
Awards
ACM Fellow
ACM Fellow 2005, "For contributions to real-time systems.".
IEEE Fellow
IEEE Fellow 1998, "For technical leadership and research contributions which enabled the transformation of real time computing practice from ad hoc process to an engineering process based on analytical methods.".
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2024
Perception simplex: Verifiable collision avoidance in autonomous vehicles amidst obstacle detection faults.
Softw. Test. Verification Reliab., September, 2024
Commun. ACM, February, 2024
Proceedings of the Twelfth International Conference on Learning Representations, 2024
2023
Artif. Intell., December, 2023
Sℒ<sub>1</sub>-Simplex: Safe Velocity Regulation of Self-Driving Vehicles in Dynamic and Unforeseen Environments.
ACM Trans. Cyber Phys. Syst., January, 2023
SchedGuard++: Protecting against Schedule Leaks Using Linux Containers on Multi-Core Processors.
ACM Trans. Cyber Phys. Syst., January, 2023
Generalized self-cueing real-time attention scheduling with intermittent inspection and image resizing.
Real Time Syst., 2023
CoRR, 2023
CoRR, 2023
Towards Modular and Formally-Verifiable Software Architecture for Clinical Guidance Systems.
Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2023
Proceedings of the Formal Methods in Computer-Aided Design, 2023
Physics-Model-Regulated Deep Reinforcement Learning Towards Safety & Stability Guarantees.
Proceedings of the 62nd IEEE Conference on Decision and Control, 2023
2022
Real-Time Task Scheduling for Machine Perception in Intelligent Cyber-Physical Systems.
IEEE Trans. Computers, 2022
CoRR, 2022
Self-Cueing Real-Time Attention Scheduling in Criticality-Aware Visual Machine Perception.
Proceedings of the 28th IEEE Real-Time and Embedded Technology and Applications Symposium, 2022
Proceedings of the IEEE 33rd International Symposium on Software Reliability Engineering, 2022
Proceedings of the 2022 Design, Automation & Test in Europe Conference & Exhibition, 2022
2021
Checking is Believing: Event-Aware Program Anomaly Detection in Cyber-Physical Systems.
IEEE Trans. Dependable Secur. Comput., 2021
An Analyzable Inter-core Communication Framework for High-Performance Multicore Embedded Systems.
J. Syst. Archit., 2021
LiDAR Cluster First and Camera Inference Later: A New Perspective Towards Autonomous Driving.
CoRR, 2021
Proceedings of the 27th IEEE Real-Time and Embedded Technology and Applications Symposium, 2021
Risk Ranked Recall: Collision Safety Metric for Object Detection Systems in Autonomous Vehicles.
Proceedings of the 10th Mediterranean Conference on Embedded Computing, 2021
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021
2020
<i>UACFinder</i>: Mining Syntactic Carriers of Unspecified Assumptions in Medical Cyber-Physical System Design Models.
ACM Trans. Cyber Phys. Syst., 2020
A framework for supporting the development of verifiably safe medical best practice guideline systems.
J. Syst. Archit., 2020
Safety Constrained Multi-UAV Time Coordination: A Bi-level Control Framework in GPS Denied Environment.
CoRR, 2020
On Removing Algorithmic Priority Inversion from Mission-critical Machine Inference Pipelines.
Proceedings of the 41st IEEE Real-Time Systems Symposium, 2020
SCE-Comm: A Real-Time Inter-Core Communication Framework for Strictly Partitioned Multi-core Processors.
Proceedings of the 9th Mediterranean Conference on Embedded Computing, 2020
Proceedings of the 59th IEEE Conference on Decision and Control, 2020
2019
Dependable Model-driven Development of CPS: From Stateflow Simulation to Verified Implementation.
ACM Trans. Cyber Phys. Syst., 2019
Design Verifiably Correct Model Patterns to Facilitate Modeling Medical Best Practice Guidelines With Statecharts.
IEEE Internet Things J., 2019
Formalism for Supporting the Development of Verifiably Safe Medical Guidelines with Statecharts.
CoRR, 2019
CoRR, 2019
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019
2018
IEEE Trans. Intell. Transp. Syst., 2018
ACM Trans. Cyber Phys. Syst., 2018
J. Sens. Actuator Networks, 2018
Model and Integrate Medical Resource Availability into Verifiably Correct Executable Medical Guidelines - Technical Report.
CoRR, 2018
Model and Integrate Medical Resource Available Times and Relationships in Verifiably Correct Executable Medical Best Practice Guideline Models (Extended Version).
CoRR, 2018
Design Verifiably Correct Model Patterns to Facilitate Modeling Medical Best Practice Guidelines with Statecharts (Technical Report).
CoRR, 2018
IEEE Access, 2018
Safetrace: a safety-driven requirement traceability framework on device interaction hazards for MD PnP.
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018
Model and integrate medical resource available times and relationships in verifiably correct executable medical best practice guideline models.
Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, 2018
<i>IAfinder</i>: identifying potential implicit assumptions to facilitate validation in medical cyber-physical system.
Proceedings of the 55th Annual Design Automation Conference, 2018
2017
Toward Physiology-Aware DASH: Bandwidth-Compliant Prioritized Clinical Multimedia Communication in Ambulances.
IEEE Trans. Multim., 2017
IEEE Trans. Ind. Informatics, 2017
On Exploiting Structured Human Interactions to Enhance Sensing Accuracy in Cyber-physical Systems.
ACM Trans. Cyber Phys. Syst., 2017
Supporting Emergency Medical Care Teams with an Integrated Status Display Providing Real-Time Access to Medical Best Practices, Workflow Tracking, and Patient Data.
J. Medical Syst., 2017
Preventable Medical Errors Driven Modeling of Medical Best Practice Guidance Systems.
J. Medical Syst., 2017
Communication and Synchronization of Distributed Medical Models: Design, Development, and Performance Analysis.
CoRR, 2017
Towards Physiology-Aware DASH: Bandwidth-Compliant Prioritized Clinical Multimedia Communication in Ambulances.
CoRR, 2017
A Mobile Geo-Communication Dataset for Physiology-Aware DASH in Rural Ambulance Transport.
Proceedings of the 8th ACM on Multimedia Systems Conference, 2017
Learning Execution Contexts from System Call Distribution for Anomaly Detection in Smart Embedded System.
Proceedings of the Second International Conference on Internet-of-Things Design and Implementation, 2017
Proceedings of the 2017 IEEE International Conference on Healthcare Informatics, 2017
Proceedings of the 22nd International Conference on Engineering of Complex Computer Systems, 2017
VirtualDrone: virtual sensing, actuation, and communication for attack-resilient unmanned aerial systems.
Proceedings of the 8th International Conference on Cyber-Physical Systems, 2017
Proceedings of the 8th International Conference on Cyber-Physical Systems, 2017
Toward safe interoperations in network connected medical cyber-physical systems using open-loop safe protocols.
Proceedings of the 2017 IEEE/ACM International Conference on Computer-Aided Design, 2017
Model and integrate medical resource availability into verifiably correct executable medical guidelines.
Proceedings of the 2017 IEEE/ACM International Conference on Computer-Aided Design, 2017
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017
Modeling and integrating physical environment assumptions in medical cyber-physical system design.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017
Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017
Adaptive Clinical Data Communication for Remote Monitoring in Rural Ambulance Transport.
Proceedings of the Second IEEE/ACM International Conference on Connected Health: Applications, 2017
Proceedings of the 2017 Workshop on Forming an Ecosystem Around Software Transformation, 2017
Pattern-Based Statechart Modeling Approach for Medical Best Practice Guidelines - A Case Study.
Proceedings of the 30th IEEE International Symposium on Computer-Based Medical Systems, 2017
Modeling and Integrating Human Interaction Assumptions in Medical Cyber-Physical System Design.
Proceedings of the 30th IEEE International Symposium on Computer-Based Medical Systems, 2017
2016
ACM Trans. Embed. Comput. Syst., 2016
Memory Bandwidth Management for Efficient Performance Isolation in Multi-Core Platforms.
IEEE Trans. Computers, 2016
IEEE Trans. Computers, 2016
A Pathophysiological Model-Driven Communication for Dynamic Distributed Medical Best Practice Guidance Systems.
J. Medical Syst., 2016
The DragonBeam Framework: Hardware-Protected Security Modules for In-Place Intrusion Detection.
Proceedings of the 9th ACM International on Systems and Storage Conference, 2016
Using human intellectual tasks as guidelines to systematically model medical cyber-physical systems.
Proceedings of the 2016 IEEE International Conference on Systems, Man, and Cybernetics, 2016
Proceedings of the 2016 IEEE Real-Time Systems Symposium, 2016
On Maximizing Quality of Information for the Internet of Things: A Real-Time Scheduling Perspective (Invited Paper).
Proceedings of the 22nd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2016
TaskShuffler: A Schedule Randomization Protocol for Obfuscation against Timing Inference Attacks in Real-Time Systems.
Proceedings of the 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2016
From Stateflow Simulation to Verified Implementation: A Verification Approach and A Real-Time Train Controller Design.
Proceedings of the 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2016
Proceedings of the 38th International Conference on Software Engineering, 2016
Transforming Medical Best Practice Guidelines to Executable and Verifiable Statechart Models.
Proceedings of the 7th ACM/IEEE International Conference on Cyber-Physical Systems, 2016
Safety-Assured Formal Model-Driven Design of the Multifunction Vehicle Bus Controller.
Proceedings of the FM 2016: Formal Methods, 2016
Proceedings of the 29th IEEE International Symposium on Computer-Based Medical Systems, 2016
Proceedings of the 29th IEEE International Symposium on Computer-Based Medical Systems, 2016
An integrated Medical CPS for early detection of paroxysmal sympathetic hyperactivity.
Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2016
2015
The Design of Safe Networked Supervisory Medical Systems Using Organ-Centric Hierarchical Control Architecture.
IEEE J. Biomed. Health Informatics, 2015
Worst Case Analysis of Packet Delay in Avionics Systems for Environmental Monitoring.
IEEE Syst. J., 2015
Intrusion Detection Using Execution Contexts Learned from System Call Distributions of Real-Time Embedded Systems.
CoRR, 2015
Budgeted generalized rate monotonic analysis for the partitioned, yet globally scheduled uniprocessor model.
Proceedings of the 21st IEEE Real-Time and Embedded Technology and Applications Symposium, 2015
Proceedings of the 14th International Workshop on Adaptive and Reflective Middleware, 2015
Exploiting structured human interactions to enhance estimation accuracy in cyber-physical systems.
Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems, 2015
Proceedings of the 41st Euromicro Conference on Software Engineering and Advanced Applications, 2015
Proceedings of the 27th Euromicro Conference on Real-Time Systems, 2015
Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015
Memory heat map: anomaly detection in real-time embedded systems using memory behavior.
Proceedings of the 52nd Annual Design Automation Conference, 2015
2014
IEEE Trans. Computers, 2014
KSII Trans. Internet Inf. Syst., 2014
WiP abstract: A treatment coordination protocol for cyber-physical-human medical systems.
Proceedings of the ACM/IEEE International Conference on Cyber-Physical Systems, 2014
Proceedings of the 40th EUROMICRO Conference on Software Engineering and Advanced Applications, 2014
Integrated Modular Avionics (IMA) Partition Scheduling with Conflict-Free I/O for Multicore Avionics Systems.
Proceedings of the IEEE 38th Annual Computer Software and Applications Conference, 2014
2013
IEEE Trans. Mob. Comput., 2013
IEEE J. Biomed. Health Informatics, 2013
IEEE Trans. Ind. Informatics, 2013
Design of a crossbar VOQ real-time switch with clock-driven scheduling for a guaranteed delay bound.
Real Time Syst., 2013
Proceedings of the 2013 IEEE 19th International Conference on Embedded and Real-Time Computing Systems and Applications, 2013
MemGuard: Memory bandwidth reservation system for efficient performance isolation in multi-core platforms.
Proceedings of the 19th IEEE Real-Time and Embedded Technology and Applications Symposium, 2013
SecureCore: A multicore-based intrusion detection architecture for real-time embedded systems.
Proceedings of the 19th IEEE Real-Time and Embedded Technology and Applications Symposium, 2013
A low complexity coordination architecture for networked supervisory medical systems.
Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems (with CPS Week 2013), 2013
Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems (with CPS Week 2013), 2013
S3A: secure system simplex architecture for enhanced security and robustness of cyber-physical systems.
Proceedings of the 2nd ACM International Conference on High Confidence Networked Systems (part of CPS Week), 2013
Proceedings of the International Conference on Embedded Software, 2013
Holistic design parameter optimization of multiple periodic resources in hierarchical scheduling.
Proceedings of the Design, Automation and Test in Europe, 2013
Optimized scheduling of multi-IMA partitions with exclusive region for synchronized real-time multi-core systems.
Proceedings of the Design, Automation and Test in Europe, 2013
Proceedings of the 1st IEEE International Conference on Cyber-Physical Systems, 2013
Proceedings of the 26th IEEE International Symposium on Computer-Based Medical Systems, 2013
Towards organ-centric compositional development of safe networked supervisory medical systems.
Proceedings of the 26th IEEE International Symposium on Computer-Based Medical Systems, 2013
2012
Modeling towards incremental early analyzability of networked avionics systems using virtual integration.
ACM Trans. Embed. Comput. Syst., 2012
S3A: Secure System Simplex Architecture for Enhanced Security of Cyber-Physical Systems
CoRR, 2012
Proceedings of the 9th Annual IEEE Communications Society Conference on Sensor, 2012
Proceedings of the NASA Formal Methods, 2012
Pattern-Based Composition and Analysis of Virtually Synchronized Real-Time Distributed Systems.
Proceedings of the 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems, 2012
Memory Access Control in Multiprocessor for Real-Time Systems with Mixed Criticality.
Proceedings of the 24th Euromicro Conference on Real-Time Systems, 2012
Proceedings of the 2012 IEEE International Conference on Bioinformatics and Biomedicine Workshops, 2012
2011
IEEE Trans. Inf. Technol. Biomed., 2011
Real Time Syst., 2011
Optimizing Tunable WCET with Shared Resource Allocation and Arbitration in Hard Real-Time Multicore Systems.
Proceedings of the 32nd IEEE Real-Time Systems Symposium, 2011
Limiting Worst-Case End-to-End Latency When Traffic Increases in a Switched Avionics Network.
Proceedings of the 17th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2011
Proceedings of the 11th International Conference on Embedded Software, 2011
2010
IEEE Trans. Computers, 2010
IET Commun., 2010
Proceedings of the Rewriting Logic and Its Applications - 8th International Workshop, 2010
A reduced complexity design pattern for distributed hierarchical command and control system.
Proceedings of the ACM/IEEE 1st International Conference on Cyber-Physical Systems, 2010
A framework for the safe interoperability of medical devices in the presence of network failures.
Proceedings of the ACM/IEEE 1st International Conference on Cyber-Physical Systems, 2010
Proceedings of the 47th Design Automation Conference, 2010
2009
Proceedings of the 30th IEEE Real-Time Systems Symposium, 2009
Proceedings of the 30th IEEE Real-Time Systems Symposium, 2009
Proceedings of the 30th IEEE Real-Time Systems Symposium, 2009
Proceedings of the 15th IEEE Real-Time and Embedded Technology and Applications Symposium, 2009
ASIIST: Application Specific I/O Integration Support Tool for Real-Time Bus Architecture Designs.
Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems, 2009
Proceedings of the 9th ACM & IEEE International conference on Embedded software, 2009
2008
Proceedings of the Software-Intensive Systems and New Computing Paradigms, 2008
IEEE Trans. Netw. Serv. Manag., 2008
Lightning: A Hard Real-Time, Fast, and Lightweight Low-End Wireless Sensor Election Protocol for Acoustic Event Localization.
IEEE Trans. Mob. Comput., 2008
ORTEGA: An Efficient and Flexible Online Fault Tolerance Architecture for Real-Time Control Systems.
IEEE Trans. Ind. Informatics, 2008
IEEE Trans. Computers, 2008
Proceedings of the IEEE International Conference on Sensor Networks, 2008
Proceedings of the 29th IEEE Real-Time Systems Symposium, 2008
Proceedings of the Fourteenth IEEE Internationl Conference on Embedded and Real-Time Computing Systems and Applications, 2008
Proceedings of the 14th IEEE Real-Time and Embedded Technology and Applications Symposium, 2008
ORTEGA: An Efficient and Flexible Software Fault Tolerance Architecture for Real-Time Control Systems.
Proceedings of the 20th Euromicro Conference on Real-Time Systems, 2008
2007
Building Robust Wireless LAN for Industrial Control with the DSSS-CDMA Cell Phone Network Paradigm.
IEEE Trans. Mob. Comput., 2007
GD-Aggregate: A WAN Virtual Topology Building Tool for Hard Real-Time and Embedded Applications.
Proceedings of the 28th IEEE Real-Time Systems Symposium (RTSS 2007), 2007
The Simplex Reference Model: Limiting Fault-Propagation Due to Unreliable Components in Cyber-Physical System Architectures.
Proceedings of the 28th IEEE Real-Time Systems Symposium (RTSS 2007), 2007
2006
IEEE Trans. Wirel. Commun., 2006
ACM Trans. Sens. Networks, 2006
Optimal Block Design for Asynchronous Wake-Up Schedules and Its Applications in Multihop Wireless Networks.
IEEE Trans. Mob. Comput., 2006
IEEE Trans. Computers, 2006
Feedback fault tolerance of real-time embedded systems: issues and possible solutions.
SIGBED Rev., 2006
Real Time Syst., 2006
Int. J. Wirel. Mob. Comput., 2006
Int. J. Wirel. Inf. Networks, 2006
Int. J. Embed. Syst., 2006
Proceedings of the IEEE International Conference on Systems, 2006
Proceedings of the 27th IEEE Real-Time Systems Symposium (RTSS 2006), 2006
Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2006), 2006
Proceedings of the Management of Integrated End-to-End Communications and Services, 2006
Proceedings of the 18th Euromicro Conference on Real-Time Systems, 2006
Proceedings of the 2006 International Conference on Dependable Systems and Networks (DSN 2006), 2006
2005
IEEE Trans. Wirel. Commun., 2005
Prevention of failures due to assumptions made by software components in real-time systems.
SIGBED Rev., 2005
Proceedings of the 14th international conference on World Wide Web, 2005
Proceedings of the 26th IEEE Real-Time Systems Symposium (RTSS 2005), 2005
Proceedings of the 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2005), 2005
Proceedings of the 11th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2005), 2005
Proceedings of the IEEE 2nd International Conference on Mobile Adhoc and Sensor Systems, 2005
Proceedings of the 13th International Symposium on Modeling, 2005
Timing Performance Control in Web Server Systems Utilizing Server Internal State Information.
Proceedings of the Joint International Conference on Autonomic and Autonomous Systems 2005 / International Conference on Networking and Services 2005, 2005
Dependency Algebra: A Theoretical Framework for Dependency Management in Real-Time Control Systems.
Proceedings of the 12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 2005
Proceedings of the 2005 International Conference on Dependable Systems and Networks (DSN 2005), 28 June, 2005
Real-Time Scheduling for Embedded Systems.
Proceedings of the Handbook of Networked and Embedded Control Systems, 2005
2004
Proceedings of the Handbook of Scheduling - Algorithms, Models, and Performance Analysis., 2004
IEEE Trans. Mob. Comput., 2004
Real Time Syst., 2004
IEEE Distributed Syst. Online, 2004
Lightning: A Fast and Lightweight Acoustic Localization Protocol Using Low-End Wireless Micro-Sensors.
Proceedings of the 25th IEEE Real-Time Systems Symposium (RTSS 2004), 2004
Proceedings of the 25th IEEE Real-Time Systems Symposium (RTSS 2004), 2004
Proceedings of the 2004 IEEE International Conference on Mobile Ad-hoc and Sensor Systems, 2004
Proceedings of the 7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2004), 2004
An energy-aware data-centric generic utility based approach in wireless sensor networks.
Proceedings of the Third International Symposium on Information Processing in Sensor Networks, 2004
Proceedings of the Global Telecommunications Conference, 2004. GLOBECOM '04, Dallas, Texas, USA, 29 November, 2004
2003
Real Time Syst., 2003
Proc. IEEE, 2003
Proceedings of the 9th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS Fall 2003), 2003
Specification and Validation of Fault-Tolerant Software Architectures Based on Actor Model.
Proceedings of the Fifteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2003), 2003
Proceedings of the 24th IEEE Real-Time Systems Symposium (RTSS 2003), 2003
Proceedings of the 24th IEEE Real-Time Systems Symposium (RTSS 2003), 2003
Proceedings of the 24th IEEE Real-Time Systems Symposium (RTSS 2003), 2003
Proceedings of the Real-Time and Embedded Computing Systems and Applications, 2003
Proceedings of the 9th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2003), 2003
Feedback Control with Queueing-Theoretic Prediction for Relative Delay Guarantees in Web Servers.
Proceedings of the 9th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2003), 2003
Proceedings of the 4th ACM Interational Symposium on Mobile Ad Hoc Networking and Computing, 2003
Proceedings of the Quality of Service, 2003
Proceedings of the Information Processing in Sensor Networks, 2003
Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003
Proceedings of IEEE International Conference on Communications, 2003
2002
IEEE Trans. Computers, 2002
Proceedings of the 23rd IEEE Real-Time Systems Symposium (RTSS'02), 2002
Proceedings of the 23rd IEEE Real-Time Systems Symposium (RTSS'02), 2002
Proceedings of the Embedded Software, Second International Conference, 2002
2001
Parallel Distributed Comput. Pract., 2001
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
Proceedings of the 22nd IEEE Real-Time Systems Symposium (RTSS 2001), 2001
Proceedings of the 22nd IEEE Real-Time Systems Symposium (RTSS 2001), 2001
Proceedings of the 7th IEEE Real-Time Technology and Applications Symposium (RTAS 2001), 30 May, 2001
2000
Proceedings of the 21st IEEE Real-Time Systems Symposium (RTSS 2000), 2000
Proceedings of the Sixth IEEE Real Time Technology and Applications Symposium, RTAS 2000, Washington, DC, USA, May 31, 2000
Proceedings of the Parallel and Distributed Processing, 2000
Remote Lab: A Reliable Tele-Laboratory Environment.
Proceedings of the International Conference on Internet Computing, 2000
Proceedings of the 12th Euromicro Conference on Real-Time Systems (ECRTS 2000), 2000
Proceedings of the 39th IEEE Conference on Decision and Control, 2000
Proceedings of the 39th IEEE Conference on Decision and Control, 2000
1999
Proceedings of the 20th IEEE Real-Time Systems Symposium, 1999
A Fault Tolerant Real-time Publisher/Subscriber Inter-Process Communication Architecture.
Proceedings of the 6th International Workshop on Real-Time Computing and Applications Symposium (RTCSA '99), 1999
Proceedings of the 4th IEEE International Symposium on High-Assurance Systems Engineering (HASE '99), 1999
1998
Proceedings of the 19th IEEE Real-Time Systems Symposium, 1998
Proceedings of the 19th IEEE Real-Time Systems Symposium, 1998
Proceedings of the 24th EUROMICRO '98 Conference, 1998
1997
IEEE Trans. Computers, 1997
1996
Proceedings of the 17th IEEE Real-Time Systems Symposium (RTSS '96), 1996
Proceedings of the 2nd IEEE Real-Time Technology and Applications Symposium, 1996
1995
The Deferrable Server Algorithm for Enhanced Aperiodic Responsiveness in Hard Real-Time Environments.
IEEE Trans. Computers, 1995
The real-time publisher/subscriber inter-process communication model for distributed real-time systems: design and implementation.
Proceedings of the 1st IEEE Real-Time Technology and Applications Symposium, 1995
Proceedings of the Responsive Computer Systems: Steps Toward Fault-Tolerant Real-Time Systems, 1995
1994
Generalized rate-monotonic scheduling theory: a framework for developing real-time systems.
Proc. IEEE, 1994
Computer, 1994
1993
1992
Sources of Unbounded Priority Inversions in Real-Time Systems and a Comparative Study of Possible Solutions.
ACM SIGOPS Oper. Syst. Rev., 1992
Proceedings of the Real-Time Systems Symposium, 1992
1991
1990
IEEE Trans. Computers, 1990
Proceedings of the Real-Time Systems Symposium, 1990
1989
Real Time Syst., 1989
The Rate Monotonic Scheduling Algorithm: Exact Characterization and Average Case Behavior.
Proceedings of the Real-Time Systems Symposium, 1989
1988
Exploiting Unused Periodic Time for Aperiodic Service Using the Extended Priority Exchange Algorithm.
Proceedings of the 9th IEEE Real-Time Systems Symposium (RTSS '88), 1988
Proceedings of the 9th IEEE Real-Time Systems Symposium (RTSS '88), 1988
Proceedings of the 15th Annual International Symposium on Computer Architecture, 1988
Proceedings of the Second International Workshop on Real-Time Ada Issues, 1988
The priority ceiling protocol: A method for minimizing the blocking of high priority Ada tasks.
Proceedings of the Second International Workshop on Real-Time Ada Issues, 1988
1987
On Countering the Effects of Cycle-Stealing in a Hard Real-Time Environment.
Proceedings of the 8th IEEE Real-Time Systems Symposium (RTSS '87), 1987
Enhanced Aperiodic Responsiveness in Hard Real-Time Environments.
Proceedings of the 8th IEEE Real-Time Systems Symposium (RTSS '87), 1987
Proceedings of the First International Workshop on Real-Time Ada Issues, 1987
1986
Proceedings of the 1986 ACM SIGMETRICS joint international conference on Computer performance modelling, 1986
Solutions for Some Practical Problems in Prioritized Preemptive Scheduling.
Proceedings of the 7th IEEE Real-Time Systems Symposium (RTSS '86), 1986
1983
Proceedings of the symposium on Communications Architectures & Protocols, 1983