Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Kim Larsen
conf.researchr.org general profile
ETAPS 2019 profile
ISSTA 2017 profile
ISSTA 2019 profile
POPL 2018 profile
Not registered as user yet
Name:
Kim Larsen
Country:
Denmark
Affiliation:
Aalborg University
Contributions
ETAPS 2019
Author of ETAPS Steering committee meeting within the Social-track
Committee Member in Steering Committee
Panelist of Panel Discussion: Moore's Law, and More? (TACAS 25th anniversary) within the TOOLympics-track
QAPL 2019
Author of A Faster-Than Relation for Semi-Markov Decision Processes within the QAPL-track
SPIoT 2019
Author of ADTLang: A Programming Language Approach to Attack Defense Trees within the SPIoT-track
SynCoP 2019
Steering Committee Member in Steering Committee (and PC) within the SynCoP-track
TACAS 2019
Session Chair of Hybrid and Stochastic Systems (part of TACAS 2019)
Author of Abstract Dependency Graphs and Their Application to Model Checking within the TACAS 2019-track
Committee Member in Program Committee within the TACAS 2019-track
Committee Member in Steering Committee within the TACAS 2019-track
PPS 2018
Author of Comparing the speed of probabilistic processes within the PPS 2018-track
SPIN 2017
Committee Member in Program Committee
Share
x
Tue 28 Mar 13:34