Malte Lochau

123 papers A* 2A 6B 13C 10Misc 1Journal 32Unranked 52
YearRankTypeTitle / 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