Lars Luthmann

18 papers B 1Journal 9Unranked 7
YearRankTypeTitle / Venue / Authors
2024 J jnl
Checking Timed Bisimilarity with Virtual Clocks.
CoRR
Alexander Lieb, Hendrik Göttmann, Lars Luthmann, Malte Lochau, Andy Schürr
2022 J jnl
Compositional testing of management conformance for multi-component enterprise applications.
Serv. Oriented Comput. Appl.
Jacopo Soldani, Lars Luthmann, Nicolas Gottwald, Malte Lochau, Antonio Brogi
2020 — conf
Parametric Timed Bisimulation.
ISoLA (2)
Malte Lochau, Lars Luthmann, Hendrik Göttmann, Isabelle Bacher
2020 — conf
Real-time-aware reconfiguration decisions for dynamic software product lines.
SPLC (A)
Hendrik Göttmann, Lars Luthmann, Malte Lochau, Andy Schürr
2020 — —
Specification and Analysis of Software Systems with Configurable Real-Time Behavior.
Lars Luthmann
2020 — conf
Testing Conformance in Multi-component Enterprise Application Management.
ESOCC
Jacopo Soldani, Lars Luthmann, Malte Lochau, Antonio Brogi
2019 J jnl
Checking Timed Bisimulation with Bounded Zone-History Graphs - Technical Report.
CoRR
Lars Luthmann, Hendrik Göttmann, Malte Lochau
2019 J jnl
Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata - Technical Report.
CoRR
Lars Luthmann, Hendrik Göttmann, Malte Lochau
2019 — conf
Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata.
FACS
Lars Luthmann, Hendrik Göttmann, Malte Lochau
2019 J jnl
Minimum/maximum delay testing of product lines with unbounded parametric real-time constraints.
J. Syst. Softw.
Lars Luthmann, Timo Gerecht, Andreas Stephan, Johannes Bürdek, Malte Lochau
2019 J jnl
Modal transition system encoding of featured transition systems.
J. Log. Algebraic Methods Program.
Mahsa Varshosaz, Lars Luthmann, Paul Mohr, Malte Lochau, Mohammad Reza Mousavi
2019 J jnl
Sampling strategies for product lines with unbounded parametric real-time constraints.
Int. J. Softw. Tools Technol. Transf.
Lars Luthmann, Timo Gerecht, Malte Lochau
2019 J jnl
Unifying modal interface theories and compositional input/output conformance testing.
Sci. Comput. Program.
Lars Luthmann, Stephan Mennicke, Malte Lochau
2018 B conf
Measuring effectiveness of sample-based product-line testing.
GPCE
Sebastian Ruland, Lars Luthmann, Johannes Bürdek, Sascha Lity, Thomas Thüm, Malte Lochau, Márcio Ribeiro
2017 — conf
Modeling and Testing Product Lines with Unbounded Parametric Real-Time Constraints.
SPLC (A)
Lars Luthmann, Andreas Stephan, Johannes Bürdek, Malte Lochau
2016 J jnl
Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing - Technical Report.
CoRR
Lars Luthmann, Stephan Mennicke, Malte Lochau
2016 — conf
Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing.
FACS
Lars Luthmann, Stephan Mennicke, Malte Lochau
2015 — conf
Towards an I/O Conformance Testing Theory for Software Product Lines based on Modal Interface Automata.
FMSPLE
Lars Luthmann, Stephan Mennicke, Malte Lochau