Malte Lochau - RankMe

123 papers A* 2A 6B 13C 10Misc 1Journal 32Unranked 52

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Correction: Cost-sensitive precomputation of real-time-aware reconfiguration strategies based on stochastic priced timed games. Softw. Syst. Model. Hendrik Göttmann, Birte Caesar, Lasse Beers, Malte Lochau, Andy Schürr, Alexander Fay
2025	—	`conf`	Automated Learning of Software Configuration Spaces is not Easy. SPLC (A) Mathis Weiß, Robert Müller, Lukas Güthing, Tobias Vente, Lukas Wegmeth, Ina Schaefer, Malte Lochau
2025	J	`jnl`	Correction: Cost-sensitive precomputation of real-time-aware reconfiguration strategies based on stochastic priced timed games. Softw. Syst. Model. Hendrik Göttmann, Birte Caesar, Lasse Beers, Malte Lochau, Andy Schürr, Alexander Fay
2025	C	`conf`	Cost-Sensitive Precomputation of Real-Time-Aware Reconfiguration Strategies based on Stochastic Priced Timed Games. Software Engineering Hendrik Göttmann, Birte Caesar, Lasse Beers, Malte Lochau, Andy Schürr, Alexander Fay
2025	J	`jnl`	Cost-sensitive precomputation of real-time-aware reconfiguration strategies based on stochastic priced timed games. Softw. Syst. Model. Hendrik Göttmann, Birte Caesar, Lasse Beers, Malte Lochau, Andy Schürr, Alexander Fay
2025	A	`conf`	Coverage Metrics for T-Wise Feature Interactions. ICST Sabrina Böhm, Tim Jannik Schmidt, Sebastian Krieter, Tobias Pett, Thomas Thüm, Malte Lochau
2025	—	`conf`	Covering T-Wise Interactions of Deployed Configurations. VaMoS Rahel Sundermann, Sabrina Böhm, Sebastian Krieter, Malte Lochau, Thomas Thüm
2025	—	`conf`	Finding Optimal Configurations of Cardinality-based Feature Models using Weighted Automata. SPLC (A) Robert Müller, Mathis Weiß, Malte Lochau
2025	C	`conf`	Model-Based Testing of Quantum Computations. Software Engineering Malte Lochau, Ina Schaefer
2025	—	`conf`	Modeling and Analysis of Configurable Job-Shop Scheduling Problems. VaMoS Max Breit, Mathis Weiß, Roman Obermaisser, Malte Lochau
2025	—	`conf`	On Reverse Engineering Cardinality-Based Feature Models. SPLC (B) Mathis Weiß, Simon Imran Butt, Malte Lochau
2025	—	`conf`	QSE 2025 Workshop Summary. Software Engineering Companion Malte Lochau, Benedikt Fauseweh, Ina Schaefer
2024	—	`ch.`	Challenges for Quantum Software Engineering: An Industrial Application Scenario Perspective. Quantum Software Cecilia Carbonelli, Michael Felderer, Matthias Jung, Elisabeth Lobe, Malte Lochau, Sebastian Luber, Wolfgang Mauerer, Rudolf Ramler, Ina Schaefer, Christoph Schroth
2024	J	`jnl`	Checking Timed Bisimilarity with Virtual Clocks. CoRR Alexander Lieb, Hendrik Göttmann, Lars Luthmann, Malte Lochau, Andy Schürr
2024	—	`conf`	Incremental Identification of T-Wise Feature Interactions. VaMoS Sabrina Böhm, Sebastian Krieter, Tobias Heß, Thomas Thüm, Malte Lochau
2024	J	`jnl`	Mapping Cardinality-based Feature Models to Weighted Automata over Featured Multiset Semirings (Extended Version). CoRR Robert Müller, Mathis Weiß, Malte Lochau
2024	—	`conf`	Mapping Cardinality-based Feature Models to Weighted Automata over Featured Multiset Semirings. SPLC (A) Robert Müller, Mathis Weiß, Malte Lochau
2024	C	`conf`	Model-Based Testing of Quantum Computations. TAP Malte Lochau, Ina Schaefer
2024	—	`conf`	Sampling Cardinality-Based Feature Models. VaMoS Lukas Güthing, Mathis Weiß, Ina Schaefer, Malte Lochau
2023	B	`conf`	Abstract Domains for Database Manipulating Processes. RuleML+RR Tobias Schüler, Stephan Mennicke, Malte Lochau
2023	J	`jnl`	Abstract Domains for Database Manipulating Processes. CoRR Tobias Schüler, Stephan Mennicke, Malte Lochau
2023	—	`conf`	Mutant Equivalence as Monotonicity in Parametric Timed Games. FormaliSE Davide Basile, Maurice H. ter Beek, Hendrik Göttmann, Malte Lochau
2023	C	`conf`	Precomputing Reconfiguration Strategies based on Stochastic Timed Game Automata. Software Engineering Hendrik Göttmann, Birte Caesar, Lasse Beers, Malte Lochau, Andy Schürr, Alexander Fay
2023	—	`ed.`	Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A, SPLC 2023, Tokyo, Japan, 28 August 2023- 1 September 2023 SPLC (A) Paolo Arcaini, Maurice H. ter Beek, Gilles Perrouin, Iris Reinhartz-Berger, Miguel R. Luaces, Christa Schwanninger, Shaukat Ali, Mahsa Varshosaz, Angelo Gargantini, Stefania Gnesi, Malte Lochau, Laura Semini, Hironori Washizaki
2023	J	`jnl`	Software Engineering Challenges for Quantum Computing: Report from the First Working Seminar on Quantum Software Engineering (WSQSE 22). ACM SIGSOFT Softw. Eng. Notes Michael Felderer, Davide Taibi, Fabio Palomba, Michael Epping, Malte Lochau, Benjamin Weder
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
2022	J	`jnl`	On the Interaction between Test-Suite Reduction and Regression-Test Selection Strategies. CoRR Sebastian Ruland, Malte Lochau
2022	A	`conf`	Precomputing reconfiguration strategies based on stochastic timed game automata. MoDELS Hendrik Göttmann, Birte Caesar, Lasse Beers, Malte Lochau, Andy Schürr, Alexander Fay
2022	J	`jnl`	T-Wise Presence Condition Coverage and Sampling for Configurable Systems. CoRR Sebastian Krieter, Thomas Thüm, Sandro Schulze, Sebastian Ruland, Malte Lochau, Gunter Saake, Thomas Leich
2021	—	`conf`	AutoSMP: an evaluation platform for sampling algorithms. SPLC (B) Tobias Pett, Sebastian Krieter, Thomas Thüm, Malte Lochau, Ina Schaefer
2021	J	`jnl`	CPA/Tiger-MGP: test-goal set partitioning for efficient multi-goal test-suite generation. Int. J. Softw. Tools Technol. Transf. Sebastian Ruland, Malte Lochau, Oliver Fehse, Andy Schürr
2021	—	`conf`	Stability of Product-Line Samplingin Continuous Integration. VaMoS Tobias Pett, Sebastian Krieter, Tobias Runge, Thomas Thüm, Malte Lochau, Ina Schaefer
2021	—	`conf`	Static Analysis Techniques for Efficient Consistency Checking of Real-Time-Aware DSPL Specifications. VaMoS Hendrik Göttmann, Isabelle Bacher, Nicolas Gottwald, Malte Lochau
2020	J	`jnl`	A calculus of concurrent graph-rewriting processes. J. Log. Algebraic Methods Program. Géza Kulcsár, Andrea Corradini, Malte Lochau
2020	B	`conf`	HybridTiger: Hybrid Model Checking and Domination-based Partitioning for Efficient Multi-Goal Test-Suite Generation (Competition Contribution). FASE Sebastian Ruland, Malte Lochau, Marie-Christine Jakobs
2020	—	`conf`	On Automated N-way Program Merging for Facilitating Family-based Analyses of Variant-rich Software. SE Dennis Reuling, Udo Kelter, Johannes Bürdek, Malte Lochau
2020	—	`conf`	On Controlling the Attack Surface of Object-Oriented Refactorings. SE Sebastian Ruland, Géza Kulcsár, Erhan Leblebici, Sven Peldszus, Malte Lochau
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	—	`conf`	Testing Conformance in Multi-component Enterprise Application Management. ESOCC Jacopo Soldani, Lars Luthmann, Malte Lochau, Antonio Brogi
2019	—	`ch.`	Addressed Challenges. Managed Software Evolution Reiner Jung, Lukas Märtin, Jan Ole Johanssen, Barbara Paech, Malte Lochau, Thomas Thüm, Kurt Schneider, Matthias Tichy, Mattias Ulbrich
2019	J	`jnl`	Automated N-way Program Merging for Facilitating Family-based Analyses of Variant-rich Software. ACM Trans. Softw. Eng. Methodol. Dennis Reuling, Udo Kelter, Johannes Bürdek, Malte Lochau
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`	Effective product-line testing using similarity-based product prioritization. Softw. Syst. Model. Mustafa Al-Hajjaji, Thomas Thüm, Malte Lochau, Jens Meinicke, Gunter Saake
2019	J	`jnl`	Explainable Software for Cyber-Physical Systems (ES4CPS): Report from the GI Dagstuhl Seminar 19023, January 06-11 2019, Schloss Dagstuhl. CoRR Joel Greenyer, Malte Lochau, Thomas Vogel
2019	J	`jnl`	From Imprecise N-Way Model Matching to Precise N-Way Model Merging. J. Object Technol. Dennis Reuling, Malte Lochau, Udo Kelter
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	—	`ch.`	Model-Based Round-Trip Engineering and Testing of Evolving Software Product Lines. Managed Software Evolution Malte Lochau, Dennis Reuling, Johannes Bürdek, Timo Kehrer, Sascha Lity, Andy Schürr, Udo Kelter
2019	—	`ch.`	Performance Analysis Strategies for Software Variants and Versions. Managed Software Evolution Thomas Thüm, André van Hoorn, Sven Apel, Johannes Bürdek, Sinem Getir, Robert Heinrich, Reiner Jung, Matthias Kowal, Malte Lochau, Ina Schaefer, Jürgen Walter
2019	—	`conf`	Product sampling for product lines: the scalability challenge. SPLC (A) Tobias Pett, Thomas Thüm, Tobias Runge, Sebastian Krieter, Malte Lochau, Ina Schaefer
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	A*	`conf`	SiMPOSE - Configurable N-Way Program Merging Strategies for Superimposition-Based Analysis of Variant-Rich Software. ASE Dennis Reuling, Udo Kelter, Sebastian Ruland, Malte Lochau
2019	J	`jnl`	Software variability in dynamic environments. J. Syst. Softw. Rafael Capilla, Lidia Fuentes, 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`	Controlling the Attack Surface of Object-Oriented Refactorings. FASE Sebastian Ruland, Géza Kulcsár, Erhan Leblebici, Sven Peldszus, Malte Lochau
2018	B	`conf`	Equivalence and Independence in Controlled Graph-Rewriting Processes. ICGT Géza Kulcsár, Andrea Corradini, Malte Lochau
2018	B	`conf`	Graph-Rewriting Petri Nets. ICGT Géza Kulcsár, Malte Lochau, Andy Schürr
2018	A	`conf`	Mathematical Programming for Anomaly Analysis of Clafer Models. MoDELS Markus Weckesser, Malte Lochau, Michael Ries, Andy Schürr
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
2018	C	`conf`	On Continuous Detection of Design Flaws in Evolving Object-Oriented Programs using Incremental Multi-Pattern Matching. Software Engineering Sven Peldszus, Géza Kulcsár, Malte Lochau, Sandro Schulze
2018	—	`ed.`	Proceedings of the 12th International Workshop on Variability Modelling of Software-Intensive Systems, VAMOS 2018, Madrid, Spain, February 7-9, 2018 VaMoS Rafael Capilla, Malte Lochau, Lidia Fuentes
2017	—	`conf`	Modeling and Testing Product Lines with Unbounded Parametric Real-Time Constraints. SPLC (A) Lars Luthmann, Andreas Stephan, Johannes Bürdek, Malte Lochau
2017	C	`conf`	On Automated Anomaly Detection for Potentially Unbounded Cardinality based Feature Models. Software Engineering Markus Weckesser, Malte Lochau, Thomas Schnabel, Björn Richerzhagen, Andy Schürr
2017	C	`conf`	Reasoning about Product-Line Evolution using Complex Feature Model Differences. Software Engineering Johannes Bürdek, Timo Kehrer, Malte Lochau, Dennis Reuling, Udo Kelter, Andy Schürr
2017	J	`jnl`	Specification and automated validation of staged reconfiguration processes for dynamic software product lines. Softw. Syst. Model. Malte Lochau, Johannes Bürdek, Stefan Hölzle, Andy Schürr
2017	—	`conf`	Towards complete consistency checks of Clafer models. FOSD Markus Weckesser, Malte Lochau, Michael Ries, Andy Schürr
2016	—	`conf`	CardyGAn: Tool Support for Cardinality-based Feature Models. VaMoS Thomas Schnabel, Markus Weckesser, Roland Kluge, Malte Lochau, Andy Schürr
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
2016	—	`conf`	Conflict Detection for Edits on Extended Feature Models using Symbolic Graph Transformation. FMSPLE Frederik Deckwerth, Géza Kulcsár, Malte Lochau, Gergely Varró, Andy Schürr
2016	A*	`conf`	Continuous detection of design flaws in evolving object-oriented programs using incremental multi-pattern matching. ASE Sven Peldszus, Géza Kulcsár, Malte Lochau, Sandro Schulze
2016	—	`conf`	FESAS IDE: An Integrated Development Environment for Autonomic Computing. ICAC Christian Krupitzer, Felix Maximilian Roth, Christian Becker, Markus Weckesser, Malte Lochau, Andy Schürr
2016	B	`conf`	IncLing: efficient product-line testing using incremental pairwise sampling. GPCE Mustafa Al-Hajjaji, Sebastian Krieter, Thomas Thüm, Malte Lochau, Gunter Saake
2016	J	`jnl`	Incremental model checking of delta-oriented software product lines. J. Log. Algebraic Methods Program. Malte Lochau, Stephan Mennicke, Hauke Baller, Lars Ribbeck
2016	B	`conf`	Mind the Gap! Automated Anomaly Detection for Potentially Unbounded Cardinality-Based Feature Models. FASE Markus Weckesser, Malte Lochau, Thomas Schnabel, Björn Richerzhagen, Andy Schürr
2016	C	`conf`	On facilitating reuse in multi-goal test-suite generation for software product lines. Software Engineering Malte Lochau, Johannes Bürdek, Stefan Bauregger, Andreas Holzer, Alexander von Rhein, Sven Apel, Dirk Beyer
2016	J	`jnl`	Reasoning about product-line evolution using complex feature model differences. Autom. Softw. Eng. Johannes Bürdek, Timo Kehrer, Malte Lochau, Dennis Reuling, Udo Kelter, Andy Schürr
2015	—	`conf`	A Solution to the Java Refactoring Case Study using eMoflon. TTC@STAF Sven Peldszus, Géza Kulcsár, Malte Lochau
2015	—	`conf`	A Survey on Modeling Techniques for Formal Behavioral Verification of Software Product Lines. VaMoS Fabian Benduhn, Thomas Thüm, Malte Lochau, Thomas Leich, Gunter Saake
2015	B	`conf`	Facilitating Reuse in Multi-goal Test-Suite Generation for Software Product Lines. FASE Johannes Bürdek, Malte Lochau, Stefan Bauregger, Andreas Holzer, Alexander von Rhein, Sven Apel, Dirk Beyer
2015	B	`conf`	Fault-based product-line testing: effective sample generation based on feature-diagram mutation. SPLC Dennis Reuling, Johannes Bürdek, Serge Rotärmel, Malte Lochau, Udo Kelter
2015	—	`conf`	Improved Conflict Detection for Graph Transformation with Attributes. GaM Géza Kulcsár, Frederik Deckwerth, Malte Lochau, Gergely Varró, Andy Schürr
2015	—	`conf`	Incremental Co-Evolution of Java Programs based on Bidirectional Graph Transformation. PPPJ Sven Peldszus, Géza Kulcsár, Malte Lochau, Sandro Schulze
2015	—	`conf`	Object-oriented Refactoring of Java Programs using Graph Transformation. TTC@STAF Géza Kulcsár, Sven Peldszus, Malte Lochau
2015	—	`conf`	On Modularizing Triple Graph Grammars with Rule Refinement. Software Engineering & Management Anthony Anjorin, Karsten Saller, Malte Lochau, Andy Schürr
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
2014	J	`jnl`	Applying Model-based Software Product Line Testing Approaches to the Automation Engineering Domain. Autom. Malte Lochau, Johannes Bürdek, Sascha Lity, Matthias Hagner, Christoph Legat, Ursula Goltz, Andy Schürr
2014	B	`conf`	Automated verification of feature model configuration processes based on workflow Petri nets. SPLC Stephan Mennicke, Malte Lochau, Julia Schroeter, Tim Winkelmann
2014	J	`jnl`	Delta-oriented model-based integration testing of large-scale systems. J. Syst. Softw. Malte Lochau, Sascha Lity, Remo Lachmann, Ina Schaefer, Ursula Goltz
2014	—	`conf`	DeltaCCS: A Core Calculus for Behavioral Change. ISoLA (1) Malte Lochau, Stephan Mennicke, Hauke Baller, Lars Ribbeck
2014	—	`conf`	Model-Based Testing. SFM Malte Lochau, Sven Peldszus, Matthias Kowal, Ina Schaefer
2014	B	`conf`	Modularizing Triple Graph Grammars Using Rule Refinement. FASE Anthony Anjorin, Karsten Saller, Malte Lochau, Andy Schürr
2014	A	`conf`	Multi-objective Test Suite Optimization for Incremental Product Family Testing. ICST Hauke Baller, Sascha Lity, Malte Lochau, Ina Schaefer
2014	B	`conf`	Similarity-based prioritization in software product-line testing. SPLC Mustafa Al-Hajjaji, Thomas Thüm, Jens Meinicke, Malte Lochau, Gunter Saake
2014	—	`conf`	Staged configuration of dynamic software product lines with complex binding time constraints. VaMoS Johannes Bürdek, Sascha Lity, Malte Lochau, Markus Berens, Ursula Goltz, Andy Schürr
2014	—	`conf`	Towards incremental test suite optimization for software product lines. FOSD Hauke Baller, Malte Lochau
2013	—	`conf`	Context-aware DSPLs: model-based runtime adaptation for resource-constrained systems. SPLC Workshops Karsten Saller, Malte Lochau, Ingo Reimund
2013	—	`conf`	Implementing refactorings for FOP: lessons learned and challenges ahead. FOSD Sandro Schulze, Malte Lochau, Saskia Brunswig
2013	—	`—`	Model-Based Conformance Testing of Software Product Lines. Malte Lochau
2013	—	`conf`	Requirements-based delta-oriented SPL testing. PLEASE@ICSE Michael Dukaczewski, Ina Schaefer, Remo Lachmann, Malte Lochau
2012	—	`conf`	Approaches for Mastering Change. ISoLA (1) Ina Schaefer, Malte Lochau, Martin Leucker
2012	J	`jnl`	Arden2ByteCode: A one-pass Arden Syntax compiler for service-oriented decision support systems based on the OSGi platform. Comput. Methods Programs Biomed. Matthias Gietzelt, Ursula Goltz, Daniel Grunwald, Malte Lochau, Michael Marschollek, Bianying Song, Klaus-Hendrik Wolf
2012	—	`conf`	Conditioned model slicing of feature-annotated state machines. FOSD Jochen Kamischke, Malte Lochau, Hauke Baller
2012	—	`conf`	Delta-oriented model-based SPL regression testing. PLEASE@ICSE Sascha Lity, Malte Lochau, Ina Schaefer, Ursula Goltz
2012	—	`conf`	Dynamic configuration management of cloud-based applications. SPLC (2) Julia Schroeter, Peter Mucha, Marcel Muth, Kay Jugel, Malte Lochau
2012	—	`conf`	Incremental Model-Based Testing of Delta-Oriented Software Product Lines. TAP@TOOLS Malte Lochau, Ina Schaefer, Jochen Kamischke, Sascha Lity
2012	—	`conf`	Industrial evaluation of pairwise SPL testing with MoSo-PoLiTe. VaMoS Michaela Steffens, Sebastian Oster, Malte Lochau, Thomas Fogdal
2012	J	`jnl`	Model-based pairwise testing for feature interaction coverage in software product line engineering. Softw. Qual. J. Malte Lochau, Sebastian Oster, Ursula Goltz, Andy Schürr
2012	A	`conf`	Multi-perspectives on Feature Models. MoDELS Julia Schroeter, Malte Lochau, Tim Winkelmann
2012	—	`conf`	Parameterized Preorder Relations for Model-Based Testing of Software Product Lines. ISoLA (1) Malte Lochau, Jochen Kamischke
2012	—	`conf`	Reducing feature models to improve runtime adaptivity on resource limited devices. SPLC (2) Karsten Saller, Sebastian Oster, Andy Schürr, Julia Schroeter, Malte Lochau
2012	C	`conf`	Reduktion von Testsuiten für Software-Produktlinien. Software Engineering Harald Cichos, Malte Lochau, Sebastian Oster, Andy Schürr
2011	—	`conf`	MoSo-PoLiTe: tool support for pairwise and model-based software product line testing. VaMoS Sebastian Oster, Ivan Zorcic, Florian Markert, Malte Lochau
2011	A	`conf`	Model-Based Coverage-Driven Test Suite Generation for Software Product Lines. MoDELS Harald Cichos, Sebastian Oster, Malte Lochau, Andy Schürr
2011	—	`conf`	Pairwise feature-interaction testing for SPLs: potentials and limitations. SPLC Workshops Sebastian Oster, Marius Zink, Malte Lochau, Mark Grechanik
2010	J	`jnl`	Evolving Adaptable Systems: Potential and Challenges. Softwaretechnik-Trends Klaus Schmid, Holger Eichelberger, Ursula Goltz, Malte Lochau
2010	—	`conf`	Feature Interaction Aware Test Case Generation for Embedded Control Systems. MBT@ETAPS Malte Lochau, Ursula Goltz
2008	—	`conf`	A Static Aspect Language for Modelica Models. EOOLT Malte Lochau, Henning Günther
2008	Misc	`conf`	Executable Requirements Specification: Formal Semantics of Live Activity Diagrams. TASE Christoph Knieke, Michaela Huhn, Malte Lochau
2008	C	`conf`	Modeling and Validation of Executable Requirements Using Live Activity Diagrams. SERA Christoph Knieke, Michaela Huhn, Malte Lochau