Einträge mit Organisationseinheit "18 Fachbereich Elektrotechnik und Informationstechnik > Institut für Datentechnik > Echtzeitsysteme"
- TU Darmstadt (107071)
- 18 Fachbereich Elektrotechnik und Informationstechnik (14757)
- Institut für Datentechnik (1815)
- Echtzeitsysteme (404)
- Institut für Datentechnik (1815)
- 18 Fachbereich Elektrotechnik und Informationstechnik (14757)
Deutsch
Tomaszek, Stefan (2021)
Modellbasierte Einbettung von virtuellen Netzwerken in Rechenzentren.
Technische Universität Darmstadt
doi: 10.12921/tuprints-00017362
Dissertation, Erstveröffentlichung, Verlagsversion
Weckesser, Markus Tobias (2019)
Automatisierte Analyse integrierter Software-Produktlinien-Spezifikationen.
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
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
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
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
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
Wieber, Martin Simon (2015)
Qualitätssicherung von Modelltransformationen - Über das dynamische Testen programmierter Graphersetzungssysteme.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung
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
Patzina, Lars (2014)
Generierung von effizienten Security-/Safety-Monitoren aus modellbasierten Beschreibungen.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung
Lity, Sascha ; Lachmann, Remo ; Lochau, Malte ; Dukaczewski, Michael ; Schaefer, Ina (2013)
Delta-orientiertes Testen von variantenreichen Systemen.
In: OBJEKTspektrum, 2013
Artikel, Bibliographie
Schürr, Andy ; Epple, Ulrich (2012)
Modellierung in der Automatisierungstechnik (MAT 2012).
In: Softwaretechnik-Trends, 32 (2)
Artikel, Bibliographie
Hrsg.: Sinz, Elmar ; Schürr, Andy (2012)
Modellierung 2012.
Buch, Bibliographie
Cichos, Harald ; Lochau, Malte ; Oster, Sebastian ; Schürr, Andy (2012)
Reduktion von Testsuiten für Software-Produktlinien.
Konferenzveröffentlichung, 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
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
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
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
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
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
Schenk, B. ; Schlereth, Michael (2008)
Modellgetriebene Entwicklung in der Automatisierungstechnik.
Automation 2008: Lösungen für die Zukunft.
Konferenzveröffentlichung, Bibliographie
Lauder, Marius (2007)
Erzeugung von vorlesbarem Text aus LaTeX-Dokumenten.
In: GI Informatik Spektrum, 30 (5)
Artikel, 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
Legros, E. ; Rötschke, T. ; Schürr, A. (2007)
Entwicklung eines Software-Leitstands zur Einhaltung von Modellierungsrichtlinien.
Konferenzveröffentlichung, Bibliographie
Jakob, Johannes ; Königs, Alexander ; Schürr, Andy (2006)
Non-materialized model view specification with triple graph grammars.
Konferenzveröffentlichung, Bibliographie
Rötschke, Tobias ; Schürr, Andy (2006)
Temporal Graph Queries to Support Software Evolution.
Konferenzveröffentlichung, Bibliographie
Amelunxen, Carsten ; Schürr, Andy (2006)
Vervollständigung des Constraint-basierten Assoziationskonzeptes von UML 2.0.
Modellierung 2006. Innsbruck, Austria (22. - 24. März 2006)
Konferenzveröffentlichung, 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
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
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
Rötschke, T. ; Schürr, A. (2003)
Software Engineering II für Ingenieure: Wartung, Reengineering und Evolution.
In: Softwaretechnik-Trends, 23 (2)
Artikel, 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
Hrsg.: Desel, Jörg ; Pohl, Klaus ; Schürr, Andy (1999)
Modellierung 99, Proceedings des GI-Workshops in Karlsruhe.
Buch, 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
Hrsg.: Pohl, Klaus ; Schürr, Andy ; Vossen, Gottfried (1998)
Modellierung 98, Proceedings des GI-Workshops in Münster.
Buch, 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 ; Zündorf, Albert (1996)
Spezifikation und Prototyping graphbasierter Systeme.
eingeladene überarbeitete Fassung von: Proc. Fachtagung Software-Technik '95. Heidelberg
Konferenzveröffentlichung, Bibliographie
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
Schürr, Andy (1991)
Operationales Spezifizieren mit programmierten Graphersetzungssystemen.
Rheinisch-Westfälischen Technischen Hochschule Aachen
Dissertation, Bibliographie
Schürr, Andy
Hrsg.: Ameling, W. (1988)
Modellierung und Simulation komplexer Systeme mit PROGRESS.
Konferenzveröffentlichung, Bibliographie
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
Englisch
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
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
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
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
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
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
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
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 ; 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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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. Bilbao, Spain (10.07.2006-13.07.2006)
Konferenzveröffentlichung, Bibliographie
Bézivin, Jean ; Rumpe, Bernhard ; Schürr, Andy ; Tratt, Laurence (2006)
Model transformations in practice workshop.
MoDELS 2005 international workshops. Montego Bay, Jamaica (02.10.2005-07.10.2005)
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). Brighton, United Kingdom (04.09.2006-08.09.2006)
Konferenzveröffentlichung, Bibliographie
Amelunxen, Carsten ; Schürr, Andy (2006)
On OCL as part of the metamodeling framework MOFLON.
In: OCL for (meta-)models in multiple application domains
Buchkapitel, Bibliographie
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
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
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
Aschenbrenner, Peter ; Schürr, Andy (2003)
Generating interactive animations from visual specifications.
Konferenzveröffentlichung, 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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
Lewerentz, Claus ; Schürr, Andy
Hrsg.: Beeri, C. ; Schmidt, J. ; Dayal, U. (1988)
GRAS, a Management System for Graph-Like Documents.
Konferenzveröffentlichung, Bibliographie
Engels, Gregor ; Schürr, Andy (1987)
A Hybrid Interpreter in a Software Development Environment.
Konferenzveröffentlichung, Bibliographie