Thorsten Gerdsmeier

According to our database, Thorsten Gerdsmeier authored at least 3 papers in 2001.

Collaborative distances:

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

2001

Deductive and algorithmic analysis of real-time concurrent Ada programs.

Thorsten Gerdsmeier

PhD thesis, 2001

Analysis of Scheduling Behaviour using Generic Timed Automata.

Thorsten Gerdsmeier, Rachel Cardell-Oliver

Proceedings of the Computing: The Australasian Theory Symposium, 2001

A Method for Verifying Real-Time Properties of Ada Programs.

Thorsten Gerdsmeier, Rachel Cardell-Oliver

Proceedings of the 7th International Conference on Engineering of Complex Computer Systems (ICECCS 2001), 2001