vertical_beam

Lehrstuhlseminar [zurück

Hier finden Sie die Lehrstuhlseminare dieses Semesters in chronologischer Reihenfolge geordnet.

DatumZeitArtInhaltVortragenderRaum
01.01.197000:00:00LSReverse Engineering von COBOL (Verteidigung GB)Axel GroßmannINF 2101
01.01.197000:00:00LSEvaluation of DB Design and Reverse Engineering Tools for a Large Softw. (Zwischenstand DA)Anne ThomasINF 2101
01.01.197000:00:00LSGenerische Metadatenmodelle (Verteidigung GB)Sven ObermaierINF 2101
01.01.197000:00:00LSJava-Implementierg. der OCL-Basisbiblioth. (Verteidigung GB)Frank FingerINF 2101
01.01.197000:00:00LS"Aspekte eines Föderierten Multimedia Datenbanksystems"Henrike BertholdINF 2101
01.01.197000:00:00LSRealisierungsstudie für ein verteiltes Informationssystem mit WWW-basiertem Zugriff (Zwischenstand DA)Christian LescherINF 2101
01.01.197000:00:00LSRealisierung eines OMG-konformen Tradingdienstes (Zwischenstand GB)Alexander SchlettINF 2101
01.01.197000:00:00WSSoftware Engineering Workshop Edmonton - DresdenINF 2101
01.01.197000:00:00LSPersistente Objekte in Visual Age für Java (Zwischenstand GB)Roman LukomskiINF 2101
01.01.197000:00:00LSReverse Engineering von PL/SQL-Datenbankanwendungen (Zwischenstand DA)Alexander BerndtINF 2101
01.01.197000:00:00LSRealisierungsstudie für ein verteiltes Informationssystem mit WWW-basiertem Zugriff (Verteidigung DA)Christian LescherINF 2101
01.01.197000:00:00LSEntwicklung eines Frameworks für die Codegenerierung am Beispiel von SQL (Zwischenstand DA)Sven ObermaierINF 2101
01.01.197000:00:00LSRealisierung eines OMG-konformen Tradingdienstes (Verteidigung GB)Alexander SchlettINF 2101
01.01.197000:00:00LSEntwurf und Implementation eines modularen OCL-Compilers (Zwischenstand DA)Frank FingerINF 2101
01.01.197000:00:00LSEvaluation of DB Design and Reverse Engineering Tools for a Large Softw. (Verteidigung DA)Anne ThomasINF 2101
01.01.197000:00:00LSXMI für prozedurale Programmstrukturen und Transformation in UML (Zwischenstand DA)Axel GroßmannINF 2101
01.01.197000:00:00LSPersistente Objekte in Visual Age für Java (Verteidungung GB)Roman LukomskiINF 2101
01.01.197000:00:00LSXML-Anfragesprachen für Repositorien auf der Basis von XML-Dokumenten (Zwischenstand GB)Ralf WiebickeINF 2101
01.01.197014:50:00LSAchtung, an speziellem Termin im SAP-Labor CEC Dresden!K. Bergmann, D. BöhmeINF 2101
01.01.197000:00:00LSEntwicklung eines Frameworks für die Codegenerierung am Beispiel von SQL (Verteidigung DA)Sven ObermaierINF 2101
01.01.197000:00:00LSElementary structures in entity-relationship diagrams Geoffrey J. Kennedy, Computer and Information Science University of Otago, Dunedin, New ZealandINF 2101
01.01.197000:00:00LSExperiences with system development projects for senior studentsGeoffrey J. Kennedy, Computer and Information Science University of Otago, Dunedin, New ZealandINF 2101
01.01.197000:00:00LSEntwurf und Implementation eines modularen OCL-Compilers (Verteidigung DA)Frank FingerINF 2101
01.01.197000:00:00WSEinsatz von OCL und Möglichkeiten der ToolunterstützungHerr Anlauf und Herr Siefert, Firma Tenovis

Heinrich Hußmann, Lehrstuhl Softwartechnologie
INF 2101
01.01.197000:00:00LSMethode und Prototyp für das Reverse Engineering von PL/SQL-Datenbankanwendungen. (Verteidigung DA) Alexander BerndtINF 2101
01.01.197000:00:00GVThe UML Profile for Framework ArchitecturesBernhard Rumpe, TU Muenchen (joint work with Marcus Fontoura and Wolfgang Pree)INF 2101
01.01.197000:00:00LSXML Query Languages for Repositories Based on XML DocumentsRalf WiebickeINF 2101
01.01.197000:00:00LSPrototypische Untersuchungen zur Implementierung eines OCL-to-SQL-Compilers (Zwischenstand GB)Sten LoecherINF 2101
01.01.197000:00:00LSRealisierungsstudie für das MetaBase-Modul auf Basis der EJB-Technologie (Zwischenstand GB)Matthias ClaußINF 2101
01.01.197014:50:00LSZwischenbericht GB - Modellierung und Realisierung einer Workflowsteuerung für Quality Driven DesignMatthias SchmidtINF 2101
01.01.197000:00:00LSEnterprise JavaBeans und JavaBeans (Zwischenstand DA)Roman LukomskiINF 2101
01.01.197000:00:00LSXMI für prozedurale Programmstrukturen und Transformation in UML (Verteidigung DA)Axel GroßmannINF 2101
01.01.197000:00:00LSMobile Agenten für ein Netzwerkadministrations-System (Verteidigung GB)Robert WetzelINF 2101
01.01.197000:00:00LSWerkzeugunterstützung für die Überprüfung der Einhaltung von OCL-Geschäftsregeln in Java-Programmen (Zwischenstand DA)Ralf WiebickeINF 2101
01.01.197000:00:00LSEntwurf und Implementierung einer Methode für das Reverse Engineering von PL/SQL-Datenbankanwendungen (Zwischenstand DA)Steffen GrunertINF 2101
01.01.197000:00:00LSEinsatz von UML-Werkzeugen beim Extreme Programming (Zwischenstand DA)Stefan FrischINF 2101
01.01.197000:00:00LSVergleich und Bewertung von Frameworks aus der Sicht des Softwarentwicklers (Zwischenstand DA)Kerstin FenderINF 2101
01.01.197000:00:00LSRealisierungsstudie für das MetaBase-Modul auf Basis der EJB-Technologie (Verteidigung GB)Matthias ClaußINF 2101
01.01.197014:30:00VSubversion - was wir von cvs schon immer haben wollten, aber nie zu sehen bekamenProf. AßmannINF 2101
01.01.197000:00:00LSPrototypische Untersuchungen zur Implementierung eines OCL-to-SQL-Compilers (Verteidigung GB)Sten LoecherINF 2101
01.01.197000:00:00LSDas Framework ?SalesPoint?: Technische Beschreibung der Version 2.0 und weiterer Ausbaumöglichkeiten (Verteidigung GB)Steffen ZschalerINF 2101
01.01.197000:00:00LSUML im objektorientierten Reverse Engineering strukturierter DB-Anwendungen (Zwischenstand GB)Norbert GrafINF 2101
01.01.197000:00:00GVXML: Ein Segen für eCommerce Anwendungen?Hartmut Liefke, Firma NewtronINF 2101
01.01.197000:00:00LSVergleich und Bewertung von Frameworks aus der Sicht des Softwarentwicklers (Verteidigung DA)Kerstin FenderINF 2101
01.01.197000:00:00LSEntwurf und Implementierung einer Methode für das Reverse Engineering von PL/SQL-Datenbankanwendungen (Verteidigung DA)Steffen GrunertINF 2101
01.01.197000:00:00LSWerkzeugunterstützung für die Überprüfung der Einhaltung von OCL-Geschäftsregeln in Java-Programmen (Verteidigung DA)Ralf WiebickeINF 2101
01.01.197000:00:00LSEinsatz von UML-Werkzeugen beim Extreme Programming (Verteidigung DA)Stefan FrischINF 2101
01.01.197000:00:00LSDarstellung von Straßennetzen im Internet mit SVG (Zwischenstand DA) Kerstin MaraschINF 2101
01.01.197000:00:00LSFallstudie - SOAP als Integrationstechnologie für verteilte Middlewarearchitekturen (Zwischenstand GB)Christian WurbsINF 2101
01.01.197000:00:00LSMuster bei der Kombination von Objektdiensten mit Anwendungssystemen (Zwischenstand GB)Andreas MuchaINF 2101
01.01.197000:00:00LSUML/OCL für die Integritätssicherung in Datenbankanwendungen (Zwischenstand DA)Sten LöcherINF 2101
01.01.197000:00:00LSUML im objektorientierten Reverse Engineering strukturierter DB-Anwendungen (Verteidigung GB)Norbert GrafINF 2101
01.01.197000:00:00LSEnterprise JavaBeans und JavaBeans (Zwischenstand GB)Sean EikenbergINF 2101
01.01.197000:00:00LSUntersuchung der Modellierung von Variabilität in UML (Zwischenstand DA)Matthias ClaußINF 2101
01.01.197000:00:00LSTeaching OOT Using a Framework and both Direct and Net-based Tutoring (Probevortrag ED-MEDIA 2001)Steffen ZschalerINF 2101
01.01.197000:00:00LSDarstellung von Straßennetzen im Internet mit SVG (Verteidigung DA)Kerstin MaraschINF 2101
01.01.197000:00:00LSVergleichende Studie zu den Komponentenmodellen EJB, COM+ und CCM (Zwischenstand DA)Stefan HauboldINF 2101
01.01.197000:00:00LSWerkzeugunterstützung für UML-Profiles (Zwischenstand GB)Andreas PleußINF 2101
01.01.197000:00:00LSIndustriesstudie zum Einsatz von CORBAservice konformen Dienstimplementierungen bei der Entwicklung CORBA-basierter Anwendungen (Zwischenstand GB)Sven HarazimINF 2101
01.01.197000:00:00LSMuster bei der Kombination von Objektdiensten mit Anwendungssystemen (Verteidigung GB)Andreas MuchaINF 2101
01.01.197000:00:00LSFallstudie - SOAP als Integrationstechnologie für verteilte Middlewarearchitekturen (Verteidigung GB)Christian WurbsINF 2101
01.01.197000:00:00LSUntersuchung der Modellierung von Variabilität in UML (Verteidigung DA) Matthias ClaußINF 2101
01.01.197000:00:00LSUML/OCL für die Integritätssicherung in Datenbankanwendungen (Verteidigung DA)Sten LöcherINF 2101
01.01.197000:00:00LS(Zwischenstand CL project)Shafiq-ur-RehmanINF 2101
01.01.197000:00:00LSObject-Oriented Modeling of a System for Automated Vehicle Guidance (Zwischenstand DA)M. Umair KhanINF 2101
01.01.197000:00:00LSDie GoF-Entwurfsmuster in Java (Zwischenstand GB) Corinna HerrmanINF 2101
01.01.197000:00:00LSEntwicklung eines konfigurierbaren Datenbankschemagenerators (Zwischenstand DA)Andrea KlingINF 2101
01.01.197000:00:00LSUntersuchung von UML-to-OCL-Transformationen (Zwischenstand DA)Robert WetzelINF 2101
01.01.197000:00:00LSEnterprise JavaBeans und JavaBeans (Verteidigung GB)Sean EikenbergINF 2101
01.01.197000:00:00LSIndustriestudie zum Einsatz von CORBAservice konformen Dienstimplementierungen bei der Entwicklung CORBA-basierter Anwendungen (Verteidigung GB)Sven HarazimINF 2101
01.01.197000:00:00LSEvaluation von Java Data Objects (Zwischenstand GB)Martin UhligINF 2101
01.01.197000:00:00LSWerkzeugunterstützung für UML-Profiles (Verteidigung GB)Andreas PleußINF 2101
01.01.197000:00:00LSEntwurfsmusterkatalog für Komponentencontainer (Zwischenstand DA)Irina SoudnikINF 2101
01.01.197000:00:00LSVergleichende Studie zu den Komponentenmodellen EJB, COM+ und CCM (Verteidigung DA)Stefan HauboldINF 2101
01.01.197000:00:00LSDie GoF-Entwurfsmuster in Java (Verteidigung GB)Corinna HerrmannINF 2101
01.01.197000:00:00LSObject-Oriented Modeling of a System for Automated Vehicle Guidance (Verteidigung Master Thesis)M. Umair KhanINF 2101
01.01.197000:00:00LSBeispielkatalog für EJB-Entwurfsmuster (Zwischenstand BA)Ronny KlingerINF 2101
01.01.197000:00:00LSAbbildung von OCL auf EJB-QL (Zwischenstand DA)Norbert GrafINF 2101
01.01.197000:00:00LSGenerierung serverseitiger Komponenten basierend auf UML Profiles (Zwischenbericht DA)Sean EikenbergINF 2101
01.01.197000:00:00LSEvaluation von Java Data Objects (Verteidigung GB)Martin Uhlig INF 2101
01.01.197000:00:00LSWriting a Tutorial for Using "Dresden OCL Toolset" (Zwischenbericht CL Project)Muhammad Muazzam Ali INF 2101
01.01.197000:00:00LSFormal Semantics for a UML Fragment Using UML/OCL Metamodelling (Verteidigung CL Project)Alexei Tchertchago INF 2101
01.01.197000:00:00LSModelling of safety-critical control systems for transportation with Statemate (Zwischenbericht DA)Shafiq-ur-Rehman INF 2101
01.01.197000:00:00LSModellierung .NET basierter Anwendungssysteme mit der UML (Zwischenbericht DA)Christian WurbsINF 2101
01.01.197000:00:00LSModellierung CORBA basierter Anwendungssysteme mit der UML (Zwischenbericht DA)Andreas MuchaINF 2101
01.01.197000:00:00LSEntwurf eines abstrakten CAD-Adapters für ein Mustererkennungssystem (Zwischenbericht DA) Stefan Scholz INF 2101
01.01.197000:00:00LSOberflächengestaltung und Architektur zu einem Intelligenten Editiersystem für Zeichnungen (Verteidigung GB)Armin Schmich INF 2101
01.01.197000:00:00LSFramework zur Generierung von webbasierten Formularen (Verteidigung DA)Thomas Böckelmann INF 2101
01.01.197014:50:00ZVTG BAZwischenverteidigung BA: Toolunterstützter Softwarelebenszyklus für Projekte im Softwarepraktikums: Von der Analyse bis zum Continuous Integration und Deployment Sven SeemannINF 2101
01.01.197000:00:00LSBeispielkatalog für EJB-Entwurfsmuster (Verteidigung BA)Ronny KlingerINF 2101
01.01.197000:00:00LSVergleich des Persistenzkonzeptes der EJB-Technologie mit der Datenbank-Framework-Technologie von Newtron (Zwischenstand GB)Robert VogelINF 2101
01.01.197000:00:00LSEvaluation der Praxistauglichkeit von OCL- Spezifikationen (Zwischenbericht DA)Steffen ZschalerINF 2101
01.01.197000:00:00LSAbbildung von OCL auf EJB-QL (Verteidigung DA)Norbert Graf INF 2101
01.01.197000:00:00LSDynamische Rekonfiguration eines Application Servers (Zwischenstand DA)Susanne WagenbrethINF 2101
01.01.197000:00:00 LSEvaluation des Projekts "Quality Objects" (Zwischenstand DA)Sven HarazimINF 2101
01.01.197000:00:00LSGenerierung serverseitiger Komponenten basierend auf UML Profiles (Verteidigung DA)Sean EikenbergINF 2101
01.01.197000:00:00LSMöglichkeiten und Grenzen modellbasierter Anwendungsentwicklung am Beispiel von "Bold for Delphi" (Zwischenbericht DA) Andre LunkenbeinINF 2101
01.01.197000:00:00LSEvaluierung der QoS-Unterstützung in TAO/ACE (Zwichenbericht GB)Ansgar KonermannINF 2101
01.01.197000:00:00LSDokumentenverwaltung von ProjectWeb unter Berücksichtigung des Knowledge Engineerings (Zwichenbericht GB)Stefan FrommINF 2101
01.01.197000:00:00LSStudie zum systematische Testen von Webbasierten Client-Server Anwendungen (Zwichenbericht GB)Thomas FoersterINF 2101
01.01.197000:00:00LSDevelopment of a C++ client for a Java QoS API based on CORBA (Defence CL Project)Sandeep MisraINF 2101
01.01.197000:00:00LSExtension of a DiffServ enabled IP core network for delivering QoS to the xDSL access (Intermediate Report MA)Sandeep MisraINF 2101
01.01.197000:00:00LSEntwicklung und prototypische Realisierung eines Plug-In zur Unterstützung von UML-Profiles in Rational Rose (Zwischenbericht DA)Andreas PleußINF 2101
01.01.197000:00:00LSEntwurf eines abstrakten CAD-Adapters für ein Mustererkennungssystem (Verteidigung DA)Stefan ScholzINF 2101
01.01.197000:00:00LSModellierung .NET basierter Anwendungssysteme mit der UML (Verteidigung DA)Christian WurbsINF 2101
01.01.197000:00:00LSModellierung CORBA basierter Anwendungssysteme mit der UML (Verteidigung DA)Andreas MuchaINF 2101
01.01.197000:00:00LSAspektorientierte Programmierung und EJB im Vergleich (Verteidigung GB)Brit EngelINF 2101
01.01.197000:00:00LSEvaluation des Projekts "Quality Objects" (Verteidigung DA)Sven HarazimINF 2101
01.01.197000:00:00LSDynamische Rekonfiguration eines Application Servers (Verteidigung DA)Susanne Wagenbreth INF 2101
01.01.197000:00:00LSVergleich des Persistenzkonzeptes der EJB-Technologie mit der Datenbank- Framework-Technologie von Newtron (Verteidigung GB)Robert VogelINF 2101
01.01.197000:00:00LSEvaluation der Praxistauglichkeit von OCL-Spezifikationen (Verteidigung DA)Steffen ZschalerINF 2101
01.01.197000:00:00LSImplementation eines OCL-Interpreter (Gastvortrag) Nikolai KrambockINF 2101
01.01.197000:00:00LSCodegenerierung für UML-Klassendiagramme mit Auswertung semantischer Zusatzinformation (Zwischenbericht GB)Stefan Ocke INF 2101
01.01.197000:00:00LSDokumentenverwaltung von ProjectWeb unter Berücksichtigung des Knowledge Engineerings (Verteidigung GB)Stefan FrommINF 2101
01.01.197000:00:00LSEntwicklung und prototypische Realisierung eines Plug-In zur Unterstützung von UML-Profiles in Rational Rose (Verteidigung DA)Andreas PleussINF 2101
01.01.197000:00:00LSCodegenerierung für UML-Klassendiagramme mit Auswertung semantischer Zusatzinformation (Verteidigung GB)Stefan OckeINF 2101
01.01.197000:00:00LS Analysis of the Metamodeling Semantics for OCL (Verteidigung MA)Alexei TchertchagoINF 2101
01.01.197000:00:00LSMöglichkeiten und Grenzen modellbasierter Anwendungsentwicklung am Beispiel von "Bold for Delphi" (Verteidigung DA)Andre LunkenbeinINF 2101
01.01.197000:00:00LSStudie zum systematische Testen von Webbasierten Client-Server Anwendungen (Verteidigung GB)Thomas Förster INF 2101
01.01.197000:00:00LSExtension of a DiffServ enabled IP core network for delivering QoS to xDSL access (Defence MA)Sandeep MisraINF 2101
01.01.197000:00:00LSEvaluierung der QoS-Unterstützung in TAO/ACE (Verteidigung GB)Ansgar KonermannINF 2101
01.01.197000:00:00LSSeminar des Graduiertenkolleg "Werkzeuge zum effektiven Einsatz paralleler und verteilter Rechnersysteme"

Specification of services for component based systems
Dr. Bernhard Schätz, TU München INF 2101
01.01.197000:00:00LSEntwicklung einer Laufzeitumgebung für Komponenten mit Ressourcenanforderungen (Zwischenbericht DA)Brit EngelINF 2101
01.01.197000:00:00LSAspektorientierte Programmierung und EJB im Vergleich (Zwischenbericht GB)Brit EngelINF 2101
01.01.197000:00:00LSEntwicklung eines konfigurierbaren Datenbankschemagenerators (Verteidigung DA)Andrea KlingINF 2101
01.01.197000:00:00LSWriting a Tutorial for Using "Dresden OCL Toolset" (Verteidigung CL-Project)Muhammad Muazzam AliINF 2101
01.01.197000:00:00LSVerteidigung der Diplomarbeit: Entwurf und prototyische Realisierung eines Java-basierten, WebDAV-fähigen Content-Repositorys für ein Information-Retrieval-SystemStefan FrommINF 2101
01.01.197000:00:00LSVerteidigung des Großen Belegs: Systemseitige Umsetzung ausgewählter Sicherheitsanforderungen ? in einer KomponentenarchitekturLars MeyerINF 2101
01.01.197014:50:00LSZwischenbericht der DAAlexander LopatschINF 2101
01.01.197000:00:00LSVorstellung des aktuellen Stands der WebseiteMike RetzlaffINF 2101
01.01.197000:00:00LSZwischenbericht zum Großen Beleg "Realisierung ausgewählter Entwurfsmuster als Compost-Operatoren"Katja WüstINF 2101
01.01.197000:00:00LSZwischenbericht zum Großen Beleg "SQL-Codegenerierung in der metamodellbasierten Architektur des Dresden OCL Toolkit"Florian HeidenreichINF 2101
01.01.197013:00:00VTeamarbeit in studentischen Teams: Probleme und UnterstützungsmöglichkeitenFrau Prof. SonnentagINF 2101
01.01.197000:00:00LSGB VerteidigungFlorian HeidenreichINF 2101
01.01.197000:00:00LSZwischenbericht GB "OCL für Fujaba"Mirko StölzelINF 2101
01.01.197014:50:00LSZwischenbericht DA "A Composition Framework for Semantic Web Event-Condition-Action Languages using Invasive Composition"Torsten BürgerINF 2101
01.01.197014:50:00LSVerteidigung zum Großen Beleg "Realisierung ausgewählter Entwurfsmuster als Compost-Operatoren"Katja WüstINF 2101
01.01.197014:30:00VSubversion - was wir von cvs schon immer haben wollten, aber nie zu sehen bekamenProf. AßmannINF 2101
01.01.197014:30:00VSubversionProf. AßmannINF 2101
01.01.197014:50:00LSVerteidigung GBMirko StölzelINF 2101
01.01.197014:50:00V"Classbox/J: Controlling the Scope of Change in Java", siehe auch den entsprechenden News-EintragAlexandre Bergel, Universität BernINF 2101
01.01.197000:00:14LSVerteidigung GBDaniel WeigelINF 2101
01.01.197014:50:00LSZwischenbericht DA (SBVR)Katja WüstINF 2101
01.01.197014:50:00LSVerteidigung DATorsten BürgerINF 2101
01.01.197014:50:00LSZwischenbericht DAFlorian HeidenreichINF 2101
01.01.197014:50:00LSZwischenbericht GBKai-Uwe GärtnerINF 2101
01.01.197014:50:00LSVerteidigung DAA. KörnerINF 2101
01.01.197014:50:00LSVerteidigung DAIrina SoudnikINF 2101
01.01.197014:50:00LSZV - Konzeption und prototypische Realisierung eines Energie-Dokumentensystems mit der Oracle Content und Records DatenbankMatthias SiegmundINF 2101
01.01.197014:50:00LSZV - Konzeption und prototypische Realisierung eines Energie-Dokumentensystems mit der Oracle Content und Records DatenbankMatthias SiegmundINF 2101
01.01.197014:50:00LSZV - Untersuchungen zur Anwendung des .NET Frameworks für die Implementierung eines Smart Clients - Konzeption und prototypische Implementierung“Kai-Uwe GärtnerINF 2101
01.01.197014:50:00LSZV - Unterstützung der Prozesse des Projektmanagements mit der Oracle-Content-DatenbankMichael KossatzINF 2101
01.01.197014:50:00LSZwischenbericht GBChristian WendeINF 2101
01.01.197014:50:00LSVorstellung eines Forschungsvorhabens "Entwicklung eines OCL-Animators auf der Basis von Satisfiability (SAT) Solvern"Matthias KriegerINF 2101
01.01.197016:30:00LSZwischenbericht GBCarsten LuxigINF 2101
01.01.197015:00:00LSZwischenbericht GB
Achtung!
Dieses Seminar findet aus technischen Gründen in den Räumen des SAP Research Labs statt. Die Teilnehmerzahl ist damit auf max. 10 begrenzt.
Daniel BöhmeINF 2101
01.01.197015:00:00LSZwischenbericht GB
Achtung!
Dieses Seminar findet aus technischen Gründen in den Räumen des SAP Research Labs statt. Die Teilnehmerzahl ist damit auf max. 10 begrenzt.
Klaus BergmannINF 2101
01.01.197010:00:00LSZwischenbericht DAKatja LehmannINF 2101
01.01.197014:50:00LSImproving Gnutella Search Algorithms through Epidemic Dissemination
Betr.: Cecilia Mascolo, University College London
Holger KampfmeyerINF 2101
01.01.197014:50:00LSAnalysis and Design Modeling Using Metaphorical Modeling Entities - the Tools and Work Objects DSLChristian NillINF 2101
01.01.197014:50:00LSZwischenbericht GBRonny BrandtINF 2101
01.01.197014:50:00LSVerteidigung GBKai-Uwe GärtnerINF 2101
01.01.197014:50:00LSVerteidigung DAFlorian HeidenreichINF 2101
01.01.197014:50:00LSVerteidigung GBChristian WendeINF 2101
01.01.197014:50:00LSVerteidigung GB "Automatische Erfassung von Umwelt- und Betriebsdaten in einem PLM-System" und "Dynamische Aktualisierung von Produktstrukturen in einem PLM-System"Böhme, BergmannINF 2101
01.01.197000:00:14VCompost Regression-Test-Suite. Im Rahmen der Entwicklung des Compost Composition Systems hat Herr Bürger letztes Semester eine Regression-Test-Suite für Compost entwickelt. Diese ermöglicht vergleichende Tests zw. Komponenten, wodurch eine inkrementelle Erweiterung und Entwicklung des Compost Systems realisiert werden kann.Christoff BürgerINF 2101
01.01.197016:40:00LSVerteidigung GB: Ontologie-basierte 3-D Visualisierung von historischen Daten
Ort: Lichtenheld-Hörsaal, der 3-D-Hörsaal der Maschinenbauer. Ausreichend Platz und 3D-Brillen sind vorhanden. Anmeldung bei Prof. Aßmann nötig. Wird aber bestimmt sehr interessant!
Jan PolowinskiINF 2101
01.01.197014:50:00LSVerteidigung GB: Invasiven KomponentensystemJendrik JohannesINF 2101
01.01.197014:50:00LSVerteidigung DA: Accessibility-oriented Requirements Analysis (AORA)Katja LehmannINF 2101
01.01.197014:50:00LSgesperrt wegen PraktikumsverteidigungenINF 2101
01.01.197014:50:00LSZwischenbericht DA "OCL in Story Diagrammen"Mirko StölzelINF 2101
01.01.197014:50:00LSDA-Zwischenverteidigung "Eine erweiterbare Architektur für Workflow-Managementsysteme"Markus LiebschnerINF 2101
01.01.197014:50:00LSgesperrt wegen PrüfungINF 2101
01.01.197014:50:00LSZwischenbericht GB "Anwendung der OCL auf XML Dokumente"Carsten HolzmüllerINF 2101
01.01.197014:50:00LSZwischenbericht GB "Transformation von XML-Dokumenten mittels Prolog"René HaberlandINF 2101
01.01.197000:00:13LSZwischenberichte GBTobias Haupt, Michael Rudolf, Ulf WemmieINF 2101
01.01.197013:00:00LSZwischenberichte GBKatrin Eisenreich, Sebastian KäpplerINF 2101
01.01.197014:50:00LSZwischenberichte GBLiu HongINF 2101
01.01.197014:50:00LSVerteidigung DAKatja WüstINF 2101
01.01.197014:50:00LSZwischenverteidigung GB "A domain-independent architecture for multimodal applications"Alessandro Costa PerreiraINF 2101
01.01.197014:50:00LSVerteidigung GB "Durchführung einer Fallstudie für feature-getriebene, MDA-basierte Entwicklung"Carsten LuxigINF 2101
01.01.197014:50:00LSZwischenverteidigung DA "Vergleich verschiedener Java/XML Binding Tools im Hinblick auf die Möglichkeit der Erzeugung halb-dynamischer Dokumente"Christian KraußINF 2101
01.01.197014:50:00LSZwischenbericht DA: Complex composition operators for Semantic Web languages
Zwischenbericht Beleg: Sprachgesteuerte domänenspezifische Programmierung
Jendrik Johannes / Robert WlochINF 2101
01.01.197014:50:00LSProject Defense (CL) (30min): Mechanization of Invasive Software Composition with F-LogicAde AzuratINF 2101
01.01.197014:50:00LSGB Verteidigung: "Durchführung einer Fallstudie für feature-getriebene, MDA-basierte Entwicklung"Carsten LuxigINF 2101
01.01.197014:50:00LSKonzeption einer QVT Engine im Rahmen des Dresden OCL ToolkitsChristian WendeINF 2101
01.01.197014:50:00LSEine erweiterbare Architektur für GeschäftsprozeßsystemeMarkus LiebschnerINF 2101
01.01.197000:00:14LSBT "Delta-guided Plugin Adaptation in .NET"Michael RudolfINF 2101
01.01.197014:50:00LSDA Zwischenverteidigung "Preserving Binary Backward Compatibility using Aspect-Oriented Techniques"Christian BitterINF 2101
01.01.197014:50:00LSGB Verteidigung zum Thema "Integration der Metamodelle von Fujaba und Eclipse durch das Eclipse Modeling Framework (EMF)"Tobias HauptINF 2101
01.01.197015:30:00LSVerteidigung GB: XQuery Composition case studyLiu HongINF 2101
01.01.197014:50:00LSZwischenverteidigung BATimo RothINF 2101
01.01.197014:50:00LSZwischenverteidigung DA: Wartung und Pflege von Programmversionen mittels Merge-AlgorithmenRalph EngelmannINF 2101
01.01.197014:50:00LSJava-Codegenerierung und Instrumentierung von Java-ProgrammenRonny BrandtINF 2101
01.01.197014:50:00LSDA-Verteidigung P. Böttcher. Danach Demo UML-Eclipse-Tool "jupe" (M. Pradel), incl. Diskussion, wie man das zur Lehre und Forschung einsetzt.Pattrick BöttcherINF 2101
01.01.197014:50:00LSBT "Using Version Control Systems for Tracking Adaptation-relevant Software Changes"Ulf WemmieINF 2101
01.01.197014:50:00LSVerteidigung DA: Complex composition operators for Semantic Web languagesJendrik JohannesINF 2101
01.01.197014:50:00LSVerteidigung GBKatrin EisenreichINF 2101
01.01.197014:50:00LSVerteidigung GBSebastian KäpplerINF 2101
01.01.197014:50:00LSVerteidigung DAMirko StölzelINF 2101
01.01.197014:50:00LSVerteidigung GB: "Transformation von XML-Dokumenten mittels Prolog"René HaberlandINF 2101
01.01.197014:50:00LSZwischenverteidigung GB - Konzeption und Entwicklung einer allgemeinen workflow-getriebenen Komponentensteuerung am Beispiel JBoss jBPMChristoph HartwigINF 2101
01.01.197014:50:00LSVerteidigung: "CsMetricX: A Measurement Framework for empirical studies of power-laws and cycles in C# applications"Enrico LeonhardtINF 2101
01.01.197015:30:00LSVerteidigung GB "Generierung von Softwaremodellen aus natürlicher Sprache"Robert WlochINF 2101
01.01.197014:50:00LSVerteidigung DA - Konzeption einer QVT Engine im Rahmen des Dresden OCL Toolkits (in Raum INF/2042)Christian WendeINF 2101
01.01.197014:50:00LSZwischenverteidigung DA (SBVR und Semantic Web)Hans-Bernhard LiebauINF 2101
01.01.197014:50:00LSVerteidigung GB: "Anwendung der OCL auf XML-Dokumente"Carsten HolzmüllerINF 2101
01.01.197014:50:00LSVerteidigung GB - Entwurf und Implementierung eines Dokumentationsmoduls für das Automatisierungswerkzeug ECU-TestJens GöpfertINF 2101
01.01.197014:50:00LSVerteidigung der BA zum Thema: "A Model of Transformations to Support Backward Compatibility in Evolving Software Components."Timo RothINF 2101
01.01.197014:50:00LSVerteidigung DA "Konsolidierung von Resourcenbeschreibungen auf der Basis von Ontologien"Lennart ReutherINF 2101
01.01.197014:50:00LSZB GB "Transformation zwischen OCL-Ausdrücken und Story Pattern"Sascha DietrichINF 2101
01.01.197014:50:00LSVerteidigung GB "A domain-independent architecture for multimodal applications"Alessandro Costa PereiraINF 2101
01.01.197014:50:00LSZV - Konzeption und prototypische Realisierung eines Energie-Dokumentensystems mit der Oracle Content und Records DatenbankMatthias SiegmundINF 2101
01.01.197016:00:00LSZV Entwurf und prototypische Implementierung eines Pivotmodelles als Austauschformat für Modelle und Metamodelle in einer QVT-/OCL-EntwicklungsumgebungMatthias BräuerINF 2101
01.01.197014:50:00LSZV - Unterstützung der Prozesse des Projektmanagements mit der Oracle-Content-DatenbankMichael KossatzINF 2101
01.01.197014:50:00LSZV - Untersuchungen zur Anwendung des .NET Frameworks für die Implementierung eines Smart Clients - Konzeption und prototypische ImplementierungKai-Uwe GärtnerINF 2101
01.01.197014:50:00LSZwischenverteidigung GB: Quellcodenavigation für TutorialsWolfgang BückeINF 2101
01.01.197014:50:00LSVerteidigung DA - Preserving Binary Backward-Compatibility using Aspect-Oriented TechniquesChristian BitterINF 2101
01.01.197014:50:00LSZV - Schemaevolution im Kontext von MDARalf ClaußnitzerINF 2101
01.01.197014:00:00LSVerteidigung DA Formalisierung von Entwurfsmustern mit Hilfe von OntologienHolger KampffmeyerINF 2101
01.01.197014:50:00LSDA-Verteidigung: Wartung und Pflege von Programmversionen mittels Merge-AlgorithmenRalph EngelmannINF 2101
01.01.197014:50:00LSZwischenverteidigung DA - Integration von XAML Oberflächenbeschreibungen in das VAC NT/32 AutomatisierungstoolMario KretschmerINF 2101
01.01.197014:50:00LSZwischenverteidigung GB - Entwurf und Implementierung eines restriktiven Java Editors für generative SoftwareentwicklungMartin NowackINF 2101
01.01.197014:50:00LSZwischenverteidigung DA - Vereinheitlichung von XML-Template-Expansion und -Schema-ValidierungRené HaberlandINF 2101
01.01.197014:50:00LSZwischenverteidigung DA - Entwicklung eines Java-XML-Binding-Frameworks auf der Basis alternativer XML-MetasprachenCarsten HolzmüllerINF 2101
01.01.197014:50:00LSAdapted Visitors on the Example of the SmartTools Software FactoryThomas KraußeINF 2101
01.01.197015:20:00LSZwischenverteidigung DAJan PolowinskiINF 2101
01.01.197014:50:00LSVerteidigung GBMatthias BräuerINF 2101
01.01.197014:50:00LSVerteidigung GB - Konzeption und prototypische Realisierung eines Energie-Dokumentensystems mit der Oracle Content und Records DatenbankMatthias SiegmundINF 2101
01.01.197014:50:00LSVerteidigung DA - Untersuchungen zur Anwendung des .NET Frameworks für die Implementierung eines Smart Clients - Konzeption und prototypische ImplementierungKai-Uwe GärtnerINF 2101
01.01.197014:50:00LSZwischenverteidigung DA - Ein OCL-Interpreter für das Dresden OCL2 Toolkit basierend auf dem PivotmodellRonny BrandtINF 2101
01.01.197014:50:00LSVerteidigung DA - Unterstützung der Prozesse des Projektmanagements mit der Oracle-Content-DatenbankMichael KossatzINF 2101
01.01.197014:50:00LSVerteidigung DA - Konzeption und Entwicklung einer allgemeinen workflow-getriebenen Komponentensteuerung am Beispiel JBoss jBPMChristoph HartwigINF 2101
01.01.197014:50:00LSGB Zwischenverteidigung über das Thema: XML Schema Language for Composition.Björn LarssonINF 2101
01.01.197014:50:00LSVerteidung MA - Component-based Architecture of Active DocumentsMikhail RoshchinINF 2101
01.01.197014:50:00LSZwischenbericht DA - Entwurf und Implementierung eines adaptiven GraphersetzungssystemsUlf WemmieINF 2101
01.01.197014:50:00LSZwischenverteidigung DA - Modellgetriebene Entwicklung von Benutzerschnittstellen in verteilten SoftwareumgebungenJeanette KellingINF 2101
01.01.197014:50:00LSZwischenbericht DA - Architekturmetamodellierung von Produktlinien unter Einbeziehung produktspezifischer Erweiterungen in einem featuregetriebenen MDSD-ProzessCarsten LuxigINF 2101
01.01.197014:50:00LSVerteidigung GBSascha DietrichINF 2101
01.01.197014:50:00LSZwischenbericht DA - Integration von Reuseware-basierten Kompositionsumgebungen mit existierenden ModellierungswerkzeugenTobias HauptINF 2101
01.01.197014:50:00LSZwischenverteidigung DA - Konzeption eines Konnektormodells zur variabilitätssicheren Verknüpfung von MetamodellenMatthias BräuerINF 2101
01.01.197014:50:00LSZwischenbericht GB - Unterstützung einer mehrstufigen Workflowdefinition auf Basis von jBPM und EclipseKlemens MuthmannINF 2101
01.01.197014:50:00LSZwischenbericht GB - Modellierung und Realisierung einer Workflowsteuerung für Quality Driven DesignMatthias SchmidtINF 2101
01.01.197014:50:00LSZwischenbericht DA - Analyse von komplexen RegelmodellenBenjamin FiebigINF 2101
01.01.197014:50:00LSVerteidigung DA - Business Rules auf Basis des Semantic WebHans-Bernhard LiebauINF 2101
01.01.197014:50:00LSZwischenverteidigung GB - "Entwurf und Entwicklung eines Werkzeugs zur Unterstützung der Anforderungsanalyse mittels formaler Begriffsanalyse"Thomas RysselINF 2101
01.01.197014:50:00LSZwischenverteidigung GB - Reengineering des OCL2-ParsersNils ThiemeINF 2101
01.01.197014:50:00LSVerteidigung GB: Quellcode-Navigation für "DEPTH"Wolfgang BückeINF 2101
01.01.197014:50:00LSZwischenbericht DA - Verifikation von UML-Analysemodellen für die universitäre AusbildungDaniel WeigelINF 2101
01.01.197014:50:00LSGB Zwischenpräsentation: Ontology composition.Michael PradelINF 2101
01.01.197014:50:00LSVerteidigung DA - Integration von XAML-Oberflächenbeschreibungen in das VAC NT/32 AutomatisierungstoolMario KretschmerINF 2101
01.01.197014:50:00LSGB Zwischenverteidigung - Fragment (Semantic) Constraints/Contracts checksMartin MeinholdINF 2101
01.01.197014:50:00LSZwischenbericht GB "Aktueller Stand der Forschungen zur Softwarevisualisierung"Christian HöhneINF 2101
01.01.197014:50:00LSZwischenverteidigung GB - "Software as a Service" Graphische Editoren im WebAndreas RümpelINF 2101
01.01.197014:50:00LSGB Zwischenverteidigung: Generation of Component Models from Composition Operator DefinitionsFelix FörsterINF 2101
01.01.197014:50:00LSVerteidigung GB - Entwurf und Implementierung eines restriktiven Java Editors für generative SoftwareentwicklungMartin NowackINF 2101
01.01.197014:50:00LSZwischenbericht GB - Entwurf und Implementierung eines Werkzeugs zur featuregetriebenen Modellierung mittels domänenspezifischer SprachenJan KopcsekINF 2101
01.01.197014:50:00LSZwischenverteitigung GB: Entwurf und Implementierung einer Schnittstelle für Sprachplugins für das Tutorialwerkzeug DEPTHThomas JankeINF 2101
01.01.197009:00:00LSZwischenbericht GB - Entwurf und Implementierung eines Werkzeugs zur visuellen Modellierung von FeaturemodellenBeata DrzymajlloINF 2101
01.01.197009:00:00LSVerteidigung DA - Entwicklung eines Java-XML-Binding-Frameworks auf der Basis alternativer XML-MetasprachenCarsten HolzmüllerINF 2101
01.01.197009:00:00LSVerteidigung DA - Vereinheitlichung von XML-Template-Expansion und -Schema-ValidierungRené HaberlandINF 2101
01.01.197014:50:00LSZwischenverteidigung DA: Entwurf einer Entwicklungsumgebung zur Erstellung einfacher Benutzungsschnitt-stellen für den ProduktionsbereichUwe JugelINF 2101
01.01.197014:50:00LSZwischenverteidigung DA: Entwicklung eines Systems zur Steuerung des Materialnachschubs innerhalb von RFID-gestützen Kanban-RegelkreisenTobias NestlerINF 2101
01.01.197013:00:00LSDiplomverteidigung zum Thema "Reuse-enabled business process modeling "Alessandro Costa PereiraINF 2101
01.01.197013:00:00LSGB Verteidigung - Ontology compositionMichael PradelINF 2101
01.01.197016:00:00LSVerteidigung DA: Vergleich verschiedener Java/XML Binding Tools im Hinblick auf die Möglichkeit der Erzeugung halb-dynamischer DokumenteChristian KraußINF 2101
01.01.197014:50:00LSZwischenverteidigung DA - Konzeption eines konnektorgestützten Software-Entwicklungsprozesses auf Basis mehrerer DSLsManuel ZabeltINF 2101
01.01.197014:50:00LSZwischenverteidigung GBJan LehmannINF 2101
01.01.197014:50:00LSDA Zwischenverteidigung: Reengineering einer bestehenden Anwendung mittels Code-RefactoringAnnegret PlänitzINF 2101
01.01.197014:50:00LSDA Zwischenverteidigung - Thema: Entwurf und Implementierung eines fakultätsweiten Planungssytems für mündliche PrüfungenTimo RothINF 2101
01.01.197009:00:00LSDA-Verteidigung: Integration von Reuseware-basierten Kompositionsumgebungen mit existierenden ModellierungswerkzeugenTobias HauptINF 2101
01.01.197014:50:00LSDA-Verteidigung: Halbautomatische Abbildung von Ontologien auf graphische VariablenJan PolowinskiINF 2101
01.01.197014:50:00LSVerteidigung DA Architekturmetamodellierung von Produktlinien unter Einbeziehung produktspezifischer Erweiterungen in einem featuregetriebenen MDSD-ProzessCarsten LuxigINF 2101
01.01.197014:50:00LSZB DA Komposition syntaktischer SprachdefinitionenSven KarolINF 2101
01.01.197014:50:00LSVerteidigung DA Entwurf und Implementierung eines adaptiven GraphersetzungssystemsUlf WemmieINF 2101
01.01.197014:50:00LSVerteidigung GB: Entwicklung und Implementierung einer Schnittstelle für Sprachplugins für das Tutorialwerkzeug DEPTHThomas JankeINF 2101
01.01.197014:50:00LSZwischenverteidigung DA: Konzeption eines Policy-Metamodells für die modellgetriebene Entwicklung von Service Orientierten ArchitekturenKu WangINF 2101
01.01.197014:50:00LSVerteidigung DA - Modellgetriebene Entwicklung von Benutzerschnittstellen in verteilten Softwareumgebungen Jeanette KellingINF 2101
01.01.197014:50:00LSZwischenverteidigung DA: Rule-based documentationAndre AlbertINF 2101
01.01.197014:50:00LSVerteidigung GB: Fragment (Semantic) Constraints/Contracts checks.Martin MeinholdINF 2101
01.01.197014:50:00LSVerteidigung DA: Ein OCL-Interpreter für das Dresden OCL2 Toolkit basierend auf dem PivotmodellRonny BrandtINF 2101
01.01.197013:00:00LSVerteidigung DA: Analyse von komplexen RegelmodellenBenjamin FiebigINF 2101
01.01.197013:50:00LSVerteidigung Bachelor: Generation of component models from composition operators “ CoMoGen v. 2.0.Felix FörsterINF 2101
01.01.197014:50:00LS DAVerteidigung GB: Entwurf und Implementierung eines Werkzeugs zur Unterstützung der Anforderungsanalyse mittels formaler BegriffsanalyseThomas RysselINF 2101
01.01.197015:35:00LS DAVerteidigung DA: Konzeption eines Konnektormodells zur variabilitätssicheren Verknüpfung von MetamodellenMatthias BräuerINF 2101
01.01.197016:20:00LSZwischenverteidigung DA: A Secure Report Delivery Scheduler. In Zusammenarbeit mit Comarch Dresden.Klaus BergmannINF 2101
01.01.197014:50:00LSZwischenverteidigung DA: Reflexive Workflows - Automatische Komposition von Workflows in einem Variantenraum.Wolfgang BückeINF 2101
01.01.197014:50:00LS Verteidigung GB: Entwurf und Implementierung eines Werkzeugs zur featuregetriebenen Modellierung mittels domänenspezifischer SprachenJan KopcsekINF 2101
01.01.197014:50:00LSVerteidigung DA: Entwicklung einer Software-Produktlinie zur Verarbeitung von GenotypisierungsdatenMarkus ReischINF 2101
01.01.197014:50:00LS GBVerteidigung GB: Entwurf und Implementierung eines Werkzeugs zur visuellen Modellierung von FeaturemodellenBeata DrzymajlloINF 2101
01.01.197016:30:00LSZwischenverteidigung GB: Evaluierung und Gegenüberstellung von Werkzeugen zur FeaturemodellierungJohannes KochINF 2101
01.01.197014:50:00LS DAVerteidigung DA: Entwicklung eines Systems zur Steuerung des Materialnachschubs innerhalb von RFID-gestützen Kanban-Regelkreisen.Tobias NestlerINF 2101
01.01.197014:50:00LS DAVerteidigung DA: Verifikation von UML-Analysemodellen für die universitäre AusbildungDaniel WeigelINF 2101
01.01.197014:50:00LS GBVerteidiung GB: "Towards an Adaptation-Aware Developer Guide"Jan LehmannINF 2101
01.01.197014:50:00LS GBVerteidigung GB: Modellierung und Realisierung einer Workflowsteuerung für Quality Driven DesignMatthias SchmidtINF 2101
01.01.197014:50:00LS DA/GBGB-Verteidigung: Graphische Editoren für das WWWAndreas RümpelINF 2101
01.01.197014:50:00LS DADA-Verteidigung: Reengineering einer bestehenden Anwendung mittels Code-Refactoring. Annegret PlänitzINF 2101
01.01.197014:50:00LSVerteidigung GB: XML Schema Language for CompositionBjörn LarssonINF 2101
01.01.197014:50:00LS DAZwischenverteidigung DA: Invasive Software Composition as a means for Universal Variability ManagementSascha DietrichINF 2101
01.01.197015:35:00LS DAZwischenbericht DA: Konzeption eines Frameworks zur Verknüpfung semantisch fundierter Code-GenerateChristian HermannINF 2101
01.01.197014:50:00LS GBZwischenverteidigung GB: Modellierung und Simulation von Produktionsanlagen mit ModelicaMartin OcholtINF 2101
01.01.197014:50:00LS GBVerteidigung GB: Unterstützung einer mehrstufigen Workflowdefinition auf Basis von jBPM und EclipseKlemens MuthmannINF 2101
01.01.197014:50:00LS DAVerteidigung DA: Komposition syntaktischer SprachdefinitionenSven KarolINF 2101
01.01.197014:50:00LSVerteidigung GB - Reengineering des OCL2 Parsers Nils ThiemeINF 2101
01.01.197014:50:00LSZV DA: Erstellung einer Ontologie für den Nutzungskontext von SoftwareKarin EisenblätterINF 2101
01.01.197014:50:00LS DAVerteidigung DA: Entwurf einer Entwicklungsumgebung zur Erstellung einfacher Benutzungsschnittstellen für den ProduktionsbereichUwe JugelINF 2101
01.01.197014:50:00LS GBZwischenbericht GB: Evaluierung verschiedener Model Checker für die Modellprüfung von QualitätseigenschaftenMartin RothmannINF 2101
01.01.197014:50:00LSVerteidigung DA: Rule Based Software DocumentationAndre AlbertINF 2101
01.01.197014:50:00LSZV DA: Erweiterung des MDSD-Prozesses um die Möglichkeit plattform-unabhängige Modelle (PIMs) mittels natürlich-sprachlicher Eingabe zu erstellenRobert WlochINF 2101
01.01.197014:50:00LS GBZwischenverteidigung GB: Entwurf und Implementierung eines sprachunabhängigen restriktiven Editors für generative SoftwareentwicklungRoland SamlausINF 2101
01.01.197014:50:00LSDA-Verteidigung: A Secure Report Delivery SchedulerKlaus BergmannINF 2101
01.01.197016:45:00LSVerteidigung GB: Evaluierung und Gegenüberstellung von Werkzeugen zur FeaturemodellierungJohannes KochINF 2101
01.01.197014:50:00LS GBVerteidigung GB: Aktueller Stand der Forschungen zur SoftwarevisualisierungChristian HöhneINF 2101
01.01.197014:50:00LSVerteidigung DA - Ein fakultätsweites Planungssystem für KomplexprüfungenTimo RothINF 2101
01.01.197014:50:00LSDA ZV: Applications of Role Modeling in Model-Driven Software DevelopmentEnrico LeonhardINF 2101
01.01.197014:50:00LSVerteidigung DA: Reflexive Workflows - Automatische Komposition von Workflows in einem VariantenraumWolfgang BückeINF 2101
01.01.197013:00:00LSDiplomverteidigung: Policy-Metamodell für Service Orientierte Architekturen.Ku WangINF 2101
01.01.197013:00:00LS DAZwischenverteidigung DA: Kontextgetriebene Anforderungsanalyse und FeaturemodellierungThomas RysselINF 2101
01.01.197014:50:00ZVTG GBZwischenverteidigung : Konzeption und Implementierung eines Eclipse Plug-ins zur Bearbeitung von Sichten auf Ecore ModellenMarcel BöhmeINF 2101
01.01.197014:50:00LSZwischenverteidigung DA: Roles in ScalaMichael PradelINF 2101
01.01.197014:50:00LS DAVerteidigung DA: Invasive Software Composition as a means for Universal Variability ManagementSascha DietrichINF 2101
01.01.197015:35:00VTG DAVerteidigung DA: Konzeption eines konnektorgestützten Software-Entwicklungsprozesses auf Basis mehrerer DSLsManuel ZabeltINF 2101
01.01.197014:50:00ZVTGZwischenverteidigung GB: Beschreibungssprache für Reflexive ProzesseStefan HartungINF 2101
01.01.197014:50:00VSoftware as a Service (SaaS) der nächsten GenerationGunter Teichmann (Salt Solutions)INF 2101
01.01.197015:30:00ZVTG Zwischenverteidigung : Towards Systematic Eclipse-Centric Refactoring-Based Software Reenginering - a Framework Case StudyJan LehmannINF 2101
01.01.197014:50:00ZVTG Zwischenverteidigung DA: Towards Systematic Eclipse-Centric Business Model Recovery and Annotation - a Framework Case StudyUllrich SchäfferINF 2101
01.01.197014:50:00VTG GBVerteidigung GB: Entwurf und Implementierung eines sprachunabhängigen restriktiven Editors für generative SoftwareentwicklungRoland SamlausINF 2101
01.01.197015:35:00VTG GBVerteidigung GB: Evaluierung verschiedener Model Checker für die Modellprüfung von QualitätseigenschaftenMartin RothmannINF 2101
01.01.197014:50:00ZVTG Zwischenverteidigung : Exploring Role-Based AdaptationSebastian GötzINF 2101
01.01.197014:50:00VTG DAVerteidigung DA: Konzeption eines Frameworks zur Verknüpfung semantisch fundierter Code-GenerateChristian HermannINF 2101
01.01.197014:00:00LSVerteidigung BachelorPaul FritscheINF 2101
01.01.197014:50:00ZVTGSemiautomatische Aktualisierung von AnwenderdokumentationAndreas RümpelINF 2101
01.01.197014:50:00ZVTGSpecification-Driven Generation of an Extensible C CompilerChristoff BürgerINF 2101
01.01.197014:50:00ZVTG Zwischenverteidigung : Explorative ModellvisualisierungJens BuschekINF 2101
01.01.197014:50:00VTGDA: Roles in ScalaMichael PradelINF 2101
01.01.197014:50:00VTG DAVerteidigung DA: Kontextgetriebene Anforderungsanalyse und FeaturemodellierungThomas RysselINF 2101
01.01.197000:00:14VTG DAVerteidigung DA: Erweiterung des MDSD-Prozesses um die Möglichkeit plattform-unabhängige Modelle (PIMs) mittels natürlich-sprachlicher Eingabe zu erstellenRobert WlochINF 2101
01.01.197014:50:00ZVTG GBZwischenverteidigung GB: Konzeption und Implementierung eines GraphersetzungsframeworksSebastian PatschorkeINF 2101
01.01.197014:50:00VTGVerteidigung GB: Integration von Life Sequence Charts in Workflows Stefan HartungINF 2101
01.01.197014:50:00LSZV...(Thema?)Thomas JankeINF 2101
01.01.197014:50:00VTG DAVerteidigung DA: Modeling ERP systems with Roles and CollaborationsEnrico LeonhardtINF 2101
01.01.197014:50:00ZVTGVergleichende Untersuchung von Open Source ESB- und BPEL-ImplementierungenKarsten GebauerINF 2101
01.01.197014:50:00ZVTG GBZwischenverteidigung GB: Entwurf und Entwicklung einer Visualisierungsschnittstelle für ein Werkzeug zur Abbildung von Features auf FeaturerealisierungenAdrian MörchenINF 2101
01.01.197014:50:00ZVTG DAZwischenverteidigung DA: A Framework for Sound Composition of CompositionsJan KopcsekINF 2101
01.01.197014:50:00ZVTG DAZwischenverteidigung DA: Modulare Redefinition von OCLNils ThiemeINF 2101
01.01.197010:00:00ZVTG GBZwischenverteidigung GB: Systematic Annotation in Model Transformation ChainsSimon MitschkeINF 2101
01.01.197014:50:00ZVTG GBZwischenverteidigung : Entwurf und Umsetzung eines dynamischen, webbasierten intelligenten EntwurfsmusterkatalogsJohann GehrischINF 2101
01.01.197014:50:00ZVTG GBZwischenverteidigung GB: Konzeption und Implementierung eines Debuggers für die Tornado TGG EngineStefan KatscherINF 2101
01.01.197014:50:00VTG GBVerteidigung GB: Konzeption und Implementierung eines Eclipse Plug-ins zur Bearbeitung von Sichten auf Ecore ModellenMarcel BöhmeINF 2101
01.01.197014:50:00ZVTG GBZwischenverteidigung GB: Entwurf und Implementierung eines Texteditors für EMF ModelleMu JiaINF 2101
01.01.197011:00:00LSVerteidigung DA: Assisting the Understanding of Program Behaviour by Using Symbolic ExecutionMarcel RotheINF 2101
01.01.197014:50:00ZVTGZwischenverteidigung - Design und Implementierung eines J2EE-Batch Framework für das Warenwirtschaftssystem alexa.Manuela LommatzschINF 2101
01.01.197014:50:00LSZwischenverteidigung: Klassifizierung und Suche semantischer Ressourcen in verteilten Systemen Andreas HollmannINF 2101
01.01.197014:50:00LSZwischenverteidigung: Entwurf und Implementierung eines J2EE Batch-FrameworksManuela LommatzschINF 2101
01.01.197009:00:00VTG Verteidigung DA: Towards Systematic Eclipse-Centric Refactoring-Based Software Reenginering - a Framework Case StudyJan LehmannINF 2101
01.01.197009:00:00VTG Verteidigung DA: Towards Systematic Eclipse-Centric Business Model Recovery and Annotation - a Framework Case StudyUllrich SchäfferINF 2101
01.01.197009:00:00VTGVerteidigung DA: Semiautomatische Aktualisierung von AnwenderdokumentationAndreas RümpelINF 2101
01.01.197009:00:00VTGVerteidigung DA: Specification-Driven Generation of an Extensible C CompilerChristoff BürgerINF 2101
01.01.197014:00:00VSalespoint mit ObjectTeams/JavaRalf MüllerINF 2101
01.01.197014:50:00ZVTG DAZwischenverteidigung DA: Integration von Rückverfolgbarkeit in das Reuseware FrameworkRoland SamlausINF 2101
01.01.197014:50:00VTG Verteidigung : Explorative ModellvisualisierungJens BuschekINF 2101
01.01.197014:50:00VTGDA: Ontologie zur Beschreibung von Verfolgbarkeitsinformationen Thomas JankeINF 2101
01.01.197014:50:00VTG GBVerteidigung GB: Entwurf und Umsetzung eines dynamischen, webbasierten intelligenten EntwurfsmusterkatalogsJohann GehrischINF 2101
01.01.197014:50:00VTGVerteidigung GB - Evaluierung von Open Source ESB und BPEL Implementierungen (In Zusammenarbeit mit Robotron)Karsten GebauerINF 2101
01.01.197014:50:00VTG Verteidigung GB: Exploring Role-Based AdaptationSebastian GötzINF 2101
01.01.197014:50:00VTG GBVerteidigung GB: Systematic Annotation in Model Transformation ChainsSimon MitschkeINF 2101
01.01.197014:50:00VTG GBVerteidigung GB: Konzeption und Implementierung eines GraphersetzungsframeworksSebastian PatschorkeINF 2101
01.01.197014:50:00ZVTG GBZwischenverteidigung GB: Analyse und Evaluierung von Open Source Tool-Ketten zur Erstellung einer Projektmanagement-PlattformThomas WeichertINF 2101
01.01.197014:50:00VTG DAVerteidigung DA: Erstellung einer Ontologie für den Nutzungskontext von SoftwareKarin EisenblätterINF 2101
01.01.197014:50:00ZVTGKooperative Directors und Progressiv Reflexiven WorkflowsSandro SchmidtINF 2101
01.01.197014:50:00VTG DAVerteidigung DA: A Framework for Sound Composition of TransformationsJan KopcsekINF 2101
01.01.197016:20:00ZVTG Zwischenverteidigung : Modellierung rollenbehafteter Typhierarchien unter Verwendung der Formalen BegriffsanalyseHenri MühleINF 2101
01.01.197014:50:00ZVTG Java-Codegenerierung für Dresden OCL for EclipseClaas WilkeINF 2101
01.01.197014:50:00ZVTGEvent-Driven Constraints in Reflexive Workflows based on State ChartsStefan HartungINF 2101
01.01.197014:50:00ZVTG DAZwischenverteidigung : Formalisierung von RollenHenri MühleINF 2101
01.01.197014:00:00VTGKlassifizierung und Suche Semantischer Ressourcen in verteilten SystemenAndreas HollmannINF 2101
01.01.197015:30:00VTG GBVerteidigung GB: Entwurf und Entwicklung einer Visualisierungsschnittstelle für ein Werkzeug zur Abbildung von Features auf FeaturerealisierungenAdrian MörchenINF 2101
01.01.197014:45:00VTG DAVerteidigung DA: Modulare Redefinition von OCLNils ThiemeINF 2101
01.01.197014:50:00VTG GBVerteidigung GB: Konzeption und Implementierung eines Debuggers für die Tornado TGG EngineStefan KatscherINF 2101
01.01.197014:50:00ZVTG DAZwischenverteidigung : Round-Trip Engineering für template-basierte CodegeneratorenMarcel BöhmeINF 2101
01.01.197014:50:00VTG DAVerteidigung DA: Integration von Rückverfolgbarkeit in das Reuseware FrameworkRoland SamlausINF 2101
01.01.197014:50:00ZVTG DAZwischenverteidigung DA: Ableitung von modellbasierten domänenspezifischen Sprachen aus existierenden FrameworksSebastian KäpplerINF 2101
01.01.197014:50:00VTGDa-Verteidigung: Design und Implementierung eines J2EE-Batch Frameworks für das Warenwirtschaftssystem alexaManuela LommatzschINF 2101
01.01.197014:50:00VTG GBVerteidigung GB: Analyse und Evaluierung von Open Source Tool-Ketten zur Erstellung einer Projektmanagement-PlattformThomas WeichertINF 2101
01.01.197014:50:00ZVTG Zwischenverteidigung : Business models for Service Engineering with ISEAbdulsalam GinebasINF 2101
01.01.197014:50:00ZVTG Zwischenverteidigung : Komposition von Diagrammen in der modellgetriebener SoftwareentwicklungKarsten GaulINF 2101
01.01.197014:50:00VTG Verteidigung : Java-Codegenerierung für Dresden OCL for EclipseClaas WilkeINF 2101
01.01.197014:50:00ZVTGNeukonzeption einer Plugin-Architektur für ein echtzeitfähiges VisualisierungssystemDietrich KammerINF 2101
01.01.197014:50:00ZVTGGB: Vorstudie für einen ProtokollmodelleditorChristoph SchmidtINF 2101
01.01.197015:00:00VTG Verteidigung : Modellierung rollenbehafteter Typhierarchien unter Verwendung der Formalen BegriffsanalyseHenri MühleINF 2101
01.01.197014:50:00ZVTGGB: Evaluation von Werkzeugen für die Anforderungsanalyse bezüglich der Spezifizierbarkeit von nicht-funktionalen AnforderungenTom BegerINF 2101
01.01.197014:50:00VTG GBVerteidigung GB: Entwurf und Implementierung eines Texteditors für EMF ModelleMu JiaINF 2101
01.01.197014:50:00ZVTG DAZwischenverteidigung DA: Ableitung von modellbasierten domänenspezifischen Sprachen aus existierenden FrameworksSebastian KäpplerINF 2101
01.01.197014:50:00VTG DAVerteidigung DA: Round-Trip Engineering für template-basierte CodegeneratorenMarcel BöhmeINF 2101
01.01.197014:50:00ZVTGKonzeption und Implementierung eines Tutorialwerkzeugs für ModelleSebastian PatschorkeINF 2101
01.01.197014:50:00ZVTG Zwischenverteidigung : Entwicklung eines Bibliothekssystems für FragmentkomponentenMatthias SchmidtINF 2101
01.01.197014:50:00ZVTG DAZwischenverteidigung DA: Modellbasierte Verifikation von Softwarekomponenten zur Laufzeit am Beispiel der Treaty-OCL-IntegrationClaas WilkeINF 2101
01.01.197014:50:00VTGDiplomarbeit: Neukonzeption einer erweiterbaren Software-Architektur für ein echtzeitfähiges Visualierungssystem (in Kooperation mit dem Lehrstuhl Mediengestaltung im Kontext von BILL (Bildsprache Live Lab)Dietrich KammerINF 2101
01.01.197014:50:00ZVTG DAZwischenverteidigung DA: Erstellung und Evaluation eines Modellierungswerkzeuges für die Erzeugung von pit-FM- MetadatenSteffen SchneiderINF 2101
01.01.197014:50:00VTGVerteidigung DA - Kooperative Entscheidungsfindung in Progressiv Reflexiven WorkflowsSandro SchmidtINF 2101
01.01.197014:50:00VTGGB: Vorstudie für einen ProtokollmodelleditorChristoph SchmidtINF 2101
01.01.197014:50:00VTG DAVerteidigung DA: Ableitung von modellbasierten domänenspezifischen Sprachen aus existierenden FrameworksSebastian KäpplerINF 2101
01.01.197014:50:00ZVTG Zwischenverteidigung : Entwurf und Implementierung eines effizienten Lexer Generators (für den Babylon Compiler Generator)Daniel SchröderINF 2101
01.01.197014:50:00VTGDA-Verteidigung: Ereignisgesteuerte Einschränkungen in Reflexiven Workflows basierend auf ZustandsdiagrammenStefan HartungINF 2101
01.01.197014:50:00ZVTGGB: Entwicklung einer generischen Schnittstelle für das AMPLE Traceability Framework zur Anbindung arbiträrer ModelltransformationswerkzeugeStefan KastenholzINF 2101
01.01.197014:50:00ZVTG Zwischenverteidigung : Semantische Analyse mit Attributgrammatiken für EMF basierte MetamodelleMartin KrebsINF 2101
01.01.197014:50:00ZVTGMaster: Towards a Multi-dimensional Approach for Trace AnalysisIvan HristovINF 2101
01.01.197014:50:00ZVTG GBZwischenverteidigung GB: Modulare Spezifikation von Sprachsemantik mit LanGemsMichael ThieleINF 2101
01.01.197014:50:00VTG GB-Verteidigung: Komposition von Diagrammen in der modellgetriebener SoftwareentwicklungKarsten GaulINF 2101
01.01.197014:50:00VTGMaster: Business models for Service Engineering with ISEAbdulsalam GinebasINF 2101
01.01.197014:50:00ZVTG GBZwischenverteidigung GB: Entwurf und Implementierung einer generischen Regressiontestsuite für lexikalische und syntaktische ÜbersetzerkomponentenPeter MuchaINF 2101
01.01.197014:50:00ZVTG Zwischenverteidigung DA: Semantisches Informationsmanagement in der frühen ProduktentwicklungJohann GehrischINF 2101
01.01.197014:50:00ZVTGGB: Structural Similarity algorithms using planar/reducible graphs for Model MatchingThomas HeinzeINF 2101
01.01.197014:50:00VTG Verteidigung DA: Entwicklung eines Bibliothekssystems für FragmentkomponentenMatthias SchmidtINF 2101
01.01.197014:50:00ZVTG Zwischenverteidigung GB : Entwicklung und Aufbau einer Plattform für nachhaltige Softwaretests bei alexa RMSFrank HerrlichINF 2101
01.01.197014:50:00VTGVerteidigung DA: Konzeption und Implementierung eines Tutorialwerkzeugs für ModelleSebastian PatschorkeINF 2101
01.01.197014:50:00ZVTG GBZwischenverteidigung GB: Konzeption und Implementierung erweiterter Editorfunktionen für EMFTextTan Ky Hoang-KimINF 2101
01.01.197014:50:00ZVTG Zwischenverteidigung GB: Flexible Codemodifikation im Elucidative ProgrammingMartin HeinzerlingINF 2101
01.01.197014:50:00ZVTGOpen Geospatial Consortium Web ServicesDaniel KadnerINF 2101
01.01.197015:15:00VTGDA Verteidigung - Towards a Multi-dimensional Approach for Trace AnalysisIvan HristovINF 2101
01.01.197014:50:00ZVTG GBZwischenverteidigung GB: Systematische Integration externer Analysetools in die MDPE WorkbenchPeter SüttnerINF 2101
01.01.197014:50:00ZVTGGeneric Adaptive Role Persistence FrameworkSebastian GötzINF 2101
01.01.197014:50:00ZVTG GBZwischenverteidigung : Entwurf und Implementierung eines Webers für Adaptionsaspekte beliebiger XML Dokumente im Kontext einer XML TransformationsumgebungMartin SteinfeldtINF 2101
01.01.197014:50:00ZVTG Zwischenverteidigung GB: Konzeption und Implementierung eines Debuggers für textuelle Triple Graph Grammar RegelnChristian WernerINF 2101
01.01.197014:50:00ZVTG GBZwischenverteidigung GB: Integration eines Scannerless Parser Generators in EMFTextSebastian HeydenINF 2101
01.01.197014:50:00VTGGB: Evaluation von Werkzeugen für die Anforderungsanalyse bezüglich der Spezifizierbarkeit von nicht-funktionalen AnforderungenTom BegerINF 2101
01.01.197011:00:00VTG DAVerteidigung DA: Modellbasierte Verifikation von Softwarekomponenten zur Laufzeit am Beispiel der Treaty-OCL-IntegrationClaas WilkeINF 2101
01.01.197014:50:00ZVTGEvaluation von Software aus dem Bereich „Platform as a Service“Markus SeidenglanzINF 2101
01.01.197014:50:00VTG Verteidigung : Flexible Codemodifikation im Elucidative ProgrammingMartin HeinzerlingINF 2101
01.01.197014:50:00ZVTG Zwischenverteidigung : Data-Centric Object-Hierarchical Mapping or Will the Real XML Data Binding Please Stand Up?Michael RudolfINF 2101
01.01.197014:50:00VTGGB: Entwicklung einer generischen Schnittstelle für das AMPLE Traceability Framework zur Anbindung arbiträrer ModelltransformationswerkzeugeStefan KastenholzINF 2101
01.01.197014:50:00VTG GBVerteidigung : Konzeption und Implementierung erweiterter Editorfunktionen für EMFTextTan Ky Hoang-KimINF 2101
01.01.197014:50:00ZVTG Zwischenverteidigung DA: Unterstützung der Mehrstufigkeit für Model-Driven Performance EngineeringSimon MitschkeINF 2101
01.01.197014:50:00ZVTGMASTER: Data Model Enhancement of a Matching System Based on Comparative Analysis of Related ToolsPetko IvanovINF 2101
01.01.197014:50:00ZVTGEntwurf und Realisierung eines ProtokollmodelleditorsChristoph SchmidtINF 2101
01.01.197014:50:00VTG Verteidigung GB: Entwurf und Implementierung eines effizienten Lexer Generators (für den Babylon Compiler Generator)Daniel SchröderINF 2101
01.01.197014:50:00VTG Verteidigung GB: Semantische Analyse mit Attributgrammatiken für EMF basierte MetamodelleMartin KrebsINF 2101
01.01.197014:50:00VTG GBVerteidigung GB: Entwurf und Implementierung einer generischen Regressiontestsuite für lexikalische und syntaktische ÜbersetzerkomponentenPeter MuchaINF 2101
01.01.197014:50:00ZVTG DAZwischenverteidigung DA: Kollaboratives Editieren strukturierter Textdokumente mit Aspekten und feingranularem LockingJens MöllerINF 2101
01.01.197014:50:00VTGGB: Structural Similarity Algorithms using Planar/Reducible Graphs for Meta-model MatchingThomas HeinzeINF 2101
01.01.197015:30:00VTGVerteidigung DA aus der Bioinformatik (transinsight Suchmaschine)Eva WagnerINF 2101
01.01.197014:50:00VTG Verteidigung GB: Entwicklung und Aufbau einer Plattform für nachhaltige Softwaretests bei alexa RMSFrank HerrlichINF 2101
01.01.197014:50:00VTG GBVerteidigung GB: Systematische Integration externer Analysetools in die MDPE WorkbenchPeter SüttnerINF 2101
01.01.197014:50:00LS DALehrstuhlseminar DA: Erstellung und Evaluation eines Modellierungswerkzeuges für die Erzeugung von pit-FM- MetadatenSteffen SchneiderINF 2101
01.01.197014:50:00VTG GBVerteidigung GB: Modulare Spezifikation von Sprachsemantik mit LanGemsMichael ThieleINF 2101
01.01.197014:50:00VTGVerteidigung GB: Konzeption und Integration der Open Geospatial Consortium Web Services in die Open Service Process PlatformDaniel KadnerINF 2101
01.01.197014:50:00ZVTG Zwischenverteidigung GB: Automatische Codeformatierung für TutorialsChristoph SeidlINF 2101
01.01.197014:50:00ZVTG GBZwischenverteidigung GB: Development and Application of Layout Constraints in an Coordinate-based User InterfaceMax SeelemannINF 2101
01.01.197014:50:00ZVTGZV GB - Kostensensitive Verteilung von Workflowartefakten auf verschiedene Workflowengines.Georg PüschelINF 2101
01.01.197014:50:00ZVTG DAZwischenverteidigung DA: Entwicklung von Dokument Familien auf Basis von Featuremodellen und dem Open Document FormatMartin HeinzerlingINF 2101
01.01.197014:50:00ZVTG DAZwischenverteidigung DA: Management von Layoutinformationen in modellgetriebenen SoftwareentwicklungsprozessenKarsten GaulINF 2101
01.01.197014:50:00VTGDA: Entwurf und Realisierung eines ProtokollmodelleditorsChristoph SchmidtINF 2101
01.01.197014:50:00ZVTG GBZwischenverteidigung GB: Development and Evaluation of Techniques for Creating Models for the Financial Industry based on ISO20022Moritz BartlINF 2101
01.01.197014:50:00VTG Verteidigung : Konzeption und Implementierung eines Debuggers für textuelle Triple Graph Grammar RegelnChristian WernerINF 2101
01.01.197014:50:00ZVTG GBZwischenverteidigung GB: Validierung modellbasierter SoftwareproduktlinienMichael MuckINF 2101
01.01.197014:50:00ZVTG Zwischenverteidigung : Ontologiebasierte ModellsynchronisationFederico RieckhofINF 2101
01.01.197014:50:00ZVTG Zwischenverteidigung : Rollenbasierte ModellsynchronisationTan-Ky Hoang-KimINF 2101
01.01.197014:50:00VTG Verteidigung Master: Data-Centric Object-Hierarchical Mapping or Will the Real XML Data Binding Please Stand Up?Michael RudolfINF 2101
01.01.197014:50:00VTGMaster: Data Model Enhancement of a Matching System Based on Comparative Analysis of Related Tools Petko IvanovINF 2101
01.01.197013:00:00VTGVerteidigung DA: Dresden Auto-Managed Persistence FrameworkSebastian GötzINF 2101
01.01.197013:00:00VTGVerteidigung GB: Evaluation von Software aus dem Bereich „Platform as a Service"Marko SeidenglanzINF 2101
01.01.197014:50:00VTG GBVerteidigung : Entwurf und Implementierung eines Webers für Adaptionsaspekte beliebiger XML Dokumente im Kontext einer XML TransformationsumgebungMartin SteinfeldtINF 2101
01.01.197014:50:00ZVTG DAZwischenverteidigung DA: Evaluierung von Reuseware anhand der Entwicklung einer Web-basierten Community-PlatformRené GastmeierINF 2101
01.01.197014:50:00VTG Verteidigung DA: Unterstützung der Mehrstufigkeit für Model-Driven Performance EngineeringSimon MitschkeINF 2101
01.01.197015:30:00ZVTG GBZwischenverteidigung GB: Reengineering des DeclarativeCodegenerator-Frameworks für Dresden OCL2 for EclipseBjörn FreitagINF 2101
01.01.197014:50:00ZVTG DAZwischenverteidigung : Generisches Modellrefactoring für EMFTextJan ReimannINF 2101
01.01.197014:50:00VTG GBVerteidigung GB: Development and Application of Layout Constraints in an Coordinate-based User InterfaceMax SeelemannINF 2101
01.01.197014:50:00VTG GBVerteidigung : Integration eines Scannerless Parser Generators in EMFTextSebastian HeydenINF 2101
01.01.197014:50:00ZVTG DAZwischenverteidigung DA: Verifikation von Modelica-Programmen mit OCLMartin KrebsINF 2101
01.01.197014:50:00VTG DAVerteidigung DA: Management von Layoutinformationen in modellgetriebenen SoftwareentwicklungsprozessenKarsten GaulINF 2101
01.01.197014:50:00VTG GB: Automatische Codeformatierung für TutorialsChristoph SeidlINF 2101
01.01.197014:50:00VTGVtg GB: Kostensensitive WorkflowsGeorg PüschelINF 2101
01.01.197014:50:00VTG DAVerteidigung DA: Entwicklung von Dokument Familien auf Basis von Featuremodellen und dem Open Document FormatMartin HeinzerlingINF 2101
01.01.197014:50:00ZVTGGB: Verbesserung der Gebrauchstauglichkeit von ProgrammierschnittstellenChristian KlaußINF 2101
01.01.197014:50:00VTG DA: Rollenbasierte ModellsynchronisationTan-Ky Hoang-KimINF 2101
01.01.197014:50:00LSProbevortrag: MediatorChristian PiechnickINF 2101
01.01.197014:50:00VTG DADA: Kollaboratives Editieren strukturierter Textdokumente mit Aspekten und feingranularem LockingJens MöllerINF 2101
01.01.197014:50:00ZVTG GB: Ontology-based Guidance in Requirements EngineeringErik TittelINF 2101
01.01.197014:50:00ZVTG GB: CrissCross - Werkzeug zur effizienten TerminplanungHendrik FreundINF 2101
01.01.197014:50:00ZVTG DAZwischenverteidigung DA: Round-trip Unterstützung für DSL ÜbersetzerChristian WernerINF 2101
01.01.197014:50:00VTG GB: Ontologiebasierte ModellsynchronisationFederico RieckhofINF 2101
01.01.197014:50:00VTG DAVerteidigung DA: Generisches Modellrefactoring für EMFTextJan ReimannINF 2101
01.01.197014:50:00ZVTG DAZwischenverteidigung DA: Über Minoren gerichteter GraphenSteffen SeidlerINF 2101
01.01.197014:50:00VTG GBVerteidigung GB: Validierung modellbasierter SoftwareproduktlinienMichael MuckINF 2101
01.01.197014:50:00ZVTGDA: Musterbasiertes Abbilden von MetamodellenPeter MuchaINF 2101
01.01.197014:50:00ZVTGDA: Planar Graph-based Clustering for Large-Scale Meta-model MatchingThomas HeinzeINF 2101
01.01.197014:50:00VTGGB: Verbesserung der Gebrauchstauglichkeit von ProgrammierschnittstellenChristian KlaußINF 2101
01.01.197014:50:00VTG DAVerteidigung DA: Verifikation von Modelica-Programmen mit OCLMartin KrebsINF 2101
01.01.197014:50:00ZVTG GBZwischenverteidigung GB: Sprachbasierte Automatisierung von SystemtestsHannes JohnINF 2101
01.01.197014:50:00ZVTGDA: Evaluierung des Einsatzes von Model-Matching zur Generierung von Trace Links im Kontext der MDSDStefan KastenholzINF 2101
01.01.197014:50:00VTG DAVerteidigung DA: Evaluierung von Reuseware anhand der Entwicklung einer Web-basierten Community-PlatformRené GastmeierINF 2101
01.01.197014:50:00ZVTG GBZwischenverteidigung GB: Predicate Dispatch for CFriedrich GräterINF 2101
01.01.197000:00:14VTG Verteidigung : Ontology-based Guidance in Requirements EngineeringErik TittelINF 2101
01.01.197014:50:00ZVTGGB: Gemeinsame Datenbankbenutzung durch Ruby on Rails und Hibernate-basierte Java-ApplikationenJens GrünbergINF 2101
01.01.197014:50:00ZVTG Zwischenverteidigung : Grenzen der visuellen Query-Konstruktion mittels Faceted BrowsingMarleen KoßlitzINF 2101
01.01.197014:50:00VTG DAVerteidigung DA: Round-trip Unterstützung für DSL ÜbersetzerChristian WernerINF 2101
01.01.197014:51:00ZVTGEnergieeffizienz in WorkflowsystemenGeorg PüschelINF 2101
01.01.197000:00:14VTG GB Verteidigung : CrissCross - Werkzeug zur effizienten TerminplanungHendrik FreundINF 2101
01.01.197014:50:00VTGDA: "Musterbasiertes Abbilden von Metamodellen"Peter MuchaINF 2101
01.01.197014:50:00ZVTG DAZwischenverteidigung DA: Abstrakte Verhaltensbeschreibung von CCM SoftwarekomponentenPeter SüttnerINF 2101
01.01.197014:52:00LSIntegration von Business Rules in Business ProcessesChristian PiechnickINF 2101
01.01.197014:52:00LS ZVT Visualisierung von Software-AnforderungenTom BegerINF 2101
01.01.197014:50:00ZVTG GBZwischenverteidigung GB: Klassifikation und Vergleich des Energiemanagements mobiler EndgeräteChristian MießlerINF 2101
01.01.197014:50:00ZVTGDA Untersuchung zur Übertragbarkeit von Methoden modellgetriebener Web-Anwendungsentwicklung auf Spring-RooMatthias BaumgartINF 2101
01.01.197014:50:00VTGDA: „Graph-based Clustering for Large-Scale Meta-model Matching"Thomas HeinzeINF 2101
01.01.197014:50:00VTG GBVerteidigung GB: Sprachbasierte Automatisierung von SystemtestsHannes JohnINF 2101
01.01.197014:50:00VTGGB: Gemeinsame Datenbankbenutzung durch Ruby on Rails und Hibernate-basierte Java-ApplikationenJens GrünbergINF 2101
01.01.197014:50:00ZVTGAutorenwerkzeuge für KidsWebMarcel HöhligINF 2101
01.01.197014:50:00ZVTGLizenzserver im Rahmen von SaferWebRobert GloriusINF 2101
01.01.197009:00:00VTGDA: Evaluierung des Einsatzes von Model-Matching zur Generierung von Trace Links im Kontext der MDSDStefan KastenholzINF 2101
01.01.197009:20:00ZVTGGB: Übersetzung von BPMN 2.0 nach BPEL 1.3André PietschINF 3105
01.01.197014:00:00VConstraintbasierte Refaktorisierung Prof. Friedrich SteimannINF 2101
01.01.197014:50:00VTG Verteidigung : Grenzen der visuellen Query-Konstruktion mittels Faceted BrowsingMarleen KoßlitzINF 2101
01.01.197014:50:00ZVTGDA: Usability-zentrierter Entwurf und Entwicklung einer Technologie zur Erfassung des Prozessfortschritts in Produktion und LogistikAndreas RegerINF 2101
01.01.197014:50:00ZVTGRefactoring in der Ontologiegetriebenen SoftwareentwicklungErik TittelINF 2101
01.01.197000:00:00ZVTGZVGB: Rethinking rolesThomas KühnINF 2101
01.01.197014:50:00ZVTG DAZwischenverteidigung DA: Refactoring für OCLMichael MuckINF 2101
01.01.197014:50:00ZVTG DAZwischenverteidigung DA: Attributgrammatiken zur Steuerung von Webevorgängen auf EMF basierten Metamodellen Jetzt neu: Teil 1, 2 und 3 in nur 30 Minuten!!!Michael ThieleINF 2101
01.01.197014:50:00VTG GBVerteidigung GB: Reengineering des DeclarativeCodegenerator-Frameworks für Dresden OCL2 for EclipseBjörn FreitagINF 2101
01.01.197014:50:00VTG GBVerteidigung GB: Klassifikation und Vergleich des Energiemanagements mobiler EndgeräteChristian MießlerINF 2101
01.01.197014:49:00VTG Verteidigung DA: Visualisierung von Software-AnforderungenTom BegerINF 2101
01.01.197014:50:00VTG DAVerteidigung DA: Abstrakte Verhaltensbeschreibung von CCM SoftwarekomponentenPeter SüttnerINF 2101
01.01.197014:50:00VTGGB: Entwurf und Implementierung eines Disambiguierungsalgorithmus für Anfragen des SAP Community Networks unter Nutzung von Linked DataMarcus KöhlerINF 2101
01.01.197014:50:00ZVTG Zwischenverteidigung : Konzeption und Realisierung eines Ansatzes zur modularen Spezifikation graphischer SpracheditorenJohannes MeyINF 2101
01.01.197013:00:00VTG DAVerteidigung DA: Refactoring in der Ontologiegetriebenen SoftwareentwicklungErik TittelINF 2101
01.01.197014:50:00VTGVT GB: Integration von Business Rules in Business ProcessesChristian PiechnickINF 2101
01.01.197014:50:00VTGVG GB: flame - Serverseitige Integration von KidsWebRobert GloriusINF 2101
01.01.197014:50:00VTGVG GB: Autorenwerkzeuge für KidsWebMarcel HöhligINF 2101
01.01.197014:50:00ZVTG DAZwischenverteidigung DA: Evolution in Feature-Oriented Model-Based Software Product Line EngineeringChristoph SeidlINF 2101
01.01.197014:50:00ZVTG GBZwischenverteidigung GB: GUERY für die Mustersuche in großen OntologienKristian ScholzeINF 2101
01.01.197014:50:00ZVTGDA: Selektive, unidirektionale Datenbankreplikation in Hibernate-basierten, verteilten AnwendungenJens GrünbergINF 2101
01.01.197014:00:00VTGDA: Usability-zentrierter Entwurf und Entwicklung einer Technologie zur Erfassung des Prozessfortschritts in Produktion und LogistikAndreas RegerINF 2101
01.01.197014:00:00ZVTGDA: Linklets - Formale Funktionsbeschreibung und RechtemodellMarcus KöhlerINF 2101
01.01.197014:50:00LSAbschlusspräsentation KP WebCMSINF 2101
01.01.197014:50:00ZVTGDA: Annotations- und werkzeuggestützte Verbesserung von API-UsabilityChristian KlaußINF 2101
01.01.197014:50:00VTG DAVerteidigung DA: Untersuchung zur Übertragbarkeit von Methoden modellgetriebener Web-Anwendungsentwicklung auf Spring-RooMatthias BaumgartINF 2101
01.01.197014:50:00VTG DAVerteidigung DA: Attributgrammatiken zur Steuerung von Webevorgängen auf EMF basierten MetamodellenMichael ThieleINF 2101
01.01.197014:50:00LSZV DA: Smart Application GridChristian PiechnickINF 2101
01.01.197014:50:00LSZV GB: Domainspezifische Sprachen zur Beschreibung von GestenRonny KaiserINF 2101
01.01.197014:50:00ZVTG DAZwischenverteidigung DA: Ein Framework für Tools and Materials auf Basis von Predicate DispatchFriedrich GräterINF 2101
01.01.197014:50:00ZVTG DAZwischenverteidigung : Evaluierung der Verwendung von domänen-spezifischen Sprachen im Kontext modellgetriebener OntologieentwicklungFrank DietzeINF 2101
01.01.197014:50:00LS DAVerteidigung DA: Refactoring für OCLMichael MuckINF 2101
01.01.197014:50:00VTG DAVerteidigung DA: Evolution in Feature-Oriented Model-Based Software Product Line EngineeringChristoph SeidlINF 2101
01.01.197014:50:00VTG Verteidigung GB: Konzeption und Realisierung eines Ansatzes zur modularen Spezifikation graphischer SpracheditorenJohannes MeyINF 2101
01.01.197014:50:00VTGDA: Selektive, unidirektionale Datenbankreplikation in Hibernate-basierten, verteilten AnwendungenJens GrünbergINF 2101
01.01.197014:50:00ZVTG Zwischenverteidigung : Entwurf und Entwicklung eines konfigurierbaren Werkzeuges zur Erstellung von Produktkonfiguratoren Christoph ReisbachINF 2101
01.01.197014:50:00VTG Verteidigung : Konzeption und Realisierung eines Ansatzes zur modularen Spezifikation graphischer SpracheditorenJohannes MeyINF 2101
01.01.197014:50:00LSV-GB: Explizite Rollenbindung mit StoryboardsThomas KühnINF 2101
01.01.197014:50:00LS V-DA: Smart Application GridChristrian PiechnickINF 2101
01.01.197000:00:00LSZV-DA: Ressourcenmanagement in komplexen TestumgebungenBenjamin DöringINF 2101
01.01.197014:50:00LSVorstellung Forschungsschwerpunkt: Conformance Testing in SPLsMalte LochauINF 2101
01.01.197014:50:00LSZV-GB: Predictive Maintenance for NAOJohannes SiegertINF 2101
01.01.197014:50:00VTGAnnotations- und werkzeuggestützte Verbesserung von API-Usability (Diplomarbeit)Christian KlaußINF 2101
01.01.197014:50:00VTGDA: Linklets - Formale Funktionsbeschreibung und RechtemodellMarcus KöhlerINF 2101
01.01.197014:50:00ZVTG Zwischenverteidigung GB: Entwicklung eines Regressionstest-SDEs für ModelleChristian OelsnerINF 2101
01.01.197014:50:00VTG DAVerteidigung DA: Ein Framework für Tools and Materials auf Basis von Predicate DispatchFriedrich GräterINF 2101
01.01.197014:50:00VTG DAVerteidigung DA: Evaluierung der Verwendung von domänen-spezifischen Sprachen im Kontext modellgetriebener OntologieentwicklungFrank DietzeINF 2101
01.01.197014:50:00VTG GBVerteidigung GB: GUERY für die Mustersuche in großen OntologienKristian ScholzeINF 2101
01.01.197014:50:00ZVTGZV-GB: NaoControl - Steuerung des NAO-Robotors durch hierarchische CPNsTill KolditzINF 2101
01.01.197014:50:00VTGVT-DA: Ressourcenoptimierung in komplexen TestumgebungenBenjamin DöringINF 2101
01.01.197014:40:00ZVTG GBZwischenverteidigung GB/DA: Modellierung und (teil-)automatisierte Ausführung von Tests für Android-BenutzeroberflächenStefan PrasseINF 2101
01.01.197014:50:00LSVGB: NaoPrediction - Temperaturvorhersage für RobotermotorenJohannes SiegertINF 2101
01.01.197014:50:00ZVTG GBZwischenverteidigung GB: Spezifikation von Mehrbenutzerverhalten und resultierender Qualitätsinteraktionen bei selbst-adaptiven SystemenXi LuoINF 2101
01.01.197014:50:00VInformationsveranstaltung über Praktika in den USA (Cultural Vistas - J-1 visa Internship-Programm)Roxana Pleacoff (USA)INF 2101
01.01.197014:50:00LSVGB: GCA - Integration von Gesten in AnwendungenRonny KaiserINF 2101
01.01.197014:50:00VProbevortrag für die Tools Europe 2012 (Elucidative Development for Model-Based Documentation).Claas WilkeINF 2101
01.01.197014:50:00VTG GBVerteidigung GB: Spezifikation von Mehrbenutzerverhalten und resultierender Qualitätsinteraktionen bei selbst-adaptiven SystemenXi LuoINF 2101
01.01.197010:00:00ZVTGZV-DA: Systementwurf zur Verwaltung ortsbezogener Einzelhandelsdaten (auswärts)Johannes SiegertINF 2101
01.01.197014:50:00ZVTG GBZwischenverteidigung : Modell-getriebene Software-Entwicklung für mobile Plattformen am Beispiel des Campus NavigatorsKonstantin TabereINF 2101
01.01.197014:50:00VTGV-GB: NaoControlTill KolditzINF 2101
01.01.197014:50:00ZVTG BAZwischenverteidigung BA: Erfassung und Modellierung des Nutzungsverhaltens von Android ApplikationenSebastian HerrlichINF 2101
01.01.197014:50:00ZVTG GBZwischenverteidigung GB: OCL für UML-Profile Fabian TolkmittINF 2101
01.01.197015:30:00LSProbevortrag für ECMFA.Helge PfeifferINF 2101
01.01.197014:50:00ZVTG DAZwischenverteidigung : Entwicklung von NAO-Roboter-Anwendungen im Kontext von Ambient Assisted LivingSilvio GöthelINF 2101
01.01.197014:50:00ZVTG GBZwischenverteidigung GB: Spezifikation von Model Smells zum Vorschlagen von Modell-RefactoringsChristian VonsienINF 2101
01.01.197014:50:00VVerteidigung Komplexpraktikum NaoControl (Konvertierung von Choreograph-Dateien in HCPNs)VieleINF 2101
01.01.197014:50:00LSAbschlusspräsentation Komplexpraktikum Energie-Profiling von Android-ApplikationenINF 2101
01.01.197014:50:00ZVTG GBZwischenverteidigung : Metamodell/OWL Integration für Selbst-optimierende SystemeRené SchöneINF 2101
01.01.197014:50:00LS Lehrstuhlseminar : Entwurf und Entwicklung eines konfigurierbaren Werkzeuges zur Erstellung von ProduktkonfiguratorenChristoph ReisbachINF 2101
01.01.197014:50:00ZVTG DAZwischenverteidigung DA: Modellgetriebenes Testen der Qualität von Relationalen DatenbankenBjörn FreitagINF 2101
01.01.197014:00:00VTG BAVerteidigung BA: Erfassung und Modellierung des Nutzungsverhaltens von Android ApplikationenSebastian HerrlichINF 2101
01.01.197014:50:00VTG GBVerteidigung GB: Modell-getriebene Software-Entwicklung für mobile Plattformen am Beispiel des Campus NavigatorsKonstantin TabereINF 2101
01.01.197014:50:00LSNicht-funktionale Eigenschaften für RobotersystemeRobert KranzINF 2101
01.01.197014:50:00ZVTGSituatuionsbeschreibung und Erkennung für Cyber-physikalische SystemeRonny KaiserINF 2101
01.01.197014:50:00ZVTG DAZwischenverteidigung DA: Acquiring Uniform Traces From Diverse Model Transformations to Analyse Model DependenciesFabian HänselINF 2101
01.01.197014:50:00ZVTGZVDA - Swarm Control by Hierarchical Colored Petri-NetsTill KolditzINF 2101
01.01.197014:50:00ZVTG Zwischenverteidigung : A Rule-Based Visualisation Framework for Linked Data in the RDF Technological SpacePooran PatelINF 2101
01.01.197014:50:00VTG GBVerteidigung GB: Spezifikation von Model Smells zum Vorschlagen von Modell-RefactoringsChristian VonsienINF 2101
01.01.197014:50:00ZVTGZV-DA Tool and Materials im Kontect von CPSThomas KühnINF 2101
01.01.197014:50:00LSVTG DA: Entwicklung von NAO-Roboter-Anwendungen im Kontext von Ambient Assisted LivingSilvio GöthelINF 2101
01.01.197014:50:00ZVTG DAZwischenverteidigung DA: Modeling of a Business Rule Language Family and Prototyping of a customized Business Rule LanguageKristian ScholzeINF 2101
01.01.197014:50:00ZVTGAnalyse von Konfigurationsmöglichkeiten mandantenfähiger SaaS-Anwendungen mittels erweiterter Feature-ModelleMabel BrunINF 2101
01.01.197014:50:00VTG GBVerteidigung GB: Ontologie-basiertes Contract Checking für Selbst-optimierende SystemeRené SchöneINF 2042
01.01.197014:50:00ZVTGZVGB: Navigation für Roboter in Gebäuden durch Magnetfeldanalyse Max LeuthäuserINF 2101
01.01.197014:50:00ZVTG DAZwischenverteidigung DA: Durchführung einer Studie zur Erfassung des Nutzungsverhaltens von Android-ApplikationenMarina KaraskovaINF 2101
01.01.197014:50:00ZVTG GBZwischenverteidigung GB: EBNF Import für EMFTextChristian JankINF 2101
01.01.197014:50:00VTGVT-GB: Verifikation für NaoControlRobert KranzINF 2101
01.01.197014:50:00ZVTG MAZwischenverteidigung MA: Decision Management at SAPZipeng LiuINF 2101
01.01.197014:50:00ZVTGZV DA "Feature-based Configuration Management of Applications in the Cloud"Xi LuoINF 2101
01.01.197014:50:00VTGEntwurf einer Transformation von BPMN 2.0 nach BPEL 1.3Andre PietschINF 2101
01.01.197014:50:00LSZV-GB: Simulation von Mehrkörpersystemen mit Modelica (Untersuchung des Graphen basierten Order-N Algorithmus für Mehrkörpersysteme) - Kooperation mit MaschinenbauMarcus WaltherINF 2101
01.01.197010:30:00LSAbschlusspräsentation "HomeTurtle"

Achtung: Findet im Labor statt.
KP HomeTurtleINF 2078
01.01.197013:00:00VTG DAVerteidigung DA: Durchführung einer Studie zur Erfassung des Nutzungsverhaltens von Android-ApplikationenMarina KaraskovaINF 1096
01.01.197014:50:00LSVtg. DA: Robot Swarm Control by Hierarchical Colored Petri NetsTill KolditzINF 2101
01.01.197014:50:00LS GBVerteidigung GB: Entwicklung einer grafischen Eclipse Benutzerschnittstelle für das Regressionstestwerkzeug RTTChristian OelsnerINF 2101
01.01.197014:50:00VTGVtg. DA: Situationsbeschreibung und -erkennung für cyber-physikalische SystemeRonny KaiserINF 2101
01.01.197015:00:00VTG DAVerteidigung DA: Modellgetriebenes Testen der Qualität von Relationalen DatenbankenBjörn FreitagINF 2101
01.01.197014:50:00ZVTG Zwischenverteidigung : Entwicklung eines Editors für MapServer Mapfiles mit EMFTextChristian VonsienINF 2101
01.01.197014:50:00VTGVDA: Tools and Materials in the context of Cyber-physical Systems Thomas KühnINF 2101
01.01.197016:00:00VTG Verteidigung : A Constraint-Based Visualisation Framework for Linked Data in the RDF Technological SpacePooran Patelwird noch bekannt gegeben
01.01.197013:30:00LS BALehrstuhlseminar BA: Entwicklung eines OCL-Debuggers für Dresden OCLLars SchützeINF 2101
01.01.197014:50:00VTG DAVerteidigung DA: Acquiring Uniform Traces From Diverse Model Transformations to Analyse Model DependenciesFabian HänselINF 2101
01.01.197014:50:00VTGVerteidigung Diplomarbeit: Analyse von Konfigurationsmöglichkeiten mandantenfähiger SaaS-Anwendungen mittels erweiterter Feature-ModelleMabel BrunINF 2101
01.01.197014:50:00VTGVT GB: Untersuchung des Graphen basierten Order-N Algorithmus für MehrkörpersystemeMarcus WaltherINF 2101
01.01.197014:50:00LS GBZwischenverteidigung GB: Development of a User Interface for the Graphical Specification of Complex Rewrite Rules for the Reference Attribute Grammar Controlled Rewriting Library RACRAdam MisiudaINF 2101
01.01.197014:50:00VTGFeature-based Configuration Management of Applications in the CloudXi LuoINF 2101
01.01.197014:50:00ZVTG DAZwischenverteidigung DA: Predictive Self-optimization by Situation RecognitionRene SchöneINF 2101
01.01.197014:50:00VTGVT-GB: Navigation für Roboter in Gebäuden durch MagnetfeldanalyseMax LeuthäuserINF 2101
01.01.197014:50:00ZVTG Zwischenverteidigung : Evaluation of SPARQL/UPDATE as a Basis for Programmed Graph Transformations on RDF GraphsFalk MorusINF 2101
01.01.197013:00:00VTG Verteidigung : Entwicklung eines Editors für MapServer Mapfiles mit EMFTextChristian VonsienINF 2101
01.01.197014:50:00VProseminar Self-Adaptive Systems, Verteidigung zum Thema "Octopus"Paul PeschelINF 2101
01.01.197011:00:00VTGMaster: Decision Management at SAPZipeng LiuINF 2101
01.01.197014:50:00ZVTG Zwischenverteidigung : Evaluating the RDFS/OWL Visualisation Language (RVL) with Respect to Mapping Composition and Calculated Value Mappings Sarfaraz Akhtar KhanINF 2101
01.01.197014:50:00ZVTG Zwischenverteidigung : Visualisierung von Publikations- und Zitationsdaten im Bereich Linked DataCarl SchönbachINF 2101
01.01.197013:00:00ZVTG Zwischenverteidigung : A Well-formed Fragment Component Library for Parallel Architectural Skeletons in the Context of GPGPU ProgrammingChinthaka HenadeeraINF 2078
01.01.197014:50:00LSZVDA: Parallelisierung in OpenModelicaMarcus WaltherINF 2101
01.01.197014:50:00VTG DAVerteidigung DA: Predictive Self-optimization by Situation RecognitionRene SchöneINF 2101
01.01.197014:50:00LSVorstellung SocialMediaNewsRoomStudentenINF 2101
01.01.197014:50:00VTGVerteidigung BA: Entwurf und Realisierung einer einer Schnittstelle für die Bindung von Natürlichsprachlichen Softwarespezifikationen an ProgrammiersprachenIlja BauerINF 2101
01.01.197014:50:00ZVTGZVDA: Distributed Role Constraint CheckingMax LeuthäuserINF 2101
01.01.197014:50:00ZVTG GBZwischenverteidigung GB/BA/DA: Durchführung einer Entwicklerstudie zum Ermitteln von Quality Smells und deren Beseitigung auf Android-SystemenMartin BrylskiINF 2101
01.01.197013:00:00VTGQualitätssicherung mittels Feature-ModellenDavid GollaschINF 2101
01.01.197013:00:00ZVTG Zwischenverteidigung : Softwareentwicklung mit Natürlicher Sprache (Manuel OddoyINF 2101
01.01.197013:00:00ZVTGZwischenverteidigung GB: Konzipierung und Realisierung einer App-Familie für KonferenzenChristopher BellmannINF 2101
01.01.197014:50:00LS GBVerteidigung GB: Development of a User Interface for the Graphical Specification of Complex Rewrite Rules for the Reference Attribute Grammar Controlled Rewriting Library RACRAdam MisiudaINF 2101
01.01.197013:00:00LS DAZwischenverteidigung DA: Konzeption und Entwicklung einer Semantic Web basierten Visualisierung von ForschungsnetzwerkenJohannes MeyINF 2101
01.01.197013:00:00VTGVT-DA: Parallelisierung von Modelica ModellenMarcus WaltherINF 2101
01.01.197009:00:00VTGVTG-DA: Überprüfung und Einhaltung von Rollen-Constraints in verteilten Systemen.Max LeuthäuserINF 2101
01.01.197013:00:00LSRoSI - Workshop: Foundations for Role-based Software InfrastructuresThomas KühnINF 2101
01.01.197013:00:00ZVTG MAZwischenverteidigung MA: Non-functional Assessment of Parallel Algorithms using QoS ContractsBahruz BalabayovINF 2101
01.01.197013:00:00VTG Verteidigung : Softwareentwicklung mit Natürlicher Sprache - Lean ModellingManuel OddoyINF 2101
01.01.197014:50:00VTG Verteidigung : Evaluating the RDFS/OWL Visualisation Language (RVL) with Respect to Mapping Composition and Calculated Value Mappings Sarfaraz Akhtar KhanINF 2101
01.01.197014:50:00VTG Verteidigung : Visualisierung von Publikations- und Zitationsdaten im Bereich Linked DataCarl SchönbachINF 2101
01.01.197014:50:00ZVTG MAZwischenverteidigung : HANDLING UNCERTAINTY IN CYBER-PHYSICAL SYSTEMSSuleyman SuleymanzadeINF 2101
01.01.197013:00:00LSZV-GB: Automatisierte Codegenerierung für das RoSI Rollen-MetamodellFabian TolkmittINF 2101
01.01.197013:00:00VTG Verteidigung : A Well-formed Fragment Component Library for Parallel Architectural Skeletons in the Context of GPGPU ProgrammingChinthaka HenadeeraINF 2101
01.01.197013:00:00ZVTG GBZwischenverteidigung : Konzeption und Implementierung eines Schwarm basierten adaptiven Kartiografierungs- und Ortungsverfahrens für mobile RoboterJan FalkenbergINF 2101
01.01.197013:00:00ZVTG GBZwischenverteidigung : Konzeption und Implementierung eines adaptiven Kartiografierungs- und LokalisierungsverfahrensSebastian WernerINF 2101
01.01.197014:50:00VTG GBVerteidigung GB: Durchführung einer Entwicklerstudie zum Ermitteln von Quality Smells und deren Beseitigung auf Android-SystemenMartin BrylskiINF 2101
01.01.197014:50:00VTG MAVerteidigung MA: Non-functional Assessment of Parallel Algorithms using QoS ContractsBahruz BalabayovINF 2101
01.01.197014:50:00VTG DAVerteidigung DA: Konzeption und Entwicklung einer Semantic Web basierten Visualisierung von ForschungsnetzwerkenJohannes MeyINF 2101
01.01.197014:50:00ZVTG BAAntrittsvortrag BA: Towards Parallel Role-based ProgrammingMatthias RahneINF 2101
01.01.197014:50:00LSProbevortrag Katja SiegemundINF 2101
01.01.197014:50:00ZVTG MAZwischenverteidigung : Automatic Task Assignment in Colored Petri-Net-based Dynamic Robot Swarm CollaborationsSergey ChukovINF 2101
01.01.197014:50:00VTG BAVerteidigung : Entwicklung eines Simulationskonnektors für das selbstadaptive Heimautomatisierungssystem HomeTurtlePatrick RuppertINF 2101
01.01.197014:50:00ZVTGMaster: Taming Objects with Energy ContractsVirat Satyam MishraINF 2101
01.01.197016:30:00VTG Verteidigung : Evaluation of Incremental Dynamic Attribute Evaluation - RACR/JastAdd Performance Case Study in the Domain of Invasive Software CompositionMarta TasicINF 2101
01.01.197014:50:00ZVTGBakk.: An Application of Energy Aspects in Mobile AppsTom SimonINF 2101
01.01.197014:50:00ZVTG Zwischenverteidigung : Entwicklung eines Frameworks für Kollaboratives Systemdesign mit Interaktiven, Digitalen CanvasesManuel OddoyINF 2101
01.01.197014:50:00VTGVerteidigung Großer Beleg: Konzipierung und Realisierung einer App-Familie für KonferenzenChristopher BellmannINF 2101
01.01.197011:00:00VTG MAVerteidigung : Automatic Task Assignment in Colored Petri-Net-based Dynamic Robot Swarm CollaborationsSergey ChukovINF 2101
01.01.197011:00:00VTG MAVerteidigung : HANDLING UNCERTAINTY IN CYBER-PHYSICAL SYSTEMSSuleyman SuleymanzadeINF 2101
01.01.197014:50:00VTG GBVerteidigung : Konzeption und Implementierung eines adaptiven Kartiografierungs- und LokalisierungsverfahrensSebastian WernerINF 2101
01.01.197014:50:00ZVTG GBZwischenverteidigung GB: Untersuchung dynamischer Datentypen in der JVM im Kontext rollen-basierter ProgrammierungFranz EhrlichINF 2101
01.01.197014:50:00ZVTG GBZwischenverteidigung : Organisierte Software-Startups mit kollaborativen CanvasesChristina KorgerINF 2101
01.01.197014:50:00ZVTG GBZwischenverteidigung GB: Collaboration-Based Service-Oriented ArchitectureValentin KennkeINF 2101
01.01.197014:50:00VTG GBVerteidigung GB: Konzeption eines Schwarm basierten Kartiografierungs- und Ortungsverfahrens für mobile RoboterJan FalkenbergINF 2101
01.01.197014:50:00VTG BAVerteidigung BA: Towards Parallel Role-based ProgrammingMatthias RahneINF 2101
01.01.197010:00:00ZVTG GBZwischenverteidigung GB: A Systematic Literature Review on Model-driven Software Development for Cyber-Physical Systems Stanley FörsterINF 2101
01.01.197014:50:00ZVTG BAZwischenverteidigung BA: Erstellung und Evaluation eines UML-Profils für die Anwendung der Tätigkeitstheorie in der AnforderungsanalysePeter HöhneINF 2101
01.01.197015:30:00VTGMaster: Taming Objects with Energy ContractsVirat Satyam MishraINF 2101
01.01.197014:50:00ZVTG DAZwischenverteidigung DA: Generalisierung des Spannbaumbasierten Regressionstestwerkzeugs RTT auf ObjektnetzeChristian OelsnerINF 2101
01.01.197014:50:00ZVTG Zwischenverteidigung : Lean Software Startup “ Infrastrukturen und Methoden für erfolgreiche GründungenJohannes SchurichtINF 2101
01.01.197014:50:00VTG Verteidigung GB: Evaluation of SPARQL/UPDATE as a Basis for Programmed Graph Transformations on RDF GraphsFalk MorusINF 2101
01.01.197014:50:00ZVTG DAZwischenverteidigung : Modellgetriebene Prozesssteuerung mit kollaborativen CanvasesJanina BaumgartenINF 2101
01.01.197014:50:00ZVTG BAZwischenverteidigung : Entwicklung einer Testbibliothek für das automatisierte Testen von mobilen SoftwaresuitenKatharina TauschINF 2101
01.01.197014:50:00VTG MAVerteidigung : Eine hierarchische Infrastruktur zur ortsabhängigen, externen Adaption mobiler Anwendungen in intelligenten UmgebungenSebastian HerrlichINF 2101
01.01.197014:50:00ZVTG GBZwischenverteidigung : Round-Trip Engineering von fortgeschrittenen MacrosTobias NettINF 2101
01.01.197013:30:00VTG GBVerteidigung GB: Collaboration-Based Service-Oriented ArchitectureValentin KennkeAPB 2101
01.01.197014:50:00VTG Verteidigung : Entwicklung eines Frameworks für Kollaboratives Systemdesign mit Interaktiven, Digitalen CanvasesManuel OddoyINF 2101
01.01.197014:50:00VTG GBVerteidigung : A Systematic Literature Review on Model-driven Software Development for Cyber-Physical Systems Stanley FörsterINF 2101
01.01.197014:50:00VTG BAVerteidigung : Entwicklung einer Testbibliothek für das automatisierte Testen von mobilen SoftwaresuitenKatharina TauschINF 2101
01.01.197014:50:00VTG GBVerteidigung : Organisierte Software-Startups mit kollaborativen CanvasesChristina KorgerINF 2101
01.01.197014:50:00VTG BAVerteidigung BA: Erstellung und Evaluation eines UML-Profils für die Anwendung der Tätigkeitstheorie in der AnforderungsanalysePeter HöhneINF 2101
01.01.197014:50:00VTG MAVerteidigung MA: Energy-efficient Benchmarking for Energy-efficient SoftwareDmytro PukhkaievINF 2101
01.01.197010:30:00VTG GBVerteidigung GB: Codegenerierung für das RoSI MetamodellFabian TolkmittINF 2101
01.01.197014:50:00VTGDA: Gummy Modules as the Abstractions for Implementing MAPE LoopsCarl SchönbachINF 2101
01.01.197014:50:00VTG GBVerteidigung GB: Untersuchung dynamischer Datentypen in der JVM im Kontext rollen-basierter ProgrammierungFranz EhrlichINF 2101
01.01.197013:00:00ZVTG GBZwischenverteidigung : Domänenspezifische Semantische Validierung von EMF Modellen (Working Title)Johannes TandlerINF 2101
01.01.197014:50:00VTG DAVerteidigung DA: Generalisierung des Spannbaumbasierten Regressionstestwerkzeugs RTT auf ObjektnetzeChristian OelsnerINF 2101
01.01.197014:50:00VTG DAVerteidigung : Modellgetriebene Prozesssteuerung mit kollaborativen CanvasesJanina BaumgartenINF 2101
01.01.197013:00:00VTG GBVerteidigung GB: Round-trip Engineering of Template-based Code-Generation in SkATTobias NettINF 2101
01.01.197014:50:00ZVTG BAZwischenverteidigung BA: Toolunterstützter Softwarelebenszyklus für Projekte im Softwarepraktikums: Von der Analyse bis zum Continuous Integration und DeploymentSven SeemannINF 2101
01.01.197014:50:00VTG GBVerteidigung : Domänenspezifische Semantische Validierung von EMF Modellen (Working Title)Johannes TandlerINF 2101
01.01.197014:50:00VTG Verteidigung : Lean Software Startup “ Infrastrukturen und Methoden für erfolgreiche GründungenJohannes SchurichtINF 2101
01.01.197014:00:00VKick-Off Accenture Campus Innovation Challenge (bis etwa 18.00)Daniel Bruchatz (Accenture)INF 2101
01.01.197014:50:00ZVTG GBZwischenverteidigung GB: Embedding and Integration of the RACR Scheme Library into Heterogeneous Systems - Supporting different Hardware Architectures, Technological Spaces and Development EcosystemsDaniel LangnerINF 2078
01.01.197014:50:00VProbevortragSven KarolINF 2101
01.01.197014:50:00VTG GBVerteidigung GB: EBNF Import für EMFTextChristian JankINF 2101
01.01.197014:50:00ZVTG GBZwischenverteidigung : Konzeption einer domänenspezifischen Sprache zur Spezifikation und Generierung automatisierter Systemtests in einer bestehenden TestumgebungJörg GerlachINF 2101
01.01.197014:50:00ZVTG DAZwischenverteidigung DA: Konzeption und prototypische Implementierung eines Frameworks zur Vereinheitlichung automatisierter UI-Tests von Weboberflächen und mobilen App-InhaltenDustin AltermannINF 2101
01.01.197015:20:00ZVTG Zwischenverteidigung Diploma: Design and Implementation of Composite Gummy ModulesChristian FrassINF 2101
01.01.197014:50:00ZVTG Zwischenverteidigung Diploma: Adopting Event-based Modularization for Modular Implementation of Coordination PatternsValentin KennkeINF 2101
01.01.197014:50:00VTG BAVerteidigung BA: Toolunterstützter Softwarelebenszyklus für Projekte im Softwarepraktikums: Von der Analyse bis zum Continuous Integration und DeploymentSven SeemannINF 2101
01.01.197014:50:00VTG Verteidigung Beleg: A Study on Modular Development of Energy-aware AppsTom SimonINF 2101
01.01.197014:50:00ZVTG BAZwischenverteidigung : Modellierung von Petri-Netz Produktlinien mithilfe von DeltaEcoreToni WeinertINF 2101
01.01.197015:30:00LSAn Overview of Event-based ModularizationSomayeh MalakutiINF 2101
01.01.197014:50:00LS Antrittsvortrag BA: Updating the Role-based Design Pattern CatalogKevin Ivo KassinINF 2101
01.01.197015:30:00VProbevortrag DissJan ReimannINF 2101
01.01.197014:50:00ZVTG Zwischenverteidigung : Entwicklung einer Navigationssoftware für Fahrroboter mit Hilfe von Simultaneous Localization and MappingHenrik ScholeINF 2101
01.01.197014:50:00ZVTG MAZwischenverteidigung MA: A Semi-Automatic Transformation from Object-Oriented Systems to Role-Based SystemsKay BierzynskiINF 2101
01.01.197014:50:00ZVTG BAAntrittsvortrag BA: Rollenbasierte Modellierung adaptiver Interaktion mobiler AnwendungenMarkus HeiderINF 2101
01.01.197013:00:00ZVTG DAZwischenverteidigung : Konzeption und Implementierung eines Frameworks für adaptive SLAM-AlogorithmenSebastian WernerINF 2101
01.01.197013:00:00ZVTG DAZwischenverteidigung : HomeTurtle v2: Ein Hardware-Software Co-Design für ein Cyber-Physikalisches SystemJan FalkenbergINF 2101
01.01.197014:50:00LSVerteidigung Komplexpraktikum SLR ToolkitKP GruppeINF 2101
01.01.197014:50:00ZVTG DAZwischenverteidigung DA: Integrating Cyber-Physical Simulators using Models@run.timeStanley FörsterINF 2101
01.01.197014:50:00V BAVortrag BA: Towards Change in Role-based Software SystemsZoltán RuzsikINF 2101
01.01.197013:00:00VTGVTG KP Agile Testing mit DevBoostINF 2101
01.01.197014:50:00VTG BAVerteidigung BA: Erstellung eines Intel Galileo Energieprofils und Untersuchung potentieller EnergiesparmaßnahmenTim GeorgeINF 2101
01.01.197014:50:00VTG DAVerteidigung DA: Automatisches Generieren von Testfall- und Testablaufspezifikationen über spezielle Konfigurationen innerhalb einer SoftwareproduktlinieTobias NicolaiINF 2101
01.01.197014:50:00VTG DAVerteidigung DA: Konzeption und prototypische Implementierung eines Frameworks zur Vereinheitlichung automatisierter UI-Tests von Weboberflächen und mobilen App-InhaltenDustin AltermannINF 2101
01.01.197014:50:00ZVTG MAZwischenverteidigung MA: Adaptive Knowledge Exchange with Distributed Partial Models@run.timeChristopher WernerINF 2101
01.01.197014:50:00VTG BAVerteidigung BA: Modellierung von Petri-Netz Produktlinien mithilfe von DeltaEcoreToni WeinertINF 2101
01.01.197013:00:00VTG BAVerteidigung BA: Entwicklung einer Stereokamera-basierten SLAM-Steuerung für ein Roboter-CaféHenrik ScholeINF 2101
01.01.197013:00:00VTG BAVerteidigung BA: Modellierung von Petri-Netz Produktlinien mithilfe von DeltaEcoreToni WeinertINF 2101
01.01.197012:30:00ZVTGZwischenverteidigung MA: Conceptual Variability Management in Software Families with Multiple Contributors David GollaschINF 2101
01.01.197012:30:00ZVTGZVTG BA: Modellierung von SalesPoint-Anwendungen als SoftwareproduktlinieMarc KandlerINF 2101
01.01.197012:30:00VTG Verteidigung : Updating the Role-based Design Pattern CatalogKevin Ivo KassinINF 2101
01.01.197014:50:00VTG MAVerteidigung MA: A Semi-Automatic Transformation from Object-Oriented Systems to Role-Based SystemsKay BierzynskiINF 2101
01.01.197014:50:00ZVTG Zwischenverteidigung Msc: A Study on Instantiation Strategies for Gummy ModulesRaphael UrmoneitINF 2101
01.01.197013:00:00VTG Verteidigung Diploma: Design and Implementation of Composite Gummy ModulesChristian FrassINF 2101
01.01.197013:00:00VTG Verteidigung Diploma: Adopting Event-based Modularization for Modular Implementation of Coordination PatternsValentin KennkeINF 2101
01.01.197014:50:00VTG DAVerteidigung DA: Integrating Cyber-Physical Simulators using Models@run.timeStanley FörsterINF 2101
01.01.197014:50:00ZVTG GBZwischenverteidigung GB: Adaptives Management von Kontextinformationen in cyber-physikalischen SystemenJakob BlumeINF 2101
01.01.197014:50:00VTG BAVerteidigung BA: Dresden OCL für ZustandsmodelleMax KleinhenzINF 2101
01.01.197014:50:00ZVTG MAZwischenverteidigung MA: Energy-efficient Benchmarking for Energy-efficient SoftwareDmytro PukhkaievINF 2101
01.01.197014:50:00ZVTG DAZwischenverteidigung : Migrationsstrategien für EMF-basierte ModelleChristian JankINF 2101
01.01.197014:50:00LSKolloqium INF-PM-FPA: Towards Predicting Co-Evolutions of Multiple Models in Model-Driven EngineeringStefan HerrmannINF 2101
01.01.197015:00:00VAbschluss-Kolloq. "Analyse eines Forschungsthemas" (Einfluss der Softwarearchitektur auf den Wert eines Softwaresystems)Hendrik SchönINF 2101
01.01.197014:50:00LS[Analyse eines Forschungsthemas (60 min)]

Semantic Analysis in Enterprise Search with Distributed Word Representations

The context of enterprise search offers a wide area of application for semantic analysis. With Google's publication of the toolkit word2vec in 2013, distributed representations of words have gained renewed attention. The underlying algorithms Skip-gram and Continuous-Bag-of-Words are well suited to the task of unsupervised learning from very large data sets. The presentation offers insight into the essentials of word2vec and previous work in cooperation with the local software company Interface Projects, including a demonstration of the test environment and tools used for scientific research.

Christina KorgerINF 2101
01.01.197014:50:00VTG BAVerteidigung BA: Rollenbasierte Modellierung adaptiver Interaktion mobiler AnwendungenMarkus HeiderINF 2101
01.01.197014:50:00ZVTG DAZwischenverteidigung : Towards a Type System for RolesFranz EhrlichINF 2101
01.01.197014:50:00VTG GBVerteidigung GB: Embedding and Integration of the RACR Scheme Library into Heterogeneous Systems - Supporting different Hardware Architectures, Technological Spaces and Development EcosystemsDaniel LangnerINF 2101
01.01.197014:50:00VTGBA: Flexible Kodierung ausfallsicherer Anwendungen mit AspektenBalint GyapjasINF 2101
01.01.197014:50:00VTG BAVerteidigung BA: Towards Change in Role-based Software SystemsZoltán RuzsikINF 2101
01.01.197014:50:00VTG Verteidigung Msc: A Study on Instantiation Strategies for Gummy ModulesRaphael UrmoneitINF 2101
01.01.197014:50:00VTGMA: Konzeptionelles Variabilitätsmanagement bei Softwarefamilien mit mehreren MitwirkendenDavid GollaschINF 2101
01.01.197014:50:00VTG BAVerteidigung BA: SalesPoint-Anwendungen als SoftwareproduktlinieMarc KandlerINF 2101
01.01.197014:50:00VTG BAVerteidigung BA: Entwurf und Implementierung einer Modellierungs-, Ausführungs- und Analyseumgebung für Petri-NetzeMichael JakobINF 2101
01.01.197014:50:00ZVTG Zwischenverteidigung : Konzeption und Implementierung eines Frameworks zur selbst-adaptiven Lokalisierung Juri TichomirowINF 2101
01.01.197014:50:00VTG MAVerteidigung MA: Energy-efficient Benchmarking for Energy-efficient SoftwareDmytro PukhkaievINF 2101
01.01.197014:50:00VTG MAVerteidigung MA: Adaptive Knowledge Exchange with Distributed Partial Models@run.timeChristopher WernerINF 2101
01.01.197014:50:00ZVTG Zwischenverteidigung : Kontextsensitive Workflows für Roboterarme in Co-Working SzenarienChristoph BieringINF 2101
01.01.197014:50:00ZVTG MAZwischenverteidigung MA: Design and Implementation of Role-based Architectural Event ModulesFrank RohdeINF 2101
01.01.197014:50:00ZVTG MAZwischenverteidigung MA: Analyzing distributed processes of CPS in MAPE-K loopsStefan HerrmannINF 2101
01.01.197014:50:00VTG DAVerteidigung DA: Migrationsstrategien für EMF-basierte ModelleChristian JankINF 2101
01.01.197014:50:00VTG Verteidigung MA: Konzeption und Implementierung eines Frameworks zur selbst-adaptiven Lokalisierung Juri TichomirowINF 2101
01.01.197014:50:00VTG BAVerteidigung BA: Experimental evaluation of the trade-off between energy-efficiency and performance at the example of video transcodingSebastian KnauerINF 2101
01.01.197014:50:00LSgesperrt für KlausureinsichtINF 2101
01.01.197014:50:00VTG Verteidigung : Datenmanagement im Automotive Software EngineeringRobin HungerINF 2101
01.01.197014:50:00VTGStudienarbeit (Stdg. Informationssystemtechnik) Marcel ScheckINF 2101
01.01.197014:50:00VTG Verteidigung : Kontextsensitive Workflows für Roboterarme in Co-Working SzenarienChristoph BieringINF 2101
01.01.197014:50:00ZVTG BAZwischenverteidigung BA: An Energy-Efficiency-Analysis of Parallel Compression Algorithms on big.LITTLE MachinesHendric EckeltINF 2101
01.01.197014:50:00ZVTG Zwischenverteidigung : Clustering of Distributed Word Representations and its Applicability for Enterprise SearchChristina KorgerINF 2101
01.01.197014:50:00VTG DAVerteidigung DA: Towards a Type System for RolesFranz EhrlichINF 2101
01.01.197014:50:00ZVTG Zwischenverteidigung : A Context-Aware Role-Playing Automaton for Self-Adaptive SystemsLars SchützeINF 2101
01.01.197011:00:00VTGVerteidigung Master-Arbeit "Design and Implementation of Role-based Architectural Event Modules"Frank RohdeINF 2101
01.01.197011:00:00VTG Verteidigung : A Context-Aware Role-Playing Automaton for Self-Adaptive SystemsLars SchützeINF 2101
01.01.197014:50:00VTGDA: Einfluss der Softwarearchitektur auf den Wert eines SoftwaresystmsHendrik SchönINF 2101
01.01.197014:50:00VTG BAVerteidigung BA: An Energy-Efficiency-Analysis of Parallel Compression Algorithms on big.LITTLE MachinesHendric EckeltINF 2101
01.01.197014:50:00ZVTG AFTZwischenverteidigung AFT: Literature Review of Simulation environments for a Smart Home ScenarioChristoph ScheidigINF 2101
01.01.197014:50:00ZVTG BAZwischenverteidigung BA: Repräsentative Szenarien für den Vergleich von SLAM-ImplementierungenThomas HauptvogelINF 2101
01.01.197014:50:00VTG DA Verteidigung : Clustering of Distributed Word Representations and its Applicability for Enterprise SearchChristina KorgerINF 2101
01.01.197014:50:00VTG GBVerteidigung GB: Adaptives Management von Kontextinformationen in cyber-physikalischen SystemenJakob BlumeINF 2101
01.01.197014:50:00VTG AFTVerteidigung AFT: Literature Review of Simulation environments for a Smart Home ScenarioChristoph ScheidigINF 2101
01.01.197015:50:00VTG MAVerteidigung MA: Analyzing distributed processes of CPS in MAPE-K loopsStefan HerrmannINF 2101
01.01.197014:50:00LSZVTG Diplom: Abstraktion verteilter Produktionsmaschinen in cyber-physischen ProduktionssystemenPeter HeisigINF 2101
01.01.197014:50:00VTGEntwicklung generischer Softwareadapter zur Kopplung verschiedener DatenmodelleSimon TobiesINF 2101
01.01.197014:50:00ZVTG Zwischenverteidigung : Domainspezifische Orchestrierung hochverteilter Systeme am Beispiel einer Big-Data-AnwendungIlja BauerINF 2101
01.01.197014:50:00VTG BAVerteidigung BA: Repräsentative Szenarien für den Vergleich von SLAM-ImplementierungenThomas HauptvogelINF 2101
01.01.197014:50:00ZVTG Zwischenverteidigung : Konzeption und Implementierung eines Kartographierungsalgorithmus für KugelroboterJulian Lars Freiherr Striegl - von Hoverbeck genannt von SchoenaichINF 2101
01.01.197014:50:00ZVTG Zwischenverteidigung : Konzeption und Implementierung eines Lokalisierungsalgorithmus für KugelroboterHung Tran DucINF 2101
01.01.197014:50:00VTG Verteidigung : User Adaptive Software For Exhaustion Detection Using A Myo ArmbandNourhan TaymoorINF 2101
01.01.197014:50:00ZVTG GBZwischenverteidigung GB: Untersuchung der Repräsentation von Rollen in virtuellen MaschinenMartin MorgensternINF 2101
01.01.197014:50:00ZVTG BAZwischenverteidigung BA: Bewertung von UML-Modellen anhand von MetrikenJulius FelchowINF 2101
01.01.197014:50:00LSKLAUSUREINSICHT für das SS 2016INF 2101
01.01.197013:30:00VTG Verteidigung : Konzept und Implementierung einer Multi-Roboter Architektur für mobile FahrplattformenBenjamin ZercheINF 2101
01.01.197014:50:00ZVTG GBZwischenverteidigung GB: Architekturkonzepte in Java-Codestrukturen am Beispiel von FallstudienStephan PirnbaumINF 2101
01.01.197014:50:00ZVTG Zwischenverteidigung : Integration von Telematikportalen in den MG API ManagerJan EngelmohrINF 2101
01.01.197014:50:00ZVTGGB: User Centered SPARTACUS AnalysisAnne KöpckeINF 2101
01.01.197014:50:00VTG BAVerteidigung BA: Bewertung von UML-Modellen anhand von MetrikenJulius FelchowINF 2101
01.01.197014:50:00LS GBLehrstuhlseminar GB: Migration der SOFTAUDIT-Tools nach SonarQubeJan RucksINF 2101
01.01.197010:00:00LSVerteidigung DA: Abstraktion verteilter Produktionsmaschinen in cyber-physischen ProduktionssystemenPeter HeisigINF 2101
01.01.197015:00:00VTG Verteidigung : Konzeption und Implementierung eines Lokalisierungsalgorithmus für KugelroboterHung Tran DucINF 2101
01.01.197015:00:00VTG Verteidigung : Konzeption und Implementierung eines Kartographierungsalgorithmus für KugelroboterJulian Lars Freiherr Striegl - von Hoverbeck genannt von SchoenaichINF 2101
01.01.197014:50:00LSTestlauf Statusvortrag: Self-managed Workflows for Cyber-physical Systems with Scalable ConsistencyRonny SeigerINF 2101
01.01.197014:50:00ZVTG DAZwischenverteidigung DA: A Comparative Study of Optimization Approaches in Multi-Quality Auto-Tuning Fabian TolkmittINF 2101
01.01.197014:50:00ZVTG Zwischenverteidigung : Erweiterung der RoadEditor DLL zur Parametrierung einfacher Streckenverläufe aus ECU-TESTRené SchädlichINF 2101
01.01.197014:50:00LSCloud Infrastructure For High Performance Load Testing (in Kooperation mit der DevBoost GmbH)KP SoftwaretechnologieINF 2101
01.01.197000:00:00VTG Verteidigung : Microservice MonitoringJakob BlumeINF 2101
01.01.197014:50:00ZVTG MAZwischenverteidigung MA: Dependencies and Interactions of Energy-efficient SoftwareSergii ShchaslyvyiINF 2101
01.01.197013:30:00VForschungsprojekt Anwendung: „Towards a Reference Architecture for the Structure of Cyber-Physical Systems“Anja ReuschINF 2101
01.01.197014:30:00VForschungsprojekt Anwendung: “How many Architecture Principles are needed for the Construction of Agile Large Software Systems?”Hendrik CziommerINF 2101
01.01.197013:00:00VTG Verteidigung : Microservice MonitoringJakob BlumeINF 2101
01.01.197014:50:00VTG Verteidigung : Integration von Telematikportalen in den MG API ManagerJan EngelmohrINF 2101
01.01.197014:50:00VTG GBVerteidigung GB: Migration der SOFTAUDIT-Tools nach SonarQubeJan RucksINF 2101
01.01.197014:50:00ZVTG Zwischenverteidigung : Benchmark Dedizierter Simulatoren für Selbst-Adaptive Systeme am Beispiel eines Smart Home SzenariosChristoph ScheidigINF 2101
01.01.197014:50:00VTG GBVerteidigung GB: Architekturkonzepte in Java-Codestrukturen am Beispiel von FallstudienStephan PirnbaumINF 2101
01.01.197014:50:00VTGDA: Konzepterstellung und prototypische Umsetzung für die Umstellung einer MATLAB-Testautomatisierung auf eine standardisierte SchnittstelleMarcel ScheckINF 2101
01.01.197014:50:00VTGVerteidigung zum Komplexpraktikum: Mario Kart: Mit einer mobilen RoboterfahrplattformINF 2101
01.01.197014:50:00VTG Verteidigung : Domainspezifische Orchestrierung hochverteilter Systeme am Beispiel einer Big-Data-AnwendungIlja BauerINF 2101
01.01.197013:00:00VTGVerteidigung INF-PM-FPA - SLR Toolkit Stephan PirnbaumINF 2101

Forschungsbesprechungen [mehr

Diskussion aktueller Forschungsfragen in der ST-Gruppe.

Reading Group [mehr

Die Reading Group des Lehrstuhls ST.

Raumreservierung

Hier können Mitarbeiter des Lehrstuhls ST das Labor 2078 buchen.

Raumbuchung

Stellenangebote/Jobs

Hier finden Sie job die Stellenangebote.

Calls for Papers [mehr] [erstellen]

Hier finden Sie Informationen zu für die Gruppe relevanten "Calls for Papers" und anderen "Calls for Contributions". Die North Carolina State University hat eine interessante Übersicht von SE-Konferenzen., die nun auch mit einer Karte verfügbar ist.

Wiederkehrende Ereignisse

In diesem Artikel sammeln wir Informationen zu wiederkehrenden, für die Gruppe relevanten Ereignissen. Beispielsweise erscheinen hier Informationen zu regelmäßigen Konferenzen.

Hinweise zu Vorträgen und zum wissenschaftlichen Arbeiten (z.B. DA / GB /BA /MA)

Im Folgenden sind einige Referenzen aufgelistet, die Hinweise und Tips zum Halten von Vorträgen und zum Anfertigen wissenschaftlicher Arbeiten enthalten. Die Liste erhebt keinen Anspruch auf Vollständigkeit. Hinweise auf weitere nützliche Referenzen nehmen wir gern entgegen.

Hinweise zu mündlichen Prüfungen

Hier finden Sie die Hinweise zu mündlichen Prüfungen

Werkzeuge

Werkzeuge, die in der Gruppe verwendet werden.

Lehrstuhlseminar und Forschungsbesprechungen - Archiv [mehr

Hier finden Sie alle bisherigen Lehrstuhlseminare und Forschungsbesprechungen in chronologischer Reihenfolge geordnet.

Miscellaneous Links [mehr]

Hier finden Sie Web-Links, die keinem Thema zugeordnet sind, aber trotzdem interessante Information enthalten.