Concepedia

Olivera Pavlović

OP

2

Publications

89

Citations

2

H-Index

2007

Active since

Affiliations

Technische Universität Braunschweig(Current)

Siemens (Germany)

Olivera Pavlović is an author at Technische Universität Braunschweig specializing in systems engineering, computer science, and software testing.

Top concepts

EngineeringVerificationFormal MethodsProcess ControlComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationSystems Engineering

Publications per year

2007–2010

2

Publications

2

Model Checking PLC Software Written in Function Block Diagram

Olivera Pavlović, Hans-Dieter Ehrich · 2010 · 67 citations

Engineering, Hardware Verification Language, Plc Applications +23

Automation of Formal Verification of PLC Programs Written in IL.

Olivera Pavlović, Ralf Pinger, Maik Kollmann · Acta Universitatis Carolinae. Medica · 2007 · 22 citations

Plc Programs Written, Program Checking, Engineering +22

Rows per page

1–2 of 2