TU Darmstadt / ULB / TUbiblio

Browsen nach Person

Ebene hoch
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Datum | Sprache
Anzahl der Einträge: 61.

Weckesser, Markus ; Lochau, Malte ; Schnabel, Thomas ; Björn, Richerzhagen ; Andy, Schürr :
On Automated Anomaly Detection for Potentially Unbounded Cardinality-based Feature Models.
In: Software Engineering 2017, Fachtagung des GI-Fachbereichs Softwaretechnik, 21.-24. Februar 2017, Hannover, Deutschland.
[Konferenz- oder Workshop-Beitrag], (2017)

Schnabel, Thomas ; Weckesser, Markus ; Kluge, Roland ; Lochau, Malte ; Schürr, Andy :
CardyGAn: Tool Support for Cardinality-based Feature Models.
[Online-Edition: http://doi.acm.org/10.1145/2866614.2866619]
In: Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems, January 27 - 29, 2016, Salvador, Brazil.
[Konferenz- oder Workshop-Beitrag], (2016)

Luthmann, Lars ; Mennicke, Stephan ; Lochau, Malte
Kouchnarenko, Olga ; Khosravi, Ramtin (eds.) :

Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing.
[Online-Edition: http://dx.doi.org/10.1007/978-3-319-57666-4_5]
In: 13th International Conference on Formal Aspects of Component Software (FACS 2016). Springer International Publishing
[Konferenz- oder Workshop-Beitrag], (2016)

Luthmann, Lars ; Mennicke, Stephan ; Lochau, Malte :
Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing - Technical Report.
[Online-Edition: http://arxiv.org/abs/1606.09035]
In: CoRR
[Report], (2016)

Deckwerth, Frederik ; Kulcsar, Geza ; Lochau, Malte ; Varró, Gergely ; Schürr, Andy :
Conflict Detection for Edits on Extended Feature Models using Symbolic Graph Transformation.
[Online-Edition: http://dx.doi.org/10.4204/EPTCS.206.3]
In: Proceedings of the 7th International Workshop on Formal Methods and Analysis in Software Product Line Engineering. In: Electronic Proceedings in Theoretical Computer Science , 206 .
[Konferenz- oder Workshop-Beitrag], (2016)

Peldszus, Sven ; Kulcsar, Geza ; Lochau, Malte ; Schulze, Sandro :
Continuous detection of design flaws in evolving object-oriented programs using incremental multi-pattern matching.
[Online-Edition: http://doi.acm.org/10.1145/2970276.2970338]
In: Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering.
[Konferenz- oder Workshop-Beitrag], (2016)

Krupitzer, Christian ; Roth, Felix Maximilian ; Becker, Christian ; Weckesser, Markus ; Lochau, Malte ; Schürr, Andy :
FESAS IDE: An Integrated Development Environment for Autonomic Computing.
[Online-Edition: http://dx.doi.org/10.1109/ICAC.2016.49]
In: 2016 IEEE International Conference on Autonomic Computing, ICAC 2016, Wuerzburg, Germany, July 17-22, 2016.
[Konferenz- oder Workshop-Beitrag], (2016)

Al-Hajjaji, Mustafa ; Krieter, Sebastian ; Thüm, Thomas ; Lochau, Malte ; Saake, Gunter :
IncLing: Efficient Product-line Testing Using Incremental Pairwise Sampling.
[Online-Edition: http://dx.doi.org/10.1145/2993236.2993253]
In: Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE 2016). ACM
[Konferenz- oder Workshop-Beitrag], (2016)

Lochau, Malte ; Mennicke, Stephan ; Baller, Hauke ; Ribbeck, Lars :
Incremental model checking of delta-oriented software product lines.
[Online-Edition: http://dx.doi.org/10.1016/j.jlamp.2015.09.004]
In: J. Log. Algebr. Meth. Program. , 85 (1)
[Konferenz- oder Workshop-Beitrag], (2016)

Weckesser, Markus ; Lochau, Malte ; Schnabel, Thomas ; Richerzhagen, Björn ; Schürr, Andy :
Mind the Gap! Automated Anomaly Detection for Potentially Unbounded Cardinality-Based Feature Models.
[Online-Edition: http://dx.doi.org/10.1007/978-3-662-49665-7_10]
In: Fundamental Approaches to Software Engineering - 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings.
[Konferenz- oder Workshop-Beitrag], (2016)

Lochau, Malte ; Bürdek, Johannes ; Bauregger, Stefan ; Holzer, Andreas ; von Rhein, Alexander ; Apel, Sven ; Beyer, Dirk :
On facilitating reuse in multi-goal test-suite generation for software product lines.
[Online-Edition: http://subs.emis.de/LNI/Proceedings/Proceedings252/article31...]
In: Software Engineering, SE 2016.
[Konferenz- oder Workshop-Beitrag], (2016)

Bürdek, Johannes ; Kehrer, Timo ; Lochau, Malte ; Reuling, Dennis ; Kelter, Udo ; Schürr, Andy :
Reasoning about product-line evolution using complex feature model differences.
In: Automated Software Engineering.
[Konferenz- oder Workshop-Beitrag], (2016)

Luthmann, Lars ; Mennicke, Stephan ; Lochau, Malte :
Towards an I/O Conformance Testing Theory for Software Product Lines based on Modal Interface Automata.
[Online-Edition: http://dx.doi.org/ 10.4204/EPTCS.182.1]
In: Proceedings of the 6th Workshop on Formal Methods and Analysis in SPL Engineering. In: Electronic Proceedings in Theoretical Computer Science , 182 .
[Konferenz- oder Workshop-Beitrag], (2015)

Kulcsar, Geza ; Deckwerth, Frederik ; Lochau, Malte ; Varró, Gergely ; Schürr, Andy
Rensink, Arend ; Zambon, Eduardo (eds.) :

Improved Conflict Detection for Graph Transformation with Attributes.
[Online-Edition: http://dx.doi.org/10.4204/EPTCS.181.7]
In: Graphs as Models, GaM 2015. In: Electronic Proceedings in Theoretical Computer Science , 181 .
[Konferenz- oder Workshop-Beitrag], (2015)

Bürdek, Johannes ; Lochau, Malte ; Bauregger, Stefan ; Holzer, Andreas ; von Rhein, Alexander ; Apel, Sven ; Beyer, Dirk :
Facilitating Reuse in Multi-goal Test-Suite Generation for Software Product Lines.
[Online-Edition: http://dx.doi.org/10.1007/978-3-662-46675-9_6]
In: Fundamental Approaches to Software Engineering - 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015.
[Konferenz- oder Workshop-Beitrag], (2015)

Reuling, Dennis ; Bürdek, Johannes ; Rotärmel, Serge ; Lochau, Malte ; Kelter, Udo :
Fault-based product-line testing: effective sample generation based on feature-diagram mutation.
[Online-Edition: http://doi.acm.org/10.1145/2791060.2791074]
Proceedings of the 19th International Conference on Software Product Line (SPLC)
[Konferenz- oder Workshop-Beitrag], (2015)

Peldszus, Sven ; Kulcsar, Geza ; Lochau, Malte ; Schulze, Sandro :
Incremental Co-Evolution of Java Programs based on Bidirectional Graph Transformation.
[Online-Edition: http://doi.acm.org/10.1145/2807426.2807438]
Proceedings of the Principles and Practices of Programming on The Java Platform (PPPJ)
[Konferenz- oder Workshop-Beitrag], (2015)

Kulcsar, Geza ; Peldszus, Sven ; Lochau, Malte :
Object-oriented Refactoring of Java Programs using Graph Transformation.
[Online-Edition: http://ceur-ws.org/Vol-1524/paper3.pdf]
In: CEUR Workshop Proceedings , 1524 .
[Konferenz- oder Workshop-Beitrag], (2015)

Anjorin, Anthony ; Saller, Karsten ; Lochau, Malte ; Schürr, Andy :
On Modularizing Triple Graph Grammars with Rule Refinement.
In: Software Engineering & Management, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI).
[Konferenz- oder Workshop-Beitrag], (2015)

Lity, Sascha ; Bürdek, Johannes ; Lochau, Malte ; Berens, Markus ; Schaefer, Ina :
Re-Engineering Automation Systems as Dynamic Software Product Lines.
Proceedings of the 11th Dagstuhl-Workshop on Model-Based Development of Embedded Systems (MBEES)
[Konferenz- oder Workshop-Beitrag], (2015)

Peldszus, Sven ; Kulcsar, Geza ; Lochau, Malte :
A Solution to the Java Refactoring Case Study using eMoflon.
[Online-Edition: http://ceur-ws.org/Vol-1524/paper20.pdf]
In: CEUR Workshop Proceedings , 1524 .
[Konferenz- oder Workshop-Beitrag], (2015)

Lochau, Malte ; Bürdek, Johannes ; Hölzle, Stefan ; Schürr, Andy :
Specification and automated validation of staged reconfiguration processes for dynamic software product lines.
[Online-Edition: http://dx.doi.org/10.1007/s10270-015-0470-4]
In: Software & Systems Modeling pp. 1-28. ISSN 1619-1366
[Artikel], (2015)

Benduhn, Fabian ; Thüm, Thomas ; Lochau, Malte ; Leich, Thomas ; Saake, Gunter :
A Survey on Modeling Techniques for Formal Behavioral Verification of Software Product Lines.
[Online-Edition: http://doi.acm.org/10.1145/2701319.2701332]
Proceedings of the Ninth International Workshop on Variability Modelling of Software-intensive Systems
[Konferenz- oder Workshop-Beitrag], (2015)

Lochau, Malte ; Mennicke, Stephan ; Baller, Hauke ; Ribbeck, Lars :
DeltaCCS: A Core Calculus for Behavioral Change.
In: Proceedings of 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. In: International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA) .
[Konferenz- oder Workshop-Beitrag], (2014)

Mennicke, Stephan ; Lochau, Malte ; Schroeter, Julia ; Winkelmann, Tim
Gnesi, S. ; Fantechi, A. ; Heymans, P. ; Rubin, J. ; Czarnecki, K. ; Dhungana, D. (eds.) :

Automated Verification of Feature Model Configuration Processes based on Workflow Petri Nets.
In: Proceedings of the 18th International Software Product Line Conference. In: Software Product Line Conference .
[Konferenz- oder Workshop-Beitrag], (2014)

Al-Hajjaji, Mustafa ; Thüm, Thomas ; Meinicke, Jens ; Lochau, Malte ; Saake, Gunter
Gnesi, S. ; Fantechi, A. ; Heymans, P. ; Rubin, J. ; Czarnecki, K. ; Dhungana, D. (eds.) :

Similarity-based Prioritization in Software Product-Line Testing.
In: Proceedings of the 18th International Software Product Line Conference. In: Software Product Line Conference .
[Konferenz- oder Workshop-Beitrag], (2014)

Lochau, Malte ; Bürdek, Johannes ; Lity, Sascha ; Hagner, Matthias ; Legat, Christoph ; Goltz, Ursula ; Schürr, Andy :
Applying Model-based Software Product Line Testing Approaches to the Automation Engineering Domain.
In: at – Automatisierungstechnik 2014. , pp. 771-780.
[Buchkapitel], (2014)

Lochau, Malte ; Peldszus, Sven ; Kowal, Matthias ; Schaefer, Ina :
Model-Based Testing.
In: Formal Methods for Executable Software Models - 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems. In: Lecture Notes in Computer Science (LNCS) , 8483 . Springer Verlag , Heidelberg
[Konferenz- oder Workshop-Beitrag], (2014)

Anjorin, Anthony ; Saller, Karsten ; Lochau, Malte ; Schürr, Andy :
Modularizing Triple Graph Grammars using Rule Refinement.
In: 17th International Conference on Fundamental Approaches to Software Engineering (FASE). In: Lecture Notes in Computer Science (LNCS) .
[Konferenz- oder Workshop-Beitrag], (2014)

Baller, Hauke ; Lity, Sascha ; Lochau, Malte ; Schaefer, Ina :
Multi-Objective Test Suite Optimization for Incremental Product Family Testing.
In: 7th IEEE International Conference on Software Testing, Verification and Validation. In: International Conference on Software Testing, Verification and Validation (ICST) . IEEE Computer Society Press , Los Alamitos
[Konferenz- oder Workshop-Beitrag], (2014)

Bürdek, Johannes ; Lity, Sascha ; Lochau, Malte ; Berens, Markus ; Goltz, Ursula ; Schürr, Andy :
Staged configuration of dynamic software product lines with complex binding time constraints.
In: Proceedings of the 8th International Workshop on Variability Modeling of Software-Intensive Systems. In: ACM Digital Library Proceedings . ACM Press , New York
[Konferenz- oder Workshop-Beitrag], (2014)

Baller, Hauke ; Lochau, Malte :
Towards Incremental Test Suite Optimization for Software Product Lines.
[Online-Edition: http://doi.acm.org/10.1145/2660190.2662115]
In: Proceedings of the 6th International Workshop on Feature-Oriented Software Development. In: FOSD '14 . ACM , New York, NY, USA
[Konferenz- oder Workshop-Beitrag], (2014)

Saller, Karsten ; Lochau, Malte ; Reimund, Ingo :
Context-aware DSPLs: model-based runtime adaptation for resource-constrained systems.
[Online-Edition: http://doi.acm.org/10.1145/2499777.2500716]
In: 17th International Software Product Line Conference co-located workshops. In: SPLC '13 Workshops . ACM , New York, NY, USA
[Konferenz- oder Workshop-Beitrag], (2013)

Lity, Sascha ; Lachmann, Remo ; Lochau, Malte ; Schaefer, Ina :
Delta-oriented Software Product Line Test Models - The Body Comfort System Case Study.

[Report], (2013)

Lochau, Malte ; Lity, Sascha ; Lachmann, Remo ; Schaefer, Ina ; Goltz, Ursula :
Delta-oriented model-based integration testing of large-scale systems.
In: Journal of Systems and Software
[Artikel], (2013)

Lity, Sascha ; Lachmann, Remo ; Lochau, Malte ; Dukaczewski, Michael ; Schaefer, Ina :
Delta-orientiertes Testen von variantenreichen Systemen.
In: OBJEKTspektrum Online Themenspecial Testing
[Artikel], (2013)

Schulze, Sandro ; Lochau, Malte ; Brunswig, Saskia :
Implementing Refactorings for FOP - Lessons Learned and Challenges Ahead.
In: FOSD-Treffen 2013.
[Konferenz- oder Workshop-Beitrag], (2013)

Saller, Karsten ; Oster, Sebastian ; Schürr, Andy ; Schroeter, Julia ; Lochau, Malte :
Reducing Feature Models to Improve Runtime Adaptivity on Resource Limited Devices.
[Online-Edition: http://dl.acm.org/citation.cfm?id=2364435]
In: Proceedings of the 16th International Software Product Line Conference, SPLC '12. ACM New York , USA
[Konferenz- oder Workshop-Beitrag], (2013)

Dukaczewski, Michael ; Schaefer, Ina ; Lachmann, Remo ; Lochau, Malte :
Requirements-Based Delta-Oriented SPL Testing.
In: 4th International IEEE Workshop on Product Line Approaches in Software Engineering (PLEASE).
[Konferenz- oder Workshop-Beitrag], (2013)

Lity, Sascha ; Lochau, Malte ; Schaefer, Ina ; Goltz, Ursula :
Delta-oriented Model-based SPL Regression Testing.
In: 2012 3rd International Workshop on Product Line Approaches in Software Engineering (PLEASE), Los Alamitos. In: Product Line Approaches in Software Engineering (PLEASE) . IEEE Computer Society Press , Los Alamitos
[Konferenz- oder Workshop-Beitrag], (2012)

Grünwald, David ; Lochau, Malte ; Börger, E. ; Goltz, Ursula :
An Abstract State Machine Model for the Generic Java Type System.

[Report], (2012)

Gietzelt, Matthias ; Goltz, Ursula ; Grünwald, David ; Lochau, Malte ; Marschollek, Michael ; Song, Bianying ; Wolf, Klaus :
Arden2ByteCode: A one-pass Arden Syntax Compiler for Service-Oriented Decision Support Systems based on the OSGi Platform.
In: Computer Methods and Programs in Biomedicine, 106 (2) pp. 114-125.
[Artikel], (2012)

Kamischke, Jochen ; Lochau, Malte ; Baller, Hauke :
Conditioned Model Slicing of Feature-annotated State Machines.
[Online-Edition: http://doi.acm.org/10.1145/2377816.2377818]
In: Proceedings of the 4th International Workshop on Feature-Oriented Software Development, New York, NY, USA. In: FOSD '12 . ACM , New York, NY, USA
[Konferenz- oder Workshop-Beitrag], (2012)

Lochau, Malte ; Schaefer, Ina ; Kamischke, Jochen ; Lity, Sascha
Brucker, Achim ; Julliand, Jacques (eds.) :

Incremental Model-Based Testing of Delta-Oriented Software Product Lines.
[Online-Edition: http://dx.doi.org/10.1007/978-3-642-30473-6_7]
In: Lecture Notes in Computer Science , 7305 . Springer Berlin Heidelberg
[Konferenz- oder Workshop-Beitrag], (2012)

Steffens, Michaela ; Oster, Sebastian ; Lochau, Malte ; Fogdal, Thomas :
Industrial evaluation of pairwise SPL testing with MoSo-PoLiTe.
In: Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems, New York. In: ACM Digital Library Proceedings . ACM Press , New York
[Konferenz- oder Workshop-Beitrag], (2012)

Lochau, Malte :
Model-Based Conformance Testing of Software Product Lines.
Verlag Dr. Hut
[Dissertation]

Schroeter, Julia ; Lochau, Malte ; Winkelmann, Tim
France, Robert ; Kazmeier, Jürgen ; Breu, Ruth ; Atkinson, Colin (eds.) :

Multi-perspectives on Feature Models.
[Online-Edition: http://dx.doi.org/10.1007/978-3-642-33666-9_17]
In: Lecture Notes in Computer Science , 7590 . Springer Berlin Heidelberg
[Konferenz- oder Workshop-Beitrag], (2012)

Lochau, Malte ; Kamischke, Jochen
Margaria, Tiziana ; Steffen, Bernhard (eds.) :

Parameterized Preorder Relations for Model-Based Testing of Software Product Lines.
[Online-Edition: http://dx.doi.org/10.1007/978-3-642-34026-0_17]
In: Lecture Notes in Computer Science , 7609 . Springer Berlin Heidelberg
[Konferenz- oder Workshop-Beitrag], (2012)

Cichos, Harald ; Lochau, Malte ; Oster, Sebastian ; Schürr, Andy :
Reduktion von Testsuiten für Software-Produktlinien.
In: GI-Edition Lecture Notes in Informatics .
[Konferenz- oder Workshop-Beitrag], (2012)

Cichos, Harald ; Oster, Sebastian ; Lochau, Malte ; Schürr, Andy :
Model-based Coverage-Driven Test Suite Generation for Software Product Lines.
In: Lecture Notes in Computer Science (LNCS) , 6981 .
[Konferenz- oder Workshop-Beitrag], (2011)

Cichos, Harald ; Oster, Sebastian ; Lochau, Malte ; Schürr, Andy :
Extended Version of Model-based Coverage-Driven Test Suite Generation for Software Product Lines.
[Online-Edition: http://www.ips.cs.tu-bs.de/images/goltz/MODELS-TR-2011-07.pd...]
Technische Universität Braunschweig
[Report], (2011)

Schroeter, Julia ; Lochau, Malte ; Winkelmann, Tim :
Extended Version of Multi-Perspectives on Feature Models.

[Report], (2011)

Oster, Sebastian ; Zorcic, Ivan ; Markert, Florian ; Lochau, Malte
Czarnecki, K. ; Eisenecker, U. (eds.) :

MoSo-PoLiTe - Tool Support for Pairwise and Model-Based Software Product Line Testing.
In: 5th International Workshop on Variability Modelling of Software-Intensive Systems, Namur, Belgium. In: ACM International Conference Proceedings Series . ACM Press , New York
[Konferenz- oder Workshop-Beitrag], (2011)

Lochau, Malte ; Oster, Sebastian ; Goltz, Ursula ; Schürr, Andy :
Model-based Pairwise Testing for Feature Interaction Coverage in Software Product Line Engineering.
In: Software Quality Journal - Special issue on Quality Engineering for Software Product Lines
[Artikel], (2011)

Oster, Sebastian ; Lochau, Malte ; Zink, Marius ; Grechanik, Mark :
Pairwise Feature-Interaction Testing for SPLs: Potentials and Limitations.
In: Proceeding of the International Software Product Line Conference Workshop FOSD, New York. ACM Press , New York
[Konferenz- oder Workshop-Beitrag], (2011)

Lochau, Malte ; Goltz, Ursula :
Feature Interaction Aware Test Case Generation for Embedded Control Systems.
In: Electronic Notes in Theoretical Computer Science, 264 (3) pp. 37-52. ISSN 1571-0661
[Artikel], (2010)

Müller, T. ; Lochau, Malte ; Detering, S. ; Saust, F, ; Garbers, H. ; Märtin, L. ; Form, T. ; Goltz, Ursula :
A Comprehensive Description of a Model-based, Continuous Development Process for AUTOSAR Systems with Integrated Quality Assurance.

[Report], (2009)

Sun, B. ; Lochau, Malte ; Huhn, P. ; Goltz, Ursula :
Parameter Optimization of an Engine Control Unit using Genetic Algorithms.

[Report], (2009)

Knieke, Christoph ; Huhn, Michaela ; Lochau, Malte :
Executable Requirements Specification: Formal Semantics of Live Activity Diagrams.
[Online-Edition: http://dx.doi.org/10.1109/TASE.2008.10]
In: Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, TASE 2008, June 17-19, 2008, Nanjing, China.
[Konferenz- oder Workshop-Beitrag], (2008)

Knieke, Christoph ; Huhn, Michaela ; Lochau, Malte :
Modeling and Validation of Executable Requirements Using Live Activity Diagrams.
[Online-Edition: http://dx.doi.org/10.1109/SERA.2008.10]
In: Proceedings of the 6th ACIS International Conference on Software Engineering Research, Management and Applications, SERA 2008, 20-22 August 2008, Prague, Czech Republic.
[Konferenz- oder Workshop-Beitrag], (2008)

Lochau, Malte ; Günther, Henning :
A Static Aspect Language for Modelica Models.
[Online-Edition: http://www.ep.liu.se/ecp_article/index.en.aspx?issue=029;art...]
In: Proceedings of the 2nd International Workshop on Equation-Based Object-Oriented Languages and Tools, EOOLT 2008, Paphos, Cyprus, July 8, 2008.
[Konferenz- oder Workshop-Beitrag], (2008)

Diese Liste wurde am Tue Sep 19 07:53:08 2017 CEST generiert.