Kim Larsen - ETAPS 2019

Sat 6 - Thu 11 April 2019 Prague, Czech Republic

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