×

zbMATH — the first resource for mathematics

Larsen, Kim Guldstrand

Compute Distance To:
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
Documents Indexed: 215 Publications since 1984, including 13 Books
Biographic References: 1 Publication
all top 5

Co-Authors

10 single-authored
31 Mardare, Radu
24 Legay, Axel
24 Srba, Jiří
19 Fahrenberg, Uli
17 Bouyer, Patricia
17 Wąsowski, Andrzej
16 David, Alexandre
15 Bacci, Giovanni
15 Behrmann, Gerd
13 Bacci, Giorgio
11 Markey, Nicolas
9 Nyman, Ulrik
9 Thrane, Claus R.
9 Xue, Bingtian
8 Cassez, Franck
8 Delahaye, Benoît
8 Pettersson, Paul
7 Beneš, Nikola
7 Juhl, Line
7 Křetínský, Jan
7 Rasmussen, Jacob Illum
7 Yi, Wang
6 Jensen, Peter Gjøl
5 Nielsen, Brian
5 Olesen, Mads Christian
5 Pedersen, Mikkel Lykke
5 Raskin, Jean-François
4 Antonik, Adam
4 Bøgsted Poulsen, Danny
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 Kristoffersen, Kåre J.
4 Lime, Didier
4 Mikucionis, Marius
4 Reynier, Pierre-Alain
4 Skou, Arne
4 Weise, Carsten
3 Bauer, Sebastian S.
3 Cardelli, Luca
3 Enevoldsen, Søren
3 Fehnker, Ansgar
3 Hansen, Mikkel
3 Jensen, Lasse S.
3 Kaufmann, Isabella
3 Laursen, Simon
3 Møller, Mikael Harkjær
3 Nielsen, Søren M.
3 Panangaden, Prakash
3 Pedersen, Mathias Ruggaard
3 Traonouez, Louis-Marie
3 Winskel, Glynn
2 Aceto, Luca
2 Aichernig, Bernhard K.
2 Andersen, Henrik Reif
2 Boudol, Gérard
2 D’Argenio, Pedro Rubén
2 Fogh, Peter
2 Gebler, Daniel E.
2 Groote, Jan Friso
2 Hansen, René Rydhof
2 Havelund, Klaus
2 Hendriks, Martijn
2 Hulgaard, Henrik
2 Jeannet, Bertrand
2 Jensen, Finn Verner
2 Jensen, Mathias Claus
2 Jepsen, Tobias S.
2 Jonsson, Bengt
2 Katoen, Joost-Pieter
2 Kozen, Dexter C.
2 Kupferschmid, Sebastian
2 Larsson, Fredrik
2 Li, Guangyuan
2 Lind-Nielsen, Jørn
2 Liu, Xinxin
2 Mariegaard, Anders
2 Milner, Robin
2 Niebert, Peter
2 Pastva, Samuel
2 Pearson, Justin
2 Pelánek, Radek
2 Potapov, Igor
2 Sedwards, Sean
2 Sher, Falak
2 Subramani, Krishnan
2 Taankvist, Jakob Haahr
2 Tappler, Martin
2 Thomsen, Bent
2 Tini, Simone
2 Wang, Zheng
2 Zhang, Zhengkui
1 Andersen, Jørgen H.
1 Balaguer, Sandie
1 Bengtsson, Johan
1 Bezděk, Peter
...and 75 more Co-Authors

Publications by Year

Citations contained in zbMATH Open

162 Publications have been cited 1,519 times in 886 Documents Cited by Year
Bisimulation through probabilistic testing. Zbl 0756.68035
Larsen, Kim G.; Skou, Arne
254
1991
Uppaal in a nutshell. Zbl 1060.68577
Larsen, Kim G.; Pettersson, Paul; Yi, Wang
114
1997
A tutorial on UPPAAL. Zbl 1105.68350
Behrmann, Gerd; David, Alexandre; Larsen, Kim G.
56
2004
Minimum-cost reachability for priced timed automata. Zbl 0991.68037
Behrmann, Gerd; Fehnker, Ansgar; Hune, Thomas; Larsen, Kim; Pettersson, Paul
45
2002
Modal I/O automata for interface and product line theories. Zbl 1187.68296
Larsen, Kim G.; Nyman, Ulrik; Wąsowski, Andrzej
41
2007
Reactive systems. Modelling, specification and verification. Zbl 1141.68043
Aceto, Luca; Ingólfsdóttir, Anna; Larsen, Kim G.; Srba, Jiří
40
2007
Probabilistic extensions of process algebras. Zbl 1062.68081
Jonsson, Bengt; Yi, Wang; Larsen, Kim G.
40
2001
Using information systems to solve recursive domain equations effectively. Zbl 0539.68019
Larsen, K. G.; Winskel, G.
40
1984
Infinite runs in weighted timed automata with energy constraints. Zbl 1171.68524
Bouyer, Patricia; Fahrenberg, Uli; Larsen, Kim G.; Markey, Nicolas; Srba, Jiří
30
2008
Proof systems for satisfiability in Hennessy-Milner logic with recursion. Zbl 0698.68014
Larsen, Kim G.
29
1990
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
27
2005
Compositionality through an operational semantics of contexts. Zbl 0738.68056
Larsen, Kim G.; Liu, Xinxin
24
1991
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
21
2010
The impressive power of stopwatches. Zbl 0999.68112
Cassez, Franck; Larsen, Kim
21
2000
Reachability analysis of probabilistic systems by successive refinements. Zbl 1007.68131
D’Argenio, Pedro R.; Jeannet, Bertrand; Jensen, Henrik E.; Larsen, Kim G.
19
2001
From timed automata to logic – and back. Zbl 1193.03069
Laroussinie, François; Larsen, Kim G.; Weise, Carsten
15
1995
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
Efficient guiding towards cost-optimality in UPPAAL. Zbl 0978.68541
Behrmann, Gerd; Fehnker, Ansgar; Hune, Thomas; Larsen, Kim; Pettersson, Paul
15
2001
Staying alive as cheaply as possible. Zbl 1135.93352
Bouyer, Patricia; Brinksma, Ed; Larsen, Kim G.
14
2004
20 years of modal and mixed specifications. Zbl 1169.68498
Antonik, Adam; Huth, Michael; Larsen, Kim G.; Nyman, Ulrik; Wąsowski, Andrzej
14
2008
Graphical versus logical specifications. Zbl 0776.68084
Boudol, Gérard; Larsen, Kim G.
14
1992
Compositionality through and operational semantics of contexts. Zbl 0765.68107
Larsen, Kim G.; Liu, Xinxin
14
1990
Proof systems for Hennessy-Milner logic with recursion. Zbl 0647.68012
Larsen, Kim G.
14
1988
Time-abstracted bisimulation: Implicit specifications and decidability. Zbl 0887.68068
Larsen, Kim G.; Wang, Yi
13
1997
A context dependent equivalence between processes. Zbl 0612.68027
Larsen, Kim G.
12
1987
Energy games in multiweighted automata. Zbl 1350.68168
Fahrenberg, Uli; Juhl, Line; Larsen, Kim G.; Srba, Jiří
12
2011
On modal refinement and consistency. Zbl 1151.68541
Larsen, Kim G.; Nyman, Ulrik; Wąsowski, Andrzej
11
2007
Optimal strategies in priced timed game automata. Zbl 1117.68396
Bouyer, Patricia; Cassez, Franck; Fleury, Emmanuel; Larsen, Kim G.
11
2004
Quantitative analysis of weighted transition systems. Zbl 1204.68137
Thrane, Claus; Fahrenberg, Uli; Larsen, Kim G.
11
2010
Optimal infinite scheduling for multi-priced timed automata. Zbl 1133.68360
Bouyer, Patricia; Brinksma, Ed; Larsen, Kim G.
11
2008
Metrics for weighted transition systems: axiomatization and complexity. Zbl 1216.68191
Larsen, Kim G.; Fahrenberg, Uli; Thrane, Claus
11
2011
The power of reachability testing for timed automata. Zbl 1023.68060
Aceto, Luca; Bouyer, Patricia; Burgueño, Augusto; Larsen, Kim G.
11
2003
Efficient timed reachability analysis using clock difference diagrams. Zbl 1046.68577
Behrmann, G.; Larsen, K. G.; Pearson, J.; Weise, C.; Yi, W.
10
1999
On determinism in modal transition systems. Zbl 1186.68314
Beneš, N.; Křetínský, J.; Larsen, K. G.; Srba, J.
10
2009
Stone duality for Markov processes. Zbl 1433.06006
Kozen, Dexter; Larsen, Kim G.; Mardare, Radu; Panangaden, Prakash
10
2013
Optimal reachability for multi-priced timed automata. Zbl 1134.68029
Larsen, Kim Guldstrand; Rasmussen, Jacob Illum
9
2008
Constraint Markov chains. Zbl 1223.68070
Caillaud, Benoît; Delahaye, Benoît; Larsen, Kim G.; Legay, Axel; Pedersen, Mikkel L.; Wąsowski, Andrzej
9
2011
On-the-fly exact computation of bisimilarity distances. Zbl 1381.68218
Bacci, Giorgio; Bacci, Giovanni; Larsen, Kim G.; Mardare, Radu
9
2013
Compositional bisimulation metric reasoning with probabilistic process calculi. Zbl 1398.68365
Gebler, Daniel; Larsen, Kim G.; Tini, Simone
9
2016
Model checking one-clock priced timed automata. Zbl 1149.68401
Bouyer, Patricia; Larsen, Kim G.; Markey, Nicolas
8
2008
Extending modal transition systems with structured labels. Zbl 1277.68160
Bauer, Sebastian S.; Juhl, Line; Larsen, Kim G.; Legay, Axel; Srba, Jiří
8
2012
Taking it to the limit: approximate reasoning for Markov processes. Zbl 1365.68344
Larsen, Kim Guldstrand; Mardare, Radu; Panangaden, Prakash
8
2012
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
8
2009
Checking thorough refinement on modal transition systems is EXPTIME-complete. Zbl 1250.68117
Beneš, Nikola; Křetínský, Jan; Larsen, Kim G.; Srba, Jiří
8
2009
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
Clock difference diagrams. Zbl 0937.68086
Larsen, Kim G.; Pearson, Justin; Weise, Carsten; Yi, Wang
8
1999
Static guard analysis in timed automata verification. Zbl 1031.68076
Behrmann, Gerd; Bouyer, Patricia; Fleury, Emmanuel; Larsen, Kim G.
8
2003
Lower and upper bounds in zone based abstractions of timed automata. Zbl 1126.68453
Behrmann, Gerd; Bouyer, Patricia; Larsen, Kim G.; Pelánek, Radek
7
2004
Compositional metric reasoning with probabilistic process calculi. Zbl 1459.68143
Gebler, Daniel; Larsen, Kim Guldstrand; Tini, Simone
7
2015
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
Average-energy games. Zbl 1390.68115
Bouyer, Patricia; Markey, Nicolas; Randour, Mickael; Larsen, Kim G.; Laursen, Simon
7
2018
Using information systems to solve recursive domain equations. Zbl 0731.68071
Larsen, Kim Guldstrand; Winskel, Glynn
7
1991
Optimal conditional reachability for multi-priced timed automata. Zbl 1118.68527
Larsen, Kim Guldstrand; Rasmussen, Jacob Illum
7
2005
Computing behavioral distances, compositionally. Zbl 1400.68144
Bacci, Giorgio; Bacci, Giovanni; Larsen, Kim G.; Mardare, Radu
7
2013
Timed automata with observers under energy constraints. Zbl 1361.68135
Bouyer, Patricia; Fahrenberg, Uli; Larsen, Kim G.; Markey, Nicolas
7
2010
Efficient on-the-fly algorithm for checking alternating timed simulation. Zbl 1262.68105
Bulychev, Peter; Chatain, Thomas; David, Alexandre; Larsen, Kim G.
7
2009
Reduction and refinement strategies for probabilistic analysis. Zbl 1065.68582
D’Argenio, Pedro R.; Jeannet, Bertrand; Jensen, Henrik E.; Larsen, Kim G.
7
2002
Guided synthesis of control programs using UPPAAL. Zbl 0978.68021
Hune, Thomas; Larsen, Kim G.; Pettersson, Paul
7
2001
The use of static constructs in a modal process logic. Zbl 0683.03014
Hüttel, Hans; Larsen, Kim G.
7
1989
Converging from branching to linear metrics on Markov chains. Zbl 1407.68277
Bacci, Giorgio; Bacci, Giovanni; Larsen, Kim G.; Mardare, Radu
6
2015
Model checking real-time systems. Zbl 1392.68235
Bouyer, Patricia; Fahrenberg, Uli; Larsen, Kim Guldstrand; Markey, Nicolas; Ouaknine, Joël; Worrell, James
6
2018
Language emptiness of continuous-time parametric timed automata. Zbl 1440.68150
Beneš, Nikola; Bezděk, Peter; Larsen, Kim G.; Srba, Jiří
6
2015
Complexity of decision problems for mixed and modal specifications. Zbl 1139.68035
Antonik, Adam; Huth, Michael; Larsen, Kim G.; Nyman, Ulrik; Wąsowski, Andrzej
6
2008
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
6
2007
Automatic abstraction refinement for timed automata. Zbl 1141.68431
Dierks, Henning; Kupferschmid, Sebastian; Larsen, Kim G.
6
2007
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
Timed automata can always be made implementable. Zbl 1343.68134
Bouyer, Patricia; Larsen, Kim G.; Markey, Nicolas; Sankur, Ocan; Thrane, Claus
6
2011
Discount-optimal infinite runs in priced timed automata. Zbl 1347.68204
Fahrenberg, Uli; Larsen, Kim G.
6
2009
Beyond liveness: Efficient parameter synthesis for time bounded liveness. Zbl 1175.68255
Behrmann, Gerd; Larsen, Kim G.; Rasmussen, Jacob Illum
5
2005
Resource-optimal scheduling using priced timed automata. Zbl 1126.68461
Rasmussen, J. I.; Larsen, Kim G.; Subramani, K.
5
2004
Modal transition systems with weight intervals. Zbl 1243.68215
Juhl, Line; Larsen, Kim G.; Srba, Jiří
5
2012
Adding symmetry reduction to Uppaal. Zbl 1099.68657
Hendriks, Martijn; Behrmann, Gerd; Larsen, Kim; Niebert, Peter; Vaandrager, Frits
5
2004
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
5
2011
Optimal bounds for multiweighted and parametrised energy games. Zbl 1390.68399
Juhl, Line; Guldstrand Larsen, Kim; Raskin, Jean-François
5
2013
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.
5
2012
Continuous Markovian logics – axiomatization and quantified metatheory. Zbl 1261.03088
Mardare, Radu; Cardelli, Luca; Larsen, Kim G.
5
2012
A quantitative characterization of weighted Kripke structures in temporal logic. Zbl 1413.68073
Fahrenberg, Uli; Larsen, Kim G.; Thrane, Claus
5
2010
Weighted modal transition systems. Zbl 1291.68246
Bauer, Sebastian S.; Fahrenberg, Uli; Juhl, Line; Larsen, Kim G.; Legay, Axel; Thrane, Claus
5
2013
Priced timed automata: Algorithms and applications. Zbl 1143.68430
Behrmann, Gerd; Larsen, Kim G.; Rasmussen, Jacob I.
4
2005
Model-checking one-clock priced timed automata. Zbl 1149.68400
Bouyer, Patricia; Larsen, Kim G.; Markey, Nicolas
4
2007
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
4
2016
Continuous Markovian logic – from complete axiomatization to the metric space of formulas. Zbl 1247.03030
Cardelli, Luca; Larsen, Kim G.; Mardare, Radu
4
2011
On the metric-based approximate minimization of Markov chains. Zbl 1400.68098
Bacci, Giovanni; Bacci, Giorgio; Larsen, Kim G.; Mardare, Radu
4
2018
Online testing of real-time systems using Uppaal. Zbl 1081.68574
Larsen, Kim G.; Mikucionis, Marius; Nielsen, Brian
4
2005
Fast directed model checking via Russian Doll abstraction. Zbl 1134.68412
Kupferschmid, Sebastian; Hoffmann, Jörg; Larsen, Kim G.
4
2008
Robust specification of real time components. Zbl 1348.68143
Larsen, Kim G.; Legay, Axel; Traonouez, Louis-Marie; Wąsowski, Andrzej
4
2011
Parametric modal transition systems. Zbl 1348.68120
Beneš, Nikola; Křetínský, Jan; Larsen, Kim G.; Møller, Mikael H.; Srba, Jiří
4
2011
Verification, performance analysis and controller synthesis for real-time systems. Zbl 1274.68185
Fahrenberg, Uli; Larsen, Kim G.; Thrane, Claus R.
4
2010
To store or not to store. Zbl 1278.68155
Behrmann, Gerd; Larsen, Kim G.; Pelánek, Radek
4
2003
Graphical versus logical specifications. Zbl 0759.68059
Boudol, Gérard; Larsen, Kim G.
4
1990
Regular languages definable by Lindström quantifiers. Zbl 1046.20042
Ésik, Zoltán; Larsen, Kim G.
4
2003
Automated verification of an audio-control protocol using UPPAAL. Zbl 1008.68009
Bengtsson, Johan; Griffioen, W. O. David; Kristoffersen, Kåre J.; Larsen, Kim G.; Larsson, Fredrik; Pettersson, Paul; Yi, Wang
4
2002
Scaling up Uppaal. Automatic verification of real-time systems using compositionality and abstraction. Zbl 0986.68519
Jensen, Henrik Ejersbo; Larsen, Kim Guldstrand; Skou, Arne
4
2000
Verifying a protocol using relativized bisimulation. Zbl 0628.68022
Larsen, Kim G.; Milner, Robin
4
1987
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.
4
2014
Consistency and refinement for interval Markov chains. Zbl 1247.68195
Delahaye, Benoît; Larsen, Kim G.; Legay, Axel; Pedersen, Mikkel L.; Wąsowski, Andrzej
3
2012
Adequacy and complete axiomatization for timed modal logic. Zbl 1337.03028
Jaziri, Samy; Larsen, Kim G.; Mardare, Radu; Xue, Bingtian
3
2014
Nash equilibria in concurrent priced games. Zbl 1351.68182
Klimoš, Miroslav; Larsen, Kim G.; Štefaňák, Filip; Thaarup, Jeppe
3
2012
Complete proof systems for weighted modal logic. Zbl 1317.68120
Larsen, Kim G.; Mardare, Radu
3
2014
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ří
3
2012
Stubborn set reduction for two-player reachability games. Zbl 07327954
Bønneland, Frederik Meyer; Jensen, Peter Gjøl; Larsen, Kim Guldstrand; Muñiz, Marco; Srba, Jiří
1
2021
Converging from branching to linear metrics on Markov chains. Zbl 1407.68278
Bacci, Giorgio; Bacci, Giovanni; Larsen, Kim G.; Mardare, Radu
2
2019
Average-energy games. Zbl 1390.68115
Bouyer, Patricia; Markey, Nicolas; Randour, Mickael; Larsen, Kim G.; Laursen, Simon
7
2018
Model checking real-time systems. Zbl 1392.68235
Bouyer, Patricia; Fahrenberg, Uli; Larsen, Kim Guldstrand; Markey, Nicolas; Ouaknine, Joël; Worrell, James
6
2018
On the metric-based approximate minimization of Markov chains. Zbl 1400.68098
Bacci, Giovanni; Bacci, Giorgio; Larsen, Kim G.; Mardare, Radu
4
2018
On decidability of recursive weighted logics. Zbl 06960111
Larsen, Kim G.; Mardare, Radu; Xue, Bingtian
1
2018
Reasoning about bounds in weighted transition systems. Zbl 06987096
Hansen, Mikkel; Larsen, Kim Guldstrand; Mardare, Radu; Ruggaard Pedersen, Mathias
1
2018
Weighted branching systems: behavioural equivalence, behavioural distance, and their logical characterisations. Zbl 06989604
Jensen, Mathias Claus; Larsen, Kim Guldstrand; Mardare, Radu
1
2018
Refinement of trace abstraction for real-time programs. Zbl 06820343
Cassez, Franck; Jensen, Peter Gjøl; Guldstrand Larsen, Kim
2
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ří
1
2017
On the metric-based approximate minimization of Markov chains. Zbl 1442.68079
Bacci, Giovanni; Bacci, Giorgio; Larsen, Kim G.; Mardare, Radu
1
2017
PTrie: data structure for compressing and storing sets via prefix sharing. Zbl 1444.68063
Jensen, Peter Gjøl; Larsen, Kim Guldstrand; Srba, Jiří
1
2017
42nd international symposium on mathematical foundations of computer science, MFCS 2017, August 21–25, 2017, Aalborg, Denmark. Zbl 1376.68011
Larsen, Kim G.; Bodlaender, Hans L.; Raskin, Jean-François
1
2017
Compositional bisimulation metric reasoning with probabilistic process calculi. Zbl 1398.68365
Gebler, Daniel; Larsen, Kim G.; Tini, Simone
9
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
4
2016
Complete axiomatization for the bisimilarity distance on Markov chains. Zbl 1392.68282
Bacci, Giorgio; Bacci, Giovanni; Larsen, Kim G.; Mardare, Radu
2
2016
Reachability problems. 10th international workshop, RP 2016, Aalborg, Denmark, September 19–21, 2016. Proceedings. Zbl 1371.68012
Larsen, Kim Guldstrand; Potapov, Igor; Srba, Jiří
1
2016
Probabilistic \(\mu\)-calculus: decidability and complete axiomatization. Zbl 1434.03072
Larsen, Kim G.; Mardare, Radu; Xue, Bingtian
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
Real-time strategy synthesis for timed-arc Petri net games via discretization. Zbl 1354.68196
Jensen, Peter Gjøl; Larsen, Kim Guldstrand; Srba, Jiří
1
2016
Compositional metric reasoning with probabilistic process calculi. Zbl 1459.68143
Gebler, Daniel; Larsen, Kim Guldstrand; Tini, Simone
7
2015
Converging from branching to linear metrics on Markov chains. Zbl 1407.68277
Bacci, Giorgio; Bacci, Giovanni; Larsen, Kim G.; Mardare, Radu
6
2015
Language emptiness of continuous-time parametric timed automata. Zbl 1440.68150
Beneš, Nikola; Bezděk, Peter; Larsen, Kim G.; Srba, Jiří
6
2015
Decidability and expressiveness of recursive weighted logic. Zbl 1434.68330
Larsen, Kim Guldstrand; Mardare, Radu; Xue, Bingtian
3
2015
On the total variation distance of semi-Markov chains. Zbl 1459.68116
Bacci, Giorgio; Bacci, Giovanni; Larsen, Kim Guldstrand; Mardare, Radu
2
2015
Alternation-free weighted mu-calculus: decidability and completeness. Zbl 1351.68164
Larsen, Kim G.; Mardare, Radu; Xue, Bingtian
2
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ří
2
2015
Concurrent weighted logic. Zbl 1330.68210
Larsen, Kim G.; Mardare, Radu; Xue, Bingtian
1
2015
Polynomial time decidability of weighted synchronization under partial observability. Zbl 1374.68260
Kretinsky, Jan; Larsen, Kim Guldstrand; Laursen, Simon; Srba, Jiri
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.
4
2014
Adequacy and complete axiomatization for timed modal logic. Zbl 1337.03028
Jaziri, Samy; Larsen, Kim G.; Mardare, Radu; Xue, Bingtian
3
2014
Complete proof systems for weighted modal logic. Zbl 1317.68120
Larsen, Kim G.; Mardare, Radu
3
2014
Robust synthesis for real-time systems. Zbl 1311.68088
Larsen, Kim G.; Legay, Axel; Traonouez, Louis-Marie; Wąsowski, Andrzej
3
2014
A decidable recursive logic for weighted transition systems. Zbl 1432.68310
Larsen, Kim Guldstrand; Mardare, Radu; Xue, Bingtian
2
2014
Synchronizing strategies under partial observability. Zbl 1417.68129
Guldstrand Larsen, Kim; Laursen, Simon; Srba, Jiří
2
2014
Synchronizing words for weighted and timed automata. Zbl 1360.68552
Doyen, Laurent; Juhl, Line; Larsen, Kim G.; Markey, Nicolas; Shirmohammadi, Mahsa
2
2014
Bisimulation on Markov processes over arbitrary measurable spaces. Zbl 1407.68327
Bacci, Giorgio; Bacci, Giovanni; Larsen, Kim Guldstrand; Mardare, Radu
1
2014
Refinement and difference for probabilistic automata. Zbl 1338.68144
Delahaye, Benoît; Fahrenberg, Uli; Larsen, Kim G.; Legay, Axel
1
2014
Parametric and quantitative extensions of modal transition systems. Zbl 1416.68121
Fahrenberg, Uli; Guldstrand Larsen, Kim; Legay, Axel; Traonouez, Louis-Marie
1
2014
Stone duality for Markov processes. Zbl 1433.06006
Kozen, Dexter; Larsen, Kim G.; Mardare, Radu; Panangaden, Prakash
10
2013
On-the-fly exact computation of bisimilarity distances. Zbl 1381.68218
Bacci, Giorgio; Bacci, Giovanni; Larsen, Kim G.; Mardare, Radu
9
2013
Computing behavioral distances, compositionally. Zbl 1400.68144
Bacci, Giorgio; Bacci, Giovanni; Larsen, Kim G.; Mardare, Radu
7
2013
Optimal bounds for multiweighted and parametrised energy games. Zbl 1390.68399
Juhl, Line; Guldstrand Larsen, Kim; Raskin, Jean-François
5
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
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
2
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
Stuttering for abstract probabilistic automata. Zbl 1437.68094
Delahaye, Benoît; Larsen, Kim G.; Legay, Axel
1
2013
Extending modal transition systems with structured labels. Zbl 1277.68160
Bauer, Sebastian S.; Juhl, Line; Larsen, Kim G.; Legay, Axel; Srba, Jiří
8
2012
Taking it to the limit: approximate reasoning for Markov processes. Zbl 1365.68344
Larsen, Kim Guldstrand; Mardare, Radu; Panangaden, Prakash
8
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
Modal transition systems with weight intervals. Zbl 1243.68215
Juhl, Line; Larsen, Kim G.; Srba, Jiří
5
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.
5
2012
Continuous Markovian logics – axiomatization and quantified metatheory. Zbl 1261.03088
Mardare, Radu; Cardelli, Luca; Larsen, Kim G.
5
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
3
2012
Nash equilibria in concurrent priced games. Zbl 1351.68182
Klimoš, Miroslav; Larsen, Kim G.; Štefaňák, Filip; Thaarup, Jeppe
3
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ří
3
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
3
2012
EXPTIME-completeness of thorough refinement on modal transition systems. Zbl 1282.68118
Beneš, Nikola; Křetínský, Jan; Larsen, Kim G.; Srba, Jiří
1
2012
Energy games in multiweighted automata. Zbl 1350.68168
Fahrenberg, Uli; Juhl, Line; Larsen, Kim G.; Srba, Jiří
12
2011
Metrics for weighted transition systems: axiomatization and complexity. Zbl 1216.68191
Larsen, Kim G.; Fahrenberg, Uli; Thrane, Claus
11
2011
Constraint Markov chains. Zbl 1223.68070
Caillaud, Benoît; Delahaye, Benoît; Larsen, Kim G.; Legay, Axel; Pedersen, Mikkel L.; Wąsowski, Andrzej
9
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
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
Timed automata can always be made implementable. Zbl 1343.68134
Bouyer, Patricia; Larsen, Kim G.; Markey, Nicolas; Sankur, Ocan; Thrane, Claus
6
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
5
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
Robust specification of real time components. Zbl 1348.68143
Larsen, Kim G.; Legay, Axel; Traonouez, Louis-Marie; Wąsowski, Andrzej
4
2011
Parametric modal transition systems. Zbl 1348.68120
Beneš, Nikola; Křetínský, Jan; Larsen, Kim G.; Møller, Mikael H.; Srba, Jiří
4
2011
Modular Markovian logic. Zbl 1333.68200
Cardelli, Luca; Larsen, Kim G.; Mardare, Radu
2
2011
Decision problems for interval Markov chains. Zbl 1330.68109
Delahaye, Benoît; Larsen, Kim G.; Legay, Axel; Pedersen, Mikkel L.; Wąsowski, Andrzej
2
2011
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
21
2010
Quantitative analysis of weighted transition systems. Zbl 1204.68137
Thrane, Claus; Fahrenberg, Uli; Larsen, Kim G.
11
2010
Timed automata with observers under energy constraints. Zbl 1361.68135
Bouyer, Patricia; Fahrenberg, Uli; Larsen, Kim G.; Markey, Nicolas
7
2010
A quantitative characterization of weighted Kripke structures in temporal logic. Zbl 1413.68073
Fahrenberg, Uli; Larsen, Kim G.; Thrane, Claus
5
2010
Verification, performance analysis and controller synthesis for real-time systems. Zbl 1274.68185
Fahrenberg, Uli; Larsen, Kim G.; Thrane, Claus R.
4
2010
Scenario-based verification of real-time systems using UPPAAL. Zbl 1209.68323
Li, Shuhao; Balaguer, Sandie; David, Alexandre; Larsen, Kim G.; Nielsen, Brian; Pusinskas, Saulius
2
2010
Modal and mixed specifications: key decision problems and their complexities. Zbl 1191.68426
Antonik, Adam; Huth, Michael; Larsen, Kim G.; Nyman, Ulrik; Wąsowski, Andrzej
2
2010
Methodologies for specification of real-time systems using timed I/O automata. Zbl 1312.68131
David, Alexandre; Larsen, Kim G.; Legay, Axel; Nyman, Ulrik; Wąsowski, Andrzej
1
2010
On determinism in modal transition systems. Zbl 1186.68314
Beneš, N.; Křetínský, J.; Larsen, K. G.; Srba, J.
10
2009
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
8
2009
Checking thorough refinement on modal transition systems is EXPTIME-complete. Zbl 1250.68117
Beneš, Nikola; Křetínský, Jan; Larsen, Kim G.; Srba, Jiří
8
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
Discount-optimal infinite runs in priced timed automata. Zbl 1347.68204
Fahrenberg, Uli; Larsen, Kim G.
6
2009
EXPTIME-complete decision problems for modal and mixed specifications. Zbl 1291.68172
Antonik, Adam; Huth, Michael; Larsen, Kim G.; Nyman, Ulrik; Wąsowski, Andrzej
2
2009
A quantitative characterization of weighted Kripke structures in temporal logic. Zbl 1247.68189
Larsen, Kim G.; Fahrenberg, Uli; Thrane, Claus
1
2009
Priced timed automata: theory and tools. Zbl 1248.68335
Larsen, Kim G.
1
2009
Infinite runs in weighted timed automata with energy constraints. Zbl 1171.68524
Bouyer, Patricia; Fahrenberg, Uli; Larsen, Kim G.; Markey, Nicolas; Srba, Jiří
30
2008
20 years of modal and mixed specifications. Zbl 1169.68498
Antonik, Adam; Huth, Michael; Larsen, Kim G.; Nyman, Ulrik; Wąsowski, Andrzej
14
2008
Optimal infinite scheduling for multi-priced timed automata. Zbl 1133.68360
Bouyer, Patricia; Brinksma, Ed; Larsen, Kim G.
11
2008
Optimal reachability for multi-priced timed automata. Zbl 1134.68029
Larsen, Kim Guldstrand; Rasmussen, Jacob Illum
9
2008
Model checking one-clock priced timed automata. Zbl 1149.68401
Bouyer, Patricia; Larsen, Kim G.; Markey, Nicolas
8
2008
Complexity of decision problems for mixed and modal specifications. Zbl 1139.68035
Antonik, Adam; Huth, Michael; Larsen, Kim G.; Nyman, Ulrik; Wąsowski, Andrzej
6
2008
Fast directed model checking via Russian Doll abstraction. Zbl 1134.68412
Kupferschmid, Sebastian; Hoffmann, Jörg; Larsen, Kim G.
4
2008
Modal I/O automata for interface and product line theories. Zbl 1187.68296
Larsen, Kim G.; Nyman, Ulrik; Wąsowski, Andrzej
41
2007
Reactive systems. Modelling, specification and verification. Zbl 1141.68043
Aceto, Luca; Ingólfsdóttir, Anna; Larsen, Kim G.; Srba, Jiří
40
2007
On modal refinement and consistency. Zbl 1151.68541
Larsen, Kim G.; Nyman, Ulrik; Wąsowski, Andrzej
11
2007
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
6
2007
Automatic abstraction refinement for timed automata. Zbl 1141.68431
Dierks, Henning; Kupferschmid, Sebastian; Larsen, Kim G.
6
2007
Model-checking one-clock priced timed automata. Zbl 1149.68400
Bouyer, Patricia; Larsen, Kim G.; Markey, Nicolas
4
2007
...and 62 more Documents
all top 5

Cited by 1,237 Authors

67 Larsen, Kim Guldstrand
29 Legay, Axel
19 Fahrenberg, Uli
18 Aceto, Luca
18 Bouyer, Patricia
18 Kwiatkowska, Marta Z.
17 Katoen, Joost-Pieter
16 Ingólfsdóttir, Anna
15 Mardare, Radu
15 Raskin, Jean-François
14 Bernardo, Marco
14 Norman, Gethin
14 Wąsowski, Andrzej
12 Srba, Jiří
12 Tini, Simone
10 Chatterjee, Krishnendu
10 Delahaye, Benoît
10 Hennicker, Rolf
10 Hermanns, Holger
10 Markey, Nicolas
10 Panangaden, Prakash
10 van Breugel, Franck
9 Brihaye, Thomas
9 Gregorio-Rodríguez, Carlos
9 Li, Qingguo
9 Lüttgen, Gerald
9 Vaandrager, Frits W.
9 Worrell, James B.
8 André, Étienne
8 de Frutos-Escrig, David
8 Desharnais, Josée
8 Doyen, Laurent
8 Henzinger, Thomas A.
8 Lanotte, Ruggero
8 Rutten, Jan J. M. M.
8 Vogler, Walter
7 Bacci, Giovanni
7 Baier, Christel
7 Cleaveland, Rance
7 Deng, Yuxin
7 Droste, Manfred
7 Francalanza, Adrian
7 Hennessy, Matthew C. B.
7 Lime, Didier
7 Quaas, Karin
7 Schröder, Lutz
7 Winskel, Glynn
6 Bacci, Giorgio
6 Beneš, Nikola
6 Bertrand, Nathalie
6 Bonchi, Filippo
6 Bruni, Roberto
6 Cao, Yongzhi
6 David, Alexandre
6 de Vink, Erik P.
6 Fokkink, Willem Jan
6 Gebler, Daniel E.
6 Gorrieri, Roberto
6 Guo, Lankun
6 Meseguer Guaita, José
6 Montanari, Ugo G.
6 Silva, Alexandra
6 Valero, Valentín
6 van Glabbeek, Robert Jan
6 Zhan, Naijun
5 Abate, Alessandro
5 Bauer, Sebastian S.
5 Bruyère, Véronique
5 Chen, Yixiang
5 Cîrstea, Corina
5 Danos, Vincent
5 D’Argenio, Pedro Rubén
5 Doberkat, Ernst-Erich
5 Gastin, Paul
5 Geeraerts, Gilles
5 Groote, Jan Friso
5 Juhl, Line
5 Klin, Bartek
5 Ma, Yanfang
5 Nunez, Manuel A.
5 Pedersen, Mikkel Lykke
5 Sproston, Jeremy
5 Traonouez, Louis-Marie
5 Zhang, Lijun
4 Akshay, S.
4 Barbosa, Luís Soares
4 Bérard, Béatrice
4 Bravetti, Mario
4 Castiglioni, Valentina
4 Chatain, Thomas
4 Crafa, Silvia
4 Cuartero, Fernando
4 Dang, Zhe
4 Di Pierro, Alessandra
4 Fendrich, Sascha
4 Fribourg, Laurent
4 Gnesi, Stefania
4 Jonsson, Bengt
4 Křetínský, Jan
4 Krishna, Shankara Narayanan
...and 1,137 more Authors
all top 5

Cited in 82 Serials

179 Theoretical Computer Science
74 Information and Computation
40 Formal Methods in System Design
39 Formal Aspects of Computing
33 Acta Informatica
31 Journal of Logical and Algebraic Methods in Programming
26 The Journal of Logic and Algebraic Programming
22 Logical Methods in Computer Science
20 MSCS. Mathematical Structures in Computer Science
14 Real-Time Systems
12 Information Processing Letters
9 Discrete Event Dynamic Systems
8 Journal of Computer and System Sciences
8 Science of Computer Programming
8 Annals of Pure and Applied Logic
7 International Journal of Foundations of Computer Science
6 International Journal of Approximate Reasoning
5 Automatica
5 Journal of Computer Science and Technology
4 International Journal of Control
4 Fuzzy Sets and Systems
4 Distributed Computing
4 European Journal of Control
4 Nonlinear Analysis. Hybrid Systems
3 Artificial Intelligence
3 Algorithmica
3 Machine Learning
3 Theory of Computing Systems
3 Soft Computing
3 Journal of Applied Logic
3 Sibirskie Èlektronnye Matematicheskie Izvestiya
2 Information Sciences
2 The Journal of Symbolic Logic
2 Studia Logica
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 Fundamenta Informaticae
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 Semigroup Forum
1 SIAM Journal on Control and Optimization
1 Moscow University Computational Mathematics and Cybernetics
1 Systems & Control Letters
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 Applicable Algebra in Engineering, Communication and Computing
1 Journal of Logic, Language and Information
1 Mathematical Problems in Engineering
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 Natural Computing
1 ACM Transactions on Computational Logic
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 Frontiers of Computer Science in China
1 Computer Science Review
1 International Journal of Systems Science. Principles and Applications of Systems and Integration

Citations by Year