Concepedia

Daniel Plagge

DP

Statistics

Publications

3

Citations

126

H-Index

3

Active since

2009

Affiliations

Heinrich Heine University Düsseldorf(Current)

Daniel Plagge is an author at Heinrich Heine University Düsseldorf specializing in automated reasoning, formal methods, and verification.

Top concepts

Publications per year

2009–2011

3

Publications

3

Automated property verification for large scale B models with ProB

Michaël Leuschel, Jérôme Falampin, Fabian Fritz et al. · Formal Aspects of Computing · 2011 · 56 citations · Full text

Seven at one stroke: LTL model checking for high-level specifications in B, Z, CSP, and more

Daniel Plagge, Michaël Leuschel · International Journal on Software Tools for Technology Transfer · 2009 · 44 citations

, , +15

Validation of formal models by refinement animation

Stefan Hallerstede, Michaël Leuschel, Daniel Plagge · Science of Computer Programming · 2011 · 26 citations

, , +10

1–3 of 3