• Sign in
  • Sign up
conf.researchr.org / Martin Leucker
  • ACSOS 2024 profile
  • CGO 2022 profile
  • CGO 2023 profile
  • ECOOP 2016 profile
  • ECOOP and ISSTA 2018 profile
  • ETAPS 2019 profile
  • HAVELUND 65 profile
  • ISSTA/ECOOP 2024 profile
  • PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
  • STAF 2023 profile
  • STAF 2025 profile
Martin Leucker

Registered user since Sat 11 Feb 2017

Name:Martin Leucker
Country:Germany
Affiliation:University of Lübeck
Personal website: https://www.isp.uni-luebeck.de/leucker

Contributions

2024

VORTEX

  • Committee Member in Program Committee within the VORTEX 2024-track

ACSOS

  • Author of Runtime Verification of Autonomous Systems utilizing Digital Twins as a Service within the Tutorials-track

2023

HEDA

  • Committee Member in Program Committee within the HEDA-track
  • Presenter of Panel discussion on the current status and future direction of health data modelling, interoperability and analytics within the HEDA-track
  • Session Chair of HEDA Session 1 (part of HEDA)
  • Presenter of Panel presentations within the HEDA-track

CGO

  • Committee Member in Program Committee within the Main Conference-track

2022

CGO

  • Author of Aggregate Update Problem for Multi-Clocked Dataflow Languages within the Main Conference-track

2020

HAVELUND 65

  • Committee Member in Organizing Committee within the HAVELUND 65-track

2019

FASE

  • Committee Member in Program Committee within the FASE 2019-track

2018

VORTEX

  • Session Chair of Session 3 (part of VORTEX)
  • Committee Member in Program Committee within the VORTEX-track
  • Keynote Speaker of Stream-based runtime verification with hardware support within the VORTEX-track

2017

VORTEX

  • Committee Member in Program Committee within the VORTEX17-track

2016

VORTEX

  • Author of Runtime Verification with Data within the VORTEX-track
  • Committee Member in Program Committee within the VORTEX-track
Share
xSun 18 May 21:49
using conf.researchr.org (v1.69.0)
Support page
Sign Up