Travelled to:1 × Canada
1 × Italy
1 × Norway
1 × Switzerland
1 × Turkey
2 × France
2 × Germany
2 × Spain
3 × USA
Collaborated with:R.Mardare M.Mikucionis A.Legay L.Cardelli G.Bacci A.David B.Delahaye M.L.Pedersen A.Wasowski U.Fahrenberg C.R.Thrane Simon Laursen M.Z.0002 Mathias Ruggaard Pedersen D.Kozen P.Panangaden G.Bacci H.Zhao N.Zhan D.Kapur M.Klimos F.Stefanak J.Thaarup G.Frehse B.Nielsen O.Nguena-Timo A.Rollet Z.Wang M.Bozga A.Hartmanns H.Hermanns J.Tretmans J.Katoen F.Sher J.H.Kim A.Boudjadar U.Nyman A.Skou I.Lee L.T.X.Phan
Talks about:system (5) time (4) markov (3) game (3) markovian (2) quantit (2) process (2) distanc (2) continu (2) analysi (2)
Person: Kim G. Larsen
DBLP: Larsen:Kim_G=
Contributed to:
2015
2013
2013
2013
2012
2012
2012
2011
2011
201120112011
2011
201120162019Wrote 16 papers:
- CBSE-2015-KimBNMLSLP #analysis #probability #scheduling
- Quantitative Schedulability Analysis of Continuous Probability Tasks in a Hierarchical Context (JHK, AB, UN, MM, KGL, AS, IL, LTXP), pp. 91–100.
- ICTSS-2013-DavidLMNR #specification #testing
- Remote Testing of Timed Specifications (AD, KGL, MM, ONT, AR), pp. 65–81.
- LICS-2013-KozenLMP #markov #process
- Stone Duality for Markov Processes (DK, KGL, RM, PP), pp. 321–330.
- TACAS-2013-BacciBLM #on the fly #similarity
- On-the-Fly Exact Computation of Bisimilarity Distances (GB, GB, KGL, RM), pp. 1–15.
- DATE-2012-BozgaDHHLLT #analysis #embedded #modelling #state of the art #tool support
- State-of-the-art tools and techniques for quantitative modeling and analysis of embedded systems (MB, AD, AH, HH, KGL, AL, JT), pp. 370–375.
- FM-2012-ZhaoZKL #approach #case study #hybrid #industrial
- A “Hybrid” Approach for Synthesizing Optimal Controllers of Hybrid Systems: A Case Study of the Oil Pump Industrial Example (HZ, NZ, DK, KGL), pp. 471–485.
- LATA-2012-KlimosLST #concurrent #game studies #nash
- Nash Equilibria in Concurrent Priced Games (MK, KGL, FS, JT), pp. 363–376.
- CAV-2011-DavidLLMW #model checking #realtime #statistics
- Time for Statistical Model Checking of Real-Time Systems (AD, KGL, AL, MM, ZW), pp. 349–355.
- CSL-2011-CardelliLM #axiom #logic #markov #metric
- Continuous Markovian Logic — From Complete Axiomatization to the Metric Space of Formulas (LC, KGL, RM), pp. 144–158.
- ICALP-v2-2011-CardelliLM #composition #logic #markov
- Modular Markovian Logic (LC, KGL, RM), pp. 380–391.
- ICTSS-2011-FrehseLMN #aspect-oriented #monitoring #testing
- Monitoring Dynamical Signals While Testing Timed Aspects of a System (GF, KGL, MM, BN), pp. 115–130.
- LATA-2011-DelahayeLLPW #markov #problem
- Decision Problems for Interval Markov Chains (BD, KGL, AL, MLP, AW), pp. 274–285.
- QAPL-2011-FahrenbergTL #game studies
- Distances for Weighted Transition Systems: Games and Properties (UF, CRT, KGL), pp. 134–147.
- VMCAI-2011-DelahayeKLLPSW #automaton #probability
- Abstract Probabilistic Automata (BD, JPK, KGL, AL, MLP, FS, AW), pp. 324–339.
- QAPL-2016-LarsenLZ15 #bound #energy #exclamation #game studies
- Limit Your Consumption! Finding Bounds in Average-energy Games (KGL, SL, MZ0), pp. 1–14.
- QAPL-2019-PedersenBL #markov #process
- A Faster-Than Relation for Semi-Markov Decision Processes (MRP, GB, KGL), pp. 29–42.