conf.researchr.org / Michael Tautschnig

Registered user since Fri 2 Jun 2017

Name: Michael Tautschnig

Affiliation: Amazon Web Services

Personal website: http://www.tautschnig.net/

Contributions

ISSTA 2020Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
VMCAI 2020PC Member in Program Committee within the VMCAI 2020-track
TACAS 2019Committee Member in Program Committee within the TACAS 2019-track
ICSE 2020Author of Code Level Model-Checking in the Software Development Workflow within the Software Engineering in Practice-track
DSW 2017Invited Speaker of Challenges in Analysing Virtualisation Stacks within the DSW 2017-track