×

zbMATH — the first resource for mathematics

Hune, Thomas

Compute Distance To:
Author ID: hune.thomas Recent zbMATH articles by "Hune, Thomas"
Published as: Hune, Thomas
Documents Indexed: 8 Publications since 1999

Publications by Year

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.68037
Behrmann, Gerd; Fehnker, Ansgar; Hune, Thomas; Larsen, Kim; Pettersson, Paul
43
2002
Linear parametric model checking of timed automata. Zbl 1008.68069
Hune, Thomas; Romijn, Judi; Stoelinga, Mariëlle; Vaandrager, Frits
22
2002
As cheap as possible: Efficient cost-optimal reachability for priced timed automata. Zbl 0991.68536
Larsen, Kim; Behrmann, Gerd; Brinksma, Ed; Fehnker, Ansgar; Hune, Thomas
15
2001
Linear parametric model checking of timed automata. Zbl 0978.68094
Hune, Thomas; Romijn, Judi; Stoelinga, Mariëlle; Vaandrager, Frits
14
2001
Efficient guiding towards cost-optimality in UPPAAL. Zbl 0978.68541
Behrmann, Gerd; Fehnker, Ansgar; Hune, Thomas; Larsen, Kim; Pettersson, Paul
14
2001
Distributing timed model checking – how the search order matters. Zbl 0974.68518
Behrmann, Gerd; Hune, Thomas; Vaandrager, Frits
8
2000
Guided synthesis of control programs using UPPAAL. Zbl 0978.68021
Hune, Thomas; Larsen, Kim G.; Pettersson, Paul
7
2001
Bisimulation and open maps for timed transition systems. Zbl 0935.68077
Nielsen, Mogens; Hune, Thomas
1
1999
Minimum-cost reachability for priced timed automata. Zbl 0991.68037
Behrmann, Gerd; Fehnker, Ansgar; Hune, Thomas; Larsen, Kim; Pettersson, Paul
43
2002
Linear parametric model checking of timed automata. Zbl 1008.68069
Hune, Thomas; Romijn, Judi; Stoelinga, Mariëlle; Vaandrager, Frits
22
2002
As cheap as possible: Efficient cost-optimal reachability for priced timed automata. Zbl 0991.68536
Larsen, Kim; Behrmann, Gerd; Brinksma, Ed; Fehnker, Ansgar; Hune, Thomas
15
2001
Linear parametric model checking of timed automata. Zbl 0978.68094
Hune, Thomas; Romijn, Judi; Stoelinga, Mariëlle; Vaandrager, Frits
14
2001
Efficient guiding towards cost-optimality in UPPAAL. Zbl 0978.68541
Behrmann, Gerd; Fehnker, Ansgar; Hune, Thomas; Larsen, Kim; Pettersson, Paul
14
2001
Guided synthesis of control programs using UPPAAL. Zbl 0978.68021
Hune, Thomas; Larsen, Kim G.; Pettersson, Paul
7
2001
Distributing timed model checking – how the search order matters. Zbl 0974.68518
Behrmann, Gerd; Hune, Thomas; Vaandrager, Frits
8
2000
Bisimulation and open maps for timed transition systems. Zbl 0935.68077
Nielsen, Mogens; Hune, Thomas
1
1999
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

Citations by Year