Anders Starcke Henriksen

Publication Activity (10 Years)

Years Active: 2009-2019
Publications (10 Years): 2

Top Topics

Static Analysis

Intelligent Environments

Test Generation

Top Venues

Publications

Anders Starcke Henriksen
The end of the road for the UN GGE process: The future regulation of cyberspace. J. Cybersecur. 5 (1) (2019)
Pavel Avgustinov, Arthur I. Baars, Anders Starcke Henriksen, R. Greg Lavender, Galen Menzel, Oege de Moor, Max Schäfer, Julian Tibble
Tracking Static Analysis Violations over Time to Capture Developer Characteristics. ICSE (1) (2015)
Anders Starcke Henriksen, Lasse Nielsen, Thomas T. Hildebrandt, Nobuko Yoshida, Fritz Henglein
Trustworthy Pervasive Healthcare Services via Multiparty Session Types. FHIES (2012)
Anders Starcke Henriksen, Tom Hvitved, Andrzej Filinski
A Game-Theoretic Model for Distributed Programming by Contract. GI Jahrestagung (2009)