David Polock

According to our database, David Polock authored at least 3 papers between 2000 and 2005.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

2005

Priority Inheritance Revisited. Towards the conformance of real-time protocols.

Dieter Zöbel, David Polock

Tech. Sci. Informatiques, 2005

2004

Testing for the Conformance of Real-time Protocols Implemented by Operating Systems.

Dieter Zöbel, David Polock, Andreas van Arkel

Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems, 2004

2000

Conformance testing of priority inheritance protocols.

David Polock, Dieter Zöbel

Proceedings of the 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 2000