Concepedia

P. Warkentin

PW

Statistics

Publications

2

Citations

32

H-Index

2

Active since

1999

Affiliations

Siemens (Germany)(Current)

P. Warkentin is an author at Siemens (Germany) specializing in computer engineering, automated reasoning, and formal methods.

Top concepts

Publications per year

1999–2004

2

Publications

2

Structural FSM Traversal

Dominik Stoffel, Markus Wedler, P. Warkentin et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2004 · 22 citations

, , +19

Formal verification of PLC-programs

Th. Filkorn, M. Hölzlein, P. Warkentin et al. · IFAC Proceedings Volumes · 1999 · 10 citations

1–2 of 2