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 2019 A Faster-Than Relation for Semi-Markov Decision Processes
SPIoT 2019 ADTLang: A Programming Language Approach to Attack Defense Trees
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)
Abstract Dependency Graphs and Their Application to Model Checking
Committee Member in Program Committee within the TACAS 2019-track
Committee Member in Steering Committee within the TACAS 2019-track
ETAPS 2019 ETAPS Steering committee meeting
Committee Member in Steering Committee
Panel Discussion: Moore's Law, and More? (TACAS 25th anniversary)
Show activities from other conferences

ETAPS 2019-profile
View general profile