Malte Lochau

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Hendrik Göttmann

> Home > Persons > Malte Lochau

Publications

2023
[c71]
- view
  authority control:
- export record
  dblp key:
  - conf/icse-formalise/BasileBGL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse-formalise/BasileBGL23
Davide Basile, Maurice H. ter Beek, Hendrik Göttmann, Malte Lochau:
Mutant Equivalence as Monotonicity in Parametric Timed Games. FormaliSE 2023: 55-65
[c69]
- view
  - electronic edition @ gi.de
  - no references & citations available
- export record
  dblp key:
  - conf/se/GottmannCBLSF23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/GottmannCBLSF23
Hendrik Göttmann, Birte Caesar, Lasse Beers, Malte Lochau, Andy Schürr, Alexander Fay:
Precomputing Reconfiguration Strategies based on Stochastic Timed Game Automata. Software Engineering 2023: 55-56
2022
[c68]
- view
  authority control:
- export record
  dblp key:
  - conf/models/GottmannCBLSF22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/GottmannCBLSF22
Hendrik Göttmann, Birte Caesar, Lasse Beers, Malte Lochau, Andy Schürr, Alexander Fay:
Precomputing reconfiguration strategies based on stochastic timed game automata. MoDELS 2022: 31-42
2021
[c66]
- view
  authority control:
- export record
  dblp key:
  - conf/vamos/GottmannBGL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vamos/GottmannBGL21
Hendrik Göttmann, Isabelle Bacher, Nicolas Gottwald, Malte Lochau:
Static Analysis Techniques for Efficient Consistency Checking of Real-Time-Aware DSPL Specifications. VaMoS 2021: 17:1-17:9
2020
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/LochauLGB20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/LochauLGB20
Malte Lochau, Lars Luthmann, Hendrik Göttmann, Isabelle Bacher:
Parametric Timed Bisimulation. ISoLA (2) 2020: 55-71
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/GottmannLLS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/GottmannLLS20
Hendrik Göttmann, Lars Luthmann, Malte Lochau, Andy Schürr:
Real-time-aware reconfiguration decisions for dynamic software product lines. SPLC (A) 2020: 13:1-13:11
[d1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - data/10/GottmannLLS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/GottmannLLS20
Hendrik Göttmann, Lars Luthmann, Malte Lochau, Andreas Schürr:
Real-Time-Aware Reconfiguration Decisions for Dynamic Software Product Lines. Zenodo, 2020
2019
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/LuthmannGL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/LuthmannGL19
Lars Luthmann, Hendrik Göttmann, Malte Lochau:
Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata. FACS 2019: 147-169
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1909-03703
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1909-03703
Lars Luthmann, Hendrik Göttmann, Malte Lochau:
Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata - Technical Report. CoRR abs/1909.03703 (2019)
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1910-08992
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1910-08992
Lars Luthmann, Hendrik Göttmann, Malte Lochau:
Checking Timed Bisimulation with Bounded Zone-History Graphs - Technical Report. CoRR abs/1910.08992 (2019)

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.