Olivera Pavlovic

According to our database, Olivera Pavlovic authored at least 3 papers between 2007 and 2010.

Collaborative distances:

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

2010

Model Checking PLC Software Written in Function Block Diagram.

Olivera Pavlovic, Hans-Dieter Ehrich

Proceedings of the Third International Conference on Software Testing, 2010

2009

Formale Verifikation von Software für speicherprogrammierbare Steuerungen mittels Model Checking (Formal verification of software for programmable logic controllers by model checking)

Olivera Pavlovic

PhD thesis, 2009

2007

Automation of Formal Verification of PLC Programs Written in IL.

Olivera Pavlovic, Ralf Pinger, Maik Kollmann

Proceedings of 4th International Verification Workshop in connection with CADE-21, 2007