×
Compute Distance To:
Author ID: dierks.henning Recent zbMATH articles by "Dierks, Henning"
Published as: Dierks, Henning; Dierks, H.
External Links: MGP
Documents Indexed: 10 Publications since 1999, including 2 Books
Co-Authors: 16 Co-Authors with 7 Joint Publications
414 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

10 Publications have been cited 45 times in 38 Documents Cited by Year
Real-time systems. Formal specification and automatic verification. Zbl 1161.68030
Olderog, Ernst-Rüdiger; Dierks, Henning
9
2008
Adapting an AI planning heuristic for directed model checking. Zbl 1178.68347
Kupferschmid, Sebastian; Hoffmann, Jörg; Dierks, Henning; Behrmann, Gerd
8
2006
Automatic abstraction refinement for timed automata. Zbl 1141.68431
Dierks, Henning; Kupferschmid, Sebastian; Larsen, Kim G.
8
2007
PLC-automata: A new class of implementable real-time automata. Zbl 0954.68085
Dierks, H.
5
2001
Specification and verification of polling real-time systems. Zbl 0953.68087
Dierks, Henning
4
1999
Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces. Zbl 1243.68212
Damm, Werner; Dierks, Henning; Disch, Stefan; Hagemann, Willem; Pigorsch, Florian; Scholl, Christoph; Waldmann, Uwe; Wirtz, Boris
4
2012
Towards component based design of hybrid systems: safety and stability. Zbl 1288.68162
Damm, Werner; Dierks, Henning; Oehlerking, Jens; Pnueli, Amir
3
2010
Comparing model checking and logical reasoning for real-time systems. Zbl 1084.68070
Dierks, Henning
2
2004
Constructing test automata from graphical real-time requirements. Zbl 1278.68167
Dierks, Henning; Lettrari, Marc
1
2002
Moby/DC – A tool for model-checking parametric real-time specifications. Zbl 1031.68547
Dierks, Henning; Tapken, Josef
1
2003
Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces. Zbl 1243.68212
Damm, Werner; Dierks, Henning; Disch, Stefan; Hagemann, Willem; Pigorsch, Florian; Scholl, Christoph; Waldmann, Uwe; Wirtz, Boris
4
2012
Towards component based design of hybrid systems: safety and stability. Zbl 1288.68162
Damm, Werner; Dierks, Henning; Oehlerking, Jens; Pnueli, Amir
3
2010
Real-time systems. Formal specification and automatic verification. Zbl 1161.68030
Olderog, Ernst-Rüdiger; Dierks, Henning
9
2008
Automatic abstraction refinement for timed automata. Zbl 1141.68431
Dierks, Henning; Kupferschmid, Sebastian; Larsen, Kim G.
8
2007
Adapting an AI planning heuristic for directed model checking. Zbl 1178.68347
Kupferschmid, Sebastian; Hoffmann, Jörg; Dierks, Henning; Behrmann, Gerd
8
2006
Comparing model checking and logical reasoning for real-time systems. Zbl 1084.68070
Dierks, Henning
2
2004
Moby/DC – A tool for model-checking parametric real-time specifications. Zbl 1031.68547
Dierks, Henning; Tapken, Josef
1
2003
Constructing test automata from graphical real-time requirements. Zbl 1278.68167
Dierks, Henning; Lettrari, Marc
1
2002
PLC-automata: A new class of implementable real-time automata. Zbl 0954.68085
Dierks, H.
5
2001
Specification and verification of polling real-time systems. Zbl 0953.68087
Dierks, Henning
4
1999
all top 5

Cited by 82 Authors

3 Damm, Werner
3 Guelev, Dimitar P.
3 Markey, Nicolas
3 Moszkowski, Ben C.
3 Wehrle, Martin
2 Bouyer, Patricia
2 Duggirala, Parasara Sridhar
2 Kupferschmid, Sebastian
2 Larsen, Kim Guldstrand
2 Prabhakar, Pavithra
2 Wijs, Anton J.
1 Aljazzar, Husain
1 Banach, Richard
1 Barbosa, Luís Soares
1 Bartoletti, Massimo
1 Bocchi, Laura
1 Bošnački, Dragan
1 Cassez, Franck
1 Chakraborty, Supratik
1 Cleaveland, Rance
1 Dasgupta, Pallab
1 Dashti, M. Torabi
1 De Wulf, Martin
1 Dierks, Henning
1 Domshlak, Carmel
1 Doyen, Laurent
1 Edelkamp, Stefan
1 Faber, Johannes
1 Fahrenberg, Uli
1 Fehnker, Ansgar
1 Fontana, Peter
1 Fränzle, Martin
1 Ghosh, Kamalesh
1 Goyal, Manish
1 Guldstrand, Larsen Kim
1 Hagemann, Willem
1 Hanaoka, Goichiro
1 Helmert, Malte
1 Hendriks, Martijn
1 Hoenicke, Jochen
1 Hoffmann, Jörg
1 Hofmann, Dirk
1 Huang, Runlei
1 Hung, Dang Van
1 Ihlemann, Carsten
1 Jensen, Peter Gjøl
1 John, Ajith K.
1 Kwiatkowska, Marta Z.
1 Leucker, Martin
1 Majzik, Istvan
1 Martins, Manuel António
1 Matsuda, Takahiro
1 Meyer, Roland
1 Misra, Janardan Kumar
1 Mitra, Sayan
1 Murgia, Maurizio
1 Neves, Renato
1 Norman, Gethin
1 Olderog, Ernst-Rüdiger
1 Ouaknine, Joel O.
1 Peter, Hans-Jörg
1 Platzer, André
1 Podelski, Andreas
1 Quesel, Jan-David
1 Rakow, Jan-Hendrik
1 Raskin, Jean-François
1 Refsdal, Atle
1 Roy, Suman
1 Runde, Ragnhild Kobro
1 Rybalchenko, Andrey
1 Sankur, Ocan
1 Schuppan, Viktor
1 Sofronie-Stokkermans, Viorica
1 Soto, Miriam García
1 Stølen, Ketil
1 Su, Wen
1 Swaminathan, Mani
1 Tóth, Tamás
1 Viswanathan, Mahesh
1 Westphal, Bernd
1 Worrell, James B.
1 Zhu, Huibiao

Citations by Year