Malte Lochau
Orcid: 0000-0002-8404-753XAffiliations:
- University of Siegen, Germany
According to our database1,
Malte Lochau
authored at least 107 papers
between 2008 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2008
2010
2012
2014
2016
2018
2020
2022
2024
0
5
10
15
1
3
2
1
3
1
1
11
1
3
2
2
1
4
3
3
5
3
5
3
7
8
8
3
10
3
1
3
1
3
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Mapping Cardinality-based Feature Models to Weighted Automata over Featured Multiset Semirings (Extended Version).
CoRR, 2024
Proceedings of the 18th International Working Conference on Variability Modelling of Software-Intensive Systems, 2024
Proceedings of the 18th International Working Conference on Variability Modelling of Software-Intensive Systems, 2024
Proceedings of the Tests and Proofs - 18th International Conference, 2024
Mapping Cardinality-based Feature Models to Weighted Automata over Featured Multiset Semirings.
Proceedings of the 28th ACM International Systems and Software Product Line Conference, 2024
Challenges for Quantum Software Engineering: An Industrial Application Scenario Perspective.
Proceedings of the Quantum Software - Aspects of Theory and System Design, 2024
2023
Cost-Sensitive Precomputation of Real-Time-Aware Reconfiguration Strategies based on Stochastic Priced Timed Games.
Dataset, May, 2023
Software Engineering Challenges for Quantum Computing: Report from the First Working Seminar on Quantum Software Engineering (WSQSE 22).
ACM SIGSOFT Softw. Eng. Notes, April, 2023
Proceedings of the Software Engineering 2023, 2023
Proceedings of the Rules and Reasoning - 7th International Joint Conference, 2023
Proceedings of the 11th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2023
2022
Dataset, October, 2022
Dataset, October, 2022
Dataset, October, 2022
Compositional testing of management conformance for multi-component enterprise applications.
Serv. Oriented Comput. Appl., 2022
On the Interaction between Test-Suite Reduction and Regression-Test Selection Strategies.
CoRR, 2022
2021
CPA/Tiger-MGP: test-goal set partitioning for efficient multi-goal test-suite generation.
Int. J. Softw. Tools Technol. Transf., 2021
Proceedings of the VaMoS'21: 15th International Working Conference on Variability Modelling of Software-Intensive Systems, 2021
Static Analysis Techniques for Efficient Consistency Checking of Real-Time-Aware DSPL Specifications.
Proceedings of the VaMoS'21: 15th International Working Conference on Variability Modelling of Software-Intensive Systems, 2021
Proceedings of the SPLC '21: 25th ACM International Systems and Software Product Line Conference, 2021
2020
Dataset, September, 2020
J. Log. Algebraic Methods Program., 2020
Proceedings of the SPLC '20: 24th ACM International Systems and Software Product Line Conference, 2020
Proceedings of the Software Engineering 2020, 2020
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, 2020
HybridTiger: Hybrid Model Checking and Domination-based Partitioning for Efficient Multi-Goal Test-Suite Generation (Competition Contribution).
Proceedings of the Fundamental Approaches to Software Engineering, 2020
Proceedings of the Service-Oriented and Cloud Computing, 2020
2019
Automated N-way Program Merging for Facilitating Family-based Analyses of Variant-rich Software.
ACM Trans. Softw. Eng. Methodol., 2019
Sampling strategies for product lines with unbounded parametric real-time constraints.
Int. J. Softw. Tools Technol. Transf., 2019
Softw. Syst. Model., 2019
Unifying modal interface theories and compositional input/output conformance testing.
Sci. Comput. Program., 2019
Minimum/maximum delay testing of product lines with unbounded parametric real-time constraints.
J. Syst. Softw., 2019
J. Object Technol., 2019
J. Log. Algebraic Methods Program., 2019
CoRR, 2019
Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata - Technical Report.
CoRR, 2019
Explainable Software for Cyber-Physical Systems (ES4CPS): Report from the GI Dagstuhl Seminar 19023, January 06-11 2019, Schloss Dagstuhl.
CoRR, 2019
Proceedings of the 23rd International Systems and Software Product Line Conference, 2019
SiMPOSE - Configurable N-Way Program Merging Strategies for Superimposition-Based Analysis of Variant-Rich Software.
Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019
Proceedings of the Formal Aspects of Component Software - 16th International Conference, 2019
Proceedings of the Managed Software Evolution., 2019
Proceedings of the Managed Software Evolution., 2019
2018
On Continuous Detection of Design Flaws in Evolving Object-Oriented Programs using Incremental Multi-Pattern Matching.
Proceedings of the Software Engineering und Software Management 2018, 2018
Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2018
Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2018
Proceedings of the Graph Transformation - 11th International Conference, 2018
Proceedings of the Graph Transformation - 11th International Conference, 2018
2017
Specification and automated validation of staged reconfiguration processes for dynamic software product lines.
Softw. Syst. Model., 2017
Proceedings of the 21st International Systems and Software Product Line Conference, 2017
On Automated Anomaly Detection for Potentially Unbounded Cardinality based Feature Models.
Proceedings of the Software Engineering 2017, 2017
Proceedings of the 8th ACM SIGPLAN International Workshop on Feature-Oriented Software Development, 2017
2016
J. Log. Algebraic Methods Program., 2016
Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing - Technical Report.
CoRR, 2016
Conflict Detection for Edits on Extended Feature Models using Symbolic Graph Transformation.
Proceedings of the Proceedings 7th International Workshop on Formal Methods and Analysis in Software Product Line Engineering, 2016
Autom. Softw. Eng., 2016
Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems, Salvador, Brazil, January 27, 2016
On facilitating reuse in multi-goal test-suite generation for software product lines.
Proceedings of the Software Engineering 2016, 2016
Proceedings of the 2016 IEEE International Conference on Autonomic Computing, 2016
Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2016
Mind the Gap! Automated Anomaly Detection for Potentially Unbounded Cardinality-Based Feature Models.
Proceedings of the Fundamental Approaches to Software Engineering, 2016
Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing.
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.
Proceedings of the Proceedings 6th Workshop on Formal Methods and Analysis in SPL Engineering, 2015
Proceedings of the Proceedings Graphs as Models, 2015
A Survey on Modeling Techniques for Formal Behavioral Verification of Software Product Lines.
Proceedings of the Ninth International Workshop on Variability Modelling of Software-intensive Systems, 2015
Proceedings of the 8th Transformation Tool Contest, 2015
Proceedings of the 8th Transformation Tool Contest, 2015
Fault-based product-line testing: effective sample generation based on feature-diagram mutation.
Proceedings of the 19th International Conference on Software Product Line, 2015
On Modularizing Triple Graph Grammars with Rule Refinement.
Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015
Incremental Co-Evolution of Java Programs based on Bidirectional Graph Transformation.
Proceedings of the Principles and Practices of Programming on The Java Platform, 2015
2014
J. Syst. Softw., 2014
Applying Model-based Software Product Line Testing Approaches to the Automation Engineering Domain.
Autom., 2014
Staged configuration of dynamic software product lines with complex binding time constraints.
Proceedings of the Eighth International Workshop on Variability Modelling of Software-intensive Systems, 2014
Automated verification of feature model configuration processes based on workflow Petri nets.
Proceedings of the 18th International Software Product Line Conference, 2014
Proceedings of the 18th International Software Product Line Conference, 2014
Proceedings of the Formal Methods for Executable Software Models, 2014
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014
Proceedings of the Seventh IEEE International Conference on Software Testing, 2014
Proceedings of the Sixth International Workshop on Feature-Oriented Software Development, 2014
Proceedings of the Fundamental Approaches to Software Engineering, 2014
2013
Context-aware DSPLs: model-based runtime adaptation for resource-constrained systems.
Proceedings of the 17th International Software Product Line Conference co-located workshops, 2013
Proceedings of the 4th International Workshop on Product LinE Approaches in Software Engineering, 2013
Proceedings of the 5th International Workshop on Feature-Oriented Software Development, 2013
2012
Model-based pairwise testing for feature interaction coverage in software product line engineering.
Softw. Qual. J., 2012
Arden2ByteCode: A one-pass Arden Syntax compiler for service-oriented decision support systems based on the OSGi platform.
Comput. Methods Programs Biomed., 2012
Proceedings of the Sixth International Workshop on Variability Modelling of Software-Intensive Systems, 2012
Proceedings of the Tests and Proofs - 6th International Conference, 2012
Proceedings of the 16th International Software Product Line Conference, 2012
Proceedings of the 16th International Software Product Line Conference, 2012
Proceedings of the Software Engineering 2012: Fachtagung des GI-Fachbereichs Softwaretechnik, 27. Februar, 2012
Proceedings of the Model Driven Engineering Languages and Systems, 2012
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012
Proceedings of the Third International Workshop on Product LinE Approaches in Software Engineering, 2012
Proceedings of the 4th International Workshop on Feature-Oriented Software Development, 2012
2011
MoSo-PoLiTe: tool support for pairwise and model-based software product line testing.
Proceedings of the Fifth International Workshop on Variability Modelling of Software-Intensive Systems, 2011
Proceedings of the Software Product Lines - 15th International Conference, 2011
Proceedings of the Model Driven Engineering Languages and Systems, 2011
2010
Proceedings of the Sixth Workshop on Model-Based Testing, 2010
2008
Proceedings of the Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, 2008
Proceedings of the 6th ACIS International Conference on Software Engineering Research, 2008
Proceedings of the 2nd International Workshop on Equation-Based Object-Oriented Languages and Tools, 2008