Runtime monitoring of timing constraints in distributed real-time systems

This publication has 20 references indexed in Scilit:

• A new probabilistic algorithm for clock synchronization
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Using languages for capture, analysis and display of performance information for parallel and distributed applications
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• A prototyping environment for specifying, executing and checking communicating real-time state machines
  Software: Practice and Experience, 1994
• Detection of unstable predicates in distributed programs
  Published by Springer Nature ,1992
• A hybrid monitor for behavior and performance analysis of distributed systems
  IEEE Transactions on Software Engineering, 1990
• Probabilistic clock synchronization
  Distributed Computing, 1989
• A real-time monitor for a distributed real-time operating system
  ACM SIGPLAN Notices, 1988
• A relational approach to monitoring complex systems
  ACM Transactions on Computer Systems, 1988
• Distributed snapshots
  ACM Transactions on Computer Systems, 1985
• An upper and lower bound for clock synchronization
  Information and Control, 1984