Publications in publications/Masterarbeiten_am_Fachgebiet.bib
26 results
2017
Christian Zöllner, "On the Formalization and Complexity of Triple Graph Grammars for Model Driven Engineering", Master's thesis, Hasso-Plattner-Institut für Digital Engineering, Universität Potsdam, 2017. [bibtex]
2016
Christian Nicolai, "Using exchangeable constraint solvers for invariant checking on attributed graph transformation systems", Master's thesis, Hasso-Plattner-Institut für Softwaresystemtechnik, Universität Potsdam, 2016. [bibtex]
2014
Sebastian Stamm, "Formal Modeling of Collaborations in Self-Adaptive Systems with Timed Automata", Master's thesis, Hasso-Plattner-Institut fur Softwaresystemtechnik, Universitat Potsdam, 2014. [bibtex]
2013
Thomas Stening, "Implementierung und Evaluation eines Storydiagramminterpreters für eingebettete Systeme", Master's thesis, Hasso-Plattner-Institut für Softwaresystemtechnik, Universität Potsdam, 2013. [bibtex]
Martin Hanysz, "Integrating Offline and Online Adaptations of Self-Adaptive Software Systems", Master's thesis, Hasso-Plattner-Institut für Softwaresystemtechnik, Universität Potsdam, 2013. [bibtex]
Josefine Harzmann, "Capturing and Presenting Design Rationales for Prototyping", Master's thesis, Hasso-Plattner-Institut für Softwaresystemtechnik, Universität Potsdam, Potsdam, 2013. [bibtex]
2012
Norman Kluge, "Abbildung abstrakter AUTOSAR Architekturmodelle auf Timed Automata zur frühzeitigen Analyse von Realzeit-Eigenschaften", Master's thesis, Hasso-Plattner-Institut für Softwaresystemtechnik, Universität Potsdam, 2012. [bibtex]
Henrik Steudel, "An Integration Framework for Collaborative Model Management based on Distributed Megamodels", Master's thesis, Hasso-Plattner-Institut at the University of Potsdam, 2012. [bibtex]
Johannes Dyck, "Increasing expressive power of graph rules and conditions and automatic verification with inductive invariants", Master's thesis, Hasso-Plattner-Institut für Softwaresystemtechnik, Universität Potsdam, 2012. [bibtex]
Edgar Näther, "Model-Checking zeitbehafteter Graphtransformationssysteme in GROOVE", Master's thesis, Hasso-Plattner-Institut für Softwaresystemtechnik, Universität Potsdam, 2012. [bibtex]
Dmitry Zakharov, "Design and Implementation of an Efficient Pattern Matcher and Debugger", Master's thesis, Hasso-Plattner-Institut für Softwaresystemtechnik, Universität Potsdam, 2012. [bibtex]
Steven Reinisch, "Software Process Guidance in Model Driven Engineering,", Master's thesis, Hasso-Plattner-Institut at the University of Potsdam, 2012. [bibtex]
Christoph Mecklenburg, "Analyse, Einordnung und Evaluation des Design Led Innovation Ansatz: eine Fallstudie zum nutzerzentrierten Softwareentwurf", Master's thesis, Hasso-Plattner-Institut für Softwaresystemtechnik, Universität Potsdam, 2012. [bibtex]
Daniel Eichler, "Manipulation formaler Modelle anhand natürlichsprachlicher Repräsentationen", Master's thesis, Hasso-Plattner-Institut für Softwaresystemtechnik, Universität Potsdam, 2012. [bibtex]
2011
Janek Schumann, "Distributing and Synchronizing Runtime Models", Master's thesis, Hasso-Plattner-Institut für Softwaresystemtechnik, Universität Potsdam, 2011. [bibtex]
Thomas Beyhl, "Versionsbasiertes Model Management auf Basis von verteilten Megamodellen", Master's thesis, Hasso-Plattner-Institut für Softwaresystemtechnik, Universität Potsdam, 2011. [bibtex]
Sandro Schugk, "Ein Storydiagramm-Interpreter für eingebettete Systeme", Master's thesis, Hasso-Plattner-Institut für Softwaresystemtechnik, Universität Potsdam, 2011. [bibtex]
Ralf Teusner, "Smarte Simulation von virtuellen Prototypen", Master's thesis, Hasso-Plattner-Institut für Softwaresystemtechnik, Universität Potsdam, Germany, 2011. [bibtex]
Stefan Richter, "Gesteuerte und interaktive Simulation von virtuellen Prototypen", Master's thesis, Hasso-Plattner-Institut für Softwaresystemtechnik, Universität Potsdam, Germany, 2011. [bibtex]
Stefan Kleff, "Effiziente Simulation von virtuellen Prototypen", Master's thesis, Hasso-Plattner-Institut für Softwaresystemtechnik, Universität Potsdam, Germany, 2011. [bibtex]
2010
Sebastian Wätzoldt, "Parallelisierungskonzepte und Synchronisationsmechanismen eines Interpreters für Storydiagramme", Master's thesis, Hasso-Plattner-Institut für Softwaresystemtechnik, Universität Potsdam, 2010. [bibtex]
Alexander Krasnogolowy, "Entwurf und Implementierung eines Debuggers für Story-Diagramme", Master's thesis, Hasso-Plattner-Institut für Softwaresystemtechnik, Universität Potsdam, 2010. [bibtex]
Mark Liebetrau, "Erweiterte Tripel-Graph-Grammatiken", Master's thesis, Hasso-Plattner-Institut für Softwaresystemtechnik, Universität Potsdam, 2010. [bibtex]
2009
Regina Hebig, "Modeling of Feedback in Self-Adaptive Systems", Master's thesis, Hasso-Plattner-Institut für Softwaresystemtechnik, Universität Potsdam, 2009. [bibtex]
Gregor Gabrysiak, "Modeling and Simulation of Reusable Collaborations for Embedded Systems with Dynamic Structures", Master's thesis, Hasso-Plattner-Institut für Softwaresystemtechnik, Universität Potsdam, 2009. [bibtex]
2007
Stephan Hildebrandt, "Effiziente Modellsynchronisation mit Triple-Graph-Grammatiken durch Wiederverwendung von Transformationsergebnissen", Master's thesis, Hasso-Plattner-Institut für Softwaresystemtechnik, Universität Potsdam, 2007. [bibtex]
Copyright notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.
Powered by bibtexbrowser