| Tradeoffs in Neuroevolutionary Learning-Based Real-Time Robotic Task Design in the Imprecise Computation Framework | 1 | 0.34 | 2019 |
| A Skill-Based Programming System for Robotic Furniture Assembly | 0 | 0.34 | 2018 |
| A Case Study of Cyber-Physical System Design: Autonomous Pick-and-Place Robot | 0 | 0.34 | 2018 |
| Schedule Adaptation for Ensuring Reliability in RT-WiFi-Based Networked Embedded Systems. | 0 | 0.34 | 2018 |
| Synchronization Considerations for Real-Time Wireless Sensor and Actuator Networks | 0 | 0.34 | 2016 |
| Controlit! A Software Framework For Whole-Body Operational Space Control | 4 | 0.45 | 2015 |
| Time delay compensation in a wireless tracking control system with previewed reference | 0 | 0.34 | 2014 |
| Improving the Latency of VMExit Forwarding in Recursive Virtualization for the x86 Architecture | 0 | 0.34 | 2012 |
| Schedulability and performance analysis of the similarity stack protocol | 0 | 0.34 | 2003 |
| Real-Time Virtual Resource: A Timely Abstraction for Embedded Systems | 18 | 1.54 | 2002 |
| Tracking Real-Time Systems Requirements | 8 | 0.73 | 2000 |
| Composite events for network event correlation | 59 | 4.09 | 1999 |
| Utilization Bound Re-visited | 7 | 1.45 | 1999 |
| Providing real-time support through component object model | 0 | 0.34 | 1999 |
| Integrated Design Tools for Hard Real-Time Systems | 5 | 0.61 | 1998 |
| A Unified Approach for Specifying Timing Constraints and Composite Events in Active Real-Time Database Systems | 28 | 3.15 | 1998 |
| Similarity-based load adjustment for real-time data-intensive applications | 37 | 1.58 | 1997 |
| Jitter concerns in periodic task systems | 8 | 0.85 | 1997 |
| Early detection of timing constraint violation at runtime | 26 | 2.67 | 1997 |
| Incremental Reconfiguration and Load Adjustment in Adaptive Real-Time Systems | 34 | 2.18 | 1997 |
| Compiling Modechart specifications | 8 | 0.77 | 1995 |
| The design and implementation of a Real-Time Object Management Interface | 2 | 0.40 | 1995 |
| Future Distributed Embedded and Real-Time Applications Will Be Adaptive: Meanings, Challenges and Research Paradigms (Panel) | 0 | 0.34 | 1995 |
| Signalling on ATM testbeds: an example | 0 | 0.34 | 1995 |
| A new generation modechart verifier | 1 | 0.38 | 1995 |
| RTL and Refutation by Positive Cycles | 11 | 0.60 | 1994 |
| Distributed real-time system specification and verification in APTL | 18 | 1.20 | 1993 |
| Ssp - A Semantics-Based Protocol For Real-Time Data Access | 78 | 6.55 | 1993 |
| Symbolic Model Checking for Distributed Real-Time Systems | 14 | 1.11 | 1993 |
| Application semantics and concurrency control of real-time data-intensive applications | 36 | 3.18 | 1992 |
| Quantitative temporal reasoning | 152 | 33.44 | 1992 |
| Formal Specification of Ssynchronous Distributed Real-Time Systems by APTL. | 0 | 0.34 | 1992 |
| Load adjustment in adaptive real-time systems | 76 | 6.54 | 1991 |
| Supercomputers/parallel algorithms | 0 | 0.34 | 1987 |
| Synthesis of a Real-Time Message Processing System with Data-Driven Timing Constraints | 7 | 2.65 | 1987 |
| A Graph-Theoretic Approach for Timing Analysis in Real Time Logic | 4 | 1.86 | 1986 |
| Specification and analysis of timing properties in real-time systems | 2 | 0.39 | 1986 |
| A Graph-Based Computation Model for Real-Time Systems | 7 | 0.90 | 1985 |
| Modeling and Scheduling of Dataflow Real-Time Systems | 11 | 2.85 | 1985 |
