×

Larsen, Kim Guldstrand

Author ID: larsen.kim-guldstrand Recent zbMATH articles by "Larsen, Kim Guldstrand"
Published as: Larsen, Kim G.; Larsen, Kim Guldstrand; Guldstrand Larsen, Kim; Larsen, Kim; Larsen, K. G.
Homepage: http://people.cs.aau.dk/~kgl/
External Links: MGP · Google Scholar · dblp · GND
all top 5

Co-Authors

11 single-authored
35 Srba, Jiří
34 Mardare, Radu
25 Legay, Axel
22 Bacci, Giovanni
19 Fahrenberg, Uli
18 Bouyer, Patricia
17 Bacci, Giorgio
17 Wąsowski, Andrzej
16 David, Alexandre
15 Behrmann, Gerd
12 Markey, Nicolas
11 Jensen, Peter Gjøl
11 Nyman, Ulrik
10 Yi, Wang
9 Delahaye, Benoît
9 Pettersson, Paul
9 Thrane, Claus R.
9 Xue, Bingtian
8 Cassez, Franck
7 Beneš, Nikola
7 Juhl, Line
7 Křetínský, Jan
7 Muñiz, Marco
7 Rasmussen, Jacob Illum
6 Enevoldsen, Søren
6 Mikucionis, Marius
5 Bøgsted Poulsen, Danny
5 Cardelli, Luca
5 Hansen, Mikkel
5 Nielsen, Brian
5 Olesen, Mads Christian
5 Pedersen, Mikkel Lykke
5 Raskin, Jean-François
5 Skou, Arne
4 Antonik, Adam
4 Bønneland, Frederik Meyer
4 Brinksma, Ed
4 Bulychev, Peter E.
4 Dalsgaard, Andreas Engelbredt
4 Fleury, Emmanuel
4 Hune, Thomas
4 Huth, Michael R. A.
4 Jensen, Henrik Ejersbo
4 Jensen, Mathias Claus
4 Kaufmann, Isabella
4 Kristoffersen, Kåre J.
4 Laursen, Simon
4 Lime, Didier
4 Mariegaard, Anders
4 Pedersen, Mathias Ruggaard
4 Reynier, Pierre-Alain
4 Weise, Carsten
3 Aichernig, Bernhard K.
3 Bauer, Sebastian S.
3 Fehnker, Ansgar
3 Hansen, René Rydhof
3 Jensen, Lasse S.
3 Katoen, Joost-Pieter
3 Møller, Mikael Harkjær
3 Nielsen, Søren M.
3 Panangaden, Prakash
3 Tappler, Martin
3 Traonouez, Louis-Marie
3 Winskel, Glynn
2 Aceto, Luca
2 Andersen, Henrik Reif
2 Boudol, Gérard
2 D’Argenio, Pedro Rubén
2 Eichlseder, Maria
2 Fogh, Peter
2 Gebler, Daniel E.
2 Graf, Susanne
2 Groote, Jan Friso
2 Grosu, Radu
2 Havelund, Klaus
2 Hendriks, Martijn
2 Hulgaard, Henrik
2 Jeannet, Bertrand
2 Jensen, Finn Verner
2 Jepsen, Tobias S.
2 Jonsson, Bengt
2 Kiviriga, Andrej
2 Kozen, Dexter C.
2 Kupferschmid, Sebastian
2 Larsson, Fredrik
2 Li, Guangyuan
2 Lind-Nielsen, Jørn
2 Liu, Xinxin
2 Margaria, Tiziana
2 Milner, Robin
2 Niebert, Peter
2 Pastva, Samuel
2 Pearson, Justin
2 Pelánek, Radek
2 Potapov, Igor
2 Randour, Mickael
2 Sedwards, Sean
2 Sher, Falak
2 Subramani, Krishnan
2 Taankvist, Jakob Haahr
...and 100 more Co-Authors

Publications by Year

Citations contained in zbMATH Open

197 Publications have been cited 2,222 times in 1,258 Documents Cited by Year
Principles of model checking. Foreword by Kim Guldstrand Larsen. Zbl 1179.68076
Baier, Christel; Katoen, Joost-Pieter
668
2008
Bisimulation through probabilistic testing. Zbl 0756.68035
Larsen, Kim G.; Skou, Arne
319
1991
Uppaal in a nutshell. Zbl 1060.68577
Larsen, Kim G.; Pettersson, Paul; Yi, Wang
156
1997
A tutorial on UPPAAL. Zbl 1105.68350
Behrmann, Gerd; David, Alexandre; Larsen, Kim G.
84
2004
Minimum-cost reachability for priced timed automata. Zbl 0991.68037
Behrmann, Gerd; Fehnker, Ansgar; Hune, Thomas; Larsen, Kim; Pettersson, Paul
68
2002
Infinite runs in weighted timed automata with energy constraints. Zbl 1171.68524
Bouyer, Patricia; Fahrenberg, Uli; Larsen, Kim G.; Markey, Nicolas; Srba, Jiří
57
2008
Using information systems to solve recursive domain equations effectively. Zbl 0539.68019
Larsen, K. G.; Winskel, G.
56
1984
Reactive systems. Modelling, specification and verification. Zbl 1141.68043
Aceto, Luca; Ingólfsdóttir, Anna; Larsen, Kim G.; Srba, Jiří
56
2007
Modal I/O automata for interface and product line theories. Zbl 1187.68296
Larsen, Kim G.; Nyman, Ulrik; Wąsowski, Andrzej
49
2007
Efficient on-the-fly algorithms for the analysis of timed games. Zbl 1134.68382
Cassez, Franck; David, Alexandre; Fleury, Emmanuel; Larsen, Kim G.; Lime, Didier
46
2005
Probabilistic extensions of process algebras. Zbl 1062.68081
Jonsson, Bengt; Yi, Wang; Larsen, Kim G.
44
2001
Proof systems for satisfiability in Hennessy-Milner logic with recursion. Zbl 0698.68014
Larsen, Kim G.
38
1990
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
28
2001
Compositionality through an operational semantics of contexts. Zbl 0738.68056
Larsen, Kim G.; Liu, Xinxin
26
1991
The impressive power of stopwatches. Zbl 0999.68112
Cassez, Franck; Larsen, Kim
26
2000
Reachability analysis of probabilistic systems by successive refinements. Zbl 1007.68131
D’Argenio, Pedro R.; Jeannet, Bertrand; Jensen, Henrik E.; Larsen, Kim G.
25
2001
Timed I/O automata: a complete specification theory for real-time systems. Zbl 1361.68143
David, Alexandre; Larsen, Kim G.; Legay, Axel; Nyman, Ulrik; Wasowski, Andrzej
24
2010
Proof systems for Hennessy-Milner logic with recursion. Zbl 0647.68012
Larsen, Kim G.
24
1988
Optimal infinite scheduling for multi-priced timed automata. Zbl 1133.68360
Bouyer, Patricia; Brinksma, Ed; Larsen, Kim G.
21
2008
20 years of modal and mixed specifications. Zbl 1169.68498
Antonik, Adam; Huth, Michael; Larsen, Kim G.; Nyman, Ulrik; Wąsowski, Andrzej
20
2008
Optimal strategies in priced timed game automata. Zbl 1117.68396
Bouyer, Patricia; Cassez, Franck; Fleury, Emmanuel; Larsen, Kim G.
19
2004
Time-abstracted bisimulation: Implicit specifications and decidability. Zbl 0887.68068
Larsen, Kim G.; Yi, Wang
19
1997
Energy games in multiweighted automata. Zbl 1350.68168
Fahrenberg, Uli; Juhl, Line; Larsen, Kim G.; Srba, Jiří
19
2011
From timed automata to logic – and back. Zbl 1193.03069
Laroussinie, François; Larsen, Kim G.; Weise, Carsten
19
1995
Graphical versus logical specifications. Zbl 0776.68084
Boudol, Gérard; Larsen, Kim G.
18
1992
Staying alive as cheaply as possible. Zbl 1135.93352
Bouyer, Patricia; Brinksma, Ed; Larsen, Kim G.
18
2004
Average-energy games. Zbl 1390.68115
Bouyer, Patricia; Markey, Nicolas; Randour, Mickael; Larsen, Kim G.; Laursen, Simon
17
2018
Compositional bisimulation metric reasoning with probabilistic process calculi. Zbl 1398.68365
Gebler, Daniel; Larsen, Kim G.; Tini, Simone
17
2016
Efficient guiding towards cost-optimality in UPPAAL. Zbl 0978.68541
Behrmann, Gerd; Fehnker, Ansgar; Hune, Thomas; Larsen, Kim; Pettersson, Paul
17
2001
Quantitative analysis of weighted transition systems. Zbl 1204.68137
Thrane, Claus; Fahrenberg, Uli; Larsen, Kim G.
16
2010
Model-checking for real-time systems. Zbl 1507.68193
Larsen, Kim G.; Pettersson, Paul; Yi, Wang
16
1995
Metrics for weighted transition systems: axiomatization and complexity. Zbl 1216.68191
Larsen, Kim G.; Fahrenberg, Uli; Thrane, Claus
16
2011
Lower and upper bounds in zone based abstractions of timed automata. Zbl 1126.68453
Behrmann, Gerd; Bouyer, Patricia; Larsen, Kim G.; Pelánek, Radek
16
2004
Language emptiness of continuous-time parametric timed automata. Zbl 1440.68150
Beneš, Nikola; Bezděk, Peter; Larsen, Kim G.; Srba, Jiří
15
2015
Static guard analysis in timed automata verification. Zbl 1031.68076
Behrmann, Gerd; Bouyer, Patricia; Fleury, Emmanuel; Larsen, Kim G.
15
2003
Compositionality through and operational semantics of contexts. Zbl 0765.68107
Larsen, Kim G.; Liu, Xinxin
15
1990
Stone duality for Markov processes. Zbl 1433.06006
Kozen, Dexter; Larsen, Kim G.; Mardare, Radu; Panangaden, Prakash
14
2013
A context dependent equivalence between processes. Zbl 0612.68027
Larsen, Kim G.
14
1987
The power of reachability testing for timed automata. Zbl 1023.68060
Aceto, Luca; Bouyer, Patricia; Burgueño, Augusto; Larsen, Kim G.
14
2003
Model checking one-clock priced timed automata. Zbl 1149.68401
Bouyer, Patricia; Larsen, Kim G.; Markey, Nicolas
14
2008
On modal refinement and consistency. Zbl 1151.68541
Larsen, Kim G.; Nyman, Ulrik; Wąsowski, Andrzej
14
2007
On-the-fly exact computation of bisimilarity distances. Zbl 1381.68218
Bacci, Giorgio; Bacci, Giovanni; Larsen, Kim G.; Mardare, Radu
13
2013
Timed automata with observers under energy constraints. Zbl 1361.68135
Bouyer, Patricia; Fahrenberg, Uli; Larsen, Kim G.; Markey, Nicolas
13
2010
On determinism in modal transition systems. Zbl 1186.68314
Beneš, N.; Křetínský, J.; Larsen, K. G.; Srba, J.
13
2009
Computing behavioral distances, compositionally. Zbl 1400.68144
Bacci, Giorgio; Bacci, Giovanni; Larsen, Kim G.; Mardare, Radu
12
2013
Optimal bounds for multiweighted and parametrised energy games. Zbl 1390.68399
Juhl, Line; Guldstrand Larsen, Kim; Raskin, Jean-François
12
2013
Online testing of real-time systems using Uppaal. Zbl 1081.68574
Larsen, Kim G.; Mikucionis, Marius; Nielsen, Brian
12
2005
Constraint Markov chains. Zbl 1223.68070
Caillaud, Benoît; Delahaye, Benoît; Larsen, Kim G.; Legay, Axel; Pedersen, Mikkel L.; Wąsowski, Andrzej
12
2011
Automatic abstraction refinement for timed automata. Zbl 1141.68431
Dierks, Henning; Kupferschmid, Sebastian; Larsen, Kim G.
12
2007
Automatic synthesis of robust and optimal controllers – an industrial case study. Zbl 1237.93058
Cassez, Franck; Jessen, Jan J.; Larsen, Kim G.; Raskin, Jean-François; Reynier, Pierre-Alain
12
2009
Model checking real-time systems. Zbl 1392.68235
Bouyer, Patricia; Fahrenberg, Uli; Larsen, Kim Guldstrand; Markey, Nicolas; Ouaknine, Joël; Worrell, James
11
2018
The use of static constructs in a modal process logic. Zbl 0683.03014
Hüttel, Hans; Larsen, Kim G.
11
1989
Efficient timed reachability analysis using clock difference diagrams. Zbl 1046.68577
Behrmann, G.; Larsen, K. G.; Pearson, J.; Weise, C.; Yi, W.
11
1999
Reduction and refinement strategies for probabilistic analysis. Zbl 1065.68582
D’Argenio, Pedro R.; Jeannet, Bertrand; Jensen, Henrik E.; Larsen, Kim G.
11
2002
Optimal reachability for multi-priced timed automata. Zbl 1134.68029
Larsen, Kim Guldstrand; Rasmussen, Jacob Illum
11
2008
Optimal conditional reachability for multi-priced timed automata. Zbl 1118.68527
Larsen, Kim Guldstrand; Rasmussen, Jacob Illum
10
2005
Time to learn – learning timed automata from tests. Zbl 1434.68212
Tappler, Martin; Aichernig, Bernhard K.; Larsen, Kim Guldstrand; Lorber, Florian
10
2019
Learning deterministic probabilistic automata from a model checking perspective. Zbl 1454.68061
Mao, Hua; Chen, Yingke; Jaeger, Manfred; Nielsen, Thomas D.; Larsen, Kim G.; Nielsen, Brian
10
2016
On time with minimal expected cost! Zbl 1448.68294
David, Alexandre; Jensen, Peter G.; Guldstrand Larsen, Kim; Legay, Axel; Lime, Didier; Sørensen, Mathias Grund; Taankvist, Jakob H.
9
2014
Priced timed automata: Algorithms and applications. Zbl 1143.68430
Behrmann, Gerd; Larsen, Kim G.; Rasmussen, Jacob I.
9
2005
Checking thorough refinement on modal transition systems is EXPTIME-complete. Zbl 1250.68117
Beneš, Nikola; Křetínský, Jan; Larsen, Kim G.; Srba, Jiří
9
2009
Taking it to the limit: approximate reasoning for Markov processes. Zbl 1365.68344
Larsen, Kim Guldstrand; Mardare, Radu; Panangaden, Prakash
9
2012
Extending modal transition systems with structured labels. Zbl 1277.68160
Bauer, Sebastian S.; Juhl, Line; Larsen, Kim G.; Legay, Axel; Srba, Jiří
9
2012
Clock difference diagrams. Zbl 0937.68086
Larsen, Kim G.; Pearson, Justin; Weise, Carsten; Yi, Wang
9
1999
On the complexity of equation solving in process algebra. Zbl 0967.68514
Jonsson, Bengt; Larsen, Kim Guldstrand
9
1991
Using information systems to solve recursive domain equations. Zbl 0731.68071
Larsen, Kim Guldstrand; Winskel, Glynn
9
1991
Compositional metric reasoning with probabilistic process calculi. Zbl 1459.68143
Gebler, Daniel; Larsen, Kim Guldstrand; Tini, Simone
8
2015
Converging from branching to linear metrics on Markov chains. Zbl 1407.68277
Bacci, Giorgio; Bacci, Giovanni; Larsen, Kim G.; Mardare, Radu
8
2015
Abstract probabilistic automata. Zbl 1317.68095
Delahaye, Benoît; Katoen, Joost-Pieter; Larsen, Kim G.; Legay, Axel; Pedersen, Mikkel L.; Sher, Falak; Wąsowski, Andrzej
8
2011
Parametric modal transition systems. Zbl 1348.68120
Beneš, Nikola; Křetínský, Jan; Larsen, Kim G.; Møller, Mikael H.; Srba, Jiří
8
2011
Timed control with observation based and stuttering invariant strategies. Zbl 1141.68428
Cassez, Franck; David, Alexandre; Larsen, Kim G.; Lime, Didier; Raskin, Jean-François
8
2007
Complexity of decision problems for mixed and modal specifications. Zbl 1139.68035
Antonik, Adam; Huth, Michael; Larsen, Kim G.; Nyman, Ulrik; Wąsowski, Andrzej
8
2008
Discount-optimal infinite runs in priced timed automata. Zbl 1347.68204
Fahrenberg, Uli; Larsen, Kim G.
7
2009
Efficient on-the-fly algorithm for checking alternating timed simulation. Zbl 1262.68105
Bulychev, Peter; Chatain, Thomas; David, Alexandre; Larsen, Kim G.
7
2009
Reachability analysis for timed automata using max-plus algebra. Zbl 1279.68214
Lu, Qi; Madsen, Michael; Milata, Martin; Ravn, Søren; Fahrenberg, Uli; Larsen, Kim G.
7
2012
Timed automata can always be made implementable. Zbl 1343.68134
Bouyer, Patricia; Larsen, Kim G.; Markey, Nicolas; Sankur, Ocan; Thrane, Claus
7
2011
Statistical model checking for networks of priced timed automata. Zbl 1348.68130
David, Alexandre; Larsen, Kim G.; Legay, Axel; Mikučionis, Marius; Poulsen, Danny Bøgsted; van Vliet, Jonas; Wang, Zheng
7
2011
Guided synthesis of control programs using UPPAAL. Zbl 0978.68021
Hune, Thomas; Larsen, Kim G.; Pettersson, Paul
7
2001
Resource-optimal scheduling using priced timed automata. Zbl 1126.68461
Rasmussen, J. I.; Larsen, Kim G.; Subramani, K.
7
2004
A “hybrid” approach for synthesizing optimal controllers of hybrid systems: a case study of the oil pump industrial example. Zbl 1373.93125
Zhao, Hengjun; Zhan, Naijun; Kapur, Deepak; Larsen, Kim G.
7
2012
Synchronizing words for weighted and timed automata. Zbl 1360.68552
Doyen, Laurent; Juhl, Line; Larsen, Kim G.; Markey, Nicolas; Shirmohammadi, Mahsa
6
2014
Abstract probabilistic automata. Zbl 1296.68092
Delahaye, Benoît; Katoen, Joost-Pieter; Larsen, Kim G.; Legay, Axel; Pedersen, Mikkel L.; Sher, Falak; Wąsowski, Andrzej
6
2013
Adding symmetry reduction to Uppaal. Zbl 1099.68657
Hendriks, Martijn; Behrmann, Gerd; Larsen, Kim; Niebert, Peter; Vaandrager, Frits
6
2004
Quantitative refinement for weighted modal transition systems. Zbl 1343.68150
Bauer, Sebastian S.; Fahrenberg, Uli; Juhl, Line; Larsen, Kim G.; Legay, Axel; Thrane, Claus
6
2011
Verifying a protocol using relativized bisimulation. Zbl 0628.68022
Larsen, Kim G.; Milner, Robin
6
1987
Model-checking one-clock priced timed automata. Zbl 1149.68400
Bouyer, Patricia; Larsen, Kim G.; Markey, Nicolas
6
2007
Almost optimal strategies in one clock priced timed games. Zbl 1177.68142
Bouyer, Patricia; Larsen, Kim G.; Markey, Nicolas; Rasmussen, Jacob Illum
6
2006
A quantitative characterization of weighted Kripke structures in temporal logic. Zbl 1413.68073
Fahrenberg, Uli; Larsen, Kim G.; Thrane, Claus
6
2010
\(L^\ast\)-based learning of Markov decision processes (extended version). Zbl 1519.68106
Tappler, Martin; Aichernig, Bernhard K.; Bacci, Giovanni; Eichlseder, Maria; Larsen, Kim G.
6
2021
Alternation-free weighted mu-calculus: decidability and completeness. Zbl 1351.68164
Larsen, Kim G.; Mardare, Radu; Xue, Bingtian
5
2015
Real-time strategy synthesis for timed-arc Petri net games via discretization. Zbl 1354.68196
Jensen, Peter Gjøl; Larsen, Kim Guldstrand; Srba, Jiří
5
2016
Beyond liveness: Efficient parameter synthesis for time bounded liveness. Zbl 1175.68255
Behrmann, Gerd; Larsen, Kim G.; Rasmussen, Jacob Illum
5
2005
Modal transition systems with weight intervals. Zbl 1243.68215
Juhl, Line; Larsen, Kim G.; Srba, Jiří
5
2012
Robust specification of real time components. Zbl 1348.68143
Larsen, Kim G.; Legay, Axel; Traonouez, Louis-Marie; Wąsowski, Andrzej
5
2011
Scaling up Uppaal. Automatic verification of real-time systems using compositionality and abstraction. Zbl 0986.68519
Jensen, Henrik Ejersbo; Larsen, Kim Guldstrand; Skou, Arne
5
2000
Weighted modal transition systems. Zbl 1291.68246
Bauer, Sebastian S.; Fahrenberg, Uli; Juhl, Line; Larsen, Kim G.; Legay, Axel; Thrane, Claus
5
2013
Synchronizing strategies under partial observability. Zbl 1417.68129
Guldstrand Larsen, Kim; Laursen, Simon; Srba, Jiří
5
2014
Verification, performance analysis and controller synthesis for real-time systems. Zbl 1274.68185
Fahrenberg, Uli; Larsen, Kim G.; Thrane, Claus R.
5
2010
To store or not to store. Zbl 1278.68155
Behrmann, Gerd; Larsen, Kim G.; Pelánek, Radek
5
2003
Stubborn set reduction for two-player reachability games. Zbl 1501.68002
Bønneland, Frederik Meyer; Jensen, Peter Gjøl; Larsen, Kim Guldstrand; Muñiz, Marco; Srba, Jiří
5
2021
Quantitative analysis of interval Markov chains. Zbl 1522.68296
Bacci, Giovanni; Delahaye, Benoît; Larsen, Kim G.; Mariegaard, Anders
1
2022
\(L^\ast\)-based learning of Markov decision processes (extended version). Zbl 1519.68106
Tappler, Martin; Aichernig, Bernhard K.; Bacci, Giovanni; Eichlseder, Maria; Larsen, Kim G.
6
2021
Stubborn set reduction for two-player reachability games. Zbl 1501.68002
Bønneland, Frederik Meyer; Jensen, Peter Gjøl; Larsen, Kim Guldstrand; Muñiz, Marco; Srba, Jiří
5
2021
Computing probabilistic bisimilarity distances for probabilistic automata. Zbl 1509.68181
Bacci, Giorgio; Bacci, Giovanni; Larsen, Kim G.; Mardare, Radu; Tang, Qiyi; van Breugel, Franck
4
2021
Optimal and robust controller synthesis using energy timed automata with uncertainty. Zbl 1458.93072
Bacci, Giovanni; Bouyer, Patricia; Fahrenberg, Uli; Larsen, Kim G.; Markey, Nicolas; Reynier, Pierre-Alain
3
2021
Lumpability for uncertain continuous-time Markov chains. Zbl 1492.60219
Cardelli, Luca; Grosu, Radu; Larsen, Kim G.; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea
1
2021
Tools and algorithms for the construction and analysis of systems. 27th international conference, TACAS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Part II. Zbl 1471.68016
1
2021
Urgent partial order reduction for extended timed automata. Zbl 1517.68259
Larsen, Kim G.; Mikučionis, Marius; Muñiz, Marco; Srba, Jiří
2
2020
Time to learn – learning timed automata from tests. Zbl 1434.68212
Tappler, Martin; Aichernig, Bernhard K.; Larsen, Kim Guldstrand; Lorber, Florian
10
2019
Partial order reduction for reachability games. Zbl 07649931
Bønneland, Frederik Meyer; Jensen, Peter Gjøl; Larsen, Kim G.; Muñiz, Marco; Srba, Jiří
5
2019
Computing probabilistic bisimilarity distances for probabilistic automata. Zbl 07649917
Bacci, Giorgio; Bacci, Giovanni; Larsen, Kim G.; Mardare, Radu; Tang, Qiyi; van Breugel, Franck
4
2019
Abstract dependency graphs and their application to model checking. Zbl 1527.68127
Enevoldsen, Søren; Larsen, Kim Guldstrand; Srba, Jiří
3
2019
Model checking and synthesis for branching multi-weighted logics. Zbl 1423.68284
Jensen, L. S.; Kaufmann, I.; Larsen, K. G.; Nielsen, S. M.; Srba, J.
2
2019
Converging from branching to linear metrics on Markov chains. Zbl 1407.68278
Bacci, Giorgio; Bacci, Giovanni; Larsen, Kim G.; Mardare, Radu
2
2019
Continuous-time models for system design and analysis. Zbl 1485.93204
Alur, Rajeev; Giacobbe, Mirco; Henzinger, Thomas A.; Larsen, Kim G.; Mikučionis, Marius
2
2019
Average-energy games. Zbl 1390.68115
Bouyer, Patricia; Markey, Nicolas; Randour, Mickael; Larsen, Kim G.; Laursen, Simon
17
2018
Model checking real-time systems. Zbl 1392.68235
Bouyer, Patricia; Fahrenberg, Uli; Larsen, Kim Guldstrand; Markey, Nicolas; Ouaknine, Joël; Worrell, James
11
2018
Start pruning when time gets urgent: partial order reduction for timed systems. Zbl 1511.68180
Bønneland, Frederik M.; Jensen, Peter Gjøl; Larsen, Kim Guldstrand; Muñiz, Marco; Srba, Jiří
4
2018
On the metric-based approximate minimization of Markov chains. Zbl 1400.68098
Bacci, Giovanni; Bacci, Giorgio; Larsen, Kim G.; Mardare, Radu
4
2018
A distributed fixed-point algorithm for extended dependency graphs. Zbl 1396.68070
Dalsgaard, Andreas E.; Enevoldsen, Søren; Fogh, Peter; Jensen, Lasse S.; Jensen, Peter G.; Jepsen, Tobias S.; Kaufmann, Isabella; Larsen, Kim G.; Nielsen, Søren M.; Olesen, Mads Chr.; Pastva, Samuel; Srba, Jiří
3
2018
Reasoning about bounds in weighted transition systems. Zbl 1528.68253
Hansen, Mikkel; Larsen, Kim Guldstrand; Mardare, Radu; Ruggaard Pedersen, Mathias
2
2018
Complete axiomatization for the total variation distance of Markov chains. Zbl 1525.68080
Bacci, Giorgio; Bacci, Giovanni; Larsen, Kim G.; Mardare, Radu
2
2018
A complete quantitative deduction system for the bisimilarity distance on Markov chains. Zbl 1409.68182
Bacci, Giorgio; Bacci, Giovanni; Larsen, Kim G.; Mardare, Radu
1
2018
Weighted branching systems: behavioural equivalence, behavioural distance, and their logical characterisations. Zbl 1514.68172
Jensen, Mathias Claus; Larsen, Kim Guldstrand; Mardare, Radu
1
2018
A hemimetric extension of simulation for semi-Markov decision processes. Zbl 1514.68192
Pedersen, Mathias Ruggaard; Bacci, Giorgio; Larsen, Kim Guldstrand; Mardare, Radu
1
2018
Optimal and robust controller synthesis. Using energy timed automata with uncertainty. Zbl 1460.93031
Bacci, Giovanni; Bouyer, Patricia; Fahrenberg, Uli; Larsen, Kim Guldstrand; Markey, Nicolas; Reynier, Pierre-Alain
1
2018
On decidability of recursive weighted logics. Zbl 1522.03054
Larsen, Kim G.; Mardare, Radu; Xue, Bingtian
1
2018
Refinement of trace abstraction for real-time programs. Zbl 1478.68052
Cassez, Franck; Jensen, Peter Gjøl; Guldstrand Larsen, Kim
4
2017
Extended dependency graphs and efficient distributed fixed-point computation. Zbl 1393.68098
Dalsgaard, Andreas E.; Enevoldsen, Søren; Fogh, Peter; Jensen, Lasse S.; Jepsen, Tobias S.; Kaufmann, Isabella; Larsen, Kim G.; Nielsen, Søren M.; Olesen, Mads Chr.; Pastva, Samuel; Srba, Jiří
4
2017
PTrie: data structure for compressing and storing sets via prefix sharing. Zbl 1444.68063
Jensen, Peter Gjøl; Larsen, Kim Guldstrand; Srba, Jiří
3
2017
On-the-fly computation of bisimilarity distances. Zbl 1398.68375
Bacci, Giorgio; Bacci, Giovanni; Larsen, Kim G.; Mardare, Radu
2
2017
WNetKAT: a weighted SDN programming and verification language. Zbl 1432.68052
Larsen, Kim G.; Schmid, Stefan; Xue, Bingtian
2
2017
On the metric-based approximate minimization of Markov chains. Zbl 1442.68079
Bacci, Giovanni; Bacci, Giorgio; Larsen, Kim G.; Mardare, Radu
2
2017
Symbolic dependency graphs for \(\mathrm {PCTL}^{>}_{\leq}\) model-checking. Zbl 1494.68170
Mariegaard, Anders; Larsen, Kim Guldstrand
1
2017
Unrestricted Stone duality for Markov processes. Zbl 1452.06009
Furber, Robert; Kozen, Dexter; Larsen, Kim; Mardare, Radu; Panangaden, Prakash
1
2017
42nd international symposium on mathematical foundations of computer science, MFCS 2017, August 21–25, 2017, Aalborg, Denmark. Zbl 1376.68011
1
2017
Compositional bisimulation metric reasoning with probabilistic process calculi. Zbl 1398.68365
Gebler, Daniel; Larsen, Kim G.; Tini, Simone
17
2016
Learning deterministic probabilistic automata from a model checking perspective. Zbl 1454.68061
Mao, Hua; Chen, Yingke; Jaeger, Manfred; Nielsen, Thomas D.; Larsen, Kim G.; Nielsen, Brian
10
2016
Real-time strategy synthesis for timed-arc Petri net games via discretization. Zbl 1354.68196
Jensen, Peter Gjøl; Larsen, Kim Guldstrand; Srba, Jiří
5
2016
Complete axiomatization for the bisimilarity distance on Markov chains. Zbl 1392.68282
Bacci, Giorgio; Bacci, Giovanni; Larsen, Kim G.; Mardare, Radu
4
2016
Distributed computation of fixed points on dependency graphs. Zbl 1393.68099
Dalsgaard, Andreas Engelbredt; Enevoldsen, Søren; Larsen, Kim Guldstrand; Srba, Jiří
3
2016
Modelling attack-defense trees using timed automata. Zbl 1433.68251
Gadyatskaya, Olga; Hansen, René Rydhof; Larsen, Kim Guldstrand; Legay, Axel; Olesen, Mads Chr.; Poulsen, Danny Bøgsted
2
2016
Probabilistic \(\mu\)-calculus: decidability and complete axiomatization. Zbl 1434.03072
Larsen, Kim G.; Mardare, Radu; Xue, Bingtian
1
2016
Reachability problems. 10th international workshop, RP 2016, Aalborg, Denmark, September 19–21, 2016. Proceedings. Zbl 1371.68012
1
2016
A complete approximation theory for weighted transition systems. Zbl 1393.68116
Hansen, Mikkel; Larsen, Kim Guldstrand; Mardare, Radu; Pedersen, Mathias Ruggaard; Xue, Bingtian
1
2016
Language emptiness of continuous-time parametric timed automata. Zbl 1440.68150
Beneš, Nikola; Bezděk, Peter; Larsen, Kim G.; Srba, Jiří
15
2015
Compositional metric reasoning with probabilistic process calculi. Zbl 1459.68143
Gebler, Daniel; Larsen, Kim Guldstrand; Tini, Simone
8
2015
Converging from branching to linear metrics on Markov chains. Zbl 1407.68277
Bacci, Giorgio; Bacci, Giovanni; Larsen, Kim G.; Mardare, Radu
8
2015
Alternation-free weighted mu-calculus: decidability and completeness. Zbl 1351.68164
Larsen, Kim G.; Mardare, Radu; Xue, Bingtian
5
2015
Refinement checking on parametric modal transition systems. Zbl 1309.68130
Beneš, Nikola; Křetínský, Jan; Larsen, Kim G.; Møller, Mikael H.; Sickert, Salomon; Srba, Jiří
4
2015
On the total variation distance of semi-Markov chains. Zbl 1459.68116
Bacci, Giorgio; Bacci, Giovanni; Larsen, Kim Guldstrand; Mardare, Radu
4
2015
Decidability and expressiveness of recursive weighted logic. Zbl 1434.68330
Larsen, Kim Guldstrand; Mardare, Radu; Xue, Bingtian
3
2015
Safe and optimal adaptive cruise control. Zbl 1444.68183
Larsen, Kim Guldstrand; Mikučionis, Marius; Taankvist, Jakob Haahr
3
2015
Parametric verification of weighted systems. Zbl 1429.68140
Christoffersen, Peter; Hansen, Mikkel; Mariegaard, Anders; Ringsmose, Julian Trier; Larsen, Kim Guldstrand; Mardare, Radu
2
2015
Polynomial time decidability of weighted synchronization under partial observability. Zbl 1374.68260
Kretinsky, Jan; Larsen, Kim Guldstrand; Laursen, Simon; Srba, Jiri
2
2015
Average-energy games. Zbl 1476.68024
Bouyer, Patricia; Markey, Nicolas; Randour, Mickael; Larsen, Kim G.; Laursen, Simon
2
2015
Concurrent weighted logic. Zbl 1330.68210
Larsen, Kim G.; Mardare, Radu; Xue, Bingtian
1
2015
On time with minimal expected cost! Zbl 1448.68294
David, Alexandre; Jensen, Peter G.; Guldstrand Larsen, Kim; Legay, Axel; Lime, Didier; Sørensen, Mathias Grund; Taankvist, Jakob H.
9
2014
Synchronizing words for weighted and timed automata. Zbl 1360.68552
Doyen, Laurent; Juhl, Line; Larsen, Kim G.; Markey, Nicolas; Shirmohammadi, Mahsa
6
2014
Synchronizing strategies under partial observability. Zbl 1417.68129
Guldstrand Larsen, Kim; Laursen, Simon; Srba, Jiří
5
2014
Complete proof systems for weighted modal logic. Zbl 1317.68120
Larsen, Kim G.; Mardare, Radu
4
2014
Adequacy and complete axiomatization for timed modal logic. Zbl 1337.03028
Jaziri, Samy; Larsen, Kim G.; Mardare, Radu; Xue, Bingtian
3
2014
A decidable recursive logic for weighted transition systems. Zbl 1432.68310
Larsen, Kim Guldstrand; Mardare, Radu; Xue, Bingtian
3
2014
Robust synthesis for real-time systems. Zbl 1311.68088
Larsen, Kim G.; Legay, Axel; Traonouez, Louis-Marie; Wąsowski, Andrzej
3
2014
Parametric and quantitative extensions of modal transition systems. Zbl 1416.68121
Fahrenberg, Uli; Guldstrand Larsen, Kim; Legay, Axel; Traonouez, Louis-Marie
2
2014
Bisimulation on Markov processes over arbitrary measurable spaces. Zbl 1407.68327
Bacci, Giorgio; Bacci, Giovanni; Larsen, Kim Guldstrand; Mardare, Radu
1
2014
Efficient controller synthesis for a fragment of \(\mathrm{MTL}_{0,\infty}\). Zbl 1360.68578
Bulychev, Peter; David, Alexandre; Larsen, Kim G.; Li, Guangyuan
1
2014
Refinement and difference for probabilistic automata. Zbl 1338.68144
Delahaye, Benoît; Fahrenberg, Uli; Larsen, Kim G.; Legay, Axel
1
2014
Stone duality for Markov processes. Zbl 1433.06006
Kozen, Dexter; Larsen, Kim G.; Mardare, Radu; Panangaden, Prakash
14
2013
On-the-fly exact computation of bisimilarity distances. Zbl 1381.68218
Bacci, Giorgio; Bacci, Giovanni; Larsen, Kim G.; Mardare, Radu
13
2013
Computing behavioral distances, compositionally. Zbl 1400.68144
Bacci, Giorgio; Bacci, Giovanni; Larsen, Kim G.; Mardare, Radu
12
2013
Optimal bounds for multiweighted and parametrised energy games. Zbl 1390.68399
Juhl, Line; Guldstrand Larsen, Kim; Raskin, Jean-François
12
2013
Abstract probabilistic automata. Zbl 1296.68092
Delahaye, Benoît; Katoen, Joost-Pieter; Larsen, Kim G.; Legay, Axel; Pedersen, Mikkel L.; Sher, Falak; Wąsowski, Andrzej
6
2013
Weighted modal transition systems. Zbl 1291.68246
Bauer, Sebastian S.; Fahrenberg, Uli; Juhl, Line; Larsen, Kim G.; Legay, Axel; Thrane, Claus
5
2013
Model-based verification, optimization, synthesis and performance evaluation of real-time systems. Zbl 1445.68132
Fahrenberg, Uli; Larsen, Kim G.; Legay, Axel
2
2013
Stuttering for abstract probabilistic automata. Zbl 1437.68094
Delahaye, Benoît; Larsen, Kim G.; Legay, Axel
1
2013
On the relationship between LTL normal forms and Büchi automata. Zbl 1390.68435
Li, Jianwen; Pu, Geguang; Zhang, Lijun; Wang, Zheng; He, Jifeng; Guldstrand Larsen, Kim
1
2013
Taking it to the limit: approximate reasoning for Markov processes. Zbl 1365.68344
Larsen, Kim Guldstrand; Mardare, Radu; Panangaden, Prakash
9
2012
Extending modal transition systems with structured labels. Zbl 1277.68160
Bauer, Sebastian S.; Juhl, Line; Larsen, Kim G.; Legay, Axel; Srba, Jiří
9
2012
Reachability analysis for timed automata using max-plus algebra. Zbl 1279.68214
Lu, Qi; Madsen, Michael; Milata, Martin; Ravn, Søren; Fahrenberg, Uli; Larsen, Kim G.
7
2012
A “hybrid” approach for synthesizing optimal controllers of hybrid systems: a case study of the oil pump industrial example. Zbl 1373.93125
Zhao, Hengjun; Zhan, Naijun; Kapur, Deepak; Larsen, Kim G.
7
2012
Modal transition systems with weight intervals. Zbl 1243.68215
Juhl, Line; Larsen, Kim G.; Srba, Jiří
5
2012
Continuous Markovian logics – axiomatization and quantified metatheory. Zbl 1261.03088
Mardare, Radu; Cardelli, Luca; Larsen, Kim G.
5
2012
Dual-priced modal transition systems with time durations. Zbl 1352.68144
Beneš, Nikola; Křetínský, Jan; Guldstrand Larsen, Kim; Møller, Mikael H.; Srba, Jiří
4
2012
Monitor-based statistical model checking for weighted metric temporal logic. Zbl 1352.68147
Bulychev, Peter; David, Alexandre; Guldstrand Larsen, Kim; Legay, Axel; Li, Guangyuan; Bøgsted Poulsen, Danny; Stainer, Amelie
4
2012
Consistency and refinement for interval Markov chains. Zbl 1247.68195
Delahaye, Benoît; Larsen, Kim G.; Legay, Axel; Pedersen, Mikkel L.; Wąsowski, Andrzej
4
2012
EXPTIME-completeness of thorough refinement on modal transition systems. Zbl 1282.68118
Beneš, Nikola; Křetínský, Jan; Larsen, Kim G.; Srba, Jiří
4
2012
Nash equilibria in concurrent priced games. Zbl 1351.68182
Klimoš, Miroslav; Larsen, Kim G.; Štefaňák, Filip; Thaarup, Jeppe
4
2012
Energy games in multiweighted automata. Zbl 1350.68168
Fahrenberg, Uli; Juhl, Line; Larsen, Kim G.; Srba, Jiří
19
2011
Metrics for weighted transition systems: axiomatization and complexity. Zbl 1216.68191
Larsen, Kim G.; Fahrenberg, Uli; Thrane, Claus
16
2011
Constraint Markov chains. Zbl 1223.68070
Caillaud, Benoît; Delahaye, Benoît; Larsen, Kim G.; Legay, Axel; Pedersen, Mikkel L.; Wąsowski, Andrzej
12
2011
Abstract probabilistic automata. Zbl 1317.68095
Delahaye, Benoît; Katoen, Joost-Pieter; Larsen, Kim G.; Legay, Axel; Pedersen, Mikkel L.; Sher, Falak; Wąsowski, Andrzej
8
2011
Parametric modal transition systems. Zbl 1348.68120
Beneš, Nikola; Křetínský, Jan; Larsen, Kim G.; Møller, Mikael H.; Srba, Jiří
8
2011
Timed automata can always be made implementable. Zbl 1343.68134
Bouyer, Patricia; Larsen, Kim G.; Markey, Nicolas; Sankur, Ocan; Thrane, Claus
7
2011
Statistical model checking for networks of priced timed automata. Zbl 1348.68130
David, Alexandre; Larsen, Kim G.; Legay, Axel; Mikučionis, Marius; Poulsen, Danny Bøgsted; van Vliet, Jonas; Wang, Zheng
7
2011
Quantitative refinement for weighted modal transition systems. Zbl 1343.68150
Bauer, Sebastian S.; Fahrenberg, Uli; Juhl, Line; Larsen, Kim G.; Legay, Axel; Thrane, Claus
6
2011
Robust specification of real time components. Zbl 1348.68143
Larsen, Kim G.; Legay, Axel; Traonouez, Louis-Marie; Wąsowski, Andrzej
5
2011
Decision problems for interval Markov chains. Zbl 1330.68109
Delahaye, Benoît; Larsen, Kim G.; Legay, Axel; Pedersen, Mikkel L.; Wąsowski, Andrzej
4
2011
Continuous Markovian logic – from complete axiomatization to the metric space of formulas. Zbl 1247.03030
Cardelli, Luca; Larsen, Kim G.; Mardare, Radu
4
2011
Modular Markovian logic. Zbl 1333.68200
Cardelli, Luca; Larsen, Kim G.; Mardare, Radu
4
2011
...and 97 more Documents
all top 5

Cited by 1,657 Authors

96 Larsen, Kim Guldstrand
32 Legay, Axel
27 Bouyer, Patricia
25 Srba, Jiří
24 Aceto, Luca
24 Fahrenberg, Uli
23 Katoen, Joost-Pieter
22 Markey, Nicolas
21 Ingólfsdóttir, Anna
20 Kwiatkowska, Marta Z.
19 Bernardo, Marco
18 Lime, Didier
18 Mardare, Radu
18 Raskin, Jean-François
17 Norman, Gethin
17 Tini, Simone
16 André, Étienne
16 Li, Qingguo
16 Schröder, Lutz
15 Bacci, Giovanni
15 Wąsowski, Andrzej
14 Hennicker, Rolf
13 Chatterjee, Krishnendu
13 Francalanza, Adrian
13 Panangaden, Prakash
13 Roux, Olivier H.
13 Vaandrager, Frits W.
12 Brihaye, Thomas
12 Hermanns, Holger
12 van Breugel, Franck
11 Baier, Christel
11 Delahaye, Benoît
11 Droste, Manfred
11 Henzinger, Thomas A.
11 van Glabbeek, Robert Jan
11 Worrell, James B.
10 Bacci, Giorgio
10 Lanotte, Ruggero
10 Lüttgen, Gerald
9 Castiglioni, Valentina
9 Gregorio-Rodríguez, Carlos
9 Jensen, Peter Gjøl
9 Quaas, Karin
9 Randour, Mickael
9 Vogler, Walter
8 Bonchi, Filippo
8 de Frutos-Escrig, David
8 Deng, Yuxin
8 Desharnais, Josée
8 Doyen, Laurent
8 Gorrieri, Roberto
8 Junges, Sebastian
8 Křetínský, Jan
8 Rutten, Jan J. M. M.
8 Stoelinga, Mariëlle
8 Zhang, Lijun
7 Abate, Alessandro
7 Aichernig, Bernhard K.
7 Beneš, Nikola
7 Bertrand, Nathalie
7 Cîrstea, Corina
7 Cleaveland, Rance
7 David, Alexandre
7 Gastin, Paul
7 Gebler, Daniel E.
7 Guo, Lankun
7 Hennessy, Matthew C. B.
7 Loreti, Michele
7 Meseguer Guaita, José
7 Nyman, Ulrik
7 Pattinson, Dirk
7 Prabhakar, Pavithra
7 Reynier, Pierre-Alain
7 Silva, Alexandra
7 Sproston, Jeremy
7 ter Beek, Maurice H.
7 Traonouez, Louis-Marie
7 Vandin, Andrea
7 Winskel, Glynn
7 Zhan, Naijun
6 Bruni, Roberto
6 Bruyère, Véronique
6 Cao, Yongzhi
6 Ciobanu, Gabriel
6 D’Argenio, Pedro Rubén
6 de Vink, Erik P.
6 Doberkat, Ernst-Erich
6 Fokkink, Willem Jan
6 Geeraerts, Gilles
6 Gnesi, Stefania
6 Groote, Jan Friso
6 Jéron, Thierry
6 Jonsson, Bengt
6 Milius, Stefan
6 Montanari, Ugo G.
6 Olderog, Ernst-Rüdiger
6 Sankur, Ocan
6 Steffen, Bernhard
6 Tribastone, Mirco
6 Valero, Valentín
...and 1,557 more Authors
all top 5

Cited in 94 Serials

194 Theoretical Computer Science
89 Information and Computation
51 Formal Methods in System Design
48 Logical Methods in Computer Science
43 Formal Aspects of Computing
38 Journal of Logical and Algebraic Methods in Programming
37 Acta Informatica
27 The Journal of Logic and Algebraic Programming
24 Mathematical Structures in Computer Science
17 Information Processing Letters
15 Real-Time Systems
14 Discrete Event Dynamic Systems
9 Annals of Pure and Applied Logic
8 Journal of Computer and System Sciences
8 Science of Computer Programming
8 International Journal of Foundations of Computer Science
8 Fundamenta Informaticae
7 International Journal of Approximate Reasoning
6 Automatica
6 Nonlinear Analysis. Hybrid Systems
5 Journal of Computer Science and Technology
5 Machine Learning
5 European Journal of Control
4 International Journal of Control
4 Fuzzy Sets and Systems
4 Studia Logica
4 Distributed Computing
4 Sibirskie Èlektronnye Matematicheskie Izvestiya
3 Artificial Intelligence
3 Information Sciences
3 Algorithmica
3 Theory of Computing Systems
3 Soft Computing
3 ACM Transactions on Computational Logic
3 Journal of Applied Logic
2 The Journal of Symbolic Logic
2 SIAM Journal on Control and Optimization
2 Journal of Automated Reasoning
2 International Journal of Robust and Nonlinear Control
2 Cybernetics and Systems Analysis
2 Applied Categorical Structures
2 Annals of Mathematics and Artificial Intelligence
2 Journal of the ACM
2 Higher-Order and Symbolic Computation
2 RAIRO. Theoretical Informatics and Applications
2 Natural Computing
1 ACM Computing Surveys
1 Computers & Mathematics with Applications
1 International Journal of General Systems
1 Bulletin of Mathematical Biology
1 Applied Mathematics and Computation
1 BIT
1 Journal of Combinatorial Theory. Series B
1 Journal of Pure and Applied Algebra
1 Mathematics and Computers in Simulation
1 Programming and Computer Software
1 Rendiconti dell’Istituto di Matematica dell’Università di Trieste
1 Semigroup Forum
1 Topology and its Applications
1 Systems & Control Letters
1 Mathematical Social Sciences
1 Order
1 Journal of Symbolic Computation
1 Journal of Cryptology
1 Science in China. Series A
1 Computational Mathematics and Modeling
1 Annals of Operations Research
1 International Journal of Algebra and Computation
1 RAIRO. Informatique Théorique et Applications
1 Indagationes Mathematicae. New Series
1 Applicable Algebra in Engineering, Communication and Computing
1 Journal of Logic, Language and Information
1 Journal of Applied Non-Classical Logics
1 The Journal of Artificial Intelligence Research (JAIR)
1 Mathematical Problems in Engineering
1 Journal of Combinatorial Optimization
1 Journal of Applied Mathematics and Decision Sciences
1 Wuhan University Journal of Natural Sciences (WUJNS)
1 Discrete Dynamics in Nature and Society
1 International Journal of Applied Mathematics and Computer Science
1 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
1 Journal of Systems Science and Complexity
1 Theory and Practice of Logic Programming
1 Annali dell’Università di Ferrara. Sezione VII. Scienze Matematiche
1 Mathematics in Computer Science
1 Algorithms
1 Science China. Information Sciences
1 RAIRO. Theoretical Informatics and Applications
1 Asian Journal of Control
1 Frontiers of Computer Science in China
1 Journal of Mahani Mathematical Research Center
1 Computer Science Review
1 International Journal of Systems Science. Principles and Applications of Systems and Integration
1 Modelirovanie i Analiz Informatsionnykh Sistem

Citations by Year