Specification and Implementation of the Universal TimeCoordinated Synchronization Unit (UTCSU)
Real-Time Systems - Special issue on global time in large scale distributed real-time systems, part III
Requirements-based monitors for real-time systems
Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
Requirements-Based Monitors for Real-Time Systems
IEEE Transactions on Software Engineering
Dynamic analysis for locating product features in Ada code
Proceedings of the 2001 annual ACM SIGAda international conference on Ada
Optimal instrumentation of data-flow in concurrent data structures
OPODIS'11 Proceedings of the 15th international conference on Principles of Distributed Systems
| Hi-index | 0.00 |