Safety analysis of timing properties in real-time systems
IEEE Transactions on Software Engineering - Special issue on reliability and safety in real-time process control
The synthesis of digital machines with provable epistemic properties
Proceedings of the 1986 Conference on Theoretical aspects of reasoning about knowledge
Safety Analysis Using Petri Nets
IEEE Transactions on Software Engineering
CHAOS- kernel support for objects in the real-time domain
IEEE Transactions on Computers - Special Issue on Real-Time Systems
An algorithmic approach to some problems in terrain navigation
Artificial Intelligence - Special issue on geometric reasoning
Real-Time Scheduling Theory and Ada
Computer
Technical description of the adaptive suspension vehicle
International Journal of Robotics Research
Internalized plans: A representation for action resources
Robotics and Autonomous Systems
An architecture for planning with external information points in a real-time system
CSC '96 Proceedings of the 1996 ACM 24th annual conference on Computer science
Response Time Analysis of EQL Real-Time Rule-Based Systems
IEEE Transactions on Knowledge and Data Engineering
Response Time Analysis of OPS5 Production Systems
IEEE Transactions on Knowledge and Data Engineering
Analysis of Real-Time Rule-Based Systems with Behavioral Constraint Assertions Specified in Estella
IEEE Transactions on Software Engineering
A Graph-Based Approach for Timing Analysis and Refinement of OPS5 Knowledge-Based Systems
IEEE Transactions on Knowledge and Data Engineering
| Hi-index | 48.22 |