ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
ETAPS 2019 (series) / Kim Larsen
Kim Larsen

Not registered as user yet

Name: Kim Larsen

Country: Denmark

Affiliation: Aalborg University

Contributions

QAPL 2019Author of A Faster-Than Relation for Semi-Markov Decision Processes within the QAPL-track
SPIoT 2019Author of ADTLang: A Programming Language Approach to Attack Defense Trees within the SPIoT-track
SynCoP 2019Steering Committee Member in Steering Committee (and PC) within the SynCoP-track
TACAS 2019Session 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 2019Committee Member in Steering Committee
Show activities from other conferences

Using general profile