Pavel Erlebach

According to our database, Pavel Erlebach authored at least 3 papers between 2005 and 2007.

Collaborative distances:

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

2007

Generalised multi-pattern-based verification of programs with linear linked structures.

Milan Ceska, Pavel Erlebach, Tomás Vojnar

Formal Aspects Comput., 2007

Pattern-Based Verification for Trees.

Milan Ceska, Pavel Erlebach, Tomás Vojnar

Proceedings of the Computer Aided Systems Theory, 2007

2005

Pattern-Based Verification of Programs with Extended Linear Linked Data Structures.

Milan Ceska, Pavel Erlebach, Tomás Vojnar

Proceedings of the 5th International Workshop on Automated Verification of Critical Systems, 2005