• Sign in
  • Sign up
conf.researchr.org / Kim Larsen
  • ETAPS 2019 profile
  • ISSTA 2017 profile
  • ISSTA 2019 profile
  • POPL 2018 profile
Kim Larsen

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
xTue 28 Mar 13:34
using conf.researchr.org (v1.60.0)
Support page
Sign Up