Edit Profile (opens in new tab) Dierks, Henning Compute Distance To: Compute Author ID: 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 all top 5 Co-Authors 3 single-authored 2 Damm, Werner 2 Kupferschmid, Sebastian 1 Behrmann, Gerd 1 Disch, Stefan 1 Hagemann, Willem 1 Hoffmann, Jörg 1 Larsen, Kim Guldstrand 1 Lettrari, Marc 1 Oehlerking, Jens 1 Olderog, Ernst-Rüdiger 1 Pigorsch, Florian 1 Pnueli, Amir 1 Scholl, Christoph 1 Tapken, Josef 1 Waldmann, Uwe 1 Wirtz, Boris Serials 1 Theoretical Computer Science 1 Science of Computer Programming 1 Formal Aspects of Computing Fields 10 Computer science (68-XX) 1 Systems theory; control (93-XX) Publications by Year all cited Publications top 5 cited Publications 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.68030Olderog, Ernst-Rüdiger; Dierks, Henning 9 2008 Adapting an AI planning heuristic for directed model checking. Zbl 1178.68347Kupferschmid, Sebastian; Hoffmann, Jörg; Dierks, Henning; Behrmann, Gerd 8 2006 Automatic abstraction refinement for timed automata. Zbl 1141.68431Dierks, Henning; Kupferschmid, Sebastian; Larsen, Kim G. 8 2007 PLC-automata: A new class of implementable real-time automata. Zbl 0954.68085Dierks, H. 5 2001 Specification and verification of polling real-time systems. Zbl 0953.68087Dierks, Henning 4 1999 Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces. Zbl 1243.68212Damm, 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.68162Damm, Werner; Dierks, Henning; Oehlerking, Jens; Pnueli, Amir 3 2010 Comparing model checking and logical reasoning for real-time systems. Zbl 1084.68070Dierks, Henning 2 2004 Constructing test automata from graphical real-time requirements. Zbl 1278.68167Dierks, Henning; Lettrari, Marc 1 2002 Moby/DC – A tool for model-checking parametric real-time specifications. Zbl 1031.68547Dierks, Henning; Tapken, Josef 1 2003 Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces. Zbl 1243.68212Damm, 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.68162Damm, Werner; Dierks, Henning; Oehlerking, Jens; Pnueli, Amir 3 2010 Real-time systems. Formal specification and automatic verification. Zbl 1161.68030Olderog, Ernst-Rüdiger; Dierks, Henning 9 2008 Automatic abstraction refinement for timed automata. Zbl 1141.68431Dierks, Henning; Kupferschmid, Sebastian; Larsen, Kim G. 8 2007 Adapting an AI planning heuristic for directed model checking. Zbl 1178.68347Kupferschmid, Sebastian; Hoffmann, Jörg; Dierks, Henning; Behrmann, Gerd 8 2006 Comparing model checking and logical reasoning for real-time systems. Zbl 1084.68070Dierks, Henning 2 2004 Moby/DC – A tool for model-checking parametric real-time specifications. Zbl 1031.68547Dierks, Henning; Tapken, Josef 1 2003 Constructing test automata from graphical real-time requirements. Zbl 1278.68167Dierks, Henning; Lettrari, Marc 1 2002 PLC-automata: A new class of implementable real-time automata. Zbl 0954.68085Dierks, H. 5 2001 Specification and verification of polling real-time systems. Zbl 0953.68087Dierks, Henning 4 1999 all cited Publications top 5 cited Publications 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 all top 5 Cited in 18 Serials 4 Formal Aspects of Computing 3 Formal Methods in System Design 2 Information and Computation 2 Annals of Mathematics and Artificial Intelligence 2 Mathematics in Computer Science 1 ACM Computing Surveys 1 Acta Informatica 1 Artificial Intelligence 1 Automatica 1 Journal of Computer and System Sciences 1 Theoretical Computer Science 1 Journal of Automated Reasoning 1 MSCS. Mathematical Structures in Computer Science 1 Journal of Applied Non-Classical Logics 1 Fundamenta Informaticae 1 The Journal of Logic and Algebraic Programming 1 Nonlinear Analysis. Hybrid Systems 1 Journal of Logical and Algebraic Methods in Programming all top 5 Cited in 11 Fields 33 Computer science (68-XX) 6 Systems theory; control (93-XX) 5 Mathematical logic and foundations (03-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Operations research, mathematical programming (90-XX) 1 General and overarching topics; collections (00-XX) 1 History and biography (01-XX) 1 Category theory; homological algebra (18-XX) 1 Convex and discrete geometry (52-XX) 1 Numerical analysis (65-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year