BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Larsen:Kim_G=

Contributed to:

CBSE 20152015
ICTSS 20132013
LICS 20132013
TACAS 20132013
DATE 20122012
FM 20122012
LATA 20122012
CAV 20112011
CSL 20112011
ICALP (2) 20112011
ICTSS 20112011
LATA 20112011
QAPL 20112011
VMCAI 20112011
QAPL 20162016
QAPL 20192019

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.