Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

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 Stephan Mennicke

> Home > Persons > Malte Lochau

Publications

2023
[c70]
- view
  authority control:
- export record
  dblp key:
  - conf/rulemlrr/SchulerML23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rulemlrr/SchulerML23
Tobias Schüler, Stephan Mennicke, Malte Lochau:
Abstract Domains for Database Manipulating Processes. RuleML+RR 2023: 222-237
[i7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2308-03466
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2308-03466
Tobias Schüler, Stephan Mennicke, Malte Lochau:
Abstract Domains for Database Manipulating Processes. CoRR abs/2308.03466 (2023)
2019
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/LuthmannML19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/LuthmannML19
Lars Luthmann, Stephan Mennicke, Malte Lochau:
Unifying modal interface theories and compositional input/output conformance testing. Sci. Comput. Program. 172: 27-47 (2019)
2016
[j6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/LochauMBR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/LochauMBR16
Malte Lochau, Stephan Mennicke, Hauke Baller, Lars Ribbeck:
Incremental model checking of delta-oriented software product lines. J. Log. Algebraic Methods Program. 85(1): 245-267 (2016)
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/LuthmannML16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/LuthmannML16
Lars Luthmann, Stephan Mennicke, Malte Lochau:
Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing. FACS 2016: 54-72
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/LuthmannML16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/LuthmannML16
Lars Luthmann, Stephan Mennicke, Malte Lochau:
Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing - Technical Report. CoRR abs/1606.09035 (2016)
2015
[c30]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/LuthmannML15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/LuthmannML15
Lars Luthmann, Stephan Mennicke, Malte Lochau:
Towards an I/O Conformance Testing Theory for Software Product Lines based on Modal Interface Automata. FMSPLE 2015: 1-13
2014
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/LochauMBR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/LochauMBR14
Malte Lochau, Stephan Mennicke, Hauke Baller, Lars Ribbeck:
DeltaCCS: A Core Calculus for Behavioral Change. ISoLA (1) 2014: 320-335
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/MennickeLSW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/MennickeLSW14
Stephan Mennicke, Malte Lochau, Julia Schroeter, Tim Winkelmann:
Automated verification of feature model configuration processes based on workflow Petri nets. SPLC 2014: 62-71

a service of

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.