Lars Luthmann

Publication Activity (10 Years)

Years Active: 2015-2022
Publications (10 Years): 16

Top Topics

Enterprise Application

Technical Report

Noise Cancellation

Top Venues

J. Log. Algebraic Methods Program.

Publications

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