Edit Profile Hune, Thomas Compute Distance To: Compute Author ID: hune.thomas Published as: Hune, Thomas Documents Indexed: 8 Publications since 1999 all top 5 Co-Authors 0 single-authored 4 Behrmann, Gerd 4 Larsen, Kim Guldstrand 3 Fehnker, Ansgar 3 Pettersson, Paul 3 Vaandrager, Frits W. 2 Romijn, Judi 2 Stoelinga, Mariëlle 1 Brinksma, Ed 1 Nielsen, Mogens Serials 1 Nordic Journal of Computing 1 Fundamenta Informaticae 1 The Journal of Logic and Algebraic Programming Fields 8 Computer science (68-XX) 1 Operations research, mathematical programming (90-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 8 Publications have been cited 124 times in 97 Documents Cited by ▼ Year ▼ Minimum-cost reachability for priced timed automata. Zbl 0991.68037Behrmann, Gerd; Fehnker, Ansgar; Hune, Thomas; Larsen, Kim; Pettersson, Paul 43 2002 Linear parametric model checking of timed automata. Zbl 1008.68069Hune, Thomas; Romijn, Judi; Stoelinga, Mariëlle; Vaandrager, Frits 22 2002 As cheap as possible: Efficient cost-optimal reachability for priced timed automata. Zbl 0991.68536Larsen, Kim; Behrmann, Gerd; Brinksma, Ed; Fehnker, Ansgar; Hune, Thomas 15 2001 Linear parametric model checking of timed automata. Zbl 0978.68094Hune, Thomas; Romijn, Judi; Stoelinga, Mariëlle; Vaandrager, Frits 14 2001 Efficient guiding towards cost-optimality in UPPAAL. Zbl 0978.68541Behrmann, Gerd; Fehnker, Ansgar; Hune, Thomas; Larsen, Kim; Pettersson, Paul 14 2001 Distributing timed model checking – how the search order matters. Zbl 0974.68518Behrmann, Gerd; Hune, Thomas; Vaandrager, Frits 8 2000 Guided synthesis of control programs using UPPAAL. Zbl 0978.68021Hune, Thomas; Larsen, Kim G.; Pettersson, Paul 7 2001 Bisimulation and open maps for timed transition systems. Zbl 0935.68077Nielsen, Mogens; Hune, Thomas 1 1999 Minimum-cost reachability for priced timed automata. Zbl 0991.68037Behrmann, Gerd; Fehnker, Ansgar; Hune, Thomas; Larsen, Kim; Pettersson, Paul 43 2002 Linear parametric model checking of timed automata. Zbl 1008.68069Hune, Thomas; Romijn, Judi; Stoelinga, Mariëlle; Vaandrager, Frits 22 2002 As cheap as possible: Efficient cost-optimal reachability for priced timed automata. Zbl 0991.68536Larsen, Kim; Behrmann, Gerd; Brinksma, Ed; Fehnker, Ansgar; Hune, Thomas 15 2001 Linear parametric model checking of timed automata. Zbl 0978.68094Hune, Thomas; Romijn, Judi; Stoelinga, Mariëlle; Vaandrager, Frits 14 2001 Efficient guiding towards cost-optimality in UPPAAL. Zbl 0978.68541Behrmann, Gerd; Fehnker, Ansgar; Hune, Thomas; Larsen, Kim; Pettersson, Paul 14 2001 Guided synthesis of control programs using UPPAAL. Zbl 0978.68021Hune, Thomas; Larsen, Kim G.; Pettersson, Paul 7 2001 Distributing timed model checking – how the search order matters. Zbl 0974.68518Behrmann, Gerd; Hune, Thomas; Vaandrager, Frits 8 2000 Bisimulation and open maps for timed transition systems. Zbl 0935.68077Nielsen, Mogens; Hune, Thomas 1 1999 all cited Publications top 5 cited Publications all top 5 Cited by 182 Authors 17 Larsen, Kim Guldstrand 9 Bouyer, Patricia 8 André, Étienne 6 Brihaye, Thomas 6 Fahrenberg, Uli 6 Markey, Nicolas 5 Mardare, Radu 4 Kwiatkowska, Marta Z. 4 Legay, Axel 4 Quaas, Karin 3 Beneš, Nikola 3 Bezděk, Peter 3 Bruyère, Véronique 3 Doyen, Laurent 3 Jovanović, Aleksandra Ž. 3 La Torre, Salvatore 3 Lime, Didier 3 Norman, Gethin 3 Raskin, Jean-François 3 Xue, Bingtian 2 Al-Bataineh, Omar 2 Barnat, Jiří 2 Černá, Ivana 2 Dingel, Juergen 2 Dullerud, Geir E. 2 Edelkamp, Stefan 2 Fersman, Elena 2 French, Tim 2 Fribourg, Laurent 2 Gradara, Sara 2 Ouaknine, Joel O. 2 Pappas, George J. 2 Peled, Doron A. 2 Pettersson, Paul 2 Prabhakar, Pavithra 2 Qu, Hongyang 2 Rasmussen, Jacob Illum 2 Reynolds, Mark Alexander 2 Roux, Olivier H. 2 Rudie, Karen 2 Sankur, Ocan 2 Santone, Antonella 2 Sproston, Jeremy 2 Srba, Jiří 2 Sun, Jun 2 Vaandrager, Frits W. 2 Villani, Maria Luisa 2 Viswanathan, Mahesh 2 Vladimerou, Vladimeros 2 Waez, Md Tawhid Bin 2 Wąsowski, Andrzej 2 Wijs, Anton J. 2 Yi, Wang 1 Abdeddaïm, Yasmina 1 Abdulla, Parosh Aziz 1 Aljazzar, Husain 1 Alur, Rajeev 1 Asarin, Eugene 1 Avni, Guy 1 Azgomi, Mohammad Abdollahi 1 Balluchi, Andrea 1 Barringer, Howard 1 Bensalem, Saddek 1 Benvenuti, Luca 1 Bertrand, Nathalie 1 Blom, Stefan 1 Bøgsted Poulsen, Danny 1 Bošnački, Dragan 1 Bowman, Howard 1 Bozzelli, Laura 1 Braberman, Víctor 1 Brim, Luboš 1 Brinksma, Ed 1 Brown, Geoffrey M. 1 Bundala, Daniel 1 Busatto-Gaston, Damien 1 Cachera, David 1 Camacho, Carlos J. 1 Češka, Milan 1 Chatain, Thomas 1 Chevalier, Fabrice 1 Chiplunkar, Ashish 1 Chothia, Tom 1 Christoffersen, Peter F. 1 Cleaveland, Rance 1 Corporaal, Henk 1 Dang, Zhe 1 Dashti, M. Torabi 1 David, Alexandre 1 de Groot, A. L. 1 De Wulf, Martin 1 Delahaye, Benoît 1 Di Giampaolo, Barbara 1 Dong, JinSong 1 Droste, Manfred 1 Encrenaz, Emmanuelle 1 Engell, Sebastian 1 Ezekiel, Jonathan 1 Fehnker, Ansgar 1 Fontana, Peter ...and 82 more Authors all top 5 Cited in 20 Serials 17 Theoretical Computer Science 10 Formal Methods in System Design 6 Information and Computation 5 Formal Aspects of Computing 4 Journal of Logical and Algebraic Methods in Programming 3 The Journal of Logic and Algebraic Programming 2 Information Processing Letters 2 Real-Time Systems 2 Discrete Event Dynamic Systems 2 European Journal of Control 2 Logical Methods in Computer Science 1 ACM Computing Surveys 1 International Journal of Control 1 Journal of Computer and System Sciences 1 Programming and Computer Software 1 Annals of Pure and Applied Logic 1 Soft Computing 1 Nonlinear Analysis. Hybrid Systems 1 RAIRO. Theoretical Informatics and Applications 1 Computer Science Review all top 5 Cited in 9 Fields 91 Computer science (68-XX) 13 Mathematical logic and foundations (03-XX) 8 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 7 Systems theory; control (93-XX) 1 Combinatorics (05-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Operations research, mathematical programming (90-XX) 1 Biology and other natural sciences (92-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year