Kim Larsen -

Not registered as user yet

Name: Kim Larsen

Country: Denmark

Affiliation: Aalborg University

Contributions

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
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
PPS 2018	Author of Comparing the speed of probabilistic processes within the PPS 2018-track
SPIN 2017	Committee Member in Program Committee