2024

Kratz, Maximilian ; Ehmes, Sebastian ; Volle, Marco ; Schürr, Andy
Hrsg.: Schulte, Stefan ; Koldehofe, Boris (2024)
Generating Training Data Sets for Machine Learning Approaches with GIPS.
In: From Multimedia Communications to the Future Internet: Essays Dedicated to Ralf Steinmetz on the Occasion of His Retirement
doi: 10.1007/978-3-031-71874-8_9
Buchkapitel, Bibliographie

Göttmann, Hendrik ; Caesar, Birte ; Beers, Lasse ; Lochau, Malte ; Schürr, Andy ; Fay, Alexander (2024)
Cost-sensitive precomputation of real-time-aware reconfiguration strategies based on stochastic priced timed games.
In: Software and Systems Modeling, 2024
doi: 10.1007/s10270-024-01195-9
Artikel, Bibliographie

Fritsche, Lars ; Lauer, Alexander ; Schürr, Andy ; Taentzer, Gabriele
Hrsg.: Harmer, Russ ; Kosiol, Jens (2024)
Using Application Conditions to Rank Graph Transformations for Graph Repair.
17th International Conference on Graph Transformation. Enschede, The Netherlands (10.07.2024 - 11.07.2024)
doi: 10.1007/978-3-031-64285-2_8
Konferenzveröffentlichung, Bibliographie

2023

Basile, Davide ; Ter Beek, Maurice H ; Göttmann, Hendrik ; Lochau, Malte (2023)
Mutant Equivalence as Monotonicity in Parametric Timed Games.
11th International Conference on Formal Methods in Software Engineering. Melbourne, Australia (14.05.2023-15.05.2023)
doi: 10.1109/FormaliSE58978.2023.00014
Konferenzveröffentlichung, Bibliographie

Göttmann, Hendrik ; Caesar, Birte ; Beers, Lasse ; Lochau, Malte ; Schürr, Andy ; Fay, Alexander
Hrsg.: Engels, Gregor ; Hebig, Regina ; Tichy, Matthias (2023)
Precomputing Reconfiguration Strategies based on Stochastic Timed Game Automata.
Software Engineering 2023 - Fachtagung des GI-Fachbereichs Softwaretechnik. Paderborn, Germany (20.02.2023-24.02.2023)
Konferenzveröffentlichung, Bibliographie

Fritsche, Lars ; Kosiol, Jens ; Möller, Adrian ; Schürr, Andy
Hrsg.: Fernandez, Maribel ; Poskitt, Christopher M. (2023)
Advanced Consistency Restoration with Higher-Order Short-Cut Rules.
16th International Conference on Graph Transformation (ICGT 2023). Leicester, United Kingdom (19.07.2023-20.07.2023)
doi: 10.1007/978-3-031-36709-0_10
Konferenzveröffentlichung, Bibliographie

2022

Ehmes, Sebastian ; Kratz, Maximilian ; Schürr, Andy (2022)
Graph-Based Specification and Automated Construction of ILP Problems.
In: Electronic Proceedings in Theoretical Computer Science, 374
doi: 10.4204/EPTCS.374
Artikel, Bibliographie

Göttmann, Hendrik ; Caesar, Birte ; Beers, Lasse ; Lochau, Malte ; Schürr, Andy ; Fay, Alexander
Hrsg.: Syriani, Eugene ; Sahraoui, Houari A. ; Bencomo, Nelly ; Wimmer, Manuel (2022)
Precomputing Reconfiguration Strategies based on Stochastic Timed Game Automata.
25th International Conference on Model Driven Engineering Languages and Systems. Montreal, Canada (23.10.2022-28.10.2022)
doi: 10.1145/3550355.3552397
Konferenzveröffentlichung, Bibliographie

Ehmes, Sebastian ; Kratz, Maximilian ; Schürr, Andy (2022)
Graph-Based Specification and Automated Construction of ILP Problems.
Software Technologies: Applications and Foundations (STAF 2022). Nantes, France (05.07.2022-08.07.2022)
Konferenzveröffentlichung, Bibliographie

Fritsche, Lars (2022)
Local Consistency Restoration Methods for Triple Graph Grammars.
Technische Universität Darmstadt
doi: 10.26083/tuprints-00021443
Dissertation, Erstveröffentlichung, Verlagsversion

Ruland, Sebastian (2022)
Automated Quality-Assurance Techniques for the Modernization of Software-Product Lines.
Technische Universität Darmstadt
doi: 10.26083/tuprints-00021488
Dissertation, Erstveröffentlichung, Verlagsversion

Fritsche, Lars ; Kosiol, Jens ; Möller, Adrian ; Schürr, Andy ; Taentzer, Gabriele
Hrsg.: Grunske, Lars ; Siegmund, Janet ; Vogelsang, Andreas (2022)
A Precedence-Driven Approach for Concurrent Model Synchronization Scenarios using Triple Graph Grammars.
Software Engineering 2022. virtual Conference (21.02.2022 - 25.02.2022)
doi: 10.18420/se2022-ws-005
Konferenzveröffentlichung, Bibliographie

2021

Behr, Nicolas ; Bello, Bello Shehu ; Ehmes, Sebastian ; Heckel, Reiko
Hrsg.: Hoffmann, Berthold ; Minas, Mark (2021)
Stochastic Graph Transformation For Social Network Modeling.
STAF 2021: Software Technologies: Applications and Foundations. virtual Conference (21.06.2021-25.06.2021)
doi: 10.4204/EPTCS.350.3
Konferenzveröffentlichung, Bibliographie

Pfannemüller, Martin ; Breitbach, Martin ; Weckesser, Markus ; Becker, Christian ; Schmerl, Bradley ; Schürr, Andy ; Krupitzer, Christian (2021)
REACT-ION: A Model-Based Runtime Environment for Situation-Aware Adaptations.
In: ACM Transactions on Autonomous and Adaptive Systems, 15 (4)
doi: 10.1145/3487919
Artikel, Bibliographie

Fritsche, Lars ; Kosiol, Jens ; Schürr, Andy ; Taentzer, Gabriele (2021)
Avoiding unnecessary information loss: correct and efficient model synchronization based on triple graph grammars.
In: International Journal on Software Tools for Technology Transfer, 23 (3)
doi: 10.1007/s10009-020-00588-7
Artikel, Bibliographie

Tomaszek, Stefan (2021)
Modellbasierte Einbettung von virtuellen Netzwerken in Rechenzentren.
Technische Universität Darmstadt
doi: 10.12921/tuprints-00017362
Dissertation, Erstveröffentlichung, Verlagsversion

Göttmann, Hendrik ; Bacher, Isabelle ; Gottwald, Nicolas ; Lochau, Malte
Hrsg.: Grünbacher, Paul ; Seidl, Christoph ; Dhungana, Deepak ; Lovasz-Bukvova, Helena (2021)
Static Analysis Techniques for Efficient Consistency Checking of Real-Time-Aware DSPL Specifications.
VaMoS'21: 15th International Working Conference on Variability Modelling of Software-Intensive Systems. Virtual Event / Krems, Austria (09.02.2021-11.02.2021)
doi: 10.1145/3442391.3442409
Konferenzveröffentlichung, Bibliographie

2020

Göttmann, Hendrik ; Schürr, Andy (2020)
Real-Time-Aware Reconfiguration Decisions for Dynamic Software Product Lines.
SPLC '20: 24th ACM International Systems and Software Product Line Conference. virtual Conference (19.10.2020-23.10.2020)
doi: 10.1145/3382025.3414945
Konferenzveröffentlichung, Bibliographie

Ehmes, Sebastian ; Fritsche, Lars ; Altenhofen, Konrad
Hrsg.: Babur, Önder ; Denil, Joachim ; Vogel-Heuser, Birgit (2020)
GrapeL: Combining Graph Pattern Matching and Complex Event Processing.
1st International Conference on Systems Modelling and Management (ICSMM 2020). virtual Conference (25.06.2020-26.06.2020)
doi: 10.1007/978-3-030-58167-1_13
Konferenzveröffentlichung, Bibliographie

Pfannemüller, Martin ; Breitbach, Martin ; Krupitzer, Christian ; Weckesser, Markus ; Becker, Christian ; Schmerl, Bradley ; Schürr, Andy (2020)
REACT: A Model-Based Runtime Environment for Adapting Communication Systems.
1st IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS 2020). virtual Conference (17.08.2020-21.08.2020)
doi: 10.1109/ACSOS49614.2020.00027
Konferenzveröffentlichung, Bibliographie

Pfannemüller, Martin ; Breitbach, Martin ; Krupitzer, Christian ; Becker, Christian ; Schürr, Andy (2020)
Enhancing a Communication System with Adaptive Behavior using REACT.
2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C). virtual Conference (17.08.2020-21.08.2020)
doi: 10.1109/ACSOS-C51401.2020.00062
Konferenzveröffentlichung, Bibliographie

Pfannemüller, Martin ; Breitbach, Martin ; Becker, Christian (2020)
EnTrace: Achieving Enhanced Traceability in Self-Aware Computing Systems.
2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C). virtual Conference (17.08.2020-21.08.2020)
Konferenzveröffentlichung, Bibliographie

Tomaszek, Stefan ; Fritsche, Lars ; Schürr, Andy
Dynamic Virtual Network Embedding: Using Incremental Model Transformation and Integer Linear Programming Techniques.
In: Journal of Object Technology, 19 (2)
doi: 10.5381/jot.2020.19.2.a9
Artikel, Bibliographie

Ruland, Sebastian ; Lochau, Malte ; Fehse, Oliver ; Schürr, Andy (2020)
CPA/Tiger-MGP: test-goal set partitioning for efficient multi-goal test-suite generation.
In: International Journal on Software Tools for Technology Transfer, 23 (6)
doi: 10.1007/s10009-020-00574-z
Artikel, Bibliographie

Kulcsar, Geza ; Corradini, Andrea ; Lochau, Malte (2020)
A calculus of concurrent graph-rewriting processes.
In: Journal of Logical and Algebraic Methods in Programming, 110
doi: 10.1016/j.jlamp.2019.100500
Artikel, Bibliographie

Reuling, Dennis ; Kelter, Udo ; Bürdek, Johannes ; Lochau, Malte (2020)
On Automated N-way Program Merging for Facilitating Family-based Analyses of Variant-rich Software.
Software Engineering 2020 (SE 2020). Innsbruck, Austria (24.02.2020-28.02.2020)
doi: 10.18420/SE2020_14
Konferenzveröffentlichung, Bibliographie

Ruland, Sebastian ; Kulcsar, Geza ; Leblebici, Erhan ; Peldszus, Sven ; Lochau, Malte (2020)
On Controlling the Attack Surface of Object-Oriented Refactorings.
Software Engineering 2020 (SE 2020). Innsbruck, Austria (24.02.2020-28.02.2020)
doi: 10.18420/SE2020_26
Konferenzveröffentlichung, Bibliographie

Soldani, Jacopo ; Luthmann, Lars ; Lochau, Malte ; Brogi, Antonio (2020)
Testing Conformance in Multi-component Enterprise Application Management.
8th IFIP WG 2.14 European Conference, ESOCC 2020. Heraklion, Crete, Greece (28.09.2020-30.09.2020)
doi: 10.1007/978-3-030-44769-4_1
Konferenzveröffentlichung, Bibliographie

Ruland, Sebastian ; Lochau, Malte ; Jakobs, Marie-Christine (2020)
HybridTiger: Hybrid Model Checking and Domination-based Partitioning for Efficient Multi-Goal Test-Suite Generation (Competition Contribution).
ETAPS 2020. Dublin, Irland (25.04.2020-30.04.2020)
doi: 10.1007/978-3-030-45234-6_26
Konferenzveröffentlichung, Bibliographie

Kutscher, Vladimir ; Ruland, Sebastian ; Müller, Patrick ; Wasser, Nathan ; Lochau, Malte ; Anderl, Reiner ; Schürr, Andy ; Mezini, Mira ; Hähnle, Reiner (2020)
Towards a Circular Economy of Industrial Software.
In: Procedia CIRP, 90
doi: 10.1016/j.procir.2020.01.133
Artikel, Bibliographie

Fritsche, Lars ; Kosiol, Jens ; Möller, Adrian ; Schürr, Andy ; Taentzer, Gabriele
Hrsg.: Lämmel, Ralf ; Tratt, Laurence ; de Lara, Juan (2020)
A Precedence-Driven Approach for Concurrent Model Synchronization Scenarios using Triple Graph Grammars.
SPLASH '20: Conference on Systems, Programming, Languages, and Applications, Software for Humanity. virtual Conference (16.11.2020-17.11.2020)
doi: 10.1145/3426425.3426931
Konferenzveröffentlichung, Bibliographie

Weidmann, Nils ; Fritsche, Lars ; Anjorin, Anthony (2020)
A Search-Based and Fault-Tolerant Approach to Concurrent Model Synchronisation.
SPLASH '20: Conference on Systems, Programming, Languages, and Applications, Software for Humanity. virtual Conference (16.11.2020-17.11.2020)
doi: 10.1145/3426425.3426932
Konferenzveröffentlichung, Bibliographie

Luthmann, Lars (2020)
Specification and Analysis of Software Systems with Configurable Real-Time Behavior.
Technische Universität Darmstadt
doi: 10.25534/tuprints-00017363
Dissertation, Erstveröffentlichung, Verlagsversion

Lochau, Malte ; Luthmann, Lars ; Göttmann, Hendrik ; Bacher, Isabelle
Hrsg.: Margaria, Tiziana ; Steffen, Bernhard (2020)
Parametric Timed Bisimulation.
9th International Symposium on Leveraging Applications of Formal Methods (ISoLA 2020). Rhodes, Greece (20.10.2020-30.10.2020)
doi: 10.1007/978-3-030-61470-6_5
Konferenzveröffentlichung, Bibliographie

2019

Luthmann, Lars ; Göttmann, Hendrik ; Lochau, Malte (2019)
Checking Timed Bisimulation with Bounded Zone-History Graphs - Technical Report.
doi: 10.48550/arXiv.1910.08992
Report, Bibliographie

Luthmann, Lars ; Göttmann, Hendrik ; Lochau, Malte (2019)
Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata - Technical Report.
doi: 10.48550/arXiv.1909.03703
Report, Bibliographie

Weckesser, Markus Tobias (2019)
Automatisierte Analyse integrierter Software-Produktlinien-Spezifikationen.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung

Alt, Bastian ; Weckesser, Markus ; Becker, Christian ; Hollick, Matthias ; Kar, Sounak ; Klose, Robin ; Kluge, Roland ; Koeppl, Heinz ; KhudaBukhsh, Wasiur R. ; Luthra, Manisha ; Mousavi, Mahdi ; Mühlhäuser, Max ; Pfannemüller, Martin ; Rizk, Amr ; Schürr, Andy ; Steinmetz, Ralf ; Klein, Anja (2019)
Transitions: A Protocol-Independent View of the Future Internet.
In: Proceedings of the IEEE, 107 (4)
doi: 10.1109/JPROC.2019.2895964
Artikel, Bibliographie

Kluge, Roland ; Stein, Michael ; Varró, Gergely ; Schürr, Andy ; Hollick, Matthias ; Mühlhäuser, Max (2019)
A systematic approach to constructing families of incremental topology control algorithms using graph transformation.
In: Software & Systems Modeling, 18 (1)
doi: 10.1007/s10270-017-0587-8
Artikel, Bibliographie

Kulcsár, Géza (2019)
A Compass to Controlled Graph Rewriting.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung

Pfannemüller, Martin ; Weckesser, Markus ; Kluge, Roland ; Edinger, Janick ; Luthra, Manisha ; Klose, Robin ; Becker, Christian ; Schürr, Andy (2019)
CoalaViz: Supporting Traceability of Adaptation Decisions in Pervasive Communication Systems.
2019 IEEE International Conference on Pervasive Computing and Communications Workshops, PerCom Workshops 2019.
Konferenzveröffentlichung, Bibliographie

Pfannemüller, Martin ; Edinger, Janick ; Weckesser, Markus ; Kluge, Roland ; Luthra, Manisha ; Klose, Robin ; Becker, Christian ; Schürr, Andy (2019)
Demo: Visualizing Adaptation Decisions in Pervasive Communication Systems.
2019 IEEE International Conference on Pervasive Computing and Communications Workshops, PerCom Workshops 2019.
Konferenzveröffentlichung, Bibliographie

Varshosaz, Mahsa ; Luthmann, Lars ; Mohr, Paul ; Lochau, Malte ; Mousavi, Mohammad Reza (2019)
Modal transition system encoding of featured transition systems.
In: Journal of Logical and Algebraic Methods in Programming, 106
doi: 10.1016/j.jlamp.2019.03.003
Artikel, Bibliographie

Taentzer, Gabriele ; Goedicke, Michael ; Paech, Barbara ; Schneider, Kurt ; Schürr, Andy ; Vogel-Heuser, Birgit (2019)
The Nature of Software Evolution.
In: Managed Software Evolution
doi: 10.1007/978-3-030-13499-0_2
Buchkapitel, Bibliographie

Thüm, Thomas ; Hoorn, André van ; Apel, Sven ; Bürdek, Johannes ; Getir, Sinem ; Heinrich, Robert ; Jung, Reiner ; Kowal, Matthias ; Lochau, Malte ; Schaefer, Ina ; Walter, Jürgen (2019)
Performance Analysis Strategies for Software Variants and Versions.
In: Managed Software Evolution
doi: 10.1007/978-3-030-13499-0_8
Buchkapitel, Bibliographie

Lochau, Malte ; Reuling, Dennis ; Bürdek, Johannes ; Kehrer, Timo ; Lity, Sascha ; Schürr, Andy ; Kelter, Udo (2019)
Model-Based Round-Trip Engineering and Testing of Evolving Software Product Lines.
In: Managed Software Evolution
doi: 10.1007/978-3-030-13499-0_7
Buchkapitel, Bibliographie

Jung, Reiner ; Märtin, Lukas ; Johanssen, Jan Ole ; Paech, Barbara ; Lochau, Malte ; Thüm, Thomas ; Schneider, Kurt ; Tichy, Matthias ; Ulbrich, Mattias (2019)
Addressed Challenges.
In: Managed Software Evolution
doi: 10.1007/978-3-030-13499-0_3
Buchkapitel, Bibliographie

Reuling, Dennis ; Kelter, Udo ; Bürdek, Johannes ; Lochau, Malte (2019)
Automated N-way Program Merging for Facilitating Family-based Analyses of Variant-rich Software.
In: Transaction on Software Engineering and Methodology, 28 (3)
doi: 10.1145/3313789
Artikel, Bibliographie

Pett, Tobias ; Thüm, Thomas ; Runge, Tobias ; Krieter, Sebastian ; Lochau, Malte ; Schaefer, Ina (2019)
Product Sampling for Product Lines: The Scalability Challenge.
23rd International Systems and Software Product Line Conference (SPLC '19).
doi: 10.1145/3336294.3336322
Konferenzveröffentlichung, Bibliographie

Reuling, Dennis ; Lochau, Malte ; Kelter, Udo (2019)
From Imprecise N-Way Model Matching to Precise N-Way Model Merging.
In: Journal of Object Technology, 18 (2)
doi: 10.5381/jot.2019.18.2.a8
Artikel, Bibliographie

Capilla, Rafael ; Fuentes, Lidia ; Lochau, Malte (2019)
Software variability in dynamic environments.
In: Journal of Systems and Software, 156
doi: 10.1016/j.jss.2019.06.003
Artikel, Bibliographie

Al-Hajjaji, Mustafa ; Thüm, Thomas ; Lochau, Malte ; Meinicke, Jens ; Saake, Gunter (2019)
Effective product-line testing using similarity-based product prioritization.
In: Software and Systems Modeling, 18 (1)
doi: 10.1007/s10270-016-0569-2
Artikel, Bibliographie

Ehmes, Sebastian ; Fritsche, Lars ; Schürr, Andy (2019)
SimSG: Rule-based Simulation using Stochastic Graph Transformation.
In: Journal of Object Technology, 18 (3)
doi: 10.5381/jot.2019.18.3.a1
Artikel, Bibliographie

Luthmann, Lars ; Gerecht, Timo ; Lochau, Malte (2019)
Sampling strategies for product lines with unbounded parametric real-time constraints.
In: International Journal on Software Tools for Technology Transfer
doi: 10.1007/s10009-019-00532-4
Artikel, Bibliographie

Kosiol, Jens ; Fritsche, Lars ; Schürr, Andy ; Taentzer, Gabriele (2019)
Adhesive Subcategories of Functor Categories with Instantiation to Partial Triple Graphs.
12th International Conference on Graph Transformation. Eindhoven (15.07.2019-19.07.2019)
doi: 10.1007/978-3-030-23611-3_3
Konferenzveröffentlichung, Bibliographie

Fritsche, Lars ; Kosiol, Jens ; Schürr, Andy ; Taentzer, Gabriele (2019)
Efficient Model Synchronization by Automatically Constructed Repair Processes.
22nd International Conference on Fundamental Approaches to Software Engineering. Prag (06.04.2019-11.04.2019)
doi: 10.1007/978-3-030-16722-6_7
Konferenzveröffentlichung, Bibliographie

Weidmann, Nils ; Anjorin, Anthony ; Fritsche, Lars ; Varró, Gergely ; Schürr, Andy ; Leblebici, Erhan (2019)
Incremental Bidirectional Model Transformation with eMoflon::IBeX.
8th International Workshop on Bidirectional Transformations. Philadelphia (04.06.2019-04.06.2019)
Konferenzveröffentlichung, Bibliographie

Weidmann, Nils ; Anjorin, Anthony ; Leblebici, Erhan ; Schürr, Andy (2019)
Consistency Management via a Combination of Triple Graph Grammars and Linear Programming.
12th ACM SIGPLAN International Conference on Software Language Engineering. Athen (20.10.2019-25.10.2019)
doi: 10.1145/3357766.3359544
Konferenzveröffentlichung, Bibliographie

Luthmann, Lars ; Göttmann, Hendrik ; Lochau, Malte (2019)
Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata.
doi: 10.1007/978-3-030-40914-2_8
Konferenzveröffentlichung, Bibliographie

Reuling, Dennis ; Kelter, Udo ; Ruland, Sebastian ; Lochau, Malte (2019)
SiMPOSE - Configurable N-Way Program Merging Strategies for Superimposition-Based Analysis of Variant-Rich Software.
34th IEEE/ACM International Conference on Automated Software Engineering (ASE 2019). San Diego, USA (11.11.2019-15.11.2019)
doi: 10.1109/ASE.2019.00120
Konferenzveröffentlichung, Bibliographie

2018

Speith, Roland (2018)
Correct-by-Construction Development of Dynamic Topology Control Algorithms.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung

Kluge, Roland ; Stein, Michael ; Varró, Gergely ; Schürr, Andy ; Hollick, Matthias ; Mühlhäuser, Max (2018)
A Systematic Approach to Constructing Families of Incremental Topology Control Algorithms using Graph Transformation.
11th International Conference on Graph Transformation (ICGT 2018). Toulouse, France (25.06.2018-26.06.2018)
Konferenzveröffentlichung, Bibliographie

Richerzhagen, Nils ; Kluge, Roland ; Richerzhagen, Björn ; Lieser, Patrick ; Koldehofe, Boris ; Stavrakakis, Ioannis ; Steinmetz, Ralf (2018)
Better Together: Collaborative Monitoring for Location-based Services.
Proc. 19th International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM).
Konferenzveröffentlichung, Bibliographie

Leblebici, Erhan (2018)
Inter-Model Consistency Checking and Restoration with Triple Graph Grammars.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung

Schürr, Andy
Hrsg.: Schaefer, Ina ; Karagiannis, Dimitris ; Vogelsang, Andreas ; Méndez, Daniel ; Seidl, Christoph (2018)
Graph-Transformation-Driven Correct-by-Construction Development of Communication System Topology Adaptation Algorithms.
Konferenzveröffentlichung, Bibliographie

Stein, Michael ; Frömmgen, Alexander ; Kluge, Roland ; Wang, Lin ; Wilberg, Augustin ; Koldehofe, Boris ; Mühlhäuser, Max (2018)
Scaling Topology Pattern Matching: A Distributed Approach.
In Proceedings of the ACM/SIGAPP Symposium on Applied Computing (SAC).
Konferenzveröffentlichung, Bibliographie

Tomaszek, Stefan ; Leblebici, Erhan ; Wang, Lin ; Schürr, Andy (2018)
Model-driven Development of Virtual Network Embedding Algorithms with Model Transformation and Linear Optimization Techniques.
Modellierung 2018.
Konferenzveröffentlichung, Bibliographie

Kluge, Roland ; Stein, Michael ; Varró, Gergely ; Schürr, Andy ; Hollick, Matthias ; Mühlhäuser, Max
Hrsg.: Tichy, Matthias ; Bodden, Eric ; Kuhrmann, Marco ; Wagner, Stefan ; Steghöfer, Jan-Philipp (2018)
A systematic approach to constructing families of incremental topology control algorithms using graph transformation.
24. Tagung Software Engineering (SE) des Fachbereichs Softwaretechnik der Gesellschaft für Informatik. Ulm, Germany (05.03.2018-09.03.2018)
Konferenzveröffentlichung, Bibliographie

Anjorin, Anthony ; Yigitbas, Enes ; Leblebici, Erhan ; Schürr, Andy ; Lauder, Marius ; Witte, Martin (2018)
Description Languages for Consistency Management Scenarios Based on Examples from the Industry Automation Domain.
In: Programming Journal, 2 (3)
doi: 10.22152/programming-journal.org/2018/2/7
Artikel, Bibliographie

Tomaszek, Stefan ; Leblebici, Erhan ; Wang, Lin ; Schürr, Andy (2018)
Virtual Network Embedding: Reducing the Search Space by Model Transformation Techniques.
Proceedings of the 11th International Conference on Theory and Practice of Model Transformation (ICMT'18).
doi: 10.1007/978-3-319-93317-7_2
Konferenzveröffentlichung, Bibliographie

Kulcsar, Geza ; Lochau, Malte ; Schürr, Andy
Hrsg.: Lambers, Leen ; Weber, Jens (2018)
Graph-Rewriting Petri Nets.
11th International Conference on Graph Transformation (ICGT'18).
Konferenzveröffentlichung, Bibliographie

Kulcsar, Geza ; Corradini, Andrea ; Lochau, Malte
Hrsg.: Lambers, Leen ; Weber, Jens (2018)
Equivalence and Independence in Controlled Graph-Rewriting Processes.
11th International Conference on Graph Transformation (ICGT'18).
Konferenzveröffentlichung, Bibliographie

Weckesser, Markus ; Kluge, Roland ; Pfannemüller, Martin ; Matthé, Michael ; Schürr, Andy ; Becker, Christian (2018)
Optimal Reconfiguration of Dynamic Software Product Lines Based on Performance-influence Models.
Proceeedings of the 22Nd International Conference on Systems and Software Product Line - Volume 1. New York, NY, USA
doi: 10.1145/3233027.3233030
Konferenzveröffentlichung, Bibliographie

Ruland, Sebastian ; Luthmann, Lars ; Bürdek, Johannes ; Lity, Sascha ; Thüm, Thomas ; Lochau, Malte ; Ribeiro, Márcio (2018)
Measuring Effectiveness of Sample-Based Product-Line Testing.
Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE'18).
doi: 10.1145/3278122.3278130
Konferenzveröffentlichung, Bibliographie

Luthmann, Lars ; Mennicke, Stephan ; Lochau, Malte (2018)
Unifying modal interface theories and compositional input/output conformance testing.
In: Science of Computer Programming, (172)
doi: 10.1016/j.scico.2018.09.008
Artikel, Bibliographie

Weckesser, Markus ; Lochau, Malte ; Ries, Michael ; Schürr, Andy (2018)
Mathematical Programming for Anomaly Analysis of Clafer Models.
Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2018, Copenhagen, Denmark, October 14-19, 2018.
doi: 10.1145/3239372.3239398
Konferenzveröffentlichung, Bibliographie

Peldszus, Sven ; Kulcsar, Geza ; Lochau, Malte ; Schulze, Sandro (2018)
On Continuous Detection of Design Flaws in Evolving Object-Oriented Programs using Incremental Multi-Pattern Matching.
Software Engineering und Software Management (SE'18).
Konferenzveröffentlichung, Bibliographie

Fritsche, Lars ; Kulcsar, Geza (2018)
eMoflon: A Tool for Tools and Transformations.
Modellierung 2018.
Konferenzveröffentlichung, Bibliographie

Fritsche, Lars ; Kosiol, Jens ; Schürr, Andy ; Taentzer, Gabriele (2018)
Short-Cut Rules — Sequential Composition of Rules Avoiding Unnecessary Deletions.
9th International Workshop on Graph Computation Models (GCM'18).
Konferenzveröffentlichung, Bibliographie

Kosiol, Jens ; Fritsche, Lars ; Nassar, Nebras ; Schürr, Andy ; Taentzer, Gabriele (2018)
Towards Establishing Consistency between Graph Transformation Rules and Atomic Graph Constraints Using Multi-Amalgamation.
24th International Workshop on Recent Trends in Algebraic Development Techniques (WADT'18).
Konferenzveröffentlichung, Bibliographie

Ruland, Sebastian ; Kulcsar, Geza ; Leblebici, Erhan ; Peldszus, Sven ; Lochau, Malte (2018)
Controlling the Attack Surface of Object-Oriented Refactorings.
21st International Conference on Fundamental Approaches to Software Engineering (FASE'18).
doi: 10.1007/978-3-319-89363-1_3
Konferenzveröffentlichung, Bibliographie

Luthmann, Lars ; Gerecht, Timo ; Stephan, Andreas ; Bürdek, Johannes ; Lochau, Malte (2018)
Minimum/maximum delay testing of product lines with unbounded parametric real-time constraints.
In: Journal of Systems and Software, (149)
doi: 10.1016/j.jss.2018.12.028
Artikel, Bibliographie

2017

Kluge, Roland ; Stein, Michael ; Giessing, David ; Schürr, Andy ; Mühlhäuser, Max
Hrsg.: Anjorin, Anthony ; Espinoza, Huáscar (2017)
cMoflon: Model-Driven Generation of Embedded C Code for Wireless Sensor Networks.
European Conference on Modelling Foundations and Applications (ECMFA). Marburg, Germany (19.07.2017-20.07.2017)
doi: 10.1007/978-3-319-61482-3_7
Konferenzveröffentlichung, Bibliographie

Pfannemüller, Martin ; Krupitzer, Christian ; Weckesser, Markus ; Becker, Christian (2017)
A Dynamic Software Product Line Approach for Adaptation Planning in Autonomic Computing Systems.
14th IEEE International Conference on Autonomic Computing (ICAC).
Konferenzveröffentlichung, Bibliographie

Kluge, Roland ; Stein, Michael ; Varró, Gergely ; Schürr, Andy ; Hollick, Matthias ; Mühlhäuser, Max (2017)
A systematic approach to constructing incremental topology control algorithms using graph transformation.
In: Journal of Visual Languages & Computing, 38
doi: 10.1016/j.jvlc.2016.10.003
Artikel, Bibliographie

Stein, Michael ; Weihe, Karsten ; Wilberg, Augustin ; Kluge, Roland ; Klomp, Julian M. ; Schnee, Mathias ; Wang, Lin ; Mühlhäuser, Max (2017)
Distributed Graph-based Topology Adaptation using Motif Signatures.
Proceedings of the ACM-SIAM Meeting on Algorithm Engineering & Experiments (ALENEX). Barcelona (Spain)
Konferenzveröffentlichung, Bibliographie

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

Deckwerth, Frederik (2017)
Static Verification Techniques for Attributed Graph Transformations.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung

Anjorin, Anthony ; Diskin, Zinovy ; Ko, Hsiang-Shang ; Jouault, Frédéric ; Leblebici, Erhan ; Westfechtel, Bernhard
Hrsg.: Eramo, Romina ; Johnson, Michael (2017)
BenchmarX Reloaded: A Practical Benchmark Framework for Bidirectional Transformations.
Proceedings of the 6th International Workshop on Bidirectional Transformations.
Konferenzveröffentlichung, Bibliographie

Leblebici, Erhan ; Anjorin, Anthony ; Schürr, Andy
Hrsg.: Huisman, Marieke ; Rubin, Julia (2017)
Inter-model Consistency Checking Using Triple Graph Grammars and Linear Optimization Techniques.
20th International Conference on Fundamental Approaches to Software Engineering.
doi: 10.1007/978-3-662-54494-5_11
Konferenzveröffentlichung, Bibliographie

Leblebici, Erhan ; Anjorin, Anthony ; Fritsche, Lars ; Varró, Gergely ; Schürr, Andy
Hrsg.: de Lara, Juan ; Plump, Detlef (2017)
Leveraging Incremental Pattern Matching Techniques for Model Synchronisation.
10th International Conference on Graph Transformation.
doi: 10.1007/978-3-319-61470-0_11
Konferenzveröffentlichung, Bibliographie

Luthmann, Lars ; Stephan, Andreas ; Bürdek, Johannes ; Lochau, Malte (2017)
Modeling and Testing Product Lines with Unbounded Parametric Real-Time Constraints.
Proceedings of the 21st International Systems and Software Product Line Conference.
doi: 10.1145/3106195.3106204
Konferenzveröffentlichung, Bibliographie

Lochau, Malte (2017)
Model-based quality assurance of cyber-physical systems with variability in space, over time and at runtime.
Technische Universität Darmstadt
Habilitation, Bibliographie

Weckesser, Markus ; Lochau, Malte ; Ries, Michael ; Schürr, Andy (2017)
Towards Complete Consistency Checks of Clafer Models.
Proceedings of the 8th ACM SIGPLAN International Workshop on Feature-Oriented Software Development.
doi: 10.1145/3141848.3141850
Konferenzveröffentlichung, Bibliographie

Weckesser, Markus ; Lochau, Malte ; Ries, Michael ; Schürr, Andy (2017)
Towards Complete Consistency Checks of Clafer Models.
Proceedings of the 8th ACM SIGPLAN International Workshop on Feature-Oriented Software Development. New York, NY, USA
doi: 10.1145/3141848.3141850
Konferenzveröffentlichung, Bibliographie

Fritsche, Lars ; Leblebici, Erhan ; Anjorin, Anthony ; Schürr, Andy (2017)
A Look-Ahead Strategy for Rule-Based Model Transformations.
11th International Workshop on Models and Evolution.
Konferenzveröffentlichung, Bibliographie

Varshosaz, Mahsa ; Mousavi, Mohammad Reza ; Luthmann, Lars ; Lochau, Malte (2017)
Expressive Power and Encoding of Transition System Models for Software Product Lines.
29th Nordic Workshop on Programming Theory (NWPT'17).
Konferenzveröffentlichung, Bibliographie

2016

Wichtlhuber, Matthias ; Bücker, Sebastian ; Kluge, Roland ; Mousavi, Mahdi ; Hausheer, David
Hrsg.: Toelle, Jens ; Akkaya, Kemal (2016)
Of Strategies and Structures: Motif-based Fingerprinting Analysis of Online Reputation Networks.
IEEE LCN. Dubai, UAE (07.11.2016-10.11.2016)
Konferenzveröffentlichung, Bibliographie

Luthmann, Lars ; Mennicke, Stephan ; Lochau, Malte (2016)
Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing - Technical Report.
doi: 10.48550/arXiv.1606.09035
Report, Bibliographie

Kluge, Roland ; Anjorin, Anthony
Hrsg.: Echahed, Rachid ; Minas, Mark ; Springer International Publishing Switzerland (2016)
The Incremental Advantage: Evaluating the Performance of a TGG-based Visualisation Framework.
9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016. Vienna (05.07.2016-05.07.2016)
Konferenzveröffentlichung, Bibliographie

Frömmgen, Alexander ; Hassan, Mohamed ; Kluge, Roland ; Mousavi, Mahdi ; Mühlhäuser, Max ; Müller, Sabrina ; Schnee, Mathias ; Stein, Michael ; Weckesser, Markus
Hrsg.: Mühlhäuser, Max (2016)
Mechanism Transitions: A New Paradigm for a Highly Adaptive Internet.
Report, Erstveröffentlichung

Schnabel, Thomas ; Weckesser, Markus ; Kluge, Roland ; Lochau, Malte ; Schürr, Andy (2016)
CardyGAn: Tool Support for Cardinality-based Feature Models.
Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems. Salvador, Brazil (27.01.2016-29.01.2016)
Konferenzveröffentlichung, Bibliographie

Weckesser, Markus ; Lochau, Malte ; Schnabel, Thomas ; Richerzhagen, Björn ; Schürr, Andy (2016)
Mind the Gap! Automated Anomaly Detection for Potentially Unbounded Cardinality-Based Feature Models.
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.
Konferenzveröffentlichung, Bibliographie

Anjorin, Anthony ; Leblebici, Erhan ; Schürr, Andy (2016)
20 Years of Triple Graph Grammars: A Roadmap for Future Research.
In: Electronic Communications of the EASST, 73
Artikel, Bibliographie

Stein, Michael ; Frömmgen, Alexander ; Kluge, Roland ; Löffler, Frank ; Schürr, Andy ; Buchmann, Alejandro ; Mühlhäuser, Max (2016)
TARL: Modeling Topology Adaptations for Networking Applications.
11th Int. Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS).
Konferenzveröffentlichung, Bibliographie

Stein, Michael ; Kluge, Roland ; Mirizzi, Dario ; Wilk, Stefan ; Schürr, Andy ; Mühlhäuser, Max (2016)
Transitions on Multiple Layers for Scalable, Energy-Efficient and Robust Wireless Video Streaming.
IEEE Int. Conference on Pervasive Computing and Communications (PerCom).
Konferenzveröffentlichung, Bibliographie

Leblebici, Erhan
Hrsg.: Anjorin, Anthony ; Gibbons, Jeremy (2016)
Towards a Graph Grammar-Based Approach to Inter-Model Consistency Checks with Traceability Support.
5th International Workshop on Bidirectional Transformations (BX 2016).
Konferenzveröffentlichung, Bibliographie

Bürdek, Johannes ; Kehrer, Timo ; Lochau, Malte ; Reuling, Dennis ; Kelter, Udo ; Schürr, Andy (2016)
Reasoning about product-line evolution using complex feature model differences.
Automated Software Engineering.
Konferenzveröffentlichung, Bibliographie

Lochau, Malte ; Bürdek, Johannes ; Bauregger, Stefan ; Holzer, Andreas ; Rhein, Alexander von ; Apel, Sven ; Beyer, Dirk (2016)
On facilitating reuse in multi-goal test-suite generation for software product lines.
Software Engineering, SE 2016.
Konferenzveröffentlichung, Bibliographie

Al-Hajjaji, Mustafa ; Krieter, Sebastian ; Thüm, Thomas ; Lochau, Malte ; Saake, Gunter (2016)
IncLing: Efficient Product-line Testing Using Incremental Pairwise Sampling.
Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE 2016).
Konferenzveröffentlichung, Bibliographie

Deckwerth, Frederik ; Kulcsar, Geza ; Lochau, Malte ; Varró, Gergely ; Schürr, Andy (2016)
Conflict Detection for Edits on Extended Feature Models using Symbolic Graph Transformation.
Proceedings of the 7th International Workshop on Formal Methods and Analysis in Software Product Line Engineering.
Konferenzveröffentlichung, Bibliographie

Peldszus, Sven ; Kulcsar, Geza ; Lochau, Malte ; Schulze, Sandro (2016)
Continuous detection of design flaws in evolving object-oriented programs using incremental multi-pattern matching.
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering.
Konferenzveröffentlichung, Bibliographie

Leblebici, Erhan ; Anjorin, Anthony ; Schürr, Andy ; Taentzer, Gabriele (2016)
Multi-amalgamated triple graph grammars: Formal foundation and application to visual language translation.
Konferenzveröffentlichung, Bibliographie

Lochau, Malte ; Mennicke, Stephan ; Baller, Hauke ; Ribbeck, Lars (2016)
Incremental model checking of delta-oriented software product lines.
Konferenzveröffentlichung, Bibliographie

Kulcsar, Geza ; Anjorin, Anthony (2016)
Towards a Step Semantics for Story-Driven Modelling.
Second Workshop on Graphs as Models (GaM'16).
Konferenzveröffentlichung, Bibliographie

Krupitzer, Christian ; Roth, Felix Maximilian ; Becker, Christian ; Weckesser, Markus ; Lochau, Malte ; Schürr, Andy (2016)
FESAS IDE: An Integrated Development Environment for Autonomic Computing.
2016 IEEE International Conference on Autonomic Computing, ICAC 2016, Wuerzburg, Germany, July 17-22, 2016.
Konferenzveröffentlichung, Bibliographie

Luthmann, Lars ; Mennicke, Stephan ; Lochau, Malte
Hrsg.: Kouchnarenko, Olga ; Khosravi, Ramtin (2016)
Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing.
13th International Conference on Formal Aspects of Component Software (FACS 2016).
Konferenzveröffentlichung, Bibliographie

2015

Anjorin, Anthony ; Leblebici, Erhan ; Kluge, Roland ; Schürr, Andy ; Stevens, Perdita
Hrsg.: Cunha, Alcino ; Kindler, Ekkart (2015)
A Systematic Approach and Guidelines to Developing a Triple Graph Grammar.
Konferenzveröffentlichung, Bibliographie

Kluge, Roland ; Varró, Gergely ; Schürr, Andy
Hrsg.: Kolovos, Dimitris ; Wimmer, Manuel (2015)
A Methodology for Designing Dynamic Topology Control Algorithms via Graph Transformation.
8th International Conference on Model Transformation (ICMT).
Konferenzveröffentlichung, Bibliographie

Varró, Gergely ; Deckwerth, Frederik ; Wieber, Martin ; Schürr, Andy (2015)
An Algorithm for Generating Model-Sensitive Search Plans for Pattern Matching on EMF Models.
In: Software and Systems Modeling, 14 (2)
Artikel, Bibliographie

Luthmann, Lars ; Mennicke, Stephan ; Lochau, Malte (2015)
Towards an I/O Conformance Testing Theory for Software Product Lines based on Modal Interface Automata.
Proceedings of the 6th Workshop on Formal Methods and Analysis in SPL Engineering.
Konferenzveröffentlichung, Bibliographie

Kulcsar, Geza ; Deckwerth, Frederik ; Lochau, Malte ; Varró, Gergely ; Schürr, Andy
Hrsg.: Rensink, Arend ; Zambon, Eduardo (2015)
Improved Conflict Detection for Graph Transformation with Attributes.
Graphs as Models, GaM 2015.
Konferenzveröffentlichung, Bibliographie

Saller, Karsten (2015)
Model-Based Runtime Adaptation of Resource Constrained Devices.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung

Lochau, Malte ; Bürdek, Johannes ; Hölzle, Stefan ; Schürr, Andy (2015)
Specification and automated validation of staged reconfiguration processes for dynamic software product lines.
In: Software & Systems Modeling, 16 (1)
Artikel, Bibliographie

Anjorin, Anthony ; Saller, Karsten ; Lochau, Malte ; Schürr, Andy (2015)
On Modularizing Triple Graph Grammars with Rule Refinement.
Software Engineering & Management, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI).
Konferenzveröffentlichung, Bibliographie

Bürdek, Johannes ; Lochau, Malte ; Bauregger, Stefan ; Holzer, Andreas ; Rhein, Alexander von ; Apel, Sven ; Beyer, Dirk (2015)
Facilitating Reuse in Multi-goal Test-Suite Generation for Software Product Lines.
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.
Konferenzveröffentlichung, Bibliographie

Wieber, Martin Simon (2015)
Qualitätssicherung von Modelltransformationen - Über das dynamische Testen programmierter Graphersetzungssysteme.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung

Leblebici, Erhan ; Anjorin, Anthony ; Schürr, Andy ; Taentzer, Gabriele
Hrsg.: Parisi-Presicce, Francesco ; Westfechtel, Bernhard (2015)
Multi-amalgamated Triple Graph Grammars.
8th International Conference on Graph Transformation (ICGT 2015).
Konferenzveröffentlichung, Bibliographie

Leblebici, Erhan ; Anjorin, Anthony ; Schürr, Andy (2015)
Tool Support for Multi-amalgamated Triple Graph Grammars.
8th International Conference on Graph Transformation (ICGT 2015).
Konferenzveröffentlichung, Bibliographie

Peldszus, Sven ; Kulcsar, Geza ; Lochau, Malte (2015)
A Solution to the Java Refactoring Case Study using eMoflon.
L'Aquila
Konferenzveröffentlichung, Bibliographie

Kulcsar, Geza ; Peldszus, Sven ; Lochau, Malte (2015)
Object-oriented Refactoring of Java Programs using Graph Transformation.
L'Aquila
Konferenzveröffentlichung, Bibliographie

Peldszus, Sven ; Kulcsar, Geza ; Lochau, Malte ; Schulze, Sandro (2015)
Incremental Co-Evolution of Java Programs based on Bidirectional Graph Transformation.
Konferenzveröffentlichung, Bibliographie

Benduhn, Fabian ; Thüm, Thomas ; Lochau, Malte ; Leich, Thomas ; Saake, Gunter (2015)
A Survey on Modeling Techniques for Formal Behavioral Verification of Software Product Lines.
Konferenzveröffentlichung, Bibliographie

Reuling, Dennis ; Bürdek, Johannes ; Rotärmel, Serge ; Lochau, Malte ; Kelter, Udo (2015)
Fault-based product-line testing: effective sample generation based on feature-diagram mutation.
Konferenzveröffentlichung, Bibliographie

Lity, Sascha ; Bürdek, Johannes ; Lochau, Malte ; Berens, Markus ; Schaefer, Ina (2015)
Re-Engineering Automation Systems as Dynamic Software Product Lines.
Konferenzveröffentlichung, Bibliographie

2014

Anjorin, Anthony (2014)
Synchronization of Models on Different Abstraction Levels using Triple Graph Grammars.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung

Lochau, Malte ; Mennicke, Stephan ; Baller, Hauke ; Ribbeck, Lars (2014)
DeltaCCS: A Core Calculus for Behavioral Change.
Proceedings of 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation.
Konferenzveröffentlichung, Bibliographie

Al-Hajjaji, Mustafa ; Thüm, Thomas ; Meinicke, Jens ; Lochau, Malte ; Saake, Gunter
Hrsg.: Gnesi, S. ; Fantechi, A. ; Heymans, P. ; Rubin, J. ; Czarnecki, K. ; Dhungana, D. (2014)
Similarity-based Prioritization in Software Product-Line Testing.
Proceedings of the 18th International Software Product Line Conference.
Konferenzveröffentlichung, Bibliographie

Mennicke, Stephan ; Lochau, Malte ; Schroeter, Julia ; Winkelmann, Tim
Hrsg.: Gnesi, S. ; Fantechi, A. ; Heymans, P. ; Rubin, J. ; Czarnecki, K. ; Dhungana, D. (2014)
Automated Verification of Feature Model Configuration Processes based on Workflow Petri Nets.
Proceedings of the 18th International Software Product Line Conference.
Konferenzveröffentlichung, Bibliographie

Legros, Elodie (2014)
Definition of a Type System for Generic and Reflective Graph Transformations.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung

Deckwerth, Frederik ; Varró, Gergely
Hrsg.: Giese, Holger ; König, Barbara (2014)
Attribute Handling for Generating Preconditions from Graph Constraints.
7th International Conference on Graph Transformation (ICGT).
Konferenzveröffentlichung, Bibliographie

Kulcsar, Geza ; Stein, Michael ; Schweizer, Immanuel ; Varró, Gergely ; Mühlhäuser, Max ; Schürr, Andy (2014)
Rapid Prototyping of Topology Control Algorithms by Graph Transformation.
In: Electronic Communications of the EASST, 68
doi: 10.14279/tuj.eceasst.68.957.938
Artikel, Bibliographie

Deckwerth, Frederik ; Varró, Gergely (2014)
Generating Preconditions from Graph Constraints by Higher Order Graph Transformation.
Proc. of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques.
Konferenzveröffentlichung, Bibliographie

Patzina, Sven (2014)
Entwicklung einer Spezifikationssprache zur modellbasierten Generierung von Security-/Safety-Monitoren zur Absicherung von (Eingebetteten) Systemen.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung

Baller, Hauke ; Lity, Sascha ; Lochau, Malte ; Schaefer, Ina (2014)
Multi-Objective Test Suite Optimization for Incremental Product Family Testing.
7th IEEE International Conference on Software Testing, Verification and Validation.
Konferenzveröffentlichung, Bibliographie

Anjorin, Anthony ; Saller, Karsten ; Lochau, Malte ; Schürr, Andy (2014)
Modularizing Triple Graph Grammars using Rule Refinement.
17th International Conference on Fundamental Approaches to Software Engineering (FASE).
Konferenzveröffentlichung, Bibliographie

Schlereth, Michael (2014)
Platform Independent Specification of Engineering Model Transformations.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung

Leblebici, Erhan ; Anjorin, Anthony ; Schürr, Andy (2014)
A Catalogue of Optimization Techniques for Triple Graph Grammars.
Modellierung 2014.
Konferenzveröffentlichung, Bibliographie

Anjorin, Anthony ; Cunha, Alcino ; Giese, Holger ; Hermann, Frank ; Rensink, Arend ; Schürr, Andy (2014)
BenchmarX.
Bidirectional Transformations (BX 2014) - Workshops of the EDBT/ICDT 2014 Joint Conference.
Konferenzveröffentlichung, Bibliographie

Leblebici, Erhan ; Anjorin, Anthony ; Schürr, Andy (2014)
Developing eMoflon with eMoflon.
ICMT 2014.
Konferenzveröffentlichung, Bibliographie

Leblebici, Erhan ; Anjorin, Anthony ; Schürr, Andy ; Hildebrandt, Stephan ; Rieke, Jan ; Greenyer, Joel (2014)
A Comparison of Incremental Triple Graph Grammar Tools.
Proc. of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques.
Konferenzveröffentlichung, Bibliographie

Wieber, Martin ; Anjorin, Anthony ; Schürr, Andy (2014)
On the Usage of TGGs for Automated Model Transformation Testing.
ICMT 2014.
Konferenzveröffentlichung, Bibliographie

Anjorin, Anthony ; Rose, Sebastian ; Deckwerth, Frederik ; Schürr, Andy (2014)
Efficient Model Synchronization with View Triple Graph Grammars.
Modelling Foundations and Applications - 10th European Conference (ECMFA 2014).
Konferenzveröffentlichung, Bibliographie

Lochau, Malte ; Peldszus, Sven ; Kowal, Matthias ; Schaefer, Ina (2014)
Model-Based Testing.
Formal Methods for Executable Software Models - 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems.
Konferenzveröffentlichung, Bibliographie

Anjorin, Anthony ; Leblebici, Erhan ; Schürr, Andy ; Taentzer, Gabriele (2014)
A Static Analysis of Non-Confluent Triple Graph Grammars for Efficient Model Transformation.
ICGT 2014.
Konferenzveröffentlichung, Bibliographie

Schürr, Andy ; Rensink, Arend (2014)
Software and systems modeling with graph transformations theme issue of the Journal on Software and Systems Modeling.
In: Software and Systems Modeling, 13 (1)
Artikel, Bibliographie

Patzina, Lars (2014)
Generierung von effizienten Security-/Safety-Monitoren aus modellbasierten Beschreibungen.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung

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

Bürdek, Johannes ; Lity, Sascha ; Lochau, Malte ; Berens, Markus ; Goltz, Ursula ; Schürr, Andy (2014)
Staged configuration of dynamic software product lines with complex binding time constraints.
Proceedings of the 8th International Workshop on Variability Modeling of Software-Intensive Systems.
Konferenzveröffentlichung, Bibliographie

Kulcsar, Geza ; Leblebici, Erhan ; Anjorin, Anthony (2014)
A Solution to the FIXML Case Study Using Triple Graph Grammars and eMoflon.
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..
Konferenzveröffentlichung, Bibliographie

Baller, Hauke ; Lochau, Malte (2014)
Towards Incremental Test Suite Optimization for Software Product Lines.
Proceedings of the 6th International Workshop on Feature-Oriented Software Development.
Konferenzveröffentlichung, Bibliographie

2013

Anjorin, Anthony ; Saller, Karsten ; Reimund, Ingo ; Oster, Sebastian ; Zorcic, Ivan ; Schürr, Andy (2013)
Model-driven rapid prototyping with programmed graph transformations.
In: Journal of Visual Languages & Computing, 24 (6)
Artikel, Bibliographie

Schwenk, Karsten (2013)
Filtering Techniques for Low-Noise Previews of Interactive Stochastic Ray Tracing.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung

Patzina, Lars ; Patzina, Sven ; Piper, Thorsten ; Manns, Paul (2013)
Model-based Generation of Run-time Monitors for AUTOSAR.
Modelling Foundations and Applications - 9th European Conference (ECMFA 2013).
Konferenzveröffentlichung, Bibliographie

Saller, Karsten ; Panitzek, Kamill ; Lehn, Max
Hrsg.: Effelsberg, Wolfgang ; Steinmetz, Ralf ; Strufe, Thorsten (2013)
Benchmarking Methodology.
In: Benchmarking Peer-to-Peer Systems: Understanding the Quality of Service in Large-Scale Distributed Systems
doi: 10.1007/978-3-642-38673-2_3
Buchkapitel, Bibliographie

Varró, Gergely ; Deckwerth, Frederik (2013)
A Rete Network Construction Algorithm for Incremental Pattern Matching.
Proceedings of the 6th International Conference on Model Transformation.
Konferenzveröffentlichung, Bibliographie

Stingl, Dominik ; Gross, Christian ; Saller, Karsten (2013)
Decentralized Monitoring in Peer-to-Peer systems.
In: Benchmarking peer-to-peer systems ; understanding quality of service in large-scale distributed systems
Buchkapitel, Bibliographie

Saller, Karsten ; Lochau, Malte ; Reimund, Ingo (2013)
Context-aware DSPLs: model-based runtime adaptation for resource-constrained systems.
17th International Software Product Line Conference co-located workshops.
Konferenzveröffentlichung, Bibliographie

Wieber, Martin ; Schürr, Andy (2013)
Systematic Testing of Graph Transformations: A Practical Approach Based on Graph Patterns.
In: Theory and Practice of Model Transformations. - Eds. Keith Duddy; Gerti Kappel
Buchkapitel, Bibliographie

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

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

Dukaczewski, Michael ; Schaefer, Ina ; Lachmann, Remo ; Lochau, Malte (2013)
Requirements-Based Delta-Oriented SPL Testing.
4th International IEEE Workshop on Product Line Approaches in Software Engineering (PLEASE).
Konferenzveröffentlichung, Bibliographie

Schulze, Sandro ; Lochau, Malte ; Brunswig, Saskia (2013)
Implementing Refactorings for FOP - Lessons Learned and Challenges Ahead.
FOSD-Treffen 2013.
Konferenzveröffentlichung, Bibliographie

Hildebrandt, Stephan ; Lambers, Leen ; Giese, Holger ; Rieke, Jan ; Greenyer, Joel ; Schäfer, Wilhelm ; Lauder, Marius ; Anjorin, Anthony ; Schürr, Andy (2013)
A Survey of Triple Graph Grammar Tools.
BX 2013.
Konferenzveröffentlichung, Bibliographie

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

Anjorin, Anthony ; Lauder, Marius
Hrsg.: Gorp, Pieter van ; Rose, Louis M. ; Krause, Christian (2013)
A Solution to the Flowgraphs Case Study using Triple Graph Grammars and eMoflon.
Sixth Transformation Tool Contest, TTC 2013.
Konferenzveröffentlichung, Bibliographie

2012

Lauder, Marius (2012)
Incremental Model Synchronization with Precedence-Driven Triple Graph Grammars.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung

Wimmer, Manuel ; Kappel, Gerti ; Kusel, Angelika ; Retschitzegger, Werner ; Schönböck, Johannes ; Schwinger, Wieland ; Kolovos, Dimitris ; Paige, Richard ; Lauder, Marius ; Schürr, Andy ; Wagelaar, Dennis (2012)
Surveying Rule Inheritance in Model-to-Model Transformation Languages.
In: Journal of Object Technology, 11 (2)
Artikel, Bibliographie

Lity, Sascha ; Lochau, Malte ; Schaefer, Ina ; Goltz, Ursula (2012)
Delta-oriented Model-based SPL Regression Testing.
2012 3rd International Workshop on Product Line Approaches in Software Engineering (PLEASE). Los Alamitos
Konferenzveröffentlichung, Bibliographie

Schürr, Andy ; Epple, Ulrich (2012)
Modellierung in der Automatisierungstechnik (MAT 2012).
In: Softwaretechnik-Trends, 32 (2)
Artikel, Bibliographie

Lauder, Marius ; Anjorin, Anthony ; Varró, Gergely ; Schürr, Andy
Hrsg.: Fachgebiet Echtzeitsysteme (Real-Time Systems Lab), Technische Universität Darmstadt (2012)
Bidirectional Model Transformation with Precedence Triple Graph Grammars.
Report, Erstveröffentlichung

Hrsg.: Sinz, Elmar ; Schürr, Andy (2012)
Modellierung 2012.
Buch, Bibliographie

Klar, Felix (2012)
Efficient and Compatible Bidirectional Formal Language Translators based on Extended Triple Graph Grammars.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung

Oster, Sebastian (2012)
Feature Model-based Software Product Line Testing.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung

Lucio, Levi ; Weißleder, Stephan ; Fondement, Frederic ; Cichos, Harald
Hrsg.: Kienzle, Jörg (2012)
MoDeVVa 2011 Workshop Summary.
Konferenzveröffentlichung, Bibliographie

Cichos, Harald ; Lochau, Malte ; Oster, Sebastian ; Schürr, Andy (2012)
Reduktion von Testsuiten für Software-Produktlinien.
Konferenzveröffentlichung, Bibliographie

Varró, Gergely ; Deckwerth, Frederik ; Wieber, Martin ; Schürr, Andy (2012)
An Algorithm for Generating Model-Sensitive Search Plans for EMF Models.
In: Theory and Practice of Model Transformations
Buchkapitel, Bibliographie

Schürr, Andy ; Selic, Bran Selic (2012)
Guest editorial to the special issue on MODELS 2009.
In: Software and Systems Modeling, 11 (3)
Artikel, Bibliographie

Hrsg.: Schürr, Andy ; Varró, Dániel ; Varró, Gergely (2012)
Proceedings of the 4th International Symposium on Applications of Graph Transformations with Industrial Relevance.
Buch, Bibliographie

Bergmann, Gabor ; Ráth, István ; Varró, Gergely ; Varró, Dániel (2012)
Change-Driven Model Transformations: Change (in) the Rule to Rule the Change.
In: Int. Journal on Software and Systems Modeling (SOSYM), 11 (3)
Artikel, Bibliographie

Gietzelt, Matthias ; Goltz, Ursula ; Grünwald, David ; Lochau, Malte ; Marschollek, Michael ; Song, Bianying ; Wolf, Klaus (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, 106 (2)
Artikel, Bibliographie

Patzina, Sven ; Patzina, Lars
Hrsg.: Schürr, A. ; Varro, D. ; Varró, G. (2012)
A Case Study Based Comparison of ATL and SDM.
Applications of Graph Transformations with Industrial Relevance. Heidelberg
Konferenzveröffentlichung, Bibliographie

Anjorin, Anthony ; Oster, Sebastian ; Zorcic, Ivan ; Schürr, Andy (2012)
Optimizing Model-Based Software Product Line Testing with Graph Transformations.
Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT 2012).
Konferenzveröffentlichung, Bibliographie

Steffens, Michaela ; Oster, Sebastian ; Lochau, Malte ; Fogdal, Thomas (2012)
Industrial evaluation of pairwise SPL testing with MoSo-PoLiTe.
Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems. New York
Konferenzveröffentlichung, Bibliographie

Varró, Gergely ; Anjorin, Anthony ; Schürr, Andy
Hrsg.: Tolvanen, J. ; Vallecillo, A. (2012)
Unification of Compiled and Interpreter-Based Pattern Matching Techniques.
Proc. of the 8th European Conference on Modelling Foundations and Applications. Heidelberg
Konferenzveröffentlichung, Bibliographie

Anjorin, Anthony ; Lauder, Marius ; Schürr, Andy
Hrsg.: Störrle, H. ; Botterweck, G. ; Bourdellès, M. ; Kolovos, D. ; Paige, R. ; Roubtsova, E. ; Rubin, J. ; Tolvanen, J. (2012)
eMoflon: A Metamodelling and Model Transformation Tool.
Joint Proceedings of the Co-located Events at the 8th European Conference on Modelling Foundations and Applications. Copenhagen, Denmark
Konferenzveröffentlichung, Bibliographie

Anjorin, Anthony ; Varró, Gergely ; Schürr, Andy
Hrsg.: Hermann, F. ; Voigtländer, J. (2012)
Complex Attribute Manipulation in TGGs with Constraint-Based Programming Techniques.
Proceedings of the First International Workshop on Bidirectional Transformations (BX 2012).
Konferenzveröffentlichung, Bibliographie

Anjorin, Anthony ; Schürr, Andy ; Taentzer, Gabriele
Hrsg.: Ehrig, H. ; Engels, G. ; Kreowski, H. ; Rozenberg, G. (2012)
Construction of Integrity Preserving Triple Graph Grammars.
Proceedings of the 6th International Conference on Graph Transformation (ICGT 2012). Heidelberg
Konferenzveröffentlichung, Bibliographie

Wieber, Martin ; Schürr, Andy
Hrsg.: Krause, C. ; Westfechtel, B. (2012)
Gray Box Coverage Criteria for Testing Graph Pattern Matching.
Graph-Based Tools 2012.
Konferenzveröffentlichung, Bibliographie

Kamischke, Jochen ; Lochau, Malte ; Baller, Hauke (2012)
Conditioned Model Slicing of Feature-annotated State Machines.
Proceedings of the 4th International Workshop on Feature-Oriented Software Development. New York, NY, USA
Konferenzveröffentlichung, Bibliographie

Lochau, Malte ; Kamischke, Jochen
Hrsg.: Margaria, Tiziana ; Steffen, Bernhard (2012)
Parameterized Preorder Relations for Model-Based Testing of Software Product Lines.
Konferenzveröffentlichung, Bibliographie

Lochau, Malte ; Schaefer, Ina ; Kamischke, Jochen ; Lity, Sascha
Hrsg.: Brucker, Achim ; Julliand, Jacques (2012)
Incremental Model-Based Testing of Delta-Oriented Software Product Lines.
Konferenzveröffentlichung, Bibliographie

Schroeter, Julia ; Lochau, Malte ; Winkelmann, Tim
Hrsg.: France, Robert ; Kazmeier, Jürgen ; Breu, Ruth ; Atkinson, Colin (2012)
Multi-perspectives on Feature Models.
Konferenzveröffentlichung, Bibliographie

Görke, R. ; Kluge, Roland ; Schumm, A. ; Staudt, C. ; Wagner, D. (2012)
An Efficient Generator for Clustered Dynamic Random Networks.
Design and Analysis of Algorithms - First Mediterranean Conference on Algorithms, MedAlg 2012, Kibbutz Ein Gedi, Israel, December 3-5, 2012. Proceedings. Switzerland
Konferenzveröffentlichung, Bibliographie

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

Lochau, Malte (2012)
Model-Based Conformance Testing of Software Product Lines.
Verlag Dr. Hut
Dissertation, Bibliographie

Lauder, Marius ; Anjorin, Anthony ; Varró, Gergely ; Schürr, Andy
Hrsg.: Ehrig, Hartmut ; Engels, Gregor ; Kreowski, Hans-Jörg ; Rozenberg, Grzegorz (2012)
Efficient Model Synchronization with Precedence Triple Graph Grammars.
Proceedings of the 6th International Conference on Graph Transformation. Bremen, Germany
Konferenzveröffentlichung, Bibliographie

2011

Riecker, Michael ; Müller, W. ; Hollick, Matthias ; Saller, Karsten (2011)
A Secure Monitoring and Control System for Wireless Sensor Networks.
Report, Bibliographie

Cichos, Harald ; Oster, Sebastian ; Lochau, Malte ; Schürr, Andy (2011)
Model-based Coverage-Driven Test Suite Generation for Software Product Lines.
Konferenzveröffentlichung, Bibliographie

Patzina, Sven ; Patzina, Lars ; Schürr, Andy (2011)
Extending LSCs for Behavioral Signature Modeling.
Proceedings of 26th IFIP TC-11 International Information Security Conference (IFIP.
Konferenzveröffentlichung, Bibliographie

Detten, M. ; Rieke, J. ; Heinzemann, C. ; Travkin, D. ; Lauder, Marius (2011)
A new Meta-Model for Story Diagrams.
Proceedings of the 8th International Fujaba Days, University of Tartu, Estonia, May 11-13, 2011. Kassel
Konferenzveröffentlichung, Bibliographie

Mukherjee, Patrick (2011)
A fully Decentralized, Peer-to-Peer Based Version Control System.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung

Oster, Sebastian ; Wübbeke, A. ; Engels, G. ; Schürr, Andy
Hrsg.: Zander, J. ; Schieferdecker, I. ; Mosterman, P. (2011)
A Survey of Model-Based Software Product Lines Testing.
In: {Model-based Testing for Embedded System
Buchkapitel, Bibliographie

Oster, Sebastian ; Zorcic, Ivan ; Markert, Florian ; Lochau, Malte
Hrsg.: Czarnecki, K. ; Eisenecker, U. (2011)
MoSo-PoLiTe - Tool Support for Pairwise and Model-Based Software Product Line Testing.
5th International Workshop on Variability Modelling of Software-Intensive Systems, Namur, Belgium.
Konferenzveröffentlichung, Bibliographie

Biedermann, Alexander ; Piper, Thorsten ; Patzina, Lars ; Patzina, Sven ; Huss, Sorin A. ; Schürr, Andy ; Suri, Neeraj (2011)
Enhancing FPGA Robustness via Generic Monitoring Cores.
1st International Conference on Pervasive and Embedded Computing and Communication Systems.
Konferenzveröffentlichung, Bibliographie

Cichos, Harald ; Oster, Sebastian ; Lochau, Malte ; Schürr, Andy (2011)
Extended Version of Model-based Coverage-Driven Test Suite Generation for Software Product Lines.
Report, Bibliographie

Cichos, Harald ; Heinze, T.
Hrsg.: Dingel, J. ; Solberg, A. (2011)
Efficient Test Suite Reduction by Merging Pairs of Suitable Test Cases.
Konferenzveröffentlichung, Bibliographie

Rose, Sebastian ; Lauder, Marius ; Schlereth, Michael ; Schürr, Andy (2011)
A Multidimensional Approach for Concurrent Model Driven Automation Engineering.
In: Model-Driven Domain Analysis and Software Development: Architectures and Functions
doi: 10.4018/978-1-61692-874-2.ch005
Buchkapitel, Bibliographie

Perrouin, Gilles ; Oster, Sebastian ; Sen, Sagar ; Klein, Jacques ; Baudry, Benoit ; Le Traon, Yves (2011)
Pairwise Testing for Software Product Lines: Comparison of Two Approaches.
In: Software Quality Journal - Special issue on Quality Engineering for Software Product Lines, 20 (3-4)
Artikel, Bibliographie

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

Markert, Florian ; Oster, Sebastian (2011)
A Formal Method to Identify Deficiencies of Functional Requirements for Product Lines of Embedded Systems.
Workshop Proceedings der Software Engineering Konferenz 2011.
Konferenzveröffentlichung, Bibliographie

Wimmer, Manuel ; Kappel, Gerti ; Kusel, Angelika ; Retschitzegger, Werner ; Schönböck, Johannes ; Schwinger, Wieland ; Kolovos, Dimitris ; Paige, Richard ; Lauder, Marius ; Schürr, Andy ; Wagelaar, Dennis (2011)
A Comparison of Rule Inheritance in Model-to-Model Transformation Languages.
Proceedings of the 4th International Conference on Model Transformation (ICMT 2011). Heidelberg
Konferenzveröffentlichung, Bibliographie

Oster, Sebastian ; Lochau, Malte ; Zink, Marius ; Grechanik, Mark (2011)
Pairwise Feature-Interaction Testing for SPLs: Potentials and Limitations.
Proceeding of the International Software Product Line Conference Workshop FOSD. New York
Konferenzveröffentlichung, Bibliographie

Oster, Sebastian (2011)
A Semantic Preserving Feature Model to CSP Transformation.
Report, Bibliographie

Schroeter, Julia ; Lochau, Malte ; Winkelmann, Tim (2011)
Extended Version of Multi-Perspectives on Feature Models.
Report, Bibliographie

Hu, Zhenjiang ; Schürr, Andy ; Stevens, Perdita ; Terwilliger, James F. (2011)
Bidirectional Transformation "bx" (Dagstuhl Seminar 11031).
In: Dagstuhl Reports, 1 (1)
Artikel, Bibliographie

2010

Klar, Felix ; Lauder, Marius ; Königs, Alexander ; Schürr, Andy
Hrsg.: Schürr, A. ; Lewerentz, C. ; Engels, G. ; Schäfer, W. ; Westfechtel, B. (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
Buchkapitel, Bibliographie

Anjorin, Anthony ; Lauder, Marius ; Schlereth, Michael ; Schürr, Andy (2010)
Support for Bidirectional Model-to-Text Transformations.
Konferenzveröffentlichung, Bibliographie

Schlereth, Michael ; Lauder, Marius ; Rose, Sebastian ; Schürr, Andy (2010)
Concurrent Model Driven Automation Engineering: Building Engineering Tool Integration Systems.
Automation 2010. Der Automatisierungskongress in Deutschland.
Konferenzveröffentlichung, Bibliographie

Hrsg.: Ehrig, Hartmut ; Rensink, Arend ; Rozenberg, Grzegorz ; Schürr, Andy (2010)
Graph transformations : 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27-October 2, 2010 ; proceedings.
Buch, Bibliographie

Engels, G. ; Lewerentz, C. ; Schäfer, W. ; Schürr, Andy ; Westfechtel, B. (2010)
Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday.
Buch, Bibliographie

Weisemöller, Ingo ; Klar, Felix ; Schürr, Andy
Hrsg.: Giese, H. ; Karsai, G. ; Lee, E. ; Rumpe, B. ; Schätz, B. (2010)
Development of Tool Extensions with MOFLON.
In: {Model-Based Engineering of Embedded Real-Time System
Buchkapitel, Bibliographie

Schürr, Andy ; Schäfer, Wilhelm ; Stürmer, Ingo ; Legros, Elodie
Hrsg.: Giese, H. ; Karsai, G. ; Lee, E. ; Rumpe, B. ; Schätz, B. (2010)
MATE - A Model Analysis and Transformation Environment for MATLAB Simulink.
In: {Model-Based Engineering of Embedded Real-Time System
Buchkapitel, Bibliographie

Oster, Sebastian ; Ritter, P. ; Schürr, Andy (2010)
Featuremodellbasiertes und kombinatorisches Testen von Software-Produktlinien.
Proceedings of the SE2010.
Konferenzveröffentlichung, Bibliographie

Wübbeke, A. ; Oster, Sebastian (2010)
Verknüpfung von kombinatorischem Plattform- und individuellem Produkt-Test für Software-Produktlinien.
Proceedings Software Engineering 2010.
Konferenzveröffentlichung, Bibliographie

Oster, Sebastian ; Markert, Florian ; Ritter, P. (2010)
Automated Incremental Pairwise Testing of Software Product Lines.
Proceedings of the 14th International Software Product Line Conference.
Konferenzveröffentlichung, Bibliographie

Cichos, Harald ; Schürr, Andy
Hrsg.: Fähnrich, K. ; Franczyk, B. (2010)
Dynamische Äquivalenzklassen im Klassifikationsbaum für zustandsbehaftete Systeme.
Informatik 2010: Beiträge der 40. Jahrestagung der Gesellschaft für Informatik e.V., Band 2.
Konferenzveröffentlichung, Bibliographie

Cichos, Harald ; Heinze, Thomas (2010)
Efficient Reduction of Model-Based Generated Test Suites Through Test Case Pair Prioritization.
International Workshop on Model-Driven Engineering, Verification and Validation (MoDeVVa 2010). Oslo, Norway (03.10. - 03.10.2010)
doi: 10.1109/MoDeVVa.2010.19
Konferenzveröffentlichung, Bibliographie

Lauder, Marius ; Schlereth, Michael ; Rose, Sebastian ; Schürr, Andy (2010)
Model-Driven Systems Engineering: State-of-the-Art and Research Challenges.
In: Bulletin of the Polish Academy of Sciences, Technical Sciences, 58 (3)
Artikel, Bibliographie

Lochau, Malte ; Goltz, Ursula (2010)
Feature Interaction Aware Test Case Generation for Embedded Control Systems.
In: Electronic Notes in Theoretical Computer Science, 264 (3)
Artikel, Bibliographie

Markert, Florian ; Oster, Sebastian (2010)
Model-Based Generation of Test Oracles for Embedded Software Product Lines.
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).
Konferenzveröffentlichung, Bibliographie

Patzina, Lars ; Patzina, Sven ; Piper, Thorsten ; Schürr, Andy
Hrsg.: Hamid, B. ; Rudolph, C. ; Ruland, C. (2010)
Monitor Petri Nets for Security Monitoring.
Proc. of the International Workshop on Security and Dependability for Resource Constrained Embedded Systems.
Konferenzveröffentlichung, Bibliographie

2009

Graffi, Kalman ; Mukherjee, Patrick ; Menges, Burkhard ; Hartung, Daniel ; Kovacevic, Aleksandra ; Steinmetz, Ralf (2009)
Practical Security in P2P-based Social Networks.
34th Annual IEEE Conference on Local Computer Network (LCN'09). Zurich, Switzerland (20.10.2009-23.10.2009)
doi: 10.1109/LCN.2009.5355085
Konferenzveröffentlichung, Bibliographie

Hrsg.: Schürr, Andy ; Selic, B. (2009)
Model Driven Engineering Languages and Systems - 12th International Conference, Models 2009.
Buch, Bibliographie

Czarnecki, Krzysztof ; Foster, J. Nathan ; Hu, Zhenjiang ; Lämmel, Ralf ; Schürr, Andy ; Terwilliger, James F. (2009)
Bidirectional Transformations: A Cross-Discipline Perspective.
Theory and Practice of Model Transformations: Second International Conference, ICMT2009. Heidelberg
Konferenzveröffentlichung, Bibliographie

Oster, Sebastian ; Markert, Florian ; Schürr, Andy (2009)
Integrated Modeling of Software Product Lines with Feature Models and Classification Trees.
Konferenzveröffentlichung, Bibliographie

Klar, Felix ; Rose, Sebastian ; Schürr, Andy (2009)
TiE - A Tool Integration Environment.
Proceedings of the 5th ECMDA Traceability Workshop.
Konferenzveröffentlichung, Bibliographie

Schürr, A. ; Oster, Sebastian ; Markert, Florian (2009)
Model-Driven Software Product Line Testing: An Integrated Approach.
36th International Conference on Current Trends in Theory and Practice of Computer Science.
Konferenzveröffentlichung, Bibliographie

Oster, Sebastian ; Schürr, Andy (2009)
Architekturgetriebenes Pairwise-Testing f\"r Software Produktlinien.
Software Engineering 2009 - Workshopband, Fachtagung des GI-Fachbereichs Softwaretechnik 02.-06.03.2009 in Kaiserslautern.
Konferenzveröffentlichung, Bibliographie

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

Sun, B. ; Lochau, Malte ; Huhn, P. ; Goltz, Ursula (2009)
Parameter Optimization of an Engine Control Unit using Genetic Algorithms.
Report, Bibliographie

Schlereth, Michael ; Rose, Sebastian ; Schürr, Andy (2009)
Model Driven Automation Engineering - Characteristics and Challanges.
5th Workshop on Model-Based Development of Embedded Systems (MBEES).
Konferenzveröffentlichung, Bibliographie

Legros, E. ; Klar, F. ; Amelunxen, C. ; Schürr, A. (2009)
Generic and Reflective Graph Transformations for Checking and Enforcement of Modeling Guidelines.
In: Journal of Visual Languages and Computing, 20 (4)
Artikel, Bibliographie

2008

Mukherjee, Patrick ; Leng, Christof ; Terpstra, Wesley W. ; Schürr, Andy (2008)
Peer-to-Peer based Version Control.
Proceedings of the 14th International Conference on Parallel and Distributed Systems (ICPADS 2008).
Konferenzveröffentlichung, Bibliographie

Königs, Alexander (2008)
Model Integration and Transformation – A Triple Graph Grammar-based QVT Implementation.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung

Konigorski, Ulrich ; Schürr, Andy (2008)
Das Automobil im neuen Jahrtausend : Software auf Rädern - Motor Vehicles in the New Millennium: Software on Wheels.
In: thema Forschung
Artikel, Bibliographie

Mukherjee, Patrick ; Leng, Christof ; Schürr, Andy (2008)
Piki - A Peer-to-Peer based Wiki Engine.
Proceedings of the P2P 2008.
Konferenzveröffentlichung, Bibliographie

Amelunxen, Carsten ; Legros, Elodie ; Schürr, Andy (2008)
Generic and Reflective Graph Transformations for the Checking and Enforcement of Modeling Guidelines.
VLHCC '08: Proceedings of the Visual Languages and Human-Centric Computing.
Konferenzveröffentlichung, Bibliographie

Oster, Sebastian ; Schürr, Andy ; Weisemöller, Ingo ; Aßmann, U. ; Johannes, J. ; Zündorf, Albert (2008)
Towards Software Product Line Testing using Story Driven Modelling.
Proceedings of the 6th International Fujaba Days.
Konferenzveröffentlichung, Bibliographie

Schürr, Andy ; Weisemöller, Ingo (2008)
Shortcomings in Metamodel Based Tool Development.
Report, Bibliographie

Mukherjee, Patrick ; Kovacevic, Aleksandra ; Schürr, Andy (2008)
Analysis of the Benefits the Peer-to-Peer Paradigm brings to Distributed Agile Software Development.
Proceedings of the AKNOWLEDGE2008.
Konferenzveröffentlichung, Bibliographie

Mukherjee, Patrick ; Kovacevic, Aleksandra ; Schürr, Andy (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.)
Buchkapitel, Bibliographie

Mukherjee, Patrick ; Kovacevic, A. ; Schürr, Andy (2008)
Analysis of the Benefits the Peer-to-Peer Paradigm brings to Distributed Agile Software Development.
Software Engineering 2008. München (18.02.2008-22.02.2008)
Konferenzveröffentlichung, Bibliographie

Mukherjee, Patrick ; Kovacevic, A. ; Benz, M. ; Schürr, Andy (2008)
Towards a Peer-to-Peer Based Global Software Development Environment.
Software Engineering 2008. Fachtagung des GI-Fachbereichs Softwaretechnik. München (18.02.2008-22.02.2008)
Konferenzveröffentlichung, Bibliographie

Amelunxen, Carsten ; Klar, Felix ; Königs, Alexander ; Rötschke, Tobias ; Schürr, Andy (2008)
Metamodel-based tool integration with MOFLON.
Konferenzveröffentlichung, Bibliographie

Schürr, Andy ; Klar, Felix (2008)
15 years of triple graph grammar : research challenges, new contribultions, open problems.
4th International Conference (ICGT 2008). Leicester, United Kingdom (07.09.2008-13.09.2008)
doi: 10.1007/978-3-540-87405-8_28
Konferenzveröffentlichung, Bibliographie

Klar, Felix ; Rose, Sebastian ; Schürr, Andy (2008)
A meta-model-driven tool integration development process.
Konferenzveröffentlichung, Bibliographie

Hrsg.: Schürr, Andy ; Nagl, M. ; Zündorf, A. (2008)
Applications of Graph Transformations with Industrial Relevance.
Buch, Bibliographie

Schürr, Andy ; Klar, Felix (2008)
15 Years of Triple Graph Grammars - Research Challenges, New Contributions, Open Problems.
4th International Conference on Graph Transformation.
Konferenzveröffentlichung, Bibliographie

Amelunxen, Carsten ; Klar, Felix ; Königs, Alexander ; Rötschke, Tobias ; Schürr, Andy (2008)
Metamodel-based Tool Integration with MOFLON.
30th International Conference on Software Engineering.
Konferenzveröffentlichung, Bibliographie

Klar, Felix ; Rose, Sebastian ; Schürr, Andy (2008)
A Meta-Model-Driven Tool Integration Development Process.
2nd International United Information Systems Conference.
Konferenzveröffentlichung, Bibliographie

Weisemöller, Ingo ; Schürr, Andy
Hrsg.: Czarnecki, K. (2008)
Formal Definition of MOF 2.0 Metamodel Components and Composition.
MoDELS 2008.
Konferenzveröffentlichung, Bibliographie

Schenk, B. ; Schlereth, Michael (2008)
Modellgetriebene Entwicklung in der Automatisierungstechnik.
Automation 2008: Lösungen für die Zukunft.
Konferenzveröffentlichung, Bibliographie

Knieke, Christoph ; Huhn, Michaela ; Lochau, Malte (2008)
Executable Requirements Specification: Formal Semantics of Live Activity Diagrams.
Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, TASE 2008, June 17-19, 2008, Nanjing, China.
Konferenzveröffentlichung, Bibliographie

Lochau, Malte ; Günther, Henning (2008)
A Static Aspect Language for Modelica Models.
Proceedings of the 2nd International Workshop on Equation-Based Object-Oriented Languages and Tools, EOOLT 2008, Paphos, Cyprus, July 8, 2008.
Konferenzveröffentlichung, Bibliographie

Knieke, Christoph ; Huhn, Michaela ; Lochau, Malte (2008)
Modeling and Validation of Executable Requirements Using Live Activity Diagrams.
Proceedings of the 6th ACIS International Conference on Software Engineering Research, Management and Applications, SERA 2008, 20-22 August 2008, Prague, Czech Republic.
Konferenzveröffentlichung, Bibliographie

2007

Lauder, Marius (2007)
Erzeugung von vorlesbarem Text aus LaTeX-Dokumenten.
In: GI Informatik Spektrum, 30 (5)
Artikel, Bibliographie

Stürmer, Ingo ; Kreuz, Ingo ; Schäfer, Wilhelm ; Schürr, Andy (2007)
The MATE Approach: Enhanced Simulink and Stateflow Model Transformation.
MathWorks Automotive Conference (MAC 2007). Dearborn (MI), USA (19.07.2007-20.07.2007)
Konferenzveröffentlichung, Bibliographie

Amelunxen, Carsten ; Schürr, Andy (2007)
Formalizing model transformation rules for UML/MOF 2.
In: Software, IET, 2
Artikel, Bibliographie

Amelunxen, Carsten ; Legros, Elodie ; Schürr, Andy ; Stürmer, I. ; Nagl, M. ; Zündorf, A. (2007)
Checking and enforcement of modeling guideline with graph transofrmations.
Applications of graph transformations with industrial relevance : third international symposium, AGTIVE 2007. Kassel (10.10.2007-12.10.2007)
Konferenzveröffentlichung, Bibliographie

Weisemöller, Ingo ; Schürr, Andy (2007)
A Comparison of Standard Compliant Ways to Define Domain Specific Languages.
MoDELS 2007. Nashville, TN, USA (30.09.2007-05.10.2007)
Konferenzveröffentlichung, Bibliographie

Klar, Felix ; Königs, Alexander ; Rötschke, Tobias ; Schürr, Andy (2007)
Model Transformation in the Large.
Konferenzveröffentlichung, Bibliographie

Amelunxen, Carsten ; Königs, Alexander ; Rötschke, Tobias ; Schürr, Andy (2007)
Metamodeling with MOFLON.
Konferenzveröffentlichung, Bibliographie

Stürmer, Ingo ; Dörr, Heiko ; Giese, Holger ; Kelter, Udo ; Schürr, Andy ; Zündorf, Albert (2007)
Das MATE Projekt – visuelle Spezifikation von MATLAB Simulink/Stateflow Analysen und Transformationen.
Dagstuhl Seminar Modellbasierte Entwicklung eingebetteter Systeme.
Konferenzveröffentlichung, Bibliographie

Weisemöller, Ingo ; Schürr, Andy (2007)
A Comparison of Standard Compliant Ways to Define Domain Specific Languages.
Proceedings of the 4th International Workshop on Software Language Engineering (ateM 2007).
Konferenzveröffentlichung, Bibliographie

Legros, Elodie ; Schürr, Andy ; Rötschke, Tobias (2007)
Entwicklung eines Software-Leitstands zur Einhaltung von Modellierungsrichtlinien.
In: Softwaretechnik-Trends, 27 (2)
Artikel, Bibliographie

Amelunxen, Carsten ; Schürr, Andy ; Weisemöller, Ingo (2007)
Missing Meta-Modeling-In-The-Large Concepts in EMOF.
Konferenzveröffentlichung, Bibliographie

Legros, E. ; Rötschke, T. ; Schürr, A. (2007)
Entwicklung eines Software-Leitstands zur Einhaltung von Modellierungsrichtlinien.
Konferenzveröffentlichung, Bibliographie

2006

Jakob, Johannes ; Königs, Alexander ; Schürr, Andy (2006)
Non-materialized model view specification with triple graph grammars.
Konferenzveröffentlichung, Bibliographie

Königs, Alexander ; Schürr, Andy (2006)
MDI - a Rule-Based Multi-Document and Tool Integration Approach.
In: Systems Modeling, 5
Artikel, Bibliographie

Jakob, Johannes ; Schürr, Andy (2006)
View creation of meta models by using modified triple graph grammars.
Konferenzveröffentlichung, Bibliographie

Königs, Alexander ; Schürr, Andy ; Heckel, R. (2006)
Tool integration with triple graph grammars : a survey.
In: Electronic Notes in Theoretical Computer Science, 148
Artikel, Bibliographie

Holt, R. ; Schürr, Andy ; Sim, S. ; Winter, A. (2006)
GXL : a graph-based standard exchange format for reengineering.
In: Science of Computer Programming, 60
Artikel, Bibliographie

Varró, Gergely ; Varró, Dániel ; Schürr, Andy (2006)
Incremental Graph Pattern Matching: Data Structures and Initial Experiments.
Konferenzveröffentlichung, Bibliographie

Amelunxen, Carsten ; Königs, Alexander ; Rötschke, Tobias ; Schürr, Andy ; Rensink, A. ; Warmer, J. (2006)
MOFLON : a standard-compliant metamodeling framework with graph transformations.
Model Driven Architecture - Foundations and Applications: Second European Conference.
Konferenzveröffentlichung, Bibliographie

Bézivin, J. ; Rumpe, B. ; Schürr, Andy (2006)
Model transformations in practice.
Konferenzveröffentlichung, Bibliographie

Rötschke, Tobias ; Schürr, Andy (2006)
Temporal Graph Queries to Support Software Evolution.
Konferenzveröffentlichung, Bibliographie

Amelunxen, Carsten ; Königs, Alexander ; Rötschke, Tobias ; Schürr, Andy ; Grundy, J. ; Howse, J.
Hrsg.: IEEE Computer Society Press (2006)
M0SL : Composing a Visual Language for a Metamodeling Framework.
IEEE Symposium on Visual Languages and Human-Centric Computing (VLHCC 2006).
Konferenzveröffentlichung, Bibliographie

Amelunxen, Carsten ; Schürr, Andy (2006)
On OCL as part of the metamodeling framework MOFLON.
Konferenzveröffentlichung, Bibliographie

Amelunxen, Carsten ; Schürr, Andy (2006)
Vervollständigung des Constraint-basierten Assoziationskonzeptes von UML 2.0.
Konferenzveröffentlichung, Bibliographie

2005

Königs, Alexander ; Schürr, Andy (2005)
Multi-Domain integration with MOF and extended triple graph grammars.
Konferenzveröffentlichung, Bibliographie

Varró, Gergely ; Schürr, Andy ; Varró, Dániel (2005)
Benchmarking for graph transformation.
IEEE Symposium on Visual Languages (VL/HCC'05). Los Alamitos (9.2005)
Konferenzveröffentlichung, Bibliographie

Varró, Gergely ; Schürr, Andy ; Varró, Dániel (2005)
Benchmarking for graph transformation [TR].
Report, Bibliographie

Amelunxen, Carsten ; Rötschke, Tobias ; Schürr, Andy (2005)
Graph Transformations with MOF 2.0.
Konferenzveröffentlichung, Bibliographie

Hrsg.: Erwig, Martin ; Schürr, Andy (2005)
Proceedings of 5th IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 05).
Buch, Bibliographie

2004

Borchers, Jan ; Lee, Eric ; Mühlhäuser, Max ; Samminger, Wolfgang (2004)
Personal orchestra: a real-time audio/video system for interactive conducting.
In: Multimedia systems, 9 (6)
doi: 10.1007/s00530-004-0139-2
Artikel, Bibliographie

Winner, H. ; Isermann, Rolf ; Hanselka, Holger ; Schürr, Andy (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
Buchkapitel, Bibliographie

Hrsg.: Schürr, Andy ; Dörr, Heiko (2004)
Special Section on Tool Integration Application and Frameworks.
Buch, Bibliographie

Hrsg.: Schürr, Andy ; Dörr, Heiko (2004)
Special Section on Model-based Tool Integration.
Buch, Bibliographie

Bichler, Lutz ; Radermacher, Ansgar ; Schürr, Andy (2004)
Integrating Data Flow Equations with UML/Realtime.
In: Real-Time Systems - The International Journal of Time-Critical Computing Systems, 26 (1)
Artikel, Bibliographie

Amelunxen, Carsten ; Schürr, Andy ; Bichler, Lutz
Hrsg.: Rumpe, Bernhard ; Hesse, Wolfgang (2004)
Codegenerierung für Assoziationen in MOF 2.0.
Modellierung 2004, Proceedings zur Tagung, 23.-26. M\"rz 2004, Marburg, Proceedings.
Konferenzveröffentlichung, Bibliographie

Szuba, Janusz (2004)
New Object-Oriented PROGRES for Specifying the Conceptual Design Tool GraCAD.
Proc. 2nd Workshop on Graph-Based Tools – GraBaTs’ 04, Rome.
Konferenzveröffentlichung, Bibliographie

Winner, H. ; Isermann, Rolf ; Hanselka, H. ; Schürr, Andy (2004)
When does By-Wire arrive brakes and steering?
Proceedings of VDI Symposium AutoReg 2004.
Konferenzveröffentlichung, Bibliographie

Rötschke, Tobias
Hrsg.: Giese, H. ; Zündorf, A. ; Schürr, A. (2004)
Adding Pluggable Meta Models to FUJABA.
Proc. 2nd International Fujaba Days.
Konferenzveröffentlichung, Bibliographie

Amelunxen, Carsten
Hrsg.: Giese, H. ; Schürr, A. ; Zündorf, A. (2004)
A MOF 2.0 Editor as Plugin for FUJABA.
Proc. 2nd International Fujaba Days.
Konferenzveröffentlichung, Bibliographie

2003

Aschenbrenner, Peter ; Schürr, Andy (2003)
Generating interactive animations from visual specifications.
Konferenzveröffentlichung, Bibliographie

Alfert, K. ; Doberkat, E.-E. ; Engels, G. ; Lohmann, M. ; Magenheim, J. ; Schürr, Andy (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
Artikel, Bibliographie

Szuba, Janusz ; Ozimek, Agnieszka ; Schürr, Andy
Hrsg.: Pfaltz, John L. ; Nagl, Manfred ; Böhlen, Boris (2003)
On Graphs in Conceptual Engineering Design.
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.
Konferenzveröffentlichung, Bibliographie

Freude, R. ; Königs, Alexander
Hrsg.: Dörr, H. ; Schürr, A. (2003)
Tool integration with consistency relations and their visualization.
Tool-Integration in System Development Satellite Workshop of ESEC/FSE 2003. Helsinki, Finland
Konferenzveröffentlichung, Bibliographie

Rötschke, Tobias (2003)
Re-engineering a Medical Imaging System Using Graph Transformations.
Applications of Graph Transformations with Industrial Relevance (AGTIVE 2003). Heidelberg
Konferenzveröffentlichung, Bibliographie

Alfert, Klaus ; Doberkat, Ernst-Erich ; Engels, Gregor ; Lohmann, Marc ; Magenheim, Johannes ; Schürr, Andy
Hrsg.: Siedersleben, Johannes ; Weber-Wulff, Debora (2003)
MuSoft: Multimedia in der Softwaretechnik.
Software Engineering im Unterricht der Hochschulen, SEUH 8, Berlin 2003. Berlin
Konferenzveröffentlichung, Bibliographie

Amelunxen, C. ; Königs, Alexander ; Rötschke, Tobias ; Schürr, Andy
Hrsg.: Giese, H. ; Zündorf, A. (2003)
Adapting FUJABA for Building a Meta Modelling Framework.
Proc. 1st International Fujaba Days.
Konferenzveröffentlichung, Bibliographie

Rötschke, T. ; Schürr, A. (2003)
Software Engineering II für Ingenieure: Wartung, Reengineering und Evolution.
In: Softwaretechnik-Trends, 23 (2)
Artikel, Bibliographie

2002

Hrsg.: Mens, Tom ; Schürr, Andy ; Taentzer, Gabriele (2002)
Graph-Based Tools (GraBaTs 2002), Proceedings of Satellite Workshop 1st. Int. Conf. on Graph Transformation (ICGT 2002).
Buch, Bibliographie

Hrsg.: Schürr, Andy ; Hoffmann, Peter P. (2002)
OMER - Object-Oriented Modelling of Embedded Realtime Systems.
Buch, Bibliographie

Rötschke, Tobias ; Krikhaar, René (2002)
Architecture Analysis Tools to Support Evolution of Large Industrial Systems.
Proc. IEEE International Conference on Software Maintenance (ICSM 2002).
Konferenzveröffentlichung, Bibliographie

Borkowski, Adam ; Szuba, Janusz ; Schürr, Andy
Hrsg.: Corradini, Andrea ; Ehrig, Hartmut ; Kreowski, Hans-Jörg ; Rozenberg, Grzegorz (2002)
GraCAD - Graph-Based Tool for Conceptual Design.
Graph Transformation, First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings.
Konferenzveröffentlichung, Bibliographie

Altheide, F. ; Dörr, H. ; Schürr, Andy
Hrsg.: Stoewer, H. ; Garnier, L. (2002)
Requirements to a Framework for sustainable Integration of System Development Tools.
3rd European Systems Engineering Conference (EuSEC'02). Toulouse, France (21.05.2002-24.05.2002)
Konferenzveröffentlichung, Bibliographie

Conrad, Mirko ; Dörr, Heiko ; Schürr, Andy
Hrsg.: Glinz, M. ; Müller-Luschnat, G. ; Gesellschaft für Informatik (2002)
Graph Transformations for Model-Based Testing.
Proc. Modellierung 2002. Bonn
Konferenzveröffentlichung, Bibliographie

Bichler, Lutz ; Schürr, Andy
Hrsg.: Winkler, Jürgen F. H. ; Dencker, Peter ; Keller, Hubert B. ; Tonndorf, Michael (2002)
Objektorientierte Entwicklung eingebetteter (Echtzeit-) Systeme mit UML?
Ada Deutschland Tagung 2002: Software f\"r sicherheitskritische Systeme, 6. bis 8. M\"rz 2002, Jena, Friedrich-Schiller-Universit\"t.
Konferenzveröffentlichung, Bibliographie

Bichler, Lutz ; Radermacher, Ansgar ; Schürr, Andy (2002)
Evaluating UML Extensions for Modeling Realtime Systems.
Proc. on the 2002 IEEE Workshop on Object-oriented Realtime-dependable Systems WORDS'02, San Diego. Los Alamitos
Konferenzveröffentlichung, Bibliographie

2001

Schürr, Andy (2001)
Adding Graph Transformation Concepts to UML's Constraint Language OCL.
Proc. UNIGRA Satellite Workshop of ETAPS 2001, Genova. Amsterdam
Konferenzveröffentlichung, Bibliographie

Schürr, Andy
Hrsg.: Clark, T. ; Warmer, J. (2001)
A New Type Checking Approach for OCL Version 2.0 ?
In: Advances in Object Modeling with OCL
Buchkapitel, Bibliographie

Bichler, Lutz ; Radermacher, Ansgar ; Schürr, Andy (2001)
Combining Data Flow Equations with UML / Realtime.
Proc. 4th IEEE Int. Symp. on Object-Oriented Real-Time Distributed Computing (ISORC 2001), Magdeburg. Los Alamitos
Konferenzveröffentlichung, Bibliographie

Rötschke, Tobias ; Krikhaar, René ; Havenith, Danny (2001)
Multi-View Architecure Trend Analysis for Medical Imaging.
Proc. IEEE International Conference on Software Maintenance (ICSM 2001).
Konferenzveröffentlichung, Bibliographie

Schürr, Andy
Hrsg.: Engels, G. ; Oberweis, A. ; Zündorf, A. (2001)
New Type Checking Rules for OCL Expressions.
Proc. Workshop Modellierung 2001, Bad Lippspringe. Bonn
Konferenzveröffentlichung, Bibliographie

Jilderda, A. ; Rötschke, Tobias (2001)
Architecture Analysis needs an Open Source Process.
3. Workshop Software-Reengineering.
Konferenzveröffentlichung, Bibliographie

Rötschke, T. ; Jilderda, A. (2001)
A Framework for the Efficient Development of Architecture Analysis Tools.
Anderes, Bibliographie

Hrsg.: Schürr, A. (2001)
Object-Oriented Modeling of Embedded Realtime Systems (OMER-2).
Konferenzveröffentlichung, Bibliographie

2000

Hrsg.: Nagl, Manfred ; Münch, Manfred ; Schürr, Andy (2000)
Application of Graph Transformation with Industrial Relevance, AGTIVE Workshop in Castle Rolduc.
Buch, Bibliographie

Münch, Manfred ; Schürr, Andy (2000)
Generic and Polymorphic Graph Transformations: Supporting the Definition of Visual Languages.
Proc. Workshop on Graph Transformation and Visual Modeling Techniques, Satellite Event of ICALP'2000. Waterloo
Konferenzveröffentlichung, Bibliographie

Holt, Richard C. ; Winter, Andreas ; Schürr, Andy (2000)
GXL: Toward a Standard Exchange Format.
WCRE 2000 and 7th Working Conference on Reverse Engineering, Nov. 2000, Brisbane, Australia. Los Alamitos
Konferenzveröffentlichung, Bibliographie

Münch, Manfred ; Schürr, A. ; Winter, Andreas J. (2000)
Integrity Constraints in the Multi-Paradigm Language PROGRES.
Proc. 6th International Workshop on Theory and Application of Graph Transformations TAGT'98, Paderborn. Heidelberg
Konferenzveröffentlichung, Bibliographie

Schürr, Andy ; Winter, Andreas (2000)
UML Packages for Programmed Graph Rewriting Systems.
Proc. TAGT'98 - Theory and Application of Graph Transformations, Paderborn, Germany. Heidelberg
Konferenzveröffentlichung, Bibliographie

Rötschke, Tobias (2000)
Towards a Generic Extraction Technique.
2. Workshop Software Reengineering.
Konferenzveröffentlichung, Bibliographie

1999

Hrsg.: Desel, Jörg ; Pohl, Klaus ; Schürr, Andy (1999)
Modellierung 99, Proceedings des GI-Workshops in Karlsruhe.
Buch, Bibliographie

Schürr, Andy ; Zündorf, Albert ; Winter, Andreas
Hrsg.: Ehrig, H. ; Engels, G. ; Kreowski, H. ; Rozenberg, G. (1999)
PROGRES: Language and Environment.
In: Handbook on Graph Grammars and Computing by Graph Transformation: Applications, Languages, and Tool
Buchkapitel, Bibliographie

Klein, Peter ; Nagl, Manfred ; Schürr, Andy
Hrsg.: Ehrig, H. ; Engels, G. ; Kreowski, H. ; Rozenberg, G. (1999)
IPSEN Tools.
In: Handbook of Graph Grammars and Computing by Graph Tranformation, Vol. II
Buchkapitel, Bibliographie

Bardohl, Roswitha ; Minas, Mark ; Schürr, Andy ; Taentzer, Gabriele
Hrsg.: Ehrig, H. ; Engels, G. ; Kreowski, H. ; Rozenberg, G. (1999)
Application of graph transformation to visual languages.
In: Handbook of graph grammars and computing by graph transformation: vol. II
Buchkapitel, Bibliographie

Schürr, Andy ; Winter, Andreas
Hrsg.: Kilov, H. ; Rumpe, B. ; Simmonds, I. (1999)
UML, the Future Standard Software Architecture Description Language?
In: Behavioral Specifications for Businesses and System
Buchkapitel, Bibliographie

Blostein, Dorothea ; Schürr, Andy (1999)
Computing with Graphs and Graph Rewriting.
In: Software - Practice and Experience, 29 (3)
Artikel, Bibliographie

Andries, Marc ; Engels, Gregor ; Habel, Annegret ; Hoffmann, Berthold ; Kreowski, Hans-Jörg ; Kuske, Sabine ; Plump, Detlef ; Schürr, Andy ; Taentzer, Gabriele (1999)
Graph Transformation for Specification and Programming.
In: Science of Computer Programming, 34 (1)
Artikel, Bibliographie

Rumpe, Bernhard ; Schoenmakers, M. ; Radermacher, Ansgar ; Schürr, Andy (1999)
UML + ROOM as a Standard ADL.
Proc. ICECCS'99 5th Int. IEEE Conf. on Engineering Complex Computer Systems. Los Alamitos
Konferenzveröffentlichung, Bibliographie

Münch, Manfred ; Schürr, Andy (1999)
Leaving the Visual Language Ghetto.
Proc. IEEE Symposium on Visual Languages (VL'99). Los Alamitos
Konferenzveröffentlichung, Bibliographie

Hrsg.: Hoffmann, P. ; Schürr, A. (1999)
Object-Oriented Modeling of Embedded Realtime Systems (OMER-1).
Konferenzveröffentlichung, Bibliographie

Hrsg.: Hoffmann, P. ; Schürr, A. (1999)
Object-Oriented Modeling of Embedded Realtime Systems (OMER-1).
Konferenzveröffentlichung, Bibliographie

1998

Hrsg.: Pohl, Klaus ; Schürr, Andy ; Vossen, Gottfried (1998)
Modellierung 98, Proceedings des GI-Workshops in Münster.
Buch, Bibliographie

Gruner, Stefan ; Nagl, Manfred ; Sauer, F. ; Schürr, Andy
Hrsg.: Nagl, M. ; Westfechtel, B. (1998)
Inkrementelle Integrationswerkzeuge für arbeitsteilige Entwicklungsprozesse.
In: Integration von Entwicklungssystemen in Ingenieur-Anwendunge
Buchkapitel, Bibliographie

Gruner, S. ; Nagl, Manfred ; Schürr, Andy
Hrsg.: Broy, M. (1998)
Fine-Grained and Structure-Oriented Document Integration Tools for Development Processes.
Proc. NATO Workshop on Requirements Targeting Software and Systems Engineering. Heidelberg
Konferenzveröffentlichung, Bibliographie

Schürr, Andy ; Winter, Andreas J.
Hrsg.: Schader, M. ; Korthaus, A. (1998)
Formal Definition of UML's Package Concept.
The Unified Modeling Language - Technical Aspects and Applications, 1st GROOM UML Workshop Proc. Heidelberg
Konferenzveröffentlichung, Bibliographie

1997

Schürr, Andy
Hrsg.: Rozenberg, G. (1997)
Programmed Graph Replacement Systems.
In: Handbook of graph grammars and computing by graph transformation: vol. I
Buchkapitel, Bibliographie

Kreowski, Hans-Jörg ; Kuske, Sabine ; Schürr, Andy (1997)
Nested Graph Transformation Units.
In: Int. Journal on Software and Knowledge Engineering and Special Issue on Graph Grammar-based Specifications, 7 (4)
Artikel, Bibliographie

Rekers, J. ; Schürr, Andy (1997)
Defining and Parsing Visual Languages with Layered Graph Grammars.
In: Journal of Visual Languages and Computing, 8 (1)
Artikel, Bibliographie

Schürr, Andy ; Winter, Andreas (1997)
Formal Definition and Refinement of UML's Module/Package Concept.
ECOOP '97 Workshop Reader (Workshop 5 on Precise Semantics for Object-Oriented Modeling Techniques). Heidelberg
Konferenzveröffentlichung, Bibliographie

Schürr, Andy (1997)
BDL - A Nondeterministic Data Flow Programming Language with Backtracking.
Proc. VL'97 13th Int. IEEE Symp. on Visual Languages, Capri. Los Alamitos
Konferenzveröffentlichung, Bibliographie

Klein, Peter ; Schürr, Andy
Hrsg.: IEEE Computer Society Press (1997)
Constructing SDEs with the IPSEN Meta Environment.
Proc. 8th Conf. on Software Engineering Environments SEE'97. Los Alamitos
Konferenzveröffentlichung, Bibliographie

1996

Schürr, Andy
Hrsg.: Nagl, M. (1996)
Introduction to the Specification Language PROGRES.
In: Building Thightly-Integrated (Software) Development Environments: The IPSEN Approach
Buchkapitel, Bibliographie

Schürr, Andy
Hrsg.: Nagl, M. (1996)
The Formal Background of PROGRES.
In: Building Thightly-Integrated (Software) Development Environments: The IPSEN Approach
Buchkapitel, Bibliographie

Schürr, Andy ; Zündorf, Albert
Hrsg.: Nagl, M. (1996)
Specification of Logical Documents and Tools.
In: Building Thightly-Integrated (Software) Development Environments: The IPSEN Approach
Buchkapitel, Bibliographie

Lefering, Martin ; Schürr, Andy
Hrsg.: Nagl, M. (1996)
Specification of Integration Tools.
In: Building Thightly-Integrated (Software) Development Environments: The IPSEN Approach
Buchkapitel, Bibliographie

Schürr, Andy ; Winter, Andreas ; Zündorf, Albert
Hrsg.: Nagl, M. (1996)
Developing Tools with the PROGRES Environment.
In: Building Thightly-Integrated (Software) Development Environments: The IPSEN Approach
Buchkapitel, Bibliographie

Nagl, Manfred ; Schürr, Andy
Hrsg.: Nagl, M. (1996)
Summary and Specification Lessons Learned.
In: Building Thightly-Integrated (Software) Development Environments: The IPSEN Approach
Buchkapitel, Bibliographie

Kiesel, Norbert ; Schürr, Andy ; Westfechtel, Bernhard
Hrsg.: Nagl, M. (1996)
GRAS, a Graph-Oriented Software Engineering Database System.
In: Building Thightly-Integrated (Software) Development Environments: The IPSEN Approach
Buchkapitel, Bibliographie

Klein, Peter ; Schürr, Andy ; Zündorf, Albert
Hrsg.: Nagl, M. (1996)
Generating Single Document Processing Tools.
In: Building Thightly-Integrated (Software) Development Environments: The IPSEN Approach
Buchkapitel, Bibliographie

Nagl, Manfred ; Schürr, Andy ; Winter, Andreas
Hrsg.: Nagl, M. (1996)
Specification in the Large for Graph Grammars.
In: Building Thightly-Integrated (Software) Development Environments: The IPSEN Approach
Buchkapitel, Bibliographie

Schürr, Andy ; Winter, Andreas ; Zündorf, Albert (1996)
Spezifikation und Prototyping graphbasierter Systeme.
eingeladene überarbeitete Fassung von: Proc. Fachtagung Software-Technik '95. Heidelberg
Konferenzveröffentlichung, Bibliographie

Schürr, Andy
Hrsg.: Engels, G. ; Ehrig, H. ; Rozenberg, G. (1996)
Logic Based Programmed Structure Rewriting Systems.
Fundamenta Informaticae, Special Issues on Graph Transformations. Amsterdam
Konferenzveröffentlichung, Bibliographie

Rekers, J. ; Schürr, Andy (1996)
A Graph Based Framework for the Implementation of Visual Environments.
Proc. VL'96 12th Int. IEEE Symp. on Visual Languages, Boulder, Colorado. Los Alamitos
Konferenzveröffentlichung, Bibliographie

Nagl, Manfred ; Schürr, Andy (1996)
Software Integration Problems and Coupling of Graph Grammar Specifications.
Proc. 5th Int. Workshop on Graph-Grammars and Their Application to Computer Science. Heidelberg
Konferenzveröffentlichung, Bibliographie

Schürr, Andy (1996)
Programmed Graph Transformations and Graph Transformation Units in GRACE.
Proc. 5th Int. Workshop on Graph-Grammars and Their Application to Computer Science. Heidelberg
Konferenzveröffentlichung, Bibliographie

1995

Kiesel, N. ; Schürr, Andy ; Westfechtel, Bernhard (1995)
GRAS, a Graph-Oriented Database System for (Software) Engineering Applications.
In: Information Systems, 20 (1)
Artikel, Bibliographie

Rekers, J. ; Schürr, Andy
Hrsg.: Nijholt, A. ; Scollo, G. ; Steetskamp, R. (1995)
A Graph Grammar Approach to Graphical Parsing (2).
Proc. Twente Workshop on Language Technology 10 joint with First AMAST Workshop on Language Processing. Enschede
Konferenzveröffentlichung, Bibliographie

Taentzer, Gabriele ; Schürr, Andy
Hrsg.: Corradini, A. ; Montanari, U. (1995)
DIEGO and another Step Towards a Module Concept for Graph Transformation Systems.
Proc. Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation. Amsterdam
Konferenzveröffentlichung, Bibliographie

Engels, Gregor ; Schürr, Andy
Hrsg.: Corradini, A. ; Montanari, U. (1995)
Hierarchical Graphs and Graph Types, and Meta Types.
Proc. Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation. Amsterdam
Konferenzveröffentlichung, Bibliographie

Schürr, Andy ; Winter, Andreas ; Zündorf, Albert
Hrsg.: Schäfer, W. ; Botella, P. (1995)
Graph Grammar Engineering with PROGRES.
Proc. 5th European Software Engineering Conf. (ESEC '95). Heidelberg
Konferenzveröffentlichung, Bibliographie

Schürr, Andy ; Winter, Andreas ; Zündorf, Albert
Hrsg.: Haarslev, V. (1995)
Visual Programming with Graph Rewriting Systems.
Proc. VL'95 11th Int. IEEE Symp. on Visual Languages. Los Alamitos
Konferenzveröffentlichung, Bibliographie

Rekers, J. ; Schürr, Andy
Hrsg.: Haarslev, V. (1995)
A Graph Grammar Approach to Graphical Parsing.
Proc. VL'95 11th Int. IEEE Symp. on Visual Languages. Los Alamitos
Konferenzveröffentlichung, Bibliographie

Schürr, Andy ; Borkowski, A.
Hrsg.: Valiente, G. ; Rossello, F. (1995)
A Fixpoint Semantics for Programmed Graph Transformations.
Proc. Colloquium on Graph Transformations and its Application in Computer Science, Palma de Mallorca. Mallorca
Konferenzveröffentlichung, Bibliographie

1994

Kiesel, Norbert ; Schürr, Andy ; Westfechtel, Bernhard
Hrsg.: Goldschmidt, W. (1994)
GRAS, a Graph-Oriented Database System: Data Model, Functionality, and Applications.
Proc. of ICSE 94 Workshop on the Intersection between Databases and Software Engineering. Los Alamitos
Konferenzveröffentlichung, Bibliographie

Schürr, Andy (1994)
Rapid Programming with Graph Rewrite Rules.
USENIX Symp. Proc. Very High Level Languages (VHLL). Berkeley
Konferenzveröffentlichung, Bibliographie

Schürr, Andy
Hrsg.: Mayr, E. ; Schmidt, G. ; Tinhofer, G. (1994)
Specification of Graph Translators with Triple Graph Grammars.
WG'94 20th Int. Workshop on Graph-Theoretic Concepts in Computer Science. Heidelberg
Konferenzveröffentlichung, Bibliographie

Schürr, Andy
Hrsg.: Ehrig, H. ; Schneider, H. (1994)
Logic Based Structure Rewriting Systems.
Proc. Dagstuhl-Seminar 9301 on Graph Transformation in Computer Science. Heidelberg
Konferenzveröffentlichung, Bibliographie

Schürr, Andy (1994)
Specification of Graph Translators with Triple Graph Grammars.
Report, Bibliographie

1993

Kiesel, Norbert ; Schürr, Andy ; Westfechtel, Bernhard
Hrsg.: Lee, H. ; Reid, T. ; Jarzabek, S. (1993)
Design and Evaluation of GRAS and a Graph-Oriented Database System for (Software) Engineering Applications.
CASE '93 Proc. 6th Int. Workshop on Computer-Aided Software Engineering. Los Alamitos
Konferenzveröffentlichung, Bibliographie

Schürr, Andy ; Zündorf, Albert
Hrsg.: Schmidt, G. ; Berghammer, R. (1993)
Nondeterministic Control Structures for Graph Rewriting Systems.
Proc. WG '91 17th Int. Workshop on Graph-Theoretic Concepts in Computer Science. Heidelberg
Konferenzveröffentlichung, Bibliographie

1992

Engels, Gregor ; Lewerentz, Claus ; Nagl, Manfred ; Schürr, Andy (1992)
Building Integrated Software Development Environments, Part I: Tool Specification.
In: ACM Transactions on Software Engineering and Methodology (TOSEM), 1 (2)
Artikel, Bibliographie

1991

Schürr, Andy (1991)
Operationales Spezifizieren mit programmierten Graphersetzungssystemen.
Rheinisch-Westfälischen Technischen Hochschule Aachen
Dissertation, Bibliographie

Schürr, Andy
Hrsg.: Ehrig, H. ; Kreowski, H. ; Rozenberg, G. (1991)
PROGRESS: A VHL-Language Based on Graph Grammars.
Proc. 4th Int. Workshop on Graph-Grammars and Their Application to Computer Science. Heidelberg
Konferenzveröffentlichung, Bibliographie

Nagl, Manfred ; Schürr, Andy
Hrsg.: Ehrig, H. ; Kreowski, H. ; Rozenberg, G. (1991)
A Specification Environment for Graph Grammars.
Proc. 4th Int. Workshop on Graph-Grammars and Their Application to Computer Science. Heidelberg
Konferenzveröffentlichung, Bibliographie

1989

Schürr, Andy
Hrsg.: Nagl, M. (1989)
Introduction to PROGRESS and an Attribute Graph Grammar Based Specification Language.
Proc. WG '89 15th Int. Workshop on Graph-Theoretic Concepts in Computer Science, Castle Rolduc, Netherlands. Heidelberg
Konferenzveröffentlichung, Bibliographie

1988

Schürr, Andy
Hrsg.: Ameling, W. (1988)
Modellierung und Simulation komplexer Systeme mit PROGRESS.
Konferenzveröffentlichung, Bibliographie

Lewerentz, Claus ; Schürr, Andy
Hrsg.: Beeri, C. ; Schmidt, J. ; Dayal, U. (1988)
GRAS, a Management System for Graph-Like Documents.
Konferenzveröffentlichung, Bibliographie

1987

Lewerentz, Claus ; Schürr, Andy (1987)
Ein Datenbanksystem für Software-Dokumente.
Proc. GI-Fachgespräch Datenbanken für Software-Engineering der FG Software-Engineering. Bonn
Konferenzveröffentlichung, Bibliographie

Engels, Gregor ; Schürr, Andy (1987)
A Hybrid Interpreter in a Software Development Environment.
Konferenzveröffentlichung, Bibliographie