Hendrik Göttmann ; Birte Caesar ; Lasse Beers ; Malte Lochau ; Andy Schürr ; Alexander Fay (2024):
Cost-sensitive precomputation of real-time-aware reconfiguration strategies based on stochastic priced timed games.
In: Software and Systems Modeling, Springer,
DOI: 10.1007/s10270-024-01195-9,
[Article]
Davide Basile ; Maurice H Ter Beek ; Hendrik Göttmann ; Malte Lochau (2023):
Mutant Equivalence as Monotonicity in Parametric Timed Games.
In: 11th International Conference on Formal Methods in Software Engineering, Melbourne, Australia, 14.-15.05.2023, In: Proceedings: 2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE), P. 55-65, ISBN 979-8-3503-1263-8, IEEE,
DOI: 10.1109/FormaliSE58978.2023.00014,
[Conference Contribution]
Hendrik Göttmann ; Birte Caesar ; Lasse Beers ; Malte Lochau ; Andy Schürr ; Alexander Fay (2023):
Precomputing Reconfiguration Strategies based on Stochastic Timed Game Automata.
In: Software Engineering 2023 - Fachtagung des GI-Fachbereichs Softwaretechnik, Paderborn, Germany, 20.-24.02.2023, In: Software Engineering 2023: Fachtagung des GI-Fachbereichs Softwaretechnik, P-332, P. 55-56, ISSN 1617-5468, ISBN 978-3-88579-726-5, Gesellschaft für Informatik e.V.,
[Online: https://dl.gi.de/items/ecbb1317-8507-4bd2-beb0-b91f7062f609/full],
[Conference Contribution]
Lars Fritsche ; Jens Kosiol ; Adrian Möller ; Andy Schürr (2023):
Advanced Consistency Restoration with Higher-Order Short-Cut Rules.
In: 16th International Conference on Graph Transformation (ICGT 2023), Leicester, United Kingdom, 19.-20.07.2023, In: Graph Transformation, 13961, P. 184-203, Springer,
DOI: 10.1007/978-3-031-36709-0_10,
[Conference Contribution]
Sebastian Ehmes ; Maximilian Kratz ; Andy Schürr (2022):
Graph-Based Specification and Automated Construction of ILP Problems.
In: Electronic Proceedings in Theoretical Computer Science, P. 3-22, Open Publishing Association,
DOI: 10.4204/EPTCS.374,
[Online: https://cgi.cse.unsw.edu.au/~eptcs/content.cgi?GCM2022],
[Article]
Hendrik Göttmann ; Birte Caesar ; Lasse Beers ; Malte Lochau ; Andy Schürr ; Alexander Fay (2022):
Precomputing Reconfiguration Strategies based on Stochastic Timed Game Automata.
In: 25th International Conference on Model Driven Engineering Languages and Systems, Montreal, Canada, 23.-28.10.2022, In: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems (MODELS 2022), P. 31-42, ISBN 978-1-4503-9466-6, ACM,
DOI: 10.1145/3550355.3552397,
[Conference Contribution]
Sebastian Ehmes ; Maximilian Kratz ; Andy Schürr (2022):
Graph-Based Specification and Automated Construction of ILP Problems.
In: Software Technologies: Applications and Foundations (STAF 2022), Nantes, France, 05.-08.07.2022,
[Conference Contribution]
Lars Fritsche (2022):
Local Consistency Restoration Methods for Triple Graph Grammars.
Darmstadt, Technische Universität Darmstadt,
DOI: 10.26083/tuprints-00021443,
[Online: https://tuprints.ulb.tu-darmstadt.de/21443],
[PhD Thesis]
Sebastian Ruland (2022):
Automated Quality-Assurance Techniques for the Modernization of Software-Product Lines.
Darmstadt, Technische Universität Darmstadt,
DOI: 10.26083/tuprints-00021488,
[Online: https://tuprints.ulb.tu-darmstadt.de/21488],
[PhD Thesis]
Lars Fritsche ; Jens Kosiol ; Adrian Möller ; Andy Schürr ; Gabriele Taentzer (2022):
A Precedence-Driven Approach for Concurrent Model Synchronization Scenarios using Triple Graph Grammars.
In: Software Engineering 2022, virtual Conference, 21.-25.02.2022, In: Software Engineering 2022: Proceedings, P-320, P. 27-28, ISSN 1617-5468, ISBN 978-3-88579-714-2, Gesellschaft für Informatik e.V.,
DOI: 10.18420/se2022-ws-005,
[Conference Contribution]
Nicolas Behr ; Bello Shehu Bello ; Sebastian Ehmes ; Reiko Heckel (2021):
Stochastic Graph Transformation For Social Network Modeling.
In: STAF 2021: Software Technologies: Applications and Foundations, virtual Conference, 21.-25.06.2021, In: Proceedings Twelfth International Workshop on Graph Computational Models, 350, P. 35-50, ISSN 2075-2180, Open Publishing Association,
DOI: 10.4204/EPTCS.350.3,
[Conference Contribution]
Martin Pfannemüller ; Martin Breitbach ; Markus Weckesser ; Christian Becker ; Bradley Schmerl ; Andy Schürr ; Christian Krupitzer (2021):
REACT-ION: A Model-Based Runtime Environment for Situation-Aware Adaptations.
In: ACM Transactions on Autonomous and Adaptive Systems, ISSN 1556-4665, New York, NY, USA, ACM,
DOI: 10.1145/3487919,
[Online: https://dl.acm.org/doi/full/10.1145/3487919],
[Article]
Lars Fritsche ; Jens Kosiol ; Andy Schürr ; Gabriele Taentzer (2021):
Avoiding unnecessary information loss: correct and efficient model synchronization based on triple graph grammars.
In: International Journal on Software Tools for Technology Transfer, P. 335-368, ISSN 1433-2779, Springer,
DOI: 10.1007/s10009-020-00588-7,
[Article]
Stefan Tomaszek (2021):
Modellbasierte Einbettung von virtuellen Netzwerken in Rechenzentren.
Darmstadt, Technische Universität Darmstadt,
DOI: 10.12921/tuprints-00017362,
[Online: https://tuprints.ulb.tu-darmstadt.de/17362],
[PhD Thesis]
Hendrik Göttmann ; Isabelle Bacher ; Nicolas Gottwald ; Malte Lochau (2021):
Static Analysis Techniques for Efficient Consistency Checking of Real-Time-Aware DSPL Specifications.
In: VaMoS'21: 15th International Working Conference on Variability Modelling of Software-Intensive Systems, Virtual Event / Krems, Austria, 09.-11.02.2021, In: Proceedings of the 15th International Working Conference on Variability Modelling of Software-Intensive Systems, ISBN 978-1-4503-8824-5, ACM,
DOI: 10.1145/3442391.3442409,
[Conference Contribution]
Hendrik Göttmann ; Andy Schürr (2020):
Real-Time-Aware Reconfiguration Decisions for Dynamic Software Product Lines.
In: SPLC '20: 24th ACM International Systems and Software Product Line Conference, virtual Conference, October 19 - 23, 2020, In: Proceedings of the 24th ACM Conference on Systems and Software Product Line: Volume A - Volume A, P. 11, ISBN 978-1-4503-7569-6, New York, NY, United States, ACM,
DOI: 10.1145/3382025.3414945,
[Conference Contribution]
Sebastian Ehmes ; Lars Fritsche ; Konrad Altenhofen (2020):
GrapeL: Combining Graph Pattern Matching and Complex Event Processing.
In: 1st International Conference on Systems Modelling and Management (ICSMM 2020), virtual Conference, 25.-26.06., P. 180-196, ISBN 978-3-030-58166-4, Springer,
DOI: 10.1007/978-3-030-58167-1_13,
[Conference Contribution]
Martin Pfannemüller ; Martin Breitbach ; Christian Krupitzer ; Markus Weckesser ; Christian Becker ; Bradley Schmerl ; Andy Schürr (2020):
REACT: A Model-Based Runtime Environment for Adapting Communication Systems.
In: 1st IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS 2020), virtual Conference, 17.-21.08.2020, P. 65-74, ISBN 978-1-7281-7278-1, IEEE,
DOI: 10.1109/ACSOS49614.2020.00027,
[Conference Contribution]
Martin Pfannemüller ; Martin Breitbach ; Christian Krupitzer ; Christian Becker ; Andy Schürr (2020):
Enhancing a Communication System with Adaptive Behavior using REACT.
In: 2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C), virtual Conference, 17.-21.08.2020, In: Proceedings : 2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion, P. 228-229, ISBN 978-1-7281-8415-9, IEEE,
DOI: 10.1109/ACSOS-C51401.2020.00062,
[Conference Contribution]
Martin Pfannemüller ; Martin Breitbach ; Christian Becker (2020):
EnTrace: Achieving Enhanced Traceability in Self-Aware Computing Systems.
In: 2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C), virtual Conference, 17.-21.08., P. 160-165, ISBN 978-1-7281-8414-2, IEEE,
[Conference Contribution]
Stefan Tomaszek ; Lars Fritsche ; Andy Schürr (2020):
Dynamic Virtual Network Embedding: Using Incremental Model Transformation and Integer Linear Programming Techniques.
In: Journal of Object Technology, P. 9:1-21, ISSN 1660-1769,
DOI: 10.5381/jot.2020.19.2.a9,
[Online: http://www.jot.fm/contents/issue_2020_02/article9.html],
[Article]
Sebastian Ruland ; Malte Lochau ; Oliver Fehse ; Andy Schürr (2020):
CPA/Tiger-MGP: test-goal set partitioning for efficient multi-goal test-suite generation.
In: International Journal on Software Tools for Technology Transfer, P. 853-856, ISSN 1433-2779, Springer,
DOI: 10.1007/s10009-020-00574-z,
[Article]
Geza Kulcsar ; Andrea Corradini ; Malte Lochau (2020):
A calculus of concurrent graph-rewriting processes.
In: Journal of Logical and Algebraic Methods in Programming, P. 100500, ISSN 2352-2216,
DOI: 10.1016/j.jlamp.2019.100500,
[Online: https://www.sciencedirect.com/science/article/pii/S2352220818301640],
[Article]
Dennis Reuling ; Udo Kelter ; Johannes Bürdek ; Malte Lochau (2020):
On Automated N-way Program Merging for Facilitating Family-based Analyses of Variant-rich Software.
In: Software Engineering 2020 (SE 2020), Innsbruck, Austria, 24.02.-28.02.2020, P. 55-56,
DOI: 10.18420/SE2020_14,
[Online: https://se20.ocg.at/programm.html],
[Conference Contribution]
Sebastian Ruland ; Geza Kulcsar ; Erhan Leblebici ; Sven Peldszus ; Malte Lochau (2020):
On Controlling the Attack Surface of Object-Oriented Refactorings.
In: Software Engineering 2020 (SE 2020), Innsbruck, Austria, 24.02.-28.02.2020, P. 89-90,
DOI: 10.18420/SE2020_26,
[Online: https://se20.ocg.at/programm.html],
[Conference Contribution]
Jacopo Soldani ; Lars Luthmann ; Malte Lochau ; Antonio Brogi (2020):
Testing Conformance in Multi-component Enterprise Application Management.
In: 8th IFIP WG 2.14 European Conference, ESOCC 2020, Heraklion, Crete, Greece, September 28–30, 2020, In: Service-Oriented and Cloud Computing, P. 3-18, ISBN Print ISBN 978-3-030-44768-7 Online ISBN 978-3-030-44769-4, Springer,
DOI: 10.1007/978-3-030-44769-4_1,
[Online: https://doi.org/10.1007/978-3-030-44769-4_1],
[Conference Contribution]
Sebastian Ruland ; Malte Lochau ; Marie-Christine Jakobs (2020):
HybridTiger: Hybrid Model Checking and Domination-based Partitioning for Efficient Multi-Goal Test-Suite Generation (Competition Contribution).
In: ETAPS 2020, Dublin, Irland, April 25–30, 2020, In: Fundamental Approaches to Software Engineering : 23rd International Conference, FASE 2020 ; Proceedings, P. 520-524, ISBN 978-3-030-45233-9, Cham, Springer,
DOI: 10.1007/978-3-030-45234-6_26,
[Conference Contribution]
Vladimir Kutscher ; Sebastian Ruland ; Patrick Müller ; Nathan Wasser ; Malte Lochau ; Reiner Anderl ; Andy Schürr ; Mira Mezini ; Reiner Hähnle (2020):
Towards a Circular Economy of Industrial Software.
In: Procedia CIRP, P. 37 - 42, ISSN 2212-8271, Elsevier,
DOI: 10.1016/j.procir.2020.01.133,
[Online: http://www.sciencedirect.com/science/article/pii/S2212827120303127],
[Article]
Lars Fritsche ; Jens Kosiol ; Adrian Möller ; Andy Schürr ; Gabriele Taentzer (2020):
A Precedence-Driven Approach for Concurrent Model Synchronization Scenarios using Triple Graph Grammars.
In: SPLASH '20: Conference on Systems, Programming, Languages, and Applications, Software for Humanity, virtual Conference, 16.-17.11.2020, In: Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering, P. 39-55, ISBN 9781450381765, ACM,
DOI: 10.1145/3426425.3426931,
[Conference Contribution]
Nils Weidmann ; Lars Fritsche ; Anthony Anjorin (2020):
A Search-Based and Fault-Tolerant Approach to Concurrent Model Synchronisation.
In: SPLASH '20: Conference on Systems, Programming, Languages, and Applications, Software for Humanity, virtual Conference, November 16 - 17, 2020, In: Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering, P. 56-71, ISBN 9781450381765, New York, NY, United States, ACM,
DOI: 10.1145/3426425.3426932,
[Conference Contribution]
Lars Luthmann (2020):
Specification and Analysis of Software Systems with Configurable Real-Time Behavior.
Darmstadt, Technische Universität Darmstadt,
DOI: 10.25534/tuprints-00017363,
[Online: https://tuprints.ulb.tu-darmstadt.de/17363],
[PhD Thesis]
Malte Lochau ; Lars Luthmann ; Hendrik Göttmann ; Isabelle Bacher (2020):
Parametric Timed Bisimulation.
In: 9th International Symposium on Leveraging Applications of Formal Methods (ISoLA 2020), Rhodes, Greece, 20.-30.10.2020, In: Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, 12477, P. 55-71, ISBN 978-3-030-61469-0, Springer Nature,
DOI: 10.1007/978-3-030-61470-6_5,
[Conference Contribution]
Lars Luthmann ; Hendrik Göttmann ; Malte Lochau (2019):
Checking Timed Bisimulation with Bounded Zone-History Graphs - Technical Report.
In: Formal Languages and Automata Theory, arXiv, DOI: 10.48550/arXiv.1910.08992,
[Online: https://arxiv.org/abs/1910.08992],
[Report]
Lars Luthmann ; Hendrik Göttmann ; Malte Lochau (2019):
Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata - Technical Report.
In: Logic in Computer Science, arXiv, DOI: 10.48550/arXiv.1909.03703,
[Online: https://arxiv.org/abs/1909.03703],
[Report]
Markus Tobias Weckesser (2019):
Automatisierte Analyse integrierter Software-Produktlinien-Spezifikationen.
Darmstadt, Technische Universität Darmstadt,
[Online: https://tuprints.ulb.tu-darmstadt.de/8875],
[PhD Thesis]
Bastian Alt ; Markus Weckesser ; Christian Becker ; Matthias Hollick ; Sounak Kar ; Robin Klose ; Roland Kluge ; Heinz Koeppl ; Wasiur R. KhudaBukhsh ; Manisha Luthra ; Mahdi Mousavi ; Max Mühlhäuser ; Martin Pfannemüller ; Amr Rizk ; Andy Schürr ; Ralf Steinmetz ; Anja Klein (2019):
Transitions: A Protocol-Independent View of the Future Internet.
In: Proceedings of the IEEE, P. 835-846, ISSN 0018-9219,
DOI: 10.1109/JPROC.2019.2895964,
[Article]
Roland Kluge ; Michael Stein ; Gergely Varró ; Andy Schürr ; Matthias Hollick ; Max Mühlhäuser (2019):
A systematic approach to constructing families of incremental topology control algorithms using graph transformation.
In: Software & Systems Modeling, P. 279-319, ISSN 1619-1374, Springer Nature,
DOI: 10.1007/s10270-017-0587-8,
[Online: https://link.springer.com/article/10.1007%2Fs10270-017-0587-8],
[Article]
Géza Kulcsár (2019):
A Compass to Controlled Graph Rewriting.
Darmstadt, Technische Universität Darmstadt,
[Online: https://tuprints.ulb.tu-darmstadt.de/9304],
[PhD Thesis]
Martin Pfannemüller ; Markus Weckesser ; Roland Kluge ; Janick Edinger ; Manisha Luthra ; Robin Klose ; Christian Becker ; Andy Schürr (2019):
CoalaViz: Supporting Traceability of Adaptation Decisions in Pervasive Communication Systems.
In: 2019 IEEE International Conference on Pervasive Computing and Communications Workshops, PerCom Workshops 2019, [Conference Contribution]
Martin Pfannemüller ; Janick Edinger ; Markus Weckesser ; Roland Kluge ; Manisha Luthra ; Robin Klose ; Christian Becker ; Andy Schürr (2019):
Demo: Visualizing Adaptation Decisions in Pervasive Communication Systems.
In: 2019 IEEE International Conference on Pervasive Computing and Communications Workshops, PerCom Workshops 2019, [Conference Contribution]
Mahsa Varshosaz ; Lars Luthmann ; Paul Mohr ; Malte Lochau ; Mohammad Reza Mousavi (2019):
Modal transition system encoding of featured transition systems.
In: Journal of Logical and Algebraic Methods in Programming, P. 1 - 28, Elsevier,
DOI: 10.1016/j.jlamp.2019.03.003,
[Online: http://www.sciencedirect.com/science/article/pii/S2352220818300348],
[Article]
Gabriele Taentzer ; Michael Goedicke ; Barbara Paech ; Kurt Schneider ; Andy Schürr ; Birgit Vogel-Heuser (2019):
The Nature of Software Evolution.
In: Managed Software Evolution, P. 9-20, Springer,
DOI: 10.1007/978-3-030-13499-0_2,
[Book Section]
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):
Performance Analysis Strategies for Software Variants and Versions.
In: Managed Software Evolution, P. 175-206, Springer,
DOI: 10.1007/978-3-030-13499-0_8,
[Online: https://doi.org/10.1007/978-3-030-13499-0_8],
[Book Section]
Malte Lochau ; Dennis Reuling ; Johannes Bürdek ; Timo Kehrer ; Sascha Lity ; Andy Schürr ; Udo Kelter (2019):
Model-Based Round-Trip Engineering and Testing of Evolving Software Product Lines.
In: Managed Software Evolution, P. 141-173, Springer,
DOI: 10.1007/978-3-030-13499-0_7,
[Book Section]
Reiner Jung ; Lukas Märtin ; Jan Ole Johanssen ; Barbara Paech ; Malte Lochau ; Thomas Thüm ; Kurt Schneider ; Matthias Tichy ; Mattias Ulbrich (2019):
Addressed Challenges.
In: Managed Software Evolution, P. 21-36, Springer,
DOI: 10.1007/978-3-030-13499-0_3,
[Book Section]
Dennis Reuling ; Udo Kelter ; Johannes Bürdek ; Malte Lochau (2019):
Automated N-way Program Merging for Facilitating Family-based Analyses of Variant-rich Software.
In: Transaction on Software Engineering and Methodology, P. 13:1-13:59, ACM,
DOI: 10.1145/3313789,
[Article]
Tobias Pett ; Thomas Thüm ; Tobias Runge ; Sebastian Krieter ; Malte Lochau ; Ina Schaefer (2019):
Product Sampling for Product Lines: The Scalability Challenge.
In: 23rd International Systems and Software Product Line Conference (SPLC '19), P. 14:1-14:6, Paris, ACM,
DOI: 10.1145/3336294.3336322,
[Online: https://doi.org/10.1145/3336294.3336322],
[Conference Contribution]
Dennis Reuling ; Malte Lochau ; Udo Kelter (2019):
From Imprecise N-Way Model Matching to Precise N-Way Model Merging.
In: Journal of Object Technology, P. 1-20, AITO,
DOI: 10.5381/jot.2019.18.2.a8,
[Online: https://doi.org/10.5381/jot.2019.18.2.a8],
[Article]
Rafael Capilla ; Lidia Fuentes ; Malte Lochau (2019):
Software variability in dynamic environments.
In: Journal of Systems and Software, P. 62-64, Elsevier,
DOI: 10.1016/j.jss.2019.06.003,
[Online: https://doi.org/10.1016/j.jss.2019.06.003],
[Article]
Mustafa Al-Hajjaji ; Thomas Thüm ; Malte Lochau ; Jens Meinicke ; Gunter Saake (2019):
Effective product-line testing using similarity-based product prioritization.
In: Software and Systems Modeling, P. 499-521, Springer,
DOI: 10.1007/s10270-016-0569-2,
[Online: https://doi.org/10.1007/s10270-016-0569-2],
[Article]
Sebastian Ehmes ; Lars Fritsche ; Andy Schürr (2019):
SimSG: Rule-based Simulation using Stochastic Graph Transformation.
In: Journal of Object Technology, P. 1-17, AITO,
DOI: 10.5381/jot.2019.18.3.a1,
[Online: https://doi.org/10.5381/jot.2019.18.3.a1],
[Article]
Lars Luthmann ; Timo Gerecht ; Malte Lochau (2019):
Sampling strategies for product lines with unbounded parametric real-time constraints.
In: International Journal on Software Tools for Technology Transfer, ISSN 1433-2787, Springer,
DOI: 10.1007/s10009-019-00532-4,
[Online: https://doi.org/10.1007/s10009-019-00532-4],
[Article]
Jens Kosiol ; Lars Fritsche ; Andy Schürr ; Gabriele Taentzer (2019):
Adhesive Subcategories of Functor Categories with Instantiation to Partial Triple Graphs.
In: 12th International Conference on Graph Transformation, Eindhoven, 15-19 July 2019, P. 38-54,
DOI: 10.1007/978-3-030-23611-3_3,
[Online: https://doi.org/10.1007/978-3-030-23611-3_3],
[Conference Contribution]
Lars Fritsche ; Jens Kosiol ; Andy Schürr ; Gabriele Taentzer (2019):
Efficient Model Synchronization by Automatically Constructed Repair Processes.
In: 22nd International Conference on Fundamental Approaches to Software Engineering, Prag, 6-11 April, 2019, P. 116-133,
DOI: 10.1007/978-3-030-16722-6_7,
[Online: https://doi.org/10.1007/978-3-030-16722-6_7],
[Conference Contribution]
Nils Weidmann ; Anthony Anjorin ; Lars Fritsche ; Gergely Varró ; Andy Schürr ; Erhan Leblebici (2019):
Incremental Bidirectional Model Transformation with eMoflon::IBeX.
In: 8th International Workshop on Bidirectional Transformations, Philadelphia, June 4, 2019, P. 45-55,
[Online: http://ceur-ws.org/Vol-2355/paper4.pdf],
[Conference Contribution]
Nils Weidmann ; Anthony Anjorin ; Erhan Leblebici ; Andy Schürr (2019):
Consistency Management via a Combination of Triple Graph Grammars and Linear Programming.
In: 12th ACM SIGPLAN International Conference on Software Language Engineering, Athen, 20. - 25. October 2019, P. 29-41,
DOI: 10.1145/3357766.3359544,
[Online: http://doi.acm.org/10.1145/3357766.3359544],
[Conference Contribution]
Lars Luthmann ; Hendrik Göttmann ; Malte Lochau (2019):
Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata.
In: 16th International Conference on Formal Aspects of Component Software (FACS 2019), P. 147-169, ISBN 978-3-030-40914-2, Amsterdam, Springer International Publishing,
DOI: 10.1007/978-3-030-40914-2_8,
[Online: https://link.springer.com/chapter/10.1007/978-3-030-40914-2_8],
[Conference Contribution]
Dennis Reuling ; Udo Kelter ; Sebastian Ruland ; Malte Lochau (2019):
SiMPOSE - Configurable N-Way Program Merging Strategies for Superimposition-Based Analysis of Variant-Rich Software.
In: 34th IEEE/ACM International Conference on Automated Software Engineering (ASE 2019), San Diego, USA, 11.11.-15.11.2019,
DOI: 10.1109/ASE.2019.00120,
[Online: https://ieeexplore.ieee.org/document/8952245],
[Conference Contribution]
Roland Speith (2018):
Correct-by-Construction Development of Dynamic Topology Control Algorithms.
Darmstadt, Technische Universität Darmstadt,
[Online: https://tuprints.ulb.tu-darmstadt.de/8562],
[PhD Thesis]
Roland Kluge ; Michael Stein ; Gergely Varró ; Andy Schürr ; Matthias Hollick ; Max Mühlhäuser (2018):
A Systematic Approach to Constructing Families of Incremental Topology Control Algorithms using Graph Transformation.
In: 11th International Conference on Graph Transformation (ICGT 2018), Toulouse, France, 25.-26.06.2018,
[Conference Contribution]
Nils Richerzhagen ; Roland Kluge ; Björn Richerzhagen ; Patrick Lieser ; Boris Koldehofe ; Ioannis Stavrakakis ; Ralf Steinmetz (2018):
Better Together: Collaborative Monitoring for Location-based Services.
In: Proc. 19th International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM), P. 1-9, IEEE,
[Conference Contribution]
Erhan Leblebici (2018):
Inter-Model Consistency Checking and Restoration with Triple Graph Grammars.
Darmstadt, Technische Universität Darmstadt,
[Online: http://tuprints.ulb.tu-darmstadt.de/7426],
[PhD Thesis]
Andy Schürr (2018):
Graph-Transformation-Driven Correct-by-Construction Development of Communication System Topology Adaptation Algorithms.
In: Modellierung 2018, P-280, P. 15-15, Bonn,
[Online: https://dl.gi.de/handle/20.500.12116/14934],
[Conference Contribution]
Michael Stein ; Alexander Frömmgen ; Roland Kluge ; Lin Wang ; Augustin Wilberg ; Boris Koldehofe ; Max Mühlhäuser (2018):
Scaling Topology Pattern Matching: A Distributed Approach.
In: In Proceedings of the ACM/SIGAPP Symposium on Applied Computing (SAC), P. 1-10,
[Conference Contribution]
Stefan Tomaszek ; Erhan Leblebici ; Lin Wang ; Andy Schürr (2018):
Model-driven Development of Virtual Network Embedding Algorithms with Model Transformation and Linear Optimization Techniques.
In: Modellierung 2018, P. 39-54, Gesellschaft für Informatik e.V.,
[Online: https://dl.gi.de/20.500.12116/14957],
[Conference Contribution]
Roland Kluge ; Michael Stein ; Gergely Varró ; Andy Schürr ; Matthias Hollick ; Max Mühlhäuser (2018):
A systematic approach to constructing families of incremental topology control algorithms using graph transformation.
In: 24. Tagung Software Engineering (SE) des Fachbereichs Softwaretechnik der Gesellschaft für Informatik, Ulm, Germany, 05.-09.03.2018, In: Software Engineering und Software Management 2018, 279, P. 109-110, ISBN 978-3-88579-673-2, Gesellschaft für Informatik e.V.,
[Online: https://dl.gi.de/handle/20.500.12116/21183],
[Conference Contribution]
Anthony Anjorin ; Enes Yigitbas ; Erhan Leblebici ; Andy Schürr ; Marius Lauder ; Martin Witte (2018):
Description Languages for Consistency Management Scenarios Based on Examples from the Industry Automation Domain.
In: Programming Journal, P. 7:1-7:32,
DOI: 10.22152/programming-journal.org/2018/2/7,
[Online: https://doi.org/10.22152/programming-journal.org/2018/2/7],
[Article]
Stefan Tomaszek ; Erhan Leblebici ; Lin Wang ; Andy Schürr (2018):
Virtual Network Embedding: Reducing the Search Space by Model Transformation Techniques.
In: Proceedings of the 11th International Conference on Theory and Practice of Model Transformation (ICMT'18), In: Lecture Notes in Computer Science, 10888, P. 59-75, Springer,
DOI: 10.1007/978-3-319-93317-7_2,
[Online: https://doi.org/10.1007/978-3-319-93317-7_2],
[Conference Contribution]
Geza Kulcsar ; Malte Lochau ; Andy Schürr (2018):
Graph-Rewriting Petri Nets.
In: 11th International Conference on Graph Transformation (ICGT'18), P. 79-96, ISBN 978-3-319-92991-0, Springer,
[Conference Contribution]
Geza Kulcsar ; Andrea Corradini ; Malte Lochau (2018):
Equivalence and Independence in Controlled Graph-Rewriting Processes.
In: 11th International Conference on Graph Transformation (ICGT'18), P. 134-151, ISBN 978-3-319-92991-0, Springer,
[Conference Contribution]
Markus Weckesser ; Roland Kluge ; Martin Pfannemüller ; Michael Matthé ; Andy Schürr ; Christian Becker (2018):
Optimal Reconfiguration of Dynamic Software Product Lines Based on Performance-influence Models.
In: Proceeedings of the 22Nd International Conference on Systems and Software Product Line - Volume 1, New York, NY, USA, In: SPLC '18, P. 98-109, ISBN 978-1-4503-6464-5, New York, NY, USA, ACM,
DOI: 10.1145/3233027.3233030,
[Online: http://doi.acm.org/10.1145/3233027.3233030],
[Conference Contribution]
Sebastian Ruland ; Lars Luthmann ; Johannes Bürdek ; Sascha Lity ; Thomas Thüm ; Malte Lochau ; Márcio Ribeiro (2018):
Measuring Effectiveness of Sample-Based Product-Line Testing.
In: Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE'18), P. 119-133, ACM,
DOI: 10.1145/3278122.3278130,
[Online: http://doi.acm.org/10.1145/3278122.3278130],
[Conference Contribution]
Lars Luthmann ; Stephan Mennicke ; Malte Lochau (2018):
Unifying modal interface theories and compositional input/output conformance testing.
In: Science of Computer Programming, Elsevier,
DOI: 10.1016/j.scico.2018.09.008,
[Online: http://www.sciencedirect.com/science/article/pii/S0167642318304088],
[Article]
Markus Weckesser ; Malte Lochau ; Michael Ries ; Andy Schürr (2018):
Mathematical Programming for Anomaly Analysis of Clafer Models.
In: Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2018, Copenhagen, Denmark, October 14-19, 2018, P. 34-44,
DOI: 10.1145/3239372.3239398,
[Online: http://doi.acm.org/10.1145/3239372.3239398],
[Conference Contribution]
Sven Peldszus ; Geza Kulcsar ; Malte Lochau ; Sandro Schulze (2018):
On Continuous Detection of Design Flaws in Evolving Object-Oriented Programs using Incremental Multi-Pattern Matching.
In: Software Engineering und Software Management (SE'18), P. 143-144, GI,
[Online: https://dl.gi.de/20.500.12116/16314],
[Conference Contribution]
Lars Fritsche ; Geza Kulcsar (2018):
eMoflon: A Tool for Tools and Transformations.
In: Modellierung 2018, P. 301-302, GI,
[Online: https://dl.gi.de/20.500.12116/14949],
[Conference Contribution]
Lars Fritsche ; Jens Kosiol ; Andy Schürr ; Gabriele Taentzer (2018):
Short-Cut Rules — Sequential Composition of Rules Avoiding Unnecessary Deletions.
In: 9th International Workshop on Graph Computation Models (GCM'18), Springer, [Online: https://www.gcm2018.uni-bremen.de/assets/gcm_2018_paper_4.pdf],
[Conference Contribution]
Jens Kosiol ; Lars Fritsche ; Nebras Nassar ; Andy Schürr ; Gabriele Taentzer (2018):
Towards Establishing Consistency between Graph Transformation Rules and Atomic Graph Constraints Using Multi-Amalgamation.
In: 24th International Workshop on Recent Trends in Algebraic Development Techniques (WADT'18), Springer, [Online: http://wadt18.cs.rhul.ac.uk/submissions/WADT18A52.pdf],
[Conference Contribution]
Sebastian Ruland ; Geza Kulcsar ; Erhan Leblebici ; Sven Peldszus ; Malte Lochau (2018):
Controlling the Attack Surface of Object-Oriented Refactorings.
In: 21st International Conference on Fundamental Approaches to Software Engineering (FASE'18), P. 38-55, Springer,
DOI: 10.1007/978-3-319-89363-1_3,
[Online: https://doi.org/10.1007/978-3-319-89363-1_3],
[Conference Contribution]
Lars Luthmann ; Timo Gerecht ; Andreas Stephan ; Johannes Bürdek ; Malte Lochau (2018):
Minimum/maximum delay testing of product lines with unbounded parametric real-time constraints.
In: Journal of Systems and Software, Elsevier,
DOI: 10.1016/j.jss.2018.12.028,
[Online: http://www.sciencedirect.com/science/article/pii/S0164121218302851],
[Article]
Roland Kluge ; Michael Stein ; David Giessing ; Andy Schürr ; Max Mühlhäuser (2017):
cMoflon: Model-Driven Generation of Embedded C Code for Wireless Sensor Networks.
In: European Conference on Modelling Foundations and Applications (ECMFA), Marburg, Germany, 2017-07-19+20, In: Modelling Foundations and Applications, 10376, P. 109-125,
DOI: 10.1007/978-3-319-61482-3_7,
[Online: https://link.springer.com/chapter/10.1007/978-3-319-61482-3_7],
[Conference Contribution]
Martin Pfannemüller ; Christian Krupitzer ; Markus Weckesser ; Christian Becker (2017):
A Dynamic Software Product Line Approach for Adaptation Planning in Autonomic Computing Systems.
In: 14th IEEE International Conference on Autonomic Computing (ICAC), P. 247-254,
[Online: https://doi.org/10.1109/ICAC.2017.18],
[Conference Contribution]
Roland Kluge ; Michael Stein ; Gergely Varró ; Andy Schürr ; Matthias Hollick ; Max Mühlhäuser (2017):
A systematic approach to constructing incremental topology control algorithms using graph transformation.
In: Journal of Visual Languages & Computing, P. 47-83, ISSN 1045-926X, Elsevier,
DOI: 10.1016/j.jvlc.2016.10.003,
[Online: http://www.sciencedirect.com/science/article/pii/S1045926X15300483],
[Article]
Michael Stein ; Karsten Weihe ; Augustin Wilberg ; Roland Kluge ; Julian M. Klomp ; Mathias Schnee ; Lin Wang ; Max Mühlhäuser (2017):
Distributed Graph-based Topology Adaptation using Motif Signatures.
In: Proceedings of the ACM-SIAM Meeting on Algorithm Engineering & Experiments (ALENEX), Barcelona (Spain), In: 2017 Proceedings of the Ninteenth Workshop on Algorithm Engineering and Experiments (ALENEX), P. 1-12, Barcelona (Spain),
[Online: http://dx.doi.org/10.1137/1.9781611974768.1],
[Conference Contribution]
Markus Weckesser ; Malte Lochau ; Thomas Schnabel ; Björn Richerzhagen ; Andy Schürr (2017):
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, P. 125-126,
[Conference Contribution]
Frederik Deckwerth (2017):
Static Verification Techniques for Attributed Graph Transformations.
Darmstadt, Technische Universität Darmstadt,
[Online: http://tuprints.ulb.tu-darmstadt.de/6150],
[PhD Thesis]
Anthony Anjorin ; Zinovy Diskin ; Hsiang-Shang Ko ; Frédéric Jouault ; Erhan Leblebici ; Bernhard Westfechtel (2017):
BenchmarX Reloaded: A Practical Benchmark Framework for Bidirectional Transformations.
In: Proceedings of the 6th International Workshop on Bidirectional Transformations, In: CEUR Workshop Proceedings, 1827, P. 15-30, CEUR-WS.org,
[Online: http://ceur-ws.org/Vol-1827/paper6.pdf],
[Conference Contribution]
Erhan Leblebici ; Anthony Anjorin ; Andy Schürr (2017):
Inter-model Consistency Checking Using Triple Graph Grammars and Linear Optimization Techniques.
In: 20th International Conference on Fundamental Approaches to Software Engineering, In: Lecture Notes in Computer Science, 10202, P. 191-207, Springer,
DOI: 10.1007/978-3-662-54494-5_11,
[Online: https://doi.org/10.1007/978-3-662-54494-5_11],
[Conference Contribution]
Erhan Leblebici ; Anthony Anjorin ; Lars Fritsche ; Gergely Varró ; Andy Schürr (2017):
Leveraging Incremental Pattern Matching Techniques for Model Synchronisation.
In: 10th International Conference on Graph Transformation, In: Lecture Notes in Computer Science, 10373, P. 179-195, Springer,
DOI: 10.1007/978-3-319-61470-0_11,
[Online: https://doi.org/10.1007/978-3-319-61470-0_11],
[Conference Contribution]
Lars Luthmann ; Andreas Stephan ; Johannes Bürdek ; Malte Lochau (2017):
Modeling and Testing Product Lines with Unbounded Parametric Real-Time Constraints.
In: Proceedings of the 21st International Systems and Software Product Line Conference, P. 104-113, ISBN 978-1-4503-5221-5, ACM,
DOI: 10.1145/3106195.3106204,
[Online: http://doi.acm.org/10.1145/3106195.3106204],
[Conference Contribution]
Malte Lochau (2017):
Model-based quality assurance of cyber-physical systems with variability in space, over time and at runtime.
Darmstadt, Technische Universität Darmstadt,
[Habilitation]
Markus Weckesser ; Malte Lochau ; Michael Ries ; Andy Schürr (2017):
Towards Complete Consistency Checks of Clafer Models.
In: Proceedings of the 8th ACM SIGPLAN International Workshop on Feature-Oriented Software Development, P. 11-20, ISBN 978-1-4503-5518-6, ACM,
DOI: 10.1145/3141848.3141850,
[Online: http://doi.acm.org/10.1145/3141848.3141850],
[Conference Contribution]
Markus Weckesser ; Malte Lochau ; Michael Ries ; Andy Schürr (2017):
Towards Complete Consistency Checks of Clafer Models.
In: Proceedings of the 8th ACM SIGPLAN International Workshop on Feature-Oriented Software Development, New York, NY, USA, In: FOSD 2017, P. 11-20, ISBN 978-1-4503-5518-6, New York, NY, USA, ACM,
DOI: 10.1145/3141848.3141850,
[Online: http://doi.acm.org/10.1145/3141848.3141850],
[Conference Contribution]
Lars Fritsche ; Erhan Leblebici ; Anthony Anjorin ; Andy Schürr (2017):
A Look-Ahead Strategy for Rule-Based Model Transformations.
In: 11th International Workshop on Models and Evolution, P. 45-53, CEUR-WS.org,
[Online: http://ceur-ws.org/Vol-2019/me_1.pdf],
[Conference Contribution]
Mahsa Varshosaz ; Mohammad Reza Mousavi ; Lars Luthmann ; Malte Lochau (2017):
Expressive Power and Encoding of Transition System Models for Software Product Lines.
In: 29th Nordic Workshop on Programming Theory (NWPT'17), P. 57-59, Turku Centre for Computer Science,
[Online: https://research.it.abo.fi/nwpt17/proceedings/NWPT2017proceedings.pdf],
[Conference Contribution]
Matthias Wichtlhuber ; Sebastian Bücker ; Roland Kluge ; Mahdi Mousavi ; David Hausheer (2016):
Of Strategies and Structures: Motif-based Fingerprinting Analysis of Online Reputation Networks.
In: IEEE LCN, Dubai, UAE, 2016-11-07 - 2016-11-10, In: Proceedings of the IEEE Conference on Local Computer Networks (LCN 2016), P. 1-9,
[Online: http://ieeexplore.ieee.org/document/7796822/],
[Conference Contribution]
Lars Luthmann ; Stephan Mennicke ; Malte Lochau (2016):
Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing - Technical Report.
In: CoRR, arXiv,
DOI: 10.48550/arXiv.1606.09035,
[Online: http://arxiv.org/abs/1606.09035],
[Report]
Roland Kluge ; Anthony Anjorin (2016):
The Incremental Advantage: Evaluating the Performance of a TGG-based Visualisation Framework.
In: 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Vienna, 2016-07-05, In: Graph Transformation, 9761, P. 189-205,
[Online: https://link.springer.com/chapter/10.1007/978-3-319-40530-8_12],
[Conference Contribution]
Alexander Frömmgen ; Mohamed Hassan ; Roland Kluge ; Mahdi Mousavi ; Max Mühlhäuser ; Sabrina Müller ; Mathias Schnee ; Michael Stein ; Markus Weckesser (2016):
Mechanism Transitions: A New Paradigm for a Highly Adaptive Internet.
In: Technical report, ISSN 1864-0516, Darmstadt, Technische Universität,
[Online: http://tuprints.ulb.tu-darmstadt.de/5370],
[Report]
Thomas Schnabel ; Markus Weckesser ; Roland Kluge ; Malte Lochau ; Andy Schürr (2016):
CardyGAn: Tool Support for Cardinality-based Feature Models.
In: Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems, Salvador, Brazil, January 27 - 29, 2016, P. 33-40,
[Online: http://doi.acm.org/10.1145/2866614.2866619],
[Conference Contribution]
Markus Weckesser ; Malte Lochau ; Thomas Schnabel ; Björn Richerzhagen ; Andy Schürr (2016):
Mind the Gap! Automated Anomaly Detection for Potentially Unbounded Cardinality-Based Feature Models.
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, P. 158-175,
[Online: http://dx.doi.org/10.1007/978-3-662-49665-7_10],
[Conference Contribution]
Anthony Anjorin ; Erhan Leblebici ; Andy Schürr (2016):
20 Years of Triple Graph Grammars: A Roadmap for Future Research.
In: Electronic Communications of the EASST, P. 1-20, ISSN 1863-2122,
[Online: http://dx.doi.org/10.14279/tuj.eceasst.73],
[Article]
Michael Stein ; Alexander Frömmgen ; Roland Kluge ; Frank Löffler ; Andy Schürr ; Alejandro Buchmann ; Max Mühlhäuser (2016):
TARL: Modeling Topology Adaptations for Networking Applications.
In: 11th Int. Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), P. 1-7, ACM,
[Online: https://dl.acm.org/citation.cfm?id=2897061],
[Conference Contribution]
Michael Stein ; Roland Kluge ; Dario Mirizzi ; Stefan Wilk ; Andy Schürr ; Max Mühlhäuser (2016):
Transitions on Multiple Layers for Scalable, Energy-Efficient and Robust Wireless Video Streaming.
In: IEEE Int. Conference on Pervasive Computing and Communications (PerCom), P. 1-3,
[Online: http://ieeexplore.ieee.org/document/7457079],
[Conference Contribution]
Erhan Leblebici (2016):
Towards a Graph Grammar-Based Approach to Inter-Model Consistency Checks with Traceability Support.
In: 5th International Workshop on Bidirectional Transformations (BX 2016), In: Proceedings of the 5th International Workshop on Bidirectional Transformations, 1571, P. 35-39,
[Online: http://ceur-ws.org/Vol-1571/paper_5.pdf],
[Conference Contribution]
Johannes Bürdek ; Timo Kehrer ; Malte Lochau ; Dennis Reuling ; Udo Kelter ; Andy Schürr (2016):
Reasoning about product-line evolution using complex feature model differences.
In: Automated Software Engineering, 23, P. 687-733,
[Conference Contribution]
Malte Lochau ; Johannes Bürdek ; Stefan Bauregger ; Andreas Holzer ; Alexander von Rhein ; Sven Apel ; Dirk Beyer (2016):
On facilitating reuse in multi-goal test-suite generation for software product lines.
In: Software Engineering, SE 2016, P. 81-82,
[Online: http://subs.emis.de/LNI/Proceedings/Proceedings252/article31.html],
[Conference Contribution]
Mustafa Al-Hajjaji ; Sebastian Krieter ; Thomas Thüm ; Malte Lochau ; Gunter Saake (2016):
IncLing: Efficient Product-line Testing Using Incremental Pairwise Sampling.
In: Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE 2016), P. 144-155, ISBN 978-1-4503-4446-3, ACM,
[Online: http://dx.doi.org/10.1145/2993236.2993253],
[Conference Contribution]
Frederik Deckwerth ; Geza Kulcsar ; Malte Lochau ; Gergely Varró ; Andy Schürr (2016):
Conflict Detection for Edits on Extended Feature Models using Symbolic Graph Transformation.
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, P. 17-31,
[Online: http://dx.doi.org/10.4204/EPTCS.206.3],
[Conference Contribution]
Sven Peldszus ; Geza Kulcsar ; Malte Lochau ; Sandro Schulze (2016):
Continuous detection of design flaws in evolving object-oriented programs using incremental multi-pattern matching.
In: Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, P. 578-589,
[Online: http://doi.acm.org/10.1145/2970276.2970338],
[Conference Contribution]
Erhan Leblebici ; Anthony Anjorin ; Andy Schürr ; Gabriele Taentzer (2016):
Multi-amalgamated triple graph grammars: Formal foundation and application to visual language translation.
In: Journal of Visual Languages and Computing, P. 1-23, ISSN 1045-926X,
[Online: http://www.sciencedirect.com/science/article/pii/S1045926X15300604],
[Conference Contribution]
Malte Lochau ; Stephan Mennicke ; Hauke Baller ; Lars Ribbeck (2016):
Incremental model checking of delta-oriented software product lines.
In: J. Log. Algebr. Meth. Program., 85, P. 245-267,
[Online: http://dx.doi.org/10.1016/j.jlamp.2015.09.004],
[Conference Contribution]
Geza Kulcsar ; Anthony Anjorin (2016):
Towards a Step Semantics for Story-Driven Modelling.
In: Second Workshop on Graphs as Models (GaM'16), P. 42-56,
[Online: http://dx.doi.org/10.4204/EPTCS.231.4],
[Conference Contribution]
Christian Krupitzer ; Felix Maximilian Roth ; Christian Becker ; Markus Weckesser ; Malte Lochau ; Andy Schürr (2016):
FESAS IDE: An Integrated Development Environment for Autonomic Computing.
In: 2016 IEEE International Conference on Autonomic Computing, ICAC 2016, Wuerzburg, Germany, July 17-22, 2016, P. 15-24,
[Online: http://dx.doi.org/10.1109/ICAC.2016.49],
[Conference Contribution]
Lars Luthmann ; Stephan Mennicke ; Malte Lochau (2016):
Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing.
In: 13th International Conference on Formal Aspects of Component Software (FACS 2016), P. 54-72, ISBN 978-3-319-57666-4, Springer International Publishing,
[Online: http://dx.doi.org/10.1007/978-3-319-57666-4_5],
[Conference Contribution]
Anthony Anjorin ; Erhan Leblebici ; Roland Kluge ; Andy Schürr ; Perdita Stevens (2015):
A Systematic Approach and Guidelines to Developing a Triple Graph Grammar.
In: Proceedings of the 4th International Workshop on Bidirectional Transformations, 1396, P. 81-95,
[Online: http://ceur-ws.org/Vol-1396/bx2015.pdf#page=85],
[Conference Contribution]
Roland Kluge ; Gergely Varró ; Andy Schürr (2015):
A Methodology for Designing Dynamic Topology Control Algorithms via Graph Transformation.
In: 8th International Conference on Model Transformation (ICMT), In: Lecture Notes in Computer Science, 9152, P. 199-213,
[Online: http://dx.doi.org/10.1007/978-3-319-21155-8_15],
[Conference Contribution]
Gergely Varró ; Frederik Deckwerth ; Martin Wieber ; Andy Schürr (2015):
An Algorithm for Generating Model-Sensitive Search Plans for Pattern Matching on EMF Models.
In: Software and Systems Modeling, P. 597-621, Heidelberg, Springer Verlag,
[Online: http://dx.doi.org/10.1007/s10270-013-0372-2],
[Article]
Lars Luthmann ; Stephan Mennicke ; Malte Lochau (2015):
Towards an I/O Conformance Testing Theory for Software Product Lines based on Modal Interface Automata.
In: Proceedings of the 6th Workshop on Formal Methods and Analysis in SPL Engineering, In: Electronic Proceedings in Theoretical Computer Science, 182, P. 1-13,
[Online: http://dx.doi.org/ 10.4204/EPTCS.182.1],
[Conference Contribution]
Geza Kulcsar ; Frederik Deckwerth ; Malte Lochau ; Gergely Varró ; Andy Schürr (2015):
Improved Conflict Detection for Graph Transformation with Attributes.
In: Graphs as Models, GaM 2015, In: Graphs as Models, 181, P. 97-112,
[Online: http://dx.doi.org/10.4204/EPTCS.181.7],
[Conference Contribution]
Karsten Saller (2015):
Model-Based Runtime Adaptation of Resource Constrained Devices.
Darmstadt, Universitäts- und Landesbibliothek Darmstadt, Technische Universität Darmstadt,
[Online: http://tuprints.ulb.tu-darmstadt.de/4322],
[PhD Thesis]
Malte Lochau ; Johannes Bürdek ; Stefan Hölzle ; Andy Schürr (2015):
Specification and automated validation of staged reconfiguration processes for dynamic software product lines.
In: Software & Systems Modeling, P. 125-152, ISSN 1619-1366, Springer Berlin Heidelberg,
[Online: http://dx.doi.org/10.1007/s10270-015-0470-4],
[Article]
Anthony Anjorin ; Karsten Saller ; Malte Lochau ; Andy Schürr (2015):
On Modularizing Triple Graph Grammars with Rule Refinement.
In: Software Engineering & Management, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), P. 95-96,
[Conference Contribution]
Johannes Bürdek ; Malte Lochau ; Stefan Bauregger ; Andreas Holzer ; Alexander von Rhein ; Sven Apel ; Dirk Beyer (2015):
Facilitating Reuse in Multi-goal Test-Suite Generation for Software Product Lines.
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, P. 84-99,
[Online: http://dx.doi.org/10.1007/978-3-662-46675-9_6],
[Conference Contribution]
Martin Simon Wieber (2015):
Qualitätssicherung von Modelltransformationen - Über das dynamische Testen programmierter Graphersetzungssysteme.
Darmstadt, Hessia, Germany, Technische Universität Darmstadt,
[Online: http://tuprints.ulb.tu-darmstadt.de/4678],
[PhD Thesis]
Erhan Leblebici ; Anthony Anjorin ; Andy Schürr ; Gabriele Taentzer (2015):
Multi-amalgamated Triple Graph Grammars.
In: 8th International Conference on Graph Transformation (ICGT 2015), In: Graph Transformation - 8th International Conference, ICGT 2015, 9151, P. 87-103, ISBN 978-3-319-21144-2, Springer International Publishing,
[Online: http://dx.doi.org/10.1007/978-3-319-21145-9_6],
[Conference Contribution]
Erhan Leblebici ; Anthony Anjorin ; Andy Schürr (2015):
Tool Support for Multi-amalgamated Triple Graph Grammars.
In: 8th International Conference on Graph Transformation (ICGT 2015), In: Graph Transformation - 8th International Conference, ICGT 2015, 9151, P. 257-265,
[Online: http://dx.doi.org/10.1007/978-3-319-21145-9_16],
[Conference Contribution]
Sven Peldszus ; Geza Kulcsar ; Malte Lochau (2015):
A Solution to the Java Refactoring Case Study using eMoflon.
L'Aquila, In: Proceedings of the 8th Transformation Tool Contest, a part of the Software Technologies: Applications and Foundations (STAF) federation of conferences, 1524, P. 118-122,
[Online: http://ceur-ws.org/Vol-1524/paper20.pdf],
[Conference Contribution]
Geza Kulcsar ; Sven Peldszus ; Malte Lochau (2015):
Object-oriented Refactoring of Java Programs using Graph Transformation.
L'Aquila, In: Proceedings of the 8th Transformation Tool Contest, a part of the Software Technologies: Applications and Foundations (STAF) 2015 federation of conferences, 1524, P. 53-82,
[Online: http://ceur-ws.org/Vol-1524/paper3.pdf],
[Conference Contribution]
Sven Peldszus ; Geza Kulcsar ; Malte Lochau ; Sandro Schulze (2015):
Incremental Co-Evolution of Java Programs based on Bidirectional Graph Transformation.
In: Proceedings of the Principles and Practices of Programming on The Java Platform (PPPJ), P. 138-151,
[Online: http://doi.acm.org/10.1145/2807426.2807438],
[Conference Contribution]
Fabian Benduhn ; Thomas Thüm ; Malte Lochau ; Thomas Leich ; Gunter Saake (2015):
A Survey on Modeling Techniques for Formal Behavioral Verification of Software Product Lines.
In: Proceedings of the Ninth International Workshop on Variability Modelling of Software-intensive Systems, P. 80-87,
[Online: http://doi.acm.org/10.1145/2701319.2701332],
[Conference Contribution]
Dennis Reuling ; Johannes Bürdek ; Serge Rotärmel ; Malte Lochau ; Udo Kelter (2015):
Fault-based product-line testing: effective sample generation based on feature-diagram mutation.
In: Proceedings of the 19th International Conference on Software Product Line (SPLC), P. 131-140,
[Online: http://doi.acm.org/10.1145/2791060.2791074],
[Conference Contribution]
Sascha Lity ; Johannes Bürdek ; Malte Lochau ; Markus Berens ; Ina Schaefer (2015):
Re-Engineering Automation Systems as Dynamic Software Product Lines.
In: Proceedings of the 11th Dagstuhl-Workshop on Model-Based Development of Embedded Systems (MBEES), P. 43-52,
[Conference Contribution]
Anthony Anjorin (2014):
Synchronization of Models on Different Abstraction Levels using Triple Graph Grammars.
Darmstadt, Technische Universität Darmstadt,
[Online: http://tuprints.ulb.tu-darmstadt.de/4399],
[PhD Thesis]
Malte Lochau ; Stephan Mennicke ; Hauke Baller ; Lars Ribbeck (2014):
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), P. 320-335,
[Conference Contribution]
Mustafa Al-Hajjaji ; Thomas Thüm ; Jens Meinicke ; Malte Lochau ; Gunter Saake (2014):
Similarity-based Prioritization in Software Product-Line Testing.
In: Proceedings of the 18th International Software Product Line Conference, In: Software Product Line Conference, P. 197-206,
[Conference Contribution]
Stephan Mennicke ; Malte Lochau ; Julia Schroeter ; Tim Winkelmann (2014):
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, P. 62-71,
[Conference Contribution]
Elodie Legros (2014):
Definition of a Type System for Generic and Reflective Graph Transformations.
Technische Universität Darmstadt,
[Online: http://tuprints.ulb.tu-darmstadt.de/4119],
[PhD Thesis]
Frederik Deckwerth ; Gergely Varró (2014):
Attribute Handling for Generating Preconditions from Graph Constraints.
In: 7th International Conference on Graph Transformation (ICGT), In: Lecture Notes in Computer Science (LNCS), 8571, P. 81-96, Springer Verlag,
[Online: http://dx.doi.org/10.1007/978-3-319-09108-2_6],
[Conference Contribution]
Geza Kulcsar ; Michael Stein ; Immanuel Schweizer ; Gergely Varró ; Max Mühlhäuser ; Andy Schürr (2014):
Rapid Prototyping of Topology Control Algorithms by Graph Transformation.
In: 8th International Workshop on Graph-Based Tools (GraBaTs), In: Electronic Communications of the EASST, ISSN 1863-2122, Technische Universität Berlin,
DOI: 10.14279/tuj.eceasst.68.957.938,
[Online: http://journal.ub.tu-berlin.de/eceasst/article/view/957],
[Article]
Frederik Deckwerth ; Gergely Varró (2014):
Generating Preconditions from Graph Constraints by Higher Order Graph Transformation.
In: Proc. of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques, In: Electronic Communications of the EASST, 67, European Assoc. of Software Science and Technology,
[Online: http://journal.ub.tu-berlin.de/eceasst/article/view/945],
[Conference Contribution]
Sven Patzina (2014):
Entwicklung einer Spezifikationssprache zur modellbasierten Generierung von Security-/Safety-Monitoren zur Absicherung von (Eingebetteten) Systemen.
Darmstadt, Technische Universität Darmstadt,
[Online: http://tuprints.ulb.tu-darmstadt.de/4132],
[PhD Thesis]
Hauke Baller ; Sascha Lity ; Malte Lochau ; Ina Schaefer (2014):
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), Los Alamitos, IEEE Computer Society Press,
[Conference Contribution]
Anthony Anjorin ; Karsten Saller ; Malte Lochau ; Andy Schürr (2014):
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), [Conference Contribution]
Michael Schlereth (2014):
Platform Independent Specification of Engineering Model Transformations.
Technische Universität Darmstadt,
[Online: http://tuprints.ulb.tu-darmstadt.de/4007],
[PhD Thesis]
Erhan Leblebici ; Anthony Anjorin ; Andy Schürr (2014):
A Catalogue of Optimization Techniques for Triple Graph Grammars.
In: Modellierung 2014, In: Lecture Notes in Informatics, 225, P. 225-240, Bonn, Gesellschaft für Informatik,
[Conference Contribution]
Anthony Anjorin ; Alcino Cunha ; Holger Giese ; Frank Hermann ; Arend Rensink ; Andy Schürr (2014):
BenchmarX.
In: Bidirectional Transformations (BX 2014) - Workshops of the EDBT/ICDT 2014 Joint Conference, 1133, P. 82-86, Sun SITE,
[Conference Contribution]
Erhan Leblebici ; Anthony Anjorin ; Andy Schürr (2014):
Developing eMoflon with eMoflon.
In: ICMT 2014, In: Lecture Notes in Computer Science (LNCS), 8568, P. 138-145, Heidelberg, Springer Verlag,
[Conference Contribution]
Erhan Leblebici ; Anthony Anjorin ; Andy Schürr ; Stephan Hildebrandt ; Jan Rieke ; Joel Greenyer (2014):
A Comparison of Incremental Triple Graph Grammar Tools.
In: Proc. of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques, In: Electronic Communications of EASST, 67, European Assoc. of Software Science and Technology,
[Conference Contribution]
Martin Wieber ; Anthony Anjorin ; Andy Schürr (2014):
On the Usage of TGGs for Automated Model Transformation Testing.
In: ICMT 2014, In: Lecture Notes in Computer Science (LNCS), 8568, P. 1-16, Heidelberg, Springer Verlag,
[Conference Contribution]
Anthony Anjorin ; Sebastian Rose ; Frederik Deckwerth ; Andy Schürr (2014):
Efficient Model Synchronization with View Triple Graph Grammars.
In: Modelling Foundations and Applications - 10th European Conference (ECMFA 2014), In: Lecture Notes in Computer Science (LNCS), 8569, P. 1-17, Heidelberg, Springer Verlag,
[Online: http://link.springer.com/chapter/10.1007/978-3-319-09195-2_1],
[Conference Contribution]
Malte Lochau ; Sven Peldszus ; Matthias Kowal ; Ina Schaefer (2014):
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, P. 310-342, Heidelberg, Springer Verlag,
[Conference Contribution]
Anthony Anjorin ; Erhan Leblebici ; Andy Schürr ; Gabriele Taentzer (2014):
A Static Analysis of Non-Confluent Triple Graph Grammars for Efficient Model Transformation.
In: ICGT 2014, In: Lecture Notes in Computer Science (LNCS), 8571, P. 130-145, Switzerland, Springer International Publishing,
[Conference Contribution]
Andy Schürr ; Arend Rensink (2014):
Software and systems modeling with graph transformations theme issue of the Journal on Software and Systems Modeling.
In: Software and Systems Modeling, P. 171-172, Heidelberg, Springer Verlag,
[Article]
Lars Patzina (2014):
Generierung von effizienten Security-/Safety-Monitoren aus modellbasierten Beschreibungen.
Darmstadt, Technische Universität Darmstadt,
[Online: http://tuprints.ulb.tu-darmstadt.de/4133],
[PhD Thesis]
Malte Lochau ; Johannes Bürdek ; Sascha Lity ; Matthias Hagner ; Christoph Legat ; Ursula Goltz ; Andy Schürr (2014):
Applying Model-based Software Product Line Testing Approaches to the Automation Engineering Domain.
In: Automatisierungstechnik, 62, P. 771-780,
[Book Section]
Johannes Bürdek ; Sascha Lity ; Malte Lochau ; Markus Berens ; Ursula Goltz ; Andy Schürr (2014):
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, New York, ACM Press,
[Conference Contribution]
Geza Kulcsar ; Erhan Leblebici ; Anthony Anjorin (2014):
A Solution to the FIXML Case Study Using Triple Graph Grammars and eMoflon.
In: Proceedings of the 7th Transformation Tool Contest part of the Software Technologies: Applications and Foundations (STAF 2014) federation of conferences, York, United Kingdom, July 25, 2014., P. 71-75,
[Online: http://ceur-ws.org/Vol-1305/paper18.pdf],
[Conference Contribution]
Hauke Baller ; Malte Lochau (2014):
Towards Incremental Test Suite Optimization for Software Product Lines.
In: Proceedings of the 6th International Workshop on Feature-Oriented Software Development, In: FOSD '14, P. 30-36, ISBN 978-1-4503-2980-4, New York, NY, USA, ACM,
[Online: http://doi.acm.org/10.1145/2660190.2662115],
[Conference Contribution]
Anthony Anjorin ; Karsten Saller ; Ingo Reimund ; Sebastian Oster ; Ivan Zorcic ; Andy Schürr (2013):
Model-driven rapid prototyping with programmed graph transformations.
In: Journal of Visual Languages & Computing, P. 441-462, ISSN 1045-926X, Elsevier Ltd.,
[Online: http://www.sciencedirect.com/science/article/pii/S1045926X1300044X],
[Article]
Karsten Schwenk (2013):
Filtering Techniques for Low-Noise Previews of Interactive Stochastic Ray Tracing.
Darmstadt, Germany, Technische Universität Darmstadt,
[Online: http://tuprints.ulb.tu-darmstadt.de/3590],
[PhD Thesis]
Lars Patzina ; Sven Patzina ; Thorsten Piper ; Paul Manns (2013):
Model-based Generation of Run-time Monitors for AUTOSAR.
In: Modelling Foundations and Applications - 9th European Conference (ECMFA 2013), In: Lecture Notes in Computer Science (LNCS), 7949, P. 70-85, Heidelberg, Springer Verlag,
[Conference Contribution]
Karsten Saller ; Kamill Panitzek ; Max Lehn (2013):
Benchmarking Methodology.
In: Benchmarking Peer-to-Peer Systems: Understanding the Quality of Service in Large-Scale Distributed Systems, 7847, P. 19-47, ISBN 978-3-642-38672-5, Heidelberg, Springer Verlag,
DOI: 10.1007/978-3-642-38673-2_3,
[Online: http://link.springer.com/chapter/10.1007/978-3-642-38673-2_3],
[Book Section]
Gergely Varró ; Frederik Deckwerth (2013):
A Rete Network Construction Algorithm for Incremental Pattern Matching.
In: Proceedings of the 6th International Conference on Model Transformation, In: Lecture Notes in Computer Science (LNCS), 7909, P. 125-140, Heidelberg, Springer Verlag,
[Online: http://link.springer.com/chapter/10.1007%2F978-3-642-38883-5_13],
[Conference Contribution]
Dominik Stingl ; Christian Gross ; Karsten Saller (2013):
Decentralized Monitoring in Peer-to-Peer systems.
In: Benchmarking peer-to-peer systems ; understanding quality of service in large-scale distributed systems, P. 81-113, ISBN 978-3-642-38672-5, Springer Verlag Heidelberg,
[Book Section]
Karsten Saller ; Malte Lochau ; Ingo Reimund (2013):
Context-aware DSPLs: model-based runtime adaptation for resource-constrained systems.
In: 17th International Software Product Line Conference co-located workshops, In: SPLC '13 Workshops, P. 106-113, ISBN 978-1-4503-2325-3, New York, NY, USA, ACM,
[Online: http://doi.acm.org/10.1145/2499777.2500716],
[Conference Contribution]
Martin Wieber ; Andy Schürr (2013):
Systematic Testing of Graph Transformations: A Practical Approach Based on Graph Patterns.
In: Theory and Practice of Model Transformations (Proc. of the 6th International Conference on Model Transformation), In: Theory and Practice of Model Transformations. - Eds. Keith Duddy; Gerti Kappel, 7909, P. 205-220, ISBN 978-3-642-38882-8, Heidelberg, Springer Verlag,
[Book Section]
Malte Lochau ; Sascha Lity ; Remo Lachmann ; Ina Schaefer ; Ursula Goltz (2013):
Delta-oriented model-based integration testing of large-scale systems.
In: Journal of Systems and Software, Amsterdam, Elsevier Science Publ.,
[Article]
Sascha Lity ; Remo Lachmann ; Malte Lochau ; Michael Dukaczewski ; Ina Schaefer (2013):
Delta-orientiertes Testen von variantenreichen Systemen.
In: OBJEKTspektrum, SIGS DATACOM,
[Article]
Michael Dukaczewski ; Ina Schaefer ; Remo Lachmann ; Malte Lochau (2013):
Requirements-Based Delta-Oriented SPL Testing.
In: 4th International IEEE Workshop on Product Line Approaches in Software Engineering (PLEASE), [Conference Contribution]
Sandro Schulze ; Malte Lochau ; Saskia Brunswig (2013):
Implementing Refactorings for FOP - Lessons Learned and Challenges Ahead.
In: FOSD-Treffen 2013, [Conference Contribution]
Stephan Hildebrandt ; Leen Lambers ; Holger Giese ; Jan Rieke ; Joel Greenyer ; Wilhelm Schäfer ; Marius Lauder ; Anthony Anjorin ; Andy Schürr (2013):
A Survey of Triple Graph Grammar Tools.
In: BX 2013, In: Electronic Communications of the EASST, 57, European Assoc. of Software Science and Technology,
[Conference Contribution]
Sascha Lity ; Remo Lachmann ; Malte Lochau ; Ina Schaefer (2013):
Delta-oriented Software Product Line Test Models - The Body Comfort System Case Study.
[Report]
Anthony Anjorin ; Marius Lauder (2013):
A Solution to the Flowgraphs Case Study using Triple Graph Grammars and eMoflon.
In: Sixth Transformation Tool Contest, TTC 2013, In: Electronic Proceedings in Theoretical Computer Science (EPTCS), 135, P. 69-74,
[Conference Contribution]
Marius Lauder (2012):
Incremental Model Synchronization with Precedence-Driven Triple Graph Grammars.
Darmstadt, Technische Universität Darmstadt,
[Online: http://tuprints.ulb.tu-darmstadt.de/3352],
[PhD Thesis]
Manuel Wimmer ; Gerti Kappel ; Angelika Kusel ; Werner Retschitzegger ; Johannes Schönböck ; Wieland Schwinger ; Dimitris Kolovos ; Richard Paige ; Marius Lauder ; Andy Schürr ; Dennis Wagelaar (2012):
Surveying Rule Inheritance in Model-to-Model Transformation Languages.
In: Journal of Object Technology, P. 1-46, JOT,
[Article]
Sascha Lity ; Malte Lochau ; Ina Schaefer ; Ursula Goltz (2012):
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), P. 53-56, Los Alamitos, IEEE Computer Society Press,
[Conference Contribution]
Andy Schürr ; Ulrich Epple (2012):
Modellierung in der Automatisierungstechnik (MAT 2012).
In: Softwaretechnik-Trends, P. 77, Bonn, Gesellschaft für Informatik,
[Article]
Marius Lauder ; Anthony Anjorin ; Gergely Varró ; Andy Schürr (2012):
Bidirectional Model Transformation with Precedence Triple Graph Grammars.
Darmstadt, Universitäts- und Landesbibliothek Darmstadt,
[Online: http://nbn-resolving.de/urn/resolver.pl?urn=urn:nbn:de:tuda-tuprints-29162],
[Report]
(2012):
Modellierung 2012.
In: Lecture Notes in Informatics, 201, ISBN 978-3-88579-295-6, Bonn, Gesellschaft für Informatik,
[Book]
Felix Klar (2012):
Efficient and Compatible Bidirectional Formal Language Translators based on Extended Triple Graph Grammars.
Technische Universität Darmstadt,
[Online: http://nbn-resolving.de/urn/resolver.pl?urn=urn:nbn:de:tuda-tuprints-28942],
[PhD Thesis]
Sebastian Oster (2012):
Feature Model-based Software Product Line Testing.
Darmstadt, Technische Universität Darmstadt,
[Online: https://tuprints.ulb.tu-darmstadt.de/2881],
[PhD Thesis]
Levi Lucio ; Stephan Weißleder ; Frederic Fondement ; Harald Cichos (2012):
MoDeVVa 2011 Workshop Summary.
In: Models in Software Engineering, 7167, P. 183-186, Springer Verlag,
[Online: http://www.springerlink.com/content/0t417qr7420l4h46/],
[Conference Contribution]
Harald Cichos ; Malte Lochau ; Sebastian Oster ; Andy Schürr (2012):
Reduktion von Testsuiten für Software-Produktlinien.
In: Proceedings of the Software Engineering 2012, P. 143-154,
[Conference Contribution]
Gergely Varró ; Frederik Deckwerth ; Martin Wieber ; Andy Schürr (2012):
An Algorithm for Generating Model-Sensitive Search Plans for EMF Models.
In: Theory and Practice of Model Transformations, 7307, P. 224-239, Berlin-Heidelberg, Springer,
[Online: http://dx.doi.org/10.1007/978-3-642-30476-7_15],
[Book Section]
Andy Schürr ; Bran Selic Selic (2012):
Guest editorial to the special issue on MODELS 2009.
In: Software and Systems Modeling, P. 325-326, Heidelberg, Springer Verlag,
[Article]
(2012):
Proceedings of the 4th International Symposium on Applications of Graph Transformations with Industrial Relevance.
In: Lecture Notes in Computer Science (LNCS), 7233, Heidelberg, Springer Verlag,
[Book]
Gabor Bergmann ; István Ráth ; Gergely Varró ; Dániel Varró (2012):
Change-Driven Model Transformations: Change (in) the Rule to Rule the Change.
Heidelberg, In: Int. Journal on Software and Systems Modeling (SOSYM), P. 431-461, Heidelberg, Springer Verlag,
[Article]
Matthias Gietzelt ; Ursula Goltz ; David Grünwald ; Malte Lochau ; Michael Marschollek ; Bianying Song ; Klaus Wolf (2012):
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, P. 114-125,
[Article]
Sven Patzina ; Lars Patzina (2012):
A Case Study Based Comparison of ATL and SDM.
In: Applications of Graph Transformations with Industrial Relevance, Heidelberg, In: Lecture Notes in Computer Science (LNCS), 7233, P. 210-221, Heidelberg, Springer Verlag,
[Conference Contribution]
Anthony Anjorin ; Sebastian Oster ; Ivan Zorcic ; Andy Schürr (2012):
Optimizing Model-Based Software Product Line Testing with Graph Transformations.
In: Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT 2012), In: Electronic Communications of the EASST, 47, European Assoc. of Software Science and Technology,
[Conference Contribution]
Michaela Steffens ; Sebastian Oster ; Malte Lochau ; Thomas Fogdal (2012):
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, P. 55-62, New York, ACM Press,
[Conference Contribution]
Gergely Varró ; Anthony Anjorin ; Andy Schürr (2012):
Unification of Compiled and Interpreter-Based Pattern Matching Techniques.
In: Proc. of the 8th European Conference on Modelling Foundations and Applications, Heidelberg, In: Lecture Notes in Computer Science (LNCS), 7349, P. 368-383, Heidelberg, Springer Verlag,
[Conference Contribution]
Anthony Anjorin ; Marius Lauder ; Andy Schürr (2012):
eMoflon: A Metamodelling and Model Transformation Tool.
In: Joint Proceedings of the Co-located Events at the 8th European Conference on Modelling Foundations and Applications, Copenhagen, Denmark, P. 348, Copenhagen, Denmark, Technical University of Denmark (DTU),
[Conference Contribution]
Anthony Anjorin ; Gergely Varró ; Andy Schürr (2012):
Complex Attribute Manipulation in TGGs with Constraint-Based Programming Techniques.
In: Proceedings of the First International Workshop on Bidirectional Transformations (BX 2012), In: Electronic Communications of the EASST, 49, European Assoc. of Software Science and Technology,
[Conference Contribution]
Anthony Anjorin ; Andy Schürr ; Gabriele Taentzer (2012):
Construction of Integrity Preserving Triple Graph Grammars.
In: Proceedings of the 6th International Conference on Graph Transformation (ICGT 2012), Heidelberg, In: Lecture Notes in Computer Science (LNCS), 7562, P. 356-370, Heidelberg, Springer Verlag,
[Conference Contribution]
Martin Wieber ; Andy Schürr (2012):
Gray Box Coverage Criteria for Testing Graph Pattern Matching.
In: Graph-Based Tools 2012, In: Electronic Communications of the EASST, 54, European Assoc. of Software Science and Technology,
[Conference Contribution]
Jochen Kamischke ; Malte Lochau ; Hauke Baller (2012):
Conditioned Model Slicing of Feature-annotated State Machines.
In: Proceedings of the 4th International Workshop on Feature-Oriented Software Development, New York, NY, USA, In: FOSD '12, P. 9-16, ISBN 978-1-4503-1309-4, New York, NY, USA, ACM,
[Online: http://doi.acm.org/10.1145/2377816.2377818],
[Conference Contribution]
Malte Lochau ; Jochen Kamischke (2012):
Parameterized Preorder Relations for Model-Based Testing of Software Product Lines.
In: Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 7609, P. 223-237, ISBN 978-3-642-34025-3, Springer Berlin Heidelberg,
[Online: http://dx.doi.org/10.1007/978-3-642-34026-0_17],
[Conference Contribution]
Malte Lochau ; Ina Schaefer ; Jochen Kamischke ; Sascha Lity (2012):
Incremental Model-Based Testing of Delta-Oriented Software Product Lines.
In: Tests and Proofs, 7305, P. 67-82, ISBN 978-3-642-30472-9, Springer Berlin Heidelberg,
[Online: http://dx.doi.org/10.1007/978-3-642-30473-6_7],
[Conference Contribution]
Julia Schroeter ; Malte Lochau ; Tim Winkelmann (2012):
Multi-perspectives on Feature Models.
In: Model Driven Engineering Languages and Systems, 7590, P. 252-268, ISBN 978-3-642-33665-2, Springer Berlin Heidelberg,
[Online: http://dx.doi.org/10.1007/978-3-642-33666-9_17],
[Conference Contribution]
R. Görke ; Roland Kluge ; A. Schumm ; C. Staudt ; D. Wagner (2012):
An Efficient Generator for Clustered Dynamic Random Networks.
In: Design and Analysis of Algorithms - First Mediterranean Conference on Algorithms, MedAlg 2012, Kibbutz Ein Gedi, Israel, December 3-5, 2012. Proceedings, Switzerland, In: Lecture Notes in Computer Science (LNCS), 7659, P. 219-233, Switzerland, Springer International Publishing,
[Online: https://link.springer.com/chapter/10.1007/978-3-642-34862-4_16],
[Conference Contribution]
David Grünwald ; Malte Lochau ; E. Börger ; Ursula Goltz (2012):
An Abstract State Machine Model for the Generic Java Type System.
[Report]
Malte Lochau (2012):
Model-Based Conformance Testing of Software Product Lines.
Verlag Dr. Hut,
[PhD Thesis]
Marius Lauder ; Anthony Anjorin ; Gergely Varró ; Andy Schürr (2012):
Efficient Model Synchronization with Precedence Triple Graph Grammars.
In: Proceedings of the 6th International Conference on Graph Transformation, Bremen, Germany, In: LNCS, 7562, P. 401-415, Bremen, Germany, Springer Berlin / Heidelberg,
[Conference Contribution]
Michael Riecker ; W. Müller ; Matthias Hollick ; Karsten Saller (2011):
A Secure Monitoring and Control System for Wireless Sensor Networks.
Paderborn, Paderborn, Universität Paderborn,
[Report]
Harald Cichos ; Sebastian Oster ; Malte Lochau ; Andy Schürr (2011):
Model-based Coverage-Driven Test Suite Generation for Software Product Lines.
In: Proceedings of the ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems (MoDELS), 6981, P. 425-439,
[Conference Contribution]
Sven Patzina ; Lars Patzina ; Andy Schürr (2011):
Extending LSCs for Behavioral Signature Modeling.
In: Proceedings of 26th IFIP TC-11 International Information Security Conference (IFIP, Heidelberg, Springer Verlag,
[Conference Contribution]
M. Detten ; J. Rieke ; C. Heinzemann ; D. Travkin ; Marius Lauder (2011):
A new Meta-Model for Story Diagrams.
In: Proceedings of the 8th International Fujaba Days, University of Tartu, Estonia, May 11-13, 2011, Kassel, In: Kasseler Informatikschriften (KIS), 2012, 1, P. 1-5, Kassel, Universität Kassel,
[Conference Contribution]
Patrick Mukherjee (2011):
A fully Decentralized, Peer-to-Peer Based Version Control System.
Darmstadt, Technische Universität Darmstadt,
[Online: http://nbn-resolving.de/urn/resolver.pl?urn=urn:nbn:de:tuda-tuprints-24883],
[PhD Thesis]
Sebastian Oster ; A. Wübbeke ; G. Engels ; Andy Schürr (2011):
A Survey of Model-Based Software Product Lines Testing.
In: {Model-based Testing for Embedded System, P. 339-381, CRC Press/Taylor & Francis,
[Book Section]
Sebastian Oster ; Ivan Zorcic ; Florian Markert ; Malte Lochau (2011):
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, P. 79-82, New York, ACM Press,
[Conference Contribution]
Alexander Biedermann ; Thorsten Piper ; Lars Patzina ; Sven Patzina ; Sorin A. Huss ; Andy Schürr ; Neeraj Suri (2011):
Enhancing FPGA Robustness via Generic Monitoring Cores.
In: 1st International Conference on Pervasive and Embedded Computing and Communication Systems, [Conference Contribution]
Harald Cichos ; Sebastian Oster ; Malte Lochau ; Andy Schürr (2011):
Extended Version of Model-based Coverage-Driven Test Suite Generation for Software Product Lines.
Technische Universität Braunschweig, [Online: http://www.ips.cs.tu-bs.de/images/goltz/MODELS-TR-2011-07.pdf],
[Report]
Harald Cichos ; T. Heinze (2011):
Efficient Test Suite Reduction by Merging Pairs of Suitable Test Cases.
In: Models in Software Engineering, 6627, P. 244-258, Springer Verlag,
[Conference Contribution]
Sebastian Rose ; Marius Lauder ; Michael Schlereth ; Andy Schürr (2011):
A Multidimensional Approach for Concurrent Model Driven Automation Engineering.
In: Model-Driven Domain Analysis and Software Development: Architectures and Functions, P. 90-113, ISBN 9781616928766, IGI Publishing,
DOI: 10.4018/978-1-61692-874-2.ch005,
[Book Section]
Gilles Perrouin ; Sebastian Oster ; Sagar Sen ; Jacques Klein ; Benoit Baudry ; Yves Le Traon (2011):
Pairwise Testing for Software Product Lines: Comparison of Two Approaches.
Heidelberg, In: Software Quality Journal - Special issue on Quality Engineering for Software Product Lines, Heidelberg, Springer Verlag,
[Article]
Malte Lochau ; Sebastian Oster ; Ursula Goltz ; Andy Schürr (2011):
Model-based Pairwise Testing for Feature Interaction Coverage in Software Product Line Engineering.
Heidelberg, In: Software Quality Journal - Special issue on Quality Engineering for Software Product Lines, Heidelberg, Springer Verlag,
[Article]
Florian Markert ; Sebastian Oster (2011):
A Formal Method to Identify Deficiencies of Functional Requirements for Product Lines of Embedded Systems.
In: Workshop Proceedings der Software Engineering Konferenz 2011, In: GI Workshop, P. 265-277,
[Conference Contribution]
Manuel Wimmer ; Gerti Kappel ; Angelika Kusel ; Werner Retschitzegger ; Johannes Schönböck ; Wieland Schwinger ; Dimitris Kolovos ; Richard Paige ; Marius Lauder ; Andy Schürr ; Dennis Wagelaar (2011):
A Comparison of Rule Inheritance in Model-to-Model Transformation Languages.
In: Proceedings of the 4th International Conference on Model Transformation (ICMT 2011), Heidelberg, In: Lecture Notes in Computer Science (LNCS), 6707, P. 31-46, Heidelberg, Springer Verlag,
[Conference Contribution]
Sebastian Oster ; Malte Lochau ; Marius Zink ; Mark Grechanik (2011):
Pairwise Feature-Interaction Testing for SPLs: Potentials and Limitations.
In: Proceeding of the International Software Product Line Conference Workshop FOSD, New York, 2, P. 6:1-6:8, New York, ACM Press,
[Conference Contribution]
Sebastian Oster (2011):
A Semantic Preserving Feature Model to CSP Transformation.
Technische Universität Braunschweig,
[Report]
Julia Schroeter ; Malte Lochau ; Tim Winkelmann (2011):
Extended Version of Multi-Perspectives on Feature Models.
[Report]
Zhenjiang Hu ; Andy Schürr ; Perdita Stevens ; James F. Terwilliger (2011):
Bidirectional Transformation "bx" (Dagstuhl Seminar 11031).
Dagstuhl, Germany, In: Dagstuhl Reports, P. 42-67, Dagstuhl, Germany, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik,
[Article]
Felix Klar ; Marius Lauder ; Alexander Königs ; Andy Schürr (2010):
Extended Triple Graph Grammars with Efficient and Compatible Graph Translators.
In: {Graph Transformations and Model Driven Enginering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthda, 5765, P. 141-174, Heidelberg, Springer Verlag,
[Book Section]
Anthony Anjorin ; Marius Lauder ; Michael Schlereth ; Andy Schürr (2010):
Support for Bidirectional Model-to-Text Transformations.
In: Electronic Communications of the EASST, 36, European Assoc. of Software Science and Technology,
[Conference Contribution]
Michael Schlereth ; Marius Lauder ; Sebastian Rose ; Andy Schürr (2010):
Concurrent Model Driven Automation Engineering: Building Engineering Tool Integration Systems.
In: Automation 2010. Der Automatisierungskongress in Deutschland, 2092, P. 7-10, Düsseldorf, VDI Verlag GmbH,
[Conference Contribution]
(2010):
Graph transformations : 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27-October 2, 2010 ; proceedings.
In: Lecture Notes in Computer Science (LNCS), 6372, ISBN 3-642-15927-3, Berlin, Heidelberg, Springer Verlag,
[Book]
G. Engels ; C. Lewerentz ; W. Schäfer ; Andy Schürr ; B. Westfechtel (2010):
Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday.
In: Lecture Notes in Computer Science (LNCS), 5765, Heidelberg, Springer Verlag,
[Book]
Ingo Weisemöller ; Felix Klar ; Andy Schürr (2010):
Development of Tool Extensions with MOFLON.
In: {Model-Based Engineering of Embedded Real-Time System, 6100, P. 337-343, Heidelberg, Springer Verlag,
[Book Section]
Andy Schürr ; Wilhelm Schäfer ; Ingo Stürmer ; Elodie Legros (2010):
MATE - A Model Analysis and Transformation Environment for MATLAB Simulink.
In: {Model-Based Engineering of Embedded Real-Time System, 6100, P. 323-328, Heidelberg, Springer Verlag,
[Online: http://link.springer.com/chapter/10.1007/978-3-642-16277-0_14],
[Book Section]
Sebastian Oster ; P. Ritter ; Andy Schürr (2010):
Featuremodellbasiertes und kombinatorisches Testen von Software-Produktlinien.
In: Proceedings of the SE2010, In: GI-Edition Lecture Notes in Informatics, 159, P. 177-188,
[Conference Contribution]
A. Wübbeke ; Sebastian Oster (2010):
Verknüpfung von kombinatorischem Plattform- und individuellem Produkt-Test für Software-Produktlinien.
In: Proceedings Software Engineering 2010, P. 361-372,
[Conference Contribution]
Sebastian Oster ; Florian Markert ; P. Ritter (2010):
Automated Incremental Pairwise Testing of Software Product Lines.
In: Proceedings of the 14th International Software Product Line Conference, P. 196-210, Heidelberg, Springer Verlag,
[Conference Contribution]
Harald Cichos ; Andy Schürr (2010):
Dynamische Äquivalenzklassen im Klassifikationsbaum für zustandsbehaftete Systeme.
In: Informatik 2010: Beiträge der 40. Jahrestagung der Gesellschaft für Informatik e.V., Band 2, In: Lecture Notes in Informatics, 176, P. 345-350, Bonn, Gesellschaft für Informatik,
[Conference Contribution]
Harald Cichos ; Thomas Heinze (2010):
Efficient Reduction of Model-Based Generated Test Suites Through Test Case Pair Prioritization.
In: International Workshop on Model-Driven Engineering, Verification and Validation (MoDeVVa 2010), Oslo, Norway, 03.10. - 03.10.2010, In: 2010 Workshop on Model-Driven Engineering, Verification, and Validation, P. 37-42, ISBN 978-0-7695-4384-0, Los Alamitos, Calif., IEEE Computer Society Press,
DOI: 10.1109/MoDeVVa.2010.19,
[Conference Contribution]
Marius Lauder ; Michael Schlereth ; Sebastian Rose ; Andy Schürr (2010):
Model-Driven Systems Engineering: State-of-the-Art and Research Challenges.
Warsaw, In: Bulletin of the Polish Academy of Sciences, Technical Sciences, P. 409-422, Warsaw, Polish Academy of Sciences,
[Article]
Malte Lochau ; Ursula Goltz (2010):
Feature Interaction Aware Test Case Generation for Embedded Control Systems.
In: Electronic Notes in Theoretical Computer Science, P. 37-52, ISSN 1571-0661,
[Article]
Florian Markert ; Sebastian Oster (2010):
Model-Based Generation of Test Oracles for Embedded Software Product Lines.
In: Software Product Lines - 14th International Conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010. Workshop Proceedings (Volume 2 : Workshops, Industrial Track, Doctoral Symposium, Demonstrations and Tools), P. 147-154,
[Online: http://splc2010.postech.ac.kr/SPLC2010_second_volume.pdf],
[Conference Contribution]
Lars Patzina ; Sven Patzina ; Thorsten Piper ; Andy Schürr (2010):
Monitor Petri Nets for Security Monitoring.
In: Proc. of the International Workshop on Security and Dependability for Resource Constrained Embedded Systems, In: International Workshop on Security and Dependability for Resource Constrained Embedded Systems, P. 1-6, New York, ACM Press,
[Conference Contribution]
Kalman Graffi ; Patrick Mukherjee ; Burkhard Menges ; Daniel Hartung ; Aleksandra Kovacevic ; Ralf Steinmetz (2009):
Practical Security in P2P-based Social Networks.
In: 34th Annual IEEE Conference on Local Computer Network (LCN'09), Zurich, Switzerland, 20.-23.10.2009, In: LCN 2009: The 34th Annual IEEE Conference on Local Computer Networks (LCN), P. 269-272, ISBN 978-1-4244-4488-5, IEEE,
DOI: 10.1109/LCN.2009.5355085,
[Conference Contribution]
(2009):
Model Driven Engineering Languages and Systems - 12th International Conference, Models 2009.
In: Lecture Notes in Computer Science (LNCS), 5795, Heidelberg, Springer Verlag,
[Book]
Krzysztof Czarnecki ; J. Nathan Foster ; Zhenjiang Hu ; Ralf Lämmel ; Andy Schürr ; James F. Terwilliger (2009):
Bidirectional Transformations: A Cross-Discipline Perspective.
In: Theory and Practice of Model Transformations: Second International Conference, ICMT2009, Heidelberg, In: Lecture Notes in Computer Science (LNCS), 5563, P. 260-283, Heidelberg, Springer Verlag,
[Conference Contribution]
Sebastian Oster ; Florian Markert ; Andy Schürr (2009):
Integrated Modeling of Software Product Lines with Feature Models and Classification Trees.
In: Proceedings of the 13th International Software Product Line Conference (SPLC09), [Conference Contribution]
Felix Klar ; Sebastian Rose ; Andy Schürr (2009):
TiE - A Tool Integration Environment.
In: Proceedings of the 5th ECMDA Traceability Workshop, In: CTIT Workshop Proceedings, WP09-0, P. 39-48,
[Conference Contribution]
A. Schürr ; Sebastian Oster ; Florian Markert (2009):
Model-Driven Software Product Line Testing: An Integrated Approach.
In: 36th International Conference on Current Trends in Theory and Practice of Computer Science, In: Lecture Notes in Computer Science (LNCS), P. 112-131,
[Conference Contribution]
Sebastian Oster ; Andy Schürr (2009):
Architekturgetriebenes Pairwise-Testing f\"r Software Produktlinien.
In: Software Engineering 2009 - Workshopband, Fachtagung des GI-Fachbereichs Softwaretechnik 02.-06.03.2009 in Kaiserslautern, P. 131-134,
[Online: http://subs.emis.de/LNI/Proceedings/Proceedings150/article5336.html],
[Conference Contribution]
T. Müller ; Malte Lochau ; S. Detering ; F, Saust ; H. Garbers ; L. Märtin ; T. Form ; Ursula Goltz (2009):
A Comprehensive Description of a Model-based, Continuous Development Process for AUTOSAR Systems with Integrated Quality Assurance.
[Report]
B. Sun ; Malte Lochau ; P. Huhn ; Ursula Goltz (2009):
Parameter Optimization of an Engine Control Unit using Genetic Algorithms.
[Report]
Michael Schlereth ; Sebastian Rose ; Andy Schürr (2009):
Model Driven Automation Engineering - Characteristics and Challanges.
In: 5th Workshop on Model-Based Development of Embedded Systems (MBEES), [Conference Contribution]
E. Legros ; F. Klar ; C. Amelunxen ; A. Schürr (2009):
Generic and Reflective Graph Transformations for Checking and Enforcement of Modeling Guidelines.
In: Journal of Visual Languages and Computing, P. 252-268, Elsevier Science Publ.,
[Article]
Patrick Mukherjee ; Christof Leng ; Wesley W. Terpstra ; Andy Schürr (2008):
Peer-to-Peer based Version Control.
In: Proceedings of the 14th International Conference on Parallel and Distributed Systems (ICPADS 2008), P. p. 829-834,
[Conference Contribution]
Alexander Königs (2008):
Model Integration and Transformation – A Triple Graph Grammar-based QVT Implementation.
Darmstadt, Technische Universität, Technische Universität Darmstadt,
[Online: http://nbn-resolving.de/urn/resolver.pl?urn=urn:nbn:de:tuda-tuprints-11949],
[PhD Thesis]
Ulrich Konigorski ; Andy Schürr (2008):
Das Automobil im neuen Jahrtausend : Software auf Rädern - Motor Vehicles in the New Millennium: Software on Wheels.
In: thema Forschung, P. 24-30, Darmstadt, Technische Univ. Darmstadt,
[Article]
Patrick Mukherjee ; Christof Leng ; Andy Schürr (2008):
Piki - A Peer-to-Peer based Wiki Engine.
In: Proceedings of the P2P 2008, P. 185-186,
[Conference Contribution]
Carsten Amelunxen ; Elodie Legros ; Andy Schürr (2008):
Generic and Reflective Graph Transformations for the Checking and Enforcement of Modeling Guidelines.
In: VLHCC '08: Proceedings of the Visual Languages and Human-Centric Computing, In: IEEE Symposium on Visual Languages & Human-Centric Computing, P. 211-218,
[Conference Contribution]
Sebastian Oster ; Andy Schürr ; Ingo Weisemöller ; U. Aßmann ; J. Johannes ; Albert Zündorf (2008):
Towards Software Product Line Testing using Story Driven Modelling.
In: Proceedings of the 6th International Fujaba Days, P. 48-51, Technische Universität Dresden,
[Conference Contribution]
Andy Schürr ; Ingo Weisemöller (2008):
Shortcomings in Metamodel Based Tool Development.
[Report]
Patrick Mukherjee ; Aleksandra Kovacevic ; Andy Schürr (2008):
Analysis of the Benefits the Peer-to-Peer Paradigm brings to Distributed Agile Software Development..
In: Proceedings of the AKNOWLEDGE2008, In: GI-Edition Lecture Notes in Informatics, P-122, P. 72 - 76,
[Conference Contribution]
Patrick Mukherjee ; Aleksandra Kovacevic ; Andy Schürr (2008):
Analysis of the Benefits the Peer-to-Peer brings to Distributed Agile Software Development.
In: Software Engineering 2008 - Workshopband : Fachtagung des GI-Fachbereichs Softwaretechnik, 18. - 22.02.2008 in München / Gesellschaft für Informatik e.V. (GI). Walid Maalej; Bernd Bruegge (Hrsg.), P. 72-77, ISBN 978-3-88579-216-1, Bonn, Ges. f. Informatik,
[Book Section]
Patrick Mukherjee ; A. Kovacevic ; Andy Schürr (2008):
Analysis of the Benefits the Peer-to-Peer Paradigm brings to Distributed Agile Software Development.
In: Proceedings of the Acknowledge? 2008, [Conference Contribution]
Patrick Mukherjee ; A. Kovacevic ; M. Benz ; Andy Schürr (2008):
Towards a Peer-to-Peer Based Global Software Development Environment.
In: Proceedings of the SE2008 : GI-Edition Lecture Notes in Informatics, P. 214-216,
[Conference Contribution]
Carsten Amelunxen ; Felix Klar ; Alexander Königs ; Tobias Rötschke ; Andy Schürr (2008):
Metamodel-based tool integration with MOFLON.
In: Proceedings of the thirtieth International Conference on Software Engineering . - New York, NY : ACM , 2008, S. 807-810 ISBN 978-1-605-58079-1, New York, NY, ACM,
[Conference Contribution]
Andy Schürr ; Felix Klar (2008):
15 years of triple graph grammar : research challenges, new contribultions, open problems.
In: Graph transformations : 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008 ; proceedings / Hartmut Ehrig; Reiko Heckel; Grzegorz Rozenberg; Gabriele Taentzer (eds.). - Berlin [u.a.] : Springer, 2008 (Lecture notes in, Berlin [u.a.], Springer,
[Conference Contribution]
Felix Klar ; Sebastian Rose ; Andy Schürr (2008):
A meta-model-driven tool integration development process.
In: Information systems and e-Business technologies : 2nd International United Information Systems Conference, UNISCON 2008, Klagenfurt, Austria, April 22-25, 2008 ; proceedings / Roland Kaschek ... (eds.). - Berlin : Springer, 2008 , S. 201-212 (Lecture note, Berlin, Springer,
[Conference Contribution]
(2008):
Applications of Graph Transformations with Industrial Relevance.
In: Lecture Notes in Computer Science (LNCS), 5088, Heidelberg, Springer Verlag,
[Book]
Andy Schürr ; Felix Klar (2008):
15 Years of Triple Graph Grammars - Research Challenges, New Contributions, Open Problems.
In: 4th International Conference on Graph Transformation, In: Lecture Notes in Computer Science (LNCS), 5214, P. 411-425, Heidelberg, Springer Verlag,
[Conference Contribution]
Carsten Amelunxen ; Felix Klar ; Alexander Königs ; Tobias Rötschke ; Andy Schürr (2008):
Metamodel-based Tool Integration with MOFLON.
In: 30th International Conference on Software Engineering, P. 807-810, New York, ACM Press,
[Conference Contribution]
Felix Klar ; Sebastian Rose ; Andy Schürr (2008):
A Meta-Model-Driven Tool Integration Development Process.
In: 2nd International United Information Systems Conference, In: Lecture Notes in Business Information Processing (LNBIP), 5, P. 201-212, Heidelberg, Springer Verlag,
[Conference Contribution]
Ingo Weisemöller ; Andy Schürr (2008):
Formal Definition of MOF 2.0 Metamodel Components and Composition.
In: MoDELS 2008, In: Lecture Notes in Computer Science (LNCS), 5301, P. 386-400, Heidelberg, Springer Verlag,
[Conference Contribution]
B. Schenk ; Michael Schlereth (2008):
Modellgetriebene Entwicklung in der Automatisierungstechnik.
In: Automation 2008: Lösungen für die Zukunft, In: VDI-Berichte, 2032, P. 195-198,
[Conference Contribution]
Christoph Knieke ; Michaela Huhn ; Malte Lochau (2008):
Executable Requirements Specification: Formal Semantics of Live Activity Diagrams.
In: Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, TASE 2008, June 17-19, 2008, Nanjing, China, P. 109-112,
[Online: http://dx.doi.org/10.1109/TASE.2008.10],
[Conference Contribution]
Malte Lochau ; Henning Günther (2008):
A Static Aspect Language for Modelica Models.
In: Proceedings of the 2nd International Workshop on Equation-Based Object-Oriented Languages and Tools, EOOLT 2008, Paphos, Cyprus, July 8, 2008, P. 47-57,
[Online: http://www.ep.liu.se/ecp_article/index.en.aspx?issue=029;article=006],
[Conference Contribution]
Christoph Knieke ; Michaela Huhn ; Malte Lochau (2008):
Modeling and Validation of Executable Requirements Using Live Activity Diagrams.
In: Proceedings of the 6th ACIS International Conference on Software Engineering Research, Management and Applications, SERA 2008, 20-22 August 2008, Prague, Czech Republic, P. 51-58,
[Online: http://dx.doi.org/10.1109/SERA.2008.10],
[Conference Contribution]
Marius Lauder (2007):
Erzeugung von vorlesbarem Text aus LaTeX-Dokumenten.
Bonn, In: GI Informatik Spektrum, P. 336-339, Bonn, Gesellschaft für Informatik,
[Article]
Ingo Stürmer ; Ingo Kreuz ; Wilhelm Schäfer ; Andy Schürr (2007):
The MATE Approach: Enhanced Simulink and Stateflow Model Transformation.
In: MathWorks Automotive Conference (MAC 2007), Dearborn (MI), USA, 19.07.2007-20.07.2007, Dearborn (MI), USA,
[Conference Contribution]
Carsten Amelunxen ; Andy Schürr (2007):
Formalizing model transformation rules for UML/MOF 2.
In: Software, IET, P. 204-222,
[Article]
Carsten Amelunxen ; Elodie Legros ; Andy Schürr ; I. Stürmer ; M. Nagl ; A. Zündorf (2007):
Checking and enforcement of modeling guideline with graph transofrmations.
In: Proceedings of the Third International Symposium on Applications of Graph Transformations with Industrial Relevance, P. 313-328,
[Conference Contribution]
Ingo Weisemöller ; Andy Schürr (2007):
A Comparison of Standard Compliant Ways to Define Domain Specific Languages.
In: Models in software engineering : workshops and symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007 ; reports and revised selected papers / Holger Giese (ed.). - Berlin [u.a.] : Springer, 2008 , S. 47-58 (Lecture notes in computer s, Berlin [u.a.], Springer,
[Conference Contribution]
Felix Klar ; Alexander Königs ; Tobias Rötschke ; Andy Schürr (2007):
Model Transformation in the Large.
In: Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on the foundations of software engineering, New York: ACM Press, 2007, ACM Digital Library Proceedings, S. 285-294, [Conference Contribution]
Carsten Amelunxen ; Alexander Königs ; Tobias Rötschke ; Andy Schürr (2007):
Metamodeling with MOFLON.
In: Applications of graph transformations with industrial relevance : third international symposium, AGTIVE 2007 ; proceedings of selected and invited papers ; Kassel, Germany, October 10 - 12, 2007 / Andy Schürr ... (eds.) : AGTIVE <3, 2007, Kassel> Kassel,, [Conference Contribution]
Ingo Stürmer ; Heiko Dörr ; Holger Giese ; Udo Kelter ; Andy Schürr ; Albert Zündorf (2007):
Das MATE Projekt – visuelle Spezifikation von MATLAB Simulink/Stateflow Analysen und Transformationen.
In: Dagstuhl Seminar Modellbasierte Entwicklung eingebetteter Systeme, [Online: http://www.sse-tubs.de/publications/CGRS_MBEES_InfoBericht_07.pdf],
[Conference Contribution]
Ingo Weisemöller ; Andy Schürr (2007):
A Comparison of Standard Compliant Ways to Define Domain Specific Languages.
In: Proceedings of the 4th International Workshop on Software Language Engineering (ateM 2007), P. 31-45,
[Conference Contribution]
Elodie Legros ; Andy Schürr ; Tobias Rötschke (2007):
Entwicklung eines Software-Leitstands zur Einhaltung von Modellierungsrichtlinien.
In: Softwaretechnik-Trends,
[Online: http://pi.informatik.uni-siegen.de/stt/27_2/SE2007/Legros_Roetschke_Schuerr_2007_sttVVUM07.pdf],
[Article]
Carsten Amelunxen ; Andy Schürr ; Ingo Weisemöller (2007):
Missing Meta-Modeling-In-The-Large Concepts in EMOF.
In: eclipse summit 2007, Contribution to the discussion about EMF, ?, [Conference Contribution]
E. Legros ; T. Rötschke ; A. Schürr (2007):
Entwicklung eines Software-Leitstands zur Einhaltung von Modellierungsrichtlinien.
In: Software Engineering 2007, [Conference Contribution]
Johannes Jakob ; Alexander Königs ; Andy Schürr (2006):
Non-materialized model view specification with triple graph grammars.
In: A. Corradini (ed.), International Conference on Graph Transformations, Heidelberg: Springer Verlag, 2006; (Lecture Notes in Computer Science (LNCS) ; 4178) 321-335., [Conference Contribution]
Alexander Königs ; Andy Schürr (2006):
MDI - a Rule-Based Multi-Document and Tool Integration Approach.
In: Systems Modeling, P. 349-368,
[Article]
Johannes Jakob ; Andy Schürr (2006):
View creation of meta models by using modified triple graph grammars.
In: R. Bruni, D. Varro (eds.), Graph Transformation and Visual Modeling Techniques GT-VMT 2006, 2006; Electronic Notes in Theoretical Computer Science, 175-185, [Conference Contribution]
Alexander Königs ; Andy Schürr ; R. Heckel (2006):
Tool integration with triple graph grammars : a survey.
In: Electronic Notes in Theoretical Computer Science, P. 113-150, Elsevier Science Publ.,
[Article]
R. Holt ; Andy Schürr ; S. Sim ; A. Winter (2006):
GXL : a graph-based standard exchange format for reengineering.
In: Science of Computer Programming, P. 149-170, Elsevier Science Publ.,
[Article]
Gergely Varró ; Dániel Varró ; Andy Schürr (2006):
Incremental Graph Pattern Matching: Data Structures and Initial Experiments.
In: Proceedings of the Second International Workshop on Graph and Model Transformation, 2006; Electronic Communications of EASST, European Association of Software Science and Techn., [Conference Contribution]
Carsten Amelunxen ; Alexander Königs ; Tobias Rötschke ; Andy Schürr ; A. Rensink ; J. Warmer (2006):
MOFLON : a standard-compliant metamodeling framework with graph transformations.
In: Model Driven Architecture - Foundations and Applications: Second European Conference, In: Model driven architecture - foundations and applications : second European conference, ECMDA-FA 2006, Bilbao, Spain, July 10 - 13, 2006 ; proceedings / Arend Rensink ... (eds.). - Berlin [u.a.] : Springer, 2006, S. 361-375 (Lecture notes in computer scien, P. 361-375, Berlin [u.a.], Springer,
[Conference Contribution]
J. Bézivin ; B. Rumpe ; Andy Schürr (2006):
Model transformations in practice.
In: Satellite events at the MoDELS 2005 conference : MoDELS 2005 international workshops ; doctoral symposium, educators symposium, Montego Bay, Jamaica, October 2-7, 2005 ; revised selected papers / Jean-Michel Bruel (ed.). - Berlin [u.a.] : Springer, 2006,, Berlin [u.a.], Springer,
[Conference Contribution]
Tobias Rötschke ; Andy Schürr (2006):
Temporal Graph Queries to Support Software Evolution.
In: Graph transformation : third international conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17-23, 2006 ; proceedings / Andrea Corradini ... (eds.). - Berlin [u.:] : Springer, 2006, S. 291-305 (Lecture notes in computer science ; 4178), Berlin [u.:], Springer,
[Conference Contribution]
Carsten Amelunxen ; Alexander Königs ; Tobias Rötschke ; Andy Schürr ; J. Grundy ; J. Howse (2006):
M0SL : Composing a Visual Language for a Metamodeling Framework.
In: IEEE Symposium on Visual Languages and Human-Centric Computing (VLHCC 2006), In: Proceedings / IEEE Symposium on Visual Languages and Human-Centric Computing : VL/HCC 2006 ; 4-8 September, Brighton, United Kingdom/ ed. by John Grundy; John Howse. - Los Alamitos, Calif. [u.a.] : IEEE Computer Society, 2006 ISBN: 0-7695-2586-5,, P. 81-84, Los Alamitos, Calif. [u.a.], IEEE Computer Society,
[Conference Contribution]
Carsten Amelunxen ; Andy Schürr (2006):
On OCL as part of the metamodeling framework MOFLON.
In: OCL for (meta-)models in multiple application domains / Technische Universität Dresden, Fakultät Informatik. Birgit Demuth ... (ed.). - Dresden : TU, Fak. Informatik, 2006, S. 182-193 (Technical reports / Technische Universität Dresden, Fakultät Infor, Dresden, TU,
[Conference Contribution]
Carsten Amelunxen ; Andy Schürr (2006):
Vervollständigung des Constraint-basierten Assoziationskonzeptes von UML 2.0.
In: Modellierung 2006 : 22. - 24. März 2006 in Innsbruck, Austria / Heinrich C. Mayr; Ruth Breu (Hrsg.). - Bonn : Gesellschaft für Informatik, 2006, S. 163-172 (GI-Edition : Proceedings ; 82) ISBN: 3-88579-176-5, 24. März 2006 in Innsbruck, Austria / Heinrich C. Mayr; Ruth Breu (Hrsg.). - Bonn, Gesellschaft für Informatik,
[Conference Contribution]
Alexander Königs ; Andy Schürr (2005):
Multi-Domain integration with MOF and extended triple graph grammars.
In: J. Bezivin, R. Heckel (eds.), Language engineering for model-driven software development, Dagstuhl : Internationales Begegnungs- und Forschungszentrum, 2005; (Dagstuhl Seminar Proceedings ; 04101), [Conference Contribution]
Gergely Varró ; Andy Schürr ; Dániel Varró (2005):
Benchmarking for graph transformation.
In: IEEE Symposium on Visual Languages (VL/HCC'05), Los Alamitos, 9.2005, In: Proc. of IEEE Symposium on Visual Languages (VL/HCC'05), P. 79-90, Los Alamitos, IEEE Computer Society Press,
[Conference Contribution]
Gergely Varró ; Andy Schürr ; Dániel Varró (2005):
Benchmarking for graph transformation [TR].
05-EE1, Budapest, Univ. of Technology and Economics,
[Report]
Carsten Amelunxen ; Tobias Rötschke ; Andy Schürr (2005):
Graph Transformations with MOF 2.0.
In: H. Giese, A. Zündorf (eds.), Proc. 3rd International Fujaba Days 2005, 9 2005, Vol. tr-ri-05-259, Universität Paderborn, 25-31, [Conference Contribution]
(2005):
Proceedings of 5th IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 05).
Los Alamitos, IEEE Computer Society Press,
[Book]
Jan Borchers ; Eric Lee ; Max Mühlhäuser ; Wolfgang Samminger (2004):
Personal orchestra: a real-time audio/video system for interactive conducting.
In: Multimedia systems, P. 458-465, ISSN 0942-4962, Springer,
DOI: 10.1007/s00530-004-0139-2,
[Online: https://link.springer.com/article/10.1007/s00530-004-0139-2],
[Article]
H. Winner ; Rolf Isermann ; Holger Hanselka ; Andy Schürr (2004):
Wann kommt By-Wire auch für Bremse und Lenkung?.
In: Steuerung und Regelung von Fahrzeugen und Motoren - AUTOREG 2004 : Tagung Wiesloch, 2. und 3. März 2004 / VDI/VDE-Gesellschaft Mess- und Automatisierungstechnik.- Düsseldorf : VDI-Verl., 2004.- 726 S.- (VDI-Berichte ; 1828).-ISBN: 3-18-091828-4.- S. 59-, Düsseldorf, VDI-Verl.,
[Conference Contribution]
(2004):
Special Section on Tool Integration Application and Frameworks.
In: Int. Journal on Software Tools for Technology Transfer (STTT), 6, Heidelberg, Springer Verlag,
[Book]
(2004):
Special Section on Model-based Tool Integration.
In: Int. Journal on Software and Systems Modeling (SOSYM), 4-2, 109-170, Heidelberg, Springer Verlag,
[Book]
Lutz Bichler ; Ansgar Radermacher ; Andy Schürr (2004):
Integrating Data Flow Equations with UML/Realtime.
Heidelberg, In: Real-Time Systems - The International Journal of Time-Critical Computing Systems, P. 107-125, Heidelberg, Kluwer Academic Publishers,
[Article]
Carsten Amelunxen ; Andy Schürr ; Lutz Bichler (2004):
Codegenerierung für Assoziationen in MOF 2.0.
In: Modellierung 2004, Proceedings zur Tagung, 23.-26. M\"rz 2004, Marburg, Proceedings, In: LNI, 45, P. 149-168, GI,
[Online: http://subs.emis.de/LNI/Proceedings/Proceedings45/article1270.html],
[Conference Contribution]
Janusz Szuba (2004):
New Object-Oriented PROGRES for Specifying the Conceptual Design Tool GraCAD.
In: Proc. 2nd Workshop on Graph-Based Tools – GraBaTs’ 04, Rome, In: Electronic Notes in Theoretical Computer Science, [Conference Contribution]
H. Winner ; Rolf Isermann ; H. Hanselka ; Andy Schürr (2004):
When does By-Wire arrive brakes and steering?.
In: Proceedings of VDI Symposium AutoReg 2004, P. 149-168,
[Conference Contribution]
Tobias Rötschke (2004):
Adding Pluggable Meta Models to FUJABA.
In: Proc. 2nd International Fujaba Days, tr-ri-04-253, P. 57-61,
[Conference Contribution]
Carsten Amelunxen (2004):
A MOF 2.0 Editor as Plugin for FUJABA.
In: Proc. 2nd International Fujaba Days, tr-ri-04-253, P. 43-48,
[Conference Contribution]
Peter Aschenbrenner ; Andy Schürr (2003):
Generating interactive animations from visual specifications.
In: IEEE Symposium on Visual Languages and Formal Methods <2003, Auckland>: Proceedings ... October 2003, [Conference Contribution]
K. Alfert ; E.-E. Doberkat ; G. Engels ; M. Lohmann ; J. Magenheim ; Andy Schürr (2003):
MuSoft - Multimedia in der Software-Technik.
In: Software Engineering im Unterricht der Hochschulen / SEUH 8 - Berlin 2003. Hrsg. Johannes Siedersleben ...- Heidelberg : dPunkt-Verl., 2003.- VIII, 120 S.- ISBN 3-89864-201-1.- S. 70-80, Heidelberg, dPunkt-Verl.,
[Article]
Janusz Szuba ; Agnieszka Ozimek ; Andy Schürr (2003):
On Graphs in Conceptual Engineering Design.
In: Applications of Graph Transformations with Industrial Relevance, Second International Workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27 - October 1, 2003, Revised Selected and Invited Papers, In: Lecture Notes in Computer Science, 3062, P. 75-89, Springer,
[Online: http://dx.doi.org/10.1007/978-3-540-25959-6_6],
[Conference Contribution]
R. Freude ; Alexander Königs (2003):
Tool integration with consistency relations and their visualization.
In: Tool-Integration in System Development Satellite Workshop of ESEC/FSE 2003, Helsinki, Finland, P. 6-10,
[Conference Contribution]
Tobias Rötschke (2003):
Re-engineering a Medical Imaging System Using Graph Transformations.
In: Applications of Graph Transformations with Industrial Relevance (AGTIVE 2003), Heidelberg, In: Lecture Notes in Computer Science (LNCS), 3062, P. 185-201, Heidelberg, Springer Verlag,
[Conference Contribution]
Klaus Alfert ; Ernst-Erich Doberkat ; Gregor Engels ; Marc Lohmann ; Johannes Magenheim ; Andy Schürr (2003):
MuSoft: Multimedia in der Softwaretechnik.
In: Software Engineering im Unterricht der Hochschulen, SEUH 8, Berlin 2003, Berlin, In: Proc. SEUH 8 Software Engineerung im Unterricht der Hochschulen Berlin, P. 70-80, dpunkt,
[Conference Contribution]
C. Amelunxen ; Alexander Königs ; Tobias Rötschke ; Andy Schürr (2003):
Adapting FUJABA for Building a Meta Modelling Framework.
In: Proc. 1st International Fujaba Days, tr-ri-04-247, P. 29-34,
[Conference Contribution]
T. Rötschke ; A. Schürr (2003):
Software Engineering II für Ingenieure: Wartung, Reengineering und Evolution.
In: Softwaretechnik-Trends, P. 27-28, Gesellschaft für Informatik,
[Article]
(2002):
Graph-Based Tools (GraBaTs 2002), Proceedings of Satellite Workshop 1st. Int. Conf. on Graph Transformation (ICGT 2002).
Heidelberg, dPunkt-Verlag,
[Book]
(2002):
OMER - Object-Oriented Modelling of Embedded Realtime Systems.
In: GI-Edition Lecture Notes in Informatics, 5, Bonn, Köllen Druck Verlag GmbH,
[Book]
Tobias Rötschke ; René Krikhaar (2002):
Architecture Analysis Tools to Support Evolution of Large Industrial Systems.
In: Proc. IEEE International Conference on Software Maintenance (ICSM 2002), P. 182-193,
[Conference Contribution]
Adam Borkowski ; Janusz Szuba ; Andy Schürr (2002):
GraCAD - Graph-Based Tool for Conceptual Design.
In: Graph Transformation, First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings, In: Lecture Notes in Computer Science, 2505, P. 363-377, Springer,
[Online: http://dx.doi.org/10.1007/3-540-45832-8_27],
[Conference Contribution]
F. Altheide ; H. Dörr ; Andy Schürr (2002):
Requirements to a Framework for sustainable Integration of System Development Tools.
In: 3rd European Systems Engineering Conference (EuSEC'02), Toulouse, France, 21.05.2002-24.05.2002, In: Proceedings of the 3rd European Systems Engineering Conference (EuSEC'02), P. 53-57, AFIS PC Chairs,
[Conference Contribution]
Mirko Conrad ; Heiko Dörr ; Andy Schürr (2002):
Graph Transformations for Model-Based Testing.
In: Proc. Modellierung 2002, Bonn, In: GI-Edition Lecture Notes in Informatics, P-12, P. 39-50, Bonn, Gesellschaft für Informatik,
[Conference Contribution]
Lutz Bichler ; Andy Schürr (2002):
Objektorientierte Entwicklung eingebetteter (Echtzeit-) Systeme mit UML?.
In: Ada Deutschland Tagung 2002: Software f\"r sicherheitskritische Systeme, 6. bis 8. M\"rz 2002, Jena, Friedrich-Schiller-Universit\"t, P. 11-28, Shaker Verlag,
[Conference Contribution]
Lutz Bichler ; Ansgar Radermacher ; Andy Schürr (2002):
Evaluating UML Extensions for Modeling Realtime Systems.
In: Proc. on the 2002 IEEE Workshop on Object-oriented Realtime-dependable Systems WORDS'02, San Diego, Los Alamitos, P. 271-278, Los Alamitos, IEEE Computer Society Press,
[Conference Contribution]
Andy Schürr (2001):
Adding Graph Transformation Concepts to UML's Constraint Language OCL.
In: Proc. UNIGRA Satellite Workshop of ETAPS 2001, Genova, Amsterdam, In: Electronic Notes in Theoretical Computer Science, 44, No. 4, P. 403-410, Amsterdam, Elsevier Science Publ.,
[Conference Contribution]
Andy Schürr (2001):
A New Type Checking Approach for OCL Version 2.0 ?.
Heidelberg, In: Advances in Object Modeling with OCL, P. 19-40, Heidelberg, Springer Verlag,
[Book Section]
Lutz Bichler ; Ansgar Radermacher ; Andy Schürr (2001):
Combining Data Flow Equations with UML / Realtime.
In: Proc. 4th IEEE Int. Symp. on Object-Oriented Real-Time Distributed Computing (ISORC 2001), Magdeburg, Los Alamitos, P. 403-410, Los Alamitos, IEEE Computer Society Press,
[Conference Contribution]
Tobias Rötschke ; René Krikhaar ; Danny Havenith (2001):
Multi-View Architecure Trend Analysis for Medical Imaging.
In: Proc. IEEE International Conference on Software Maintenance (ICSM 2001), P. 107,
[Conference Contribution]
Andy Schürr (2001):
New Type Checking Rules for OCL Expressions.
In: Proc. Workshop Modellierung 2001, Bad Lippspringe, Bonn, In: GI-Edition Lecture Notes in Informatics, P-1, P. 91-100, Bonn, Gesellschaft für Informatik,
[Conference Contribution]
A. Jilderda ; Tobias Rötschke (2001):
Architecture Analysis needs an Open Source Process.
In: 3. Workshop Software-Reengineering, [Conference Contribution]
T. Rötschke ; A. Jilderda (2001):
A Framework for the Efficient Development of Architecture Analysis Tools.
[]
(2001):
Object-Oriented Modeling of Embedded Realtime Systems (OMER-2).
In: GI Workshop, 2001-03,
[Conference Contribution]
(2000):
Application of Graph Transformation with Industrial Relevance, AGTIVE Workshop in Castle Rolduc.
In: Lecture Notes in Computer Science (LNCS), 1779, Heidelberg, Springer Verlag,
[Book]
Manfred Münch ; Andy Schürr (2000):
Generic and Polymorphic Graph Transformations: Supporting the Definition of Visual Languages.
In: Proc. Workshop on Graph Transformation and Visual Modeling Techniques, Satellite Event of ICALP'2000, Waterloo, P. 459-466, Waterloo, Carleton Scientific,
[Conference Contribution]
Richard C. Holt ; Andreas Winter ; Andy Schürr (2000):
GXL: Toward a Standard Exchange Format.
In: WCRE 2000 and 7th Working Conference on Reverse Engineering, Nov. 2000, Brisbane, Australia, Los Alamitos, P. 162-171, Los Alamitos, IEEE Computer Society Press,
[Conference Contribution]
Manfred Münch ; A. Schürr ; Andreas J. Winter (2000):
Integrity Constraints in the Multi-Paradigm Language PROGRES.
In: Proc. 6th International Workshop on Theory and Application of Graph Transformations TAGT'98, Paderborn, Heidelberg, In: Lecture Notes in Computer Science (LNCS), 1764, P. 338-351, Heidelberg, Springer Verlag,
[Conference Contribution]
Andy Schürr ; Andreas Winter (2000):
UML Packages for Programmed Graph Rewriting Systems.
In: Proc. TAGT'98 - Theory and Application of Graph Transformations, Paderborn, Germany, Heidelberg, In: Lecture Notes in Computer Science (LNCS), 1764, P. 396-409, Heidelberg, Springer Verlag,
[Conference Contribution]
Tobias Rötschke (2000):
Towards a Generic Extraction Technique.
In: 2. Workshop Software Reengineering, [Conference Contribution]
(1999):
Modellierung 99, Proceedings des GI-Workshops in Karlsruhe.
In: GI Workshop, Wiesbaden, Teubner Verlag,
[Book]
Andy Schürr ; Albert Zündorf ; Andreas Winter (1999):
PROGRES: Language and Environment.
Singapur, In: Handbook on Graph Grammars and Computing by Graph Transformation: Applications, Languages, and Tool, 2, P. 487-550, Singapur, World Scientific,
[Book Section]
Peter Klein ; Manfred Nagl ; Andy Schürr (1999):
IPSEN Tools.
Singapur, In: Handbook of Graph Grammars and Computing by Graph Tranformation, Vol. II, 2, P. 215-266, Singapur, World Scientific,
[Book Section]
Roswitha Bardohl ; Mark Minas ; Andy Schürr ; Gabriele Taentzer (1999):
Application of graph transformation to visual languages.
Singapur, In: Handbook of graph grammars and computing by graph transformation: vol. II, 2, P. 105-180, Singapur, World Scientific,
[Book Section]
Andy Schürr ; Andreas Winter (1999):
UML, the Future Standard Software Architecture Description Language?.
Heidelberg, In: Behavioral Specifications for Businesses and System, P. 193-206, Heidelberg, Kluwer Academic Publishers,
[Book Section]
Dorothea Blostein ; Andy Schürr (1999):
Computing with Graphs and Graph Rewriting.
Los Alamitos, In: Software - Practice and Experience, P. 1-21, Los Alamitos, IEEE Computer Society Press,
[Article]
Marc Andries ; Gregor Engels ; Annegret Habel ; Berthold Hoffmann ; Hans-Jörg Kreowski ; Sabine Kuske ; Detlef Plump ; Andy Schürr ; Gabriele Taentzer (1999):
Graph Transformation for Specification and Programming.
Amsterdam, In: Science of Computer Programming, P. 1-54, Amsterdam, Elsevier Science Publ.,
[Article]
Bernhard Rumpe ; M. Schoenmakers ; Ansgar Radermacher ; Andy Schürr (1999):
UML + ROOM as a Standard ADL.
In: Proc. ICECCS'99 5th Int. IEEE Conf. on Engineering Complex Computer Systems, Los Alamitos, P. 43-53, Los Alamitos, IEEE Computer Society Press,
[Conference Contribution]
Manfred Münch ; Andy Schürr (1999):
Leaving the Visual Language Ghetto.
In: Proc. IEEE Symposium on Visual Languages (VL'99), Los Alamitos, P. 148-155, Los Alamitos, IEEE Computer Society Press,
[Conference Contribution]
(1999):
Object-Oriented Modeling of Embedded Realtime Systems (OMER-1).
In: GI Workshop, 5, K{"o}llen Druck Verlag GmbH,
[Conference Contribution]
(1999):
Object-Oriented Modeling of Embedded Realtime Systems (OMER-1).
In: GI Workshop, 5, K{"o}llen Druck Verlag GmbH,
[Conference Contribution]
(1998):
Modellierung 98, Proceedings des GI-Workshops in Münster.
Aachen, In: GI Workshop, 9, Aachen, CEUR Workshop Proceedings,
[Book]
Stefan Gruner ; Manfred Nagl ; F. Sauer ; Andy Schürr (1998):
Inkrementelle Integrationswerkzeuge für arbeitsteilige Entwicklungsprozesse.
Heidelberg, In: Integration von Entwicklungssystemen in Ingenieur-Anwendunge, P. 311-330, Heidelberg, Springer Verlag,
[Book Section]
S. Gruner ; Manfred Nagl ; Andy Schürr (1998):
Fine-Grained and Structure-Oriented Document Integration Tools for Development Processes.
In: Proc. NATO Workshop on Requirements Targeting Software and Systems Engineering, Heidelberg, In: Lecture Notes in Computer Science (LNCS), 1526, P. 235-256, Heidelberg, Springer Verlag,
[Conference Contribution]
Andy Schürr ; Andreas J. Winter (1998):
Formal Definition of UML's Package Concept.
In: The Unified Modeling Language - Technical Aspects and Applications, 1st GROOM UML Workshop Proc, Heidelberg, P. 144-159, Heidelberg, Physica-Verlag,
[Conference Contribution]
Andy Schürr (1997):
Programmed Graph Replacement Systems.
Singapur, In: Handbook of graph grammars and computing by graph transformation: vol. I, 1, P. 479-546, Singapur, World Scientific,
[Book Section]
Hans-Jörg Kreowski ; Sabine Kuske ; Andy Schürr (1997):
Nested Graph Transformation Units.
Singapur, In: Int. Journal on Software and Knowledge Engineering and Special Issue on Graph Grammar-based Specifications, P. 479-502, Singapur, World Scientific,
[Article]
J. Rekers ; Andy Schürr (1997):
Defining and Parsing Visual Languages with Layered Graph Grammars.
London, In: Journal of Visual Languages and Computing, P. 27-55, London, Academic Press,
[Article]
Andy Schürr ; Andreas Winter (1997):
Formal Definition and Refinement of UML's Module/Package Concept.
In: ECOOP '97 Workshop Reader (Workshop 5 on Precise Semantics for Object-Oriented Modeling Techniques), Heidelberg, In: Lecture Notes in Computer Science (LNCS), 1357, P. 211-215, Heidelberg, Springer Verlag,
[Conference Contribution]
Andy Schürr (1997):
BDL - A Nondeterministic Data Flow Programming Language with Backtracking.
In: Proc. VL'97 13th Int. IEEE Symp. on Visual Languages, Capri, Los Alamitos, P. 398-405, Los Alamitos, IEEE Computer Society Press,
[Conference Contribution]
Peter Klein ; Andy Schürr (1997):
Constructing SDEs with the IPSEN Meta Environment.
In: Proc. 8th Conf. on Software Engineering Environments SEE'97, Los Alamitos, P. 2-10, Los Alamitos, IEEE Computer Society Press,
[Conference Contribution]
Andy Schürr (1996):
Introduction to the Specification Language PROGRES.
Heidelberg, In: Building Thightly-Integrated (Software) Development Environments: The IPSEN Approach, 1170, P. 248-279, Heidelberg, Springer Verlag,
[Book Section]
Andy Schürr (1996):
The Formal Background of PROGRES.
Heidelberg, In: Building Thightly-Integrated (Software) Development Environments: The IPSEN Approach, 1170, P. 280-296, Heidelberg, Springer Verlag,
[Book Section]
Andy Schürr ; Albert Zündorf (1996):
Specification of Logical Documents and Tools.
Heidelberg, In: Building Thightly-Integrated (Software) Development Environments: The IPSEN Approach, 1170, P. 297-323, Heidelberg, Springer Verlag,
[Book Section]
Martin Lefering ; Andy Schürr (1996):
Specification of Integration Tools.
Heidelberg, In: Building Thightly-Integrated (Software) Development Environments: The IPSEN Approach, 1170, P. 324-334, Heidelberg, Springer Verlag,
[Book Section]
Andy Schürr ; Andreas Winter ; Albert Zündorf (1996):
Developing Tools with the PROGRES Environment.
Heidelberg, In: Building Thightly-Integrated (Software) Development Environments: The IPSEN Approach, 1170, P. 356-369, Heidelberg, Springer Verlag,
[Book Section]
Manfred Nagl ; Andy Schürr (1996):
Summary and Specification Lessons Learned.
Heidelberg, In: Building Thightly-Integrated (Software) Development Environments: The IPSEN Approach, 1170, P. 370-378, Heidelberg, Springer Verlag,
[Book Section]
Norbert Kiesel ; Andy Schürr ; Bernhard Westfechtel (1996):
GRAS, a Graph-Oriented Software Engineering Database System.
Heidelberg, In: Building Thightly-Integrated (Software) Development Environments: The IPSEN Approach, 1170, P. 397-425, Heidelberg, Springer Verlag,
[Book Section]
Peter Klein ; Andy Schürr ; Albert Zündorf (1996):
Generating Single Document Processing Tools.
Heidelberg, In: Building Thightly-Integrated (Software) Development Environments: The IPSEN Approach, 1170, P. 440-456, Heidelberg, Springer Verlag,
[Book Section]
Manfred Nagl ; Andy Schürr ; Andreas Winter (1996):
Specification in the Large for Graph Grammars.
Heidelberg, In: Building Thightly-Integrated (Software) Development Environments: The IPSEN Approach, 1170, P. 535-555, Heidelberg, Springer Verlag,
[Book Section]
Andy Schürr ; Andreas Winter ; Albert Zündorf (1996):
Spezifikation und Prototyping graphbasierter Systeme.
In: eingeladene überarbeitete Fassung von: Proc. Fachtagung Software-Technik '95, Heidelberg, In: Informatik - F&E, 11, No. 4, P. 191-202, Heidelberg, Springer Verlag,
[Conference Contribution]
Andy Schürr (1996):
Logic Based Programmed Structure Rewriting Systems.
In: Fundamenta Informaticae, Special Issues on Graph Transformations, Amsterdam, 26, No. 3/4, Amsterdam, IOS Press,
[Conference Contribution]
J. Rekers ; Andy Schürr (1996):
A Graph Based Framework for the Implementation of Visual Environments.
In: Proc. VL'96 12th Int. IEEE Symp. on Visual Languages, Boulder, Colorado, Los Alamitos, P. 148-155, Los Alamitos, IEEE Computer Society Press,
[Conference Contribution]
Manfred Nagl ; Andy Schürr (1996):
Software Integration Problems and Coupling of Graph Grammar Specifications.
In: Proc. 5th Int. Workshop on Graph-Grammars and Their Application to Computer Science, Heidelberg, In: Lecture Notes in Computer Science (LNCS), 1073, P. 155-169, Heidelberg, Springer Verlag,
[Conference Contribution]
Andy Schürr (1996):
Programmed Graph Transformations and Graph Transformation Units in GRACE.
In: Proc. 5th Int. Workshop on Graph-Grammars and Their Application to Computer Science, Heidelberg, In: Lecture Notes in Computer Science (LNCS), 1073, P. 122-136, Heidelberg, Springer Verlag,
[Conference Contribution]
N. Kiesel ; Andy Schürr ; Bernhard Westfechtel (1995):
GRAS, a Graph-Oriented Database System for (Software) Engineering Applications.
Oxford, In: Information Systems, P. 21-25, Oxford, Pergamon Press,
[Article]
J. Rekers ; Andy Schürr (1995):
A Graph Grammar Approach to Graphical Parsing (2).
In: Proc. Twente Workshop on Language Technology 10 joint with First AMAST Workshop on Language Processing, Enschede, P. 163-172, Enschede, Twente University,
[Conference Contribution]
Gabriele Taentzer ; Andy Schürr (1995):
DIEGO and another Step Towards a Module Concept for Graph Transformation Systems.
In: Proc. Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, Amsterdam, In: Electronic Notes in Theoretical Computer Science, P. 85-94, Amsterdam, Elsevier Science Publ.,
[Conference Contribution]
Gregor Engels ; Andy Schürr (1995):
Hierarchical Graphs and Graph Types, and Meta Types.
In: Proc. Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, Amsterdam, In: Electronic Notes in Theoretical Computer Science, P. 75-84, Amsterdam, Elsevier Science Publ.,
[Conference Contribution]
Andy Schürr ; Andreas Winter ; Albert Zündorf (1995):
Graph Grammar Engineering with PROGRES.
In: Proc. 5th European Software Engineering Conf. (ESEC '95), Heidelberg, In: Lecture Notes in Computer Science (LNCS), 989, P. 219-234, Heidelberg, Springer Verlag,
[Conference Contribution]
Andy Schürr ; Andreas Winter ; Albert Zündorf (1995):
Visual Programming with Graph Rewriting Systems.
In: Proc. VL'95 11th Int. IEEE Symp. on Visual Languages, Los Alamitos, P. 326-335, Los Alamitos, IEEE Computer Society Press,
[Conference Contribution]
J. Rekers ; Andy Schürr (1995):
A Graph Grammar Approach to Graphical Parsing.
In: Proc. VL'95 11th Int. IEEE Symp. on Visual Languages, Los Alamitos, P. 195-202, Los Alamitos, IEEE Computer Society Press,
[Conference Contribution]
Andy Schürr ; A. Borkowski (1995):
A Fixpoint Semantics for Programmed Graph Transformations.
In: Proc. Colloquium on Graph Transformations and its Application in Computer Science, Palma de Mallorca, Mallorca, Technical Report UIB-DMI-, P. 117-124, Mallorca, University of the Balearic Islands,
[Conference Contribution]
Norbert Kiesel ; Andy Schürr ; Bernhard Westfechtel (1994):
GRAS, a Graph-Oriented Database System: Data Model, Functionality, and Applications.
In: Proc. of ICSE 94 Workshop on the Intersection between Databases and Software Engineering, Los Alamitos, P. 64-68, Los Alamitos, IEEE Computer Society Press,
[Conference Contribution]
Andy Schürr (1994):
Rapid Programming with Graph Rewrite Rules.
In: USENIX Symp. Proc. Very High Level Languages (VHLL), Berkeley, P. 83-100, Berkeley, USENIX Association,
[Conference Contribution]
Andy Schürr (1994):
Specification of Graph Translators with Triple Graph Grammars.
In: WG'94 20th Int. Workshop on Graph-Theoretic Concepts in Computer Science, Heidelberg, In: Lecture Notes in Computer Science (LNCS), 903, P. 151-163, Heidelberg, Springer Verlag,
[Conference Contribution]
Andy Schürr (1994):
Logic Based Structure Rewriting Systems.
In: Proc. Dagstuhl-Seminar 9301 on Graph Transformation in Computer Science, Heidelberg, In: Lecture Notes in Computer Science (LNCS), 776, P. 341-357, Heidelberg, Springer Verlag,
[Conference Contribution]
Andy Schürr (1994):
Specification of Graph Translators with Triple Graph Grammars.
Aachen, Aachen, RWTH-Aachen,
[Report]
Norbert Kiesel ; Andy Schürr ; Bernhard Westfechtel (1993):
Design and Evaluation of GRAS and a Graph-Oriented Database System for (Software) Engineering Applications.
In: CASE '93 Proc. 6th Int. Workshop on Computer-Aided Software Engineering, Los Alamitos, P. 272-286, Los Alamitos, IEEE Computer Society Press,
[Conference Contribution]
Andy Schürr ; Albert Zündorf (1993):
Nondeterministic Control Structures for Graph Rewriting Systems.
In: Proc. WG '91 17th Int. Workshop on Graph-Theoretic Concepts in Computer Science, Heidelberg, In: Lecture Notes in Computer Science (LNCS), 570, P. 48-62, Heidelberg, Springer Verlag,
[Conference Contribution]
Gregor Engels ; Claus Lewerentz ; Manfred Nagl ; Andy Schürr (1992):
Building Integrated Software Development Environments, Part I: Tool Specification.
New York, In: ACM Transactions on Software Engineering and Methodology (TOSEM), P. 135-167, New York, ACM Press,
[Article]
Andy Schürr (1991):
Operationales Spezifizieren mit programmierten Graphersetzungssystemen.
Wiesbaden, Deutscher Universitätsverlag, Rheinisch-Westfälischen Technischen Hochschule Aachen,
[PhD Thesis]
Andy Schürr (1991):
PROGRESS: A VHL-Language Based on Graph Grammars.
In: Proc. 4th Int. Workshop on Graph-Grammars and Their Application to Computer Science, Heidelberg, In: Lecture Notes in Computer Science (LNCS), 532, P. 641-659, Heidelberg, Springer Verlag,
[Conference Contribution]
Manfred Nagl ; Andy Schürr (1991):
A Specification Environment for Graph Grammars.
In: Proc. 4th Int. Workshop on Graph-Grammars and Their Application to Computer Science, Heidelberg, In: Lecture Notes in Computer Science (LNCS), 532, P. 599-609, Heidelberg, Springer Verlag,
[Conference Contribution]
Andy Schürr (1989):
Introduction to PROGRESS and an Attribute Graph Grammar Based Specification Language.
In: Proc. WG '89 15th Int. Workshop on Graph-Theoretic Concepts in Computer Science, Castle Rolduc, Netherlands, Heidelberg, In: Lecture Notes in Computer Science (LNCS), 411, P. 151-165, Heidelberg, Springer Verlag,
[Conference Contribution]
Andy Schürr (1988):
Modellierung und Simulation komplexer Systeme mit PROGRESS.
In: Simulationstechnik : proceedings ; 5. Symposium Simulationstechnik, Aachen, 28. - 30. September 1988, 179, P. 84-91, Heidelberg, Springer Verlag,
[Conference Contribution]
Claus Lewerentz ; Andy Schürr (1988):
GRAS, a Management System for Graph-Like Documents.
In: Proceedings of the 3rd International Conference on Data and Knowledge Bases, P. 19-31, Burlington, Morgan Kaufmann Publ. Inc.,
[Conference Contribution]
Claus Lewerentz ; Andy Schürr (1987):
Ein Datenbanksystem für Software-Dokumente.
In: Proc. GI-Fachgespräch Datenbanken für Software-Engineering der FG Software-Engineering, Bonn, In: Softwaretechnik-Trends, Heft 7-2, P. 148-163, Bonn, Gesellschaft für Informatik,
[Conference Contribution]
Gregor Engels ; Andy Schürr (1987):
A Hybrid Interpreter in a Software Development Environment.
In: 1st European Software Engineering Conference on ESEC '87 : Strasbourg, France, September 9 - 11, 1987 ; proceedings, 289, P. 87-96, Heidelberg, Springer Verlag,
[Conference Contribution]