Lars Luthmann - RankMe

18 papers B 1Journal 9Unranked 7

Year	Rank	Type	Title / 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