Henning Dierks

Statistics

Publications

Citations

181

H-Index

Active since

1997

Affiliations

Carl von Ossietzky Universität Oldenburg(Current)

Henning Dierks is an author at Carl von Ossietzky Universität Oldenburg specializing in computer science, real-time systems design, and computer engineering.

Publications per year

1997–2020

Publications

PLC-automata: a new class of implementable real-time automata

Henning Dierks · Theoretical Computer Science · 2001 · 56 citations

Computing, Computer Engineering, Computer Science +6

Comparing model checking and logical reasoning for real-time systems

Henning Dierks · Formal Aspects of Computing · 2004 · 28 citations · Full text

Computing, Computer Engineering, Computer Science +16

Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces

Werner Damm, Henning Dierks, Stefan Disch et al. · Science of Computer Programming · 2011 · 25 citations

Computing, Computer Science, Formal Methods +12

Synthesising controllers from real-time specifications

Henning Dierks · International Symposium on Systems Synthesis · 1997 · 20 citations

Engineering, Computer Engineering, Computer Science +17

Synthesising controllers from real-time specifications

Henning Dierks · 2002 · 15 citations

Engineering, Computer Engineering, Computer Science +17

1–5 of 8