Concepedia

Ralf Pinger

RP

2

Publications

41

Citations

2

H-Index

2007

Active since

Affiliations

Siemens (Germany)(Current)

Ralf Pinger is an author at Siemens (Germany) specializing in automation, systems engineering, and industrial informatics.

Top concepts

AutomationEngineeringFormal MethodsFormal VerificationSystems EngineeringSoftware EngineeringIndustrial InformaticsDesignVerificationData Modeling

Publications per year

2007–2014

2

Publications

2

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

A formal systems engineering approach in practice: an experience report

Wolfgang Böhm, Maximilian Junker, Andreas Vogelsang et al. · 2014 · 19 citations

Engineering, Industrial Engineering, Requirement Modeling +23

Rows per page

1–2 of 2