Lars Luthmann

According to our database, Lars Luthmann authored at least 18 papers between 2015 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Compositional testing of management conformance for multi-component enterprise applications.

Jacopo Soldani, Lars Luthmann, Nicolas Gottwald, Malte Lochau, Antonio Brogi

Serv. Oriented Comput. Appl., 2022

2020

Real-Time-Aware Reconfiguration Decisions for Dynamic Software Product Lines.

Hendrik Göttmann, Lars Luthmann, Malte Lochau, Andreas Schürr

Dataset, September, 2020

Specification and Analysis of Software Systems with Configurable Real-Time Behavior.

Lars Luthmann

PhD thesis, 2020

Real-time-aware reconfiguration decisions for dynamic software product lines.

Hendrik Göttmann, Lars Luthmann, Malte Lochau, Andy Schürr

Proceedings of the SPLC '20: 24th ACM International Systems and Software Product Line Conference, 2020

Parametric Timed Bisimulation.

Malte Lochau, Lars Luthmann, Hendrik Göttmann, Isabelle Bacher

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, 2020

Testing Conformance in Multi-component Enterprise Application Management.

Jacopo Soldani, Lars Luthmann, Malte Lochau, Antonio Brogi

Proceedings of the Service-Oriented and Cloud Computing, 2020

2019

Sampling strategies for product lines with unbounded parametric real-time constraints.

Lars Luthmann, Timo Gerecht, Malte Lochau

Int. J. Softw. Tools Technol. Transf., 2019

Unifying modal interface theories and compositional input/output conformance testing.

Lars Luthmann, Stephan Mennicke, Malte Lochau

Sci. Comput. Program., 2019

Minimum/maximum delay testing of product lines with unbounded parametric real-time constraints.

Lars Luthmann, Timo Gerecht, Andreas Stephan, Johannes Bürdek, Malte Lochau

J. Syst. Softw., 2019

Modal transition system encoding of featured transition systems.

Mahsa Varshosaz, Lars Luthmann, Paul Mohr, Malte Lochau, Mohammad Reza Mousavi

J. Log. Algebraic Methods Program., 2019

Checking Timed Bisimulation with Bounded Zone-History Graphs - Technical Report.

Lars Luthmann, Hendrik Göttmann, Malte Lochau

CoRR, 2019

Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata - Technical Report.

Lars Luthmann, Hendrik Göttmann, Malte Lochau

CoRR, 2019

Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata.

Lars Luthmann, Hendrik Göttmann, Malte Lochau

Proceedings of the Formal Aspects of Component Software - 16th International Conference, 2019

2018

Measuring effectiveness of sample-based product-line testing.

Sebastian Ruland, Lars Luthmann, Johannes Bürdek, Sascha Lity, Thomas Thüm, Malte Lochau, Márcio Ribeiro

Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2018

2017

Modeling and Testing Product Lines with Unbounded Parametric Real-Time Constraints.

Lars Luthmann, Andreas Stephan, Johannes Bürdek, Malte Lochau

Proceedings of the 21st International Systems and Software Product Line Conference, 2017

2016

Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing - Technical Report.

Lars Luthmann, Stephan Mennicke, Malte Lochau

CoRR, 2016

Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing.

Lars Luthmann, Stephan Mennicke, Malte Lochau

Proceedings of the Formal Aspects of Component Software - 13th International Conference, 2016

2015

Towards an I/O Conformance Testing Theory for Software Product Lines based on Modal Interface Automata.

Lars Luthmann, Stephan Mennicke, Malte Lochau

Proceedings of the Proceedings 6th Workshop on Formal Methods and Analysis in SPL Engineering, 2015