Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(246)
Paul Pettersson
41
Gerd Behrmann
40
Arne Skou
28
Alexandre David
27
Wang Yi
25
Conferences
(58)
TACAS
14
CAV
11
FORMATS
9
CONCUR
8
Hybrid Systems
8
Journals
(24)
TCS
11
FMSD
9
STTT
8
ENTCS
7
NJC
4
Keywords
(362)
Embed
Subscribe
Academic
Authors
Kim Guldstrand Larsen
Edit
Kim Guldstrand Larsen
Aalborg University
Publications: 291
|
Citations: 7348
|
G-Index: 79
|
H-Index: 45
The information is calculated based on the tens of millions of scholarly articles currently discoverable within Microsoft Academic Search. As more content gets indexed, the accuracy and completeness will continue to improve.
Interests:
Software Engineering
,
Algorithms & Theory
,
Real-Time & Embedded Systems
View FAQ about top research area and research interests
Collaborated with
246 co-authors
from 1984 to 2011
; Cited by
3904 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(291)
BibTeX
|
RIS
|
RefWorks
Download
Abstract Probabilistic Automata
(
Citations: 3
)
Benoît Delahaye
,
Joost-Pieter Katoen
,
Kim G. Larsen
,
Axel Legay
,
Mikkel L. Pedersen
,
Falak Sher
,
Andrzej Wasowski
Conference:
Verification, Model Checking and Abstract Interpretation - VMCAI
, pp. 324-339, 2011
New Results on Abstract Probabilistic Automata
(
Citations: 2
)
Benoît Delahaye
,
Joost-Pieter Katoen
,
Kim G. Larsen
,
Axel Legay
,
Mikkel L. Pedersen
,
Falak Sher
,
Andrzej Wþasowski
Conference:
Int. Conf. on Application of Concurrency to System Design - ACSD
, pp. 118-127, 2011
Developing UPPAAL over 15 years
(
Citations: 1
)
Gerd Behrmann
,
Alexandre David
,
Kim Guldstrand Larsen
,
Paul Pettersson
,
Wang Yi
Journal:
Software - Practice and Experience - SPE
, vol. 41, no. 2, pp. 133-142, 2011
Learning Probabilistic Automata for Model Checking
Hua Mao
,
Yingke Chen
,
Manfred Jaeger
,
Thomas D. Nielsen
,
Kim G. Larsen
,
Brian Nielsen
Conference:
Quantitative Evaluation of Systems - QEST
, 2011
opaal: A Lattice Model Checker
Andreas Engelbredt Dalsgaard
,
René Rydhof Hansen
,
Kenneth Yrke Jørgensen
,
Kim Guldstrand Larsen
,
Mads Chr. Olesen
,
Petur Olsen
,
Jirí Srba
Published in 2011.
Order by:
Citations
(7348 times by 4077 publications)
Quantitative Multi-objective Verification for Probabilistic Systems
(
Citations: 5
)
Vojtech Forejt
,
Marta Z. Kwiatkowska
,
Gethin Norman
,
David Parker
,
Hongyang Qu
Conference:
Tools and Algorithms for Construction and Analysis of Systems - TACAS
, pp. 112-127, 2011
Abstract Probabilistic Automata
(
Citations: 3
)
Benoît Delahaye
,
Joost-Pieter Katoen
,
Kim G. Larsen
,
Axel Legay
,
Mikkel L. Pedersen
,
Falak Sher
,
Andrzej Wasowski
Conference:
Verification, Model Checking and Abstract Interpretation - VMCAI
, pp. 324-339, 2011
Quantitative Kleene coalgebras
(
Citations: 3
)
Alexandra Silva
,
Filippo Bonchi
,
Marcello M. Bonsangue
,
Jan J. M. M. Rutten
Journal:
Information and Computation/information and Control - IANDC
, vol. 209, no. 5, pp. 822-849, 2011
New Results on Abstract Probabilistic Automata
(
Citations: 2
)
Benoît Delahaye
,
Joost-Pieter Katoen
,
Kim G. Larsen
,
Axel Legay
,
Mikkel L. Pedersen
,
Falak Sher
,
Andrzej Wþasowski
Conference:
Int. Conf. on Application of Concurrency to System Design - ACSD
, pp. 118-127, 2011
The earlier the better: a theory of timed actor interfaces
(
Citations: 2
)
Marc Geilen
,
Stavros Tripakis
,
Maarten Wiggers
Published in 2011.
Comments