Abgeschlossene Arbeiten
2020
-
Preserving Secrecy in Online Social Networks: Data Outsourcing, Access Control, and Secrecy Schemes. PhD dissertation.
Suntaxi, G.
2020, December 15. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000127444 -
Estimating Dependency, Monitoring and Knowledge Discovery in High-Dimensional Data Streams. PhD dissertation.
Fouché, E.
2020, December 8. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000127232 -
SQL query log analysis for identifying user interests and query recommendations. PhD dissertation.
Arzamasova, N.
2020, November 26. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000126161 -
Assessing Hypotheses in Multi-Agent Systems for Natural Language Processing. master’s thesis.
Fuchß, D.
2020, October 29. doi:10.5445/IR/1000126806 -
Linking Software Architecture Documentation and Models. master’s thesis.
Schulz, S.
2020, October 5. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000126194 -
Timing Sensitive Dependency Analysis and its Application to Software Security. PhD dissertation.
Hecker, M.
2020, September 21. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000123689 -
Domain-specific Language for Data-driven Design Time Analyses and Result Mappings for Logic Programs. master’s thesis.
Hahner, S.
2020, August 17. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000123271 -
Calibration and Evaluation of Outlier Detection with Generated Data. PhD dissertation.
Steinbuß, G.
2020, July 3. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000120534 -
A Reference Structure for Modular Metamodels of Quality-Describing Domain-Specific Modeling Languages. PhD dissertation.
Strittmatter, M.
2020, June 30. KIT Scientific Publishing. doi:10.5445/KSP/1000098906 -
Modeling and Simulation of Message-Driven Self-Adaptive Systems. master’s thesis.
Schmid, L.
2020, May 25. doi:10.5445/IR/1000121131 -
Autotuning for Automatic Parallelization on Heterogeneous Systems. PhD dissertation.
Pfaffe, P.
2020, May 25. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000119646 -
A Case Study for Networks of Bidirectional Transformations. master’s thesis.
Sağlam, T.
2020, April 3. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000120806 -
User-Centric Active Learning for Outlier Detection. PhD dissertation.
Trittenbach, H.
2020, March 2. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000117443 -
Verfahren zur Reduktion von neuronalen Netzen - Analyse und Automatisierung. master’s thesis.
Viehmann, T.
2020. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000123706 -
Worteinbettungen für die Anforderungsdomäne. bachelor’s thesis.
Telge, T.
2020. Karlsruher Institut für Technologie (KIT) -
Time-Efficient Analysis of Complex Dependencies. PhD dissertation.
Vollmer, M.
2020. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000105784
2019
-
Zielsystemunabhängige Quelltextsynthese aus natürlicher Sprache. master’s thesis.
Kiesel, V.
2019. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000123702 -
Aufbau und Konsolidierung einer Konzepthierarchie für Anforderungsbeschreibungen aus unterschiedlichen Wissensquellen = [Design and Consolidation of a Concept Hierarchy for Requirements from Multiple Knowledge Bases]. bachelor’s thesis.
Wessendorf, M.
2019. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000117909 -
Verknüpfung von Text- und Modellentitäten von Softwarearchitektur-Modellen mithilfe von Wortvektoren. bachelor’s thesis.
Schulz, R. R.
2019. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000105870 -
Verknüpfung von Textelementen zu Softwarearchitektur-Modellen mit Hilfe von Synsets. bachelor’s thesis.
Heine, T.
2019. doi:10.5445/IR/1000105437 -
Eine Schnittstelle zur Vorhersage von Nutzeranfragen auf Datensätzen. bachelor’s thesis.
Maisch, R. M.
2019. doi:10.5445/IR/1000100678 -
Bestimmung der semantischen Funktion von Sätzen in Anforderungsbeschreibungen. bachelor’s thesis.
Tomova, D.
2019. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000100540 -
Erkennung von semantisch zusammenhängenden Quelltextabschnitten anhand von Komponententests. bachelor’s thesis.
Wittlinger, M.
2019. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000100422 -
Konzept eines Dokumentationsassistenten zur Erzeugung strukturierter Anforderungen basierend auf Satzschablonen. bachelor’s thesis.
Arbai, R. C.
2019. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000100411 -
Decomposition of Relations for Multi-model Consistency Preservation. master’s thesis.
Pepin, A.
2019. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000100374 -
Angreifer-Modellierung für Intelligente Stromnetze. bachelor’s thesis.
Weber, T.
2019. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000099848 -
Context-based confidentiality analysis in dynamic Industry 4.0 scenarios. bachelor’s thesis.
Schenkenberger, J.
2019. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000099690 -
Semantic Exploration of Text Documents with Multi-Faceted Metadata Employing Word Embeddings: The Patent Landscaping Use Case. master’s thesis.
Skripnikova, T.
2019. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000098959 -
Synthese von Methodendefinitionen aus natürlichsprachlichen Äußerungen. master’s thesis.
Steurer, V.
2019. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000098346 -
Quality-driven Reuse of Model-based Software Architecture Elements. PhD dissertation.
Busch, A.
2019. KIT Scientific Publishing. doi:10.5445/KSP/1000097163 -
Quality-driven Reuse of Model-based Software Architecture Elements. PhD dissertation.
Busch, A.
2019. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000096543 -
Abbildung von UMLSec-Vertraulichkeitsanalysen auf Data-Centric Palladio. master’s thesis.
Müller, P.
2019. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000096291 -
Modellierung und Export von Multicore-Eigenschaften für Simulationen während der Steuergeräteentwicklung für Fahrzeuge. master’s thesis.
Spasov, T.
2019. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000095264 -
NALIS: ein mehrmandantenfähiges natürlichsprachliches Dialogsystem für die Kundenbetreuung. bachelor’s thesis.
Wieland, C. L. R.
2019. Karlsruher Institut für Technologie (KIT) -
Adaptation-Aware Architecture Modeling and Analysis of Energy Efficiency for Software Systems. PhD dissertation.
Stier, C.
2019. KIT Scientific Publishing. doi:10.5445/KSP/1000086089 -
Automated Coevolution of Source Code and Software Architecture Models. PhD dissertation.
Langhammer, M.
2019. KIT Scientific Publishing. doi:10.5445/KSP/1000081447 -
Specification Languages for Preserving Consistency between Models of Different Languages. PhD dissertation.
Kramer, M. E.
2019. KIT Scientific Publishing. doi:10.5445/KSP/1000081446
2018
-
Efficient Data Flow Constraint Analysis. master’s thesis.
Kunz, J.
2018, November 6. doi:10.5445/IR/1000122485 -
Komplexe Abbildungen von Formularelementen zur Generierung von aktiven Ontologien. bachelor’s thesis.
Weigelt, D.
2018, January 22. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000080545 -
Multi-model Consistency through Transitive Combination of Binary Transformations. master’s thesis.
Syma, T.
2018. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000104128 -
Eine Sprache für die Spezifikation disziplinübergreifender Änderungsausbreitungsregeln. bachelor’s thesis.
Löper, M.
2018. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000098203 -
Vollständigkeits- und Semantikprüfung für gesprochene Aussagen. bachelor’s thesis.
Hamann, D.
2018. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000096120 -
Adaptives Online-Tuning für kontinuerliche Zustandsräume. master’s thesis.
Kopf, T.
2018. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000091040 -
Performanzabschätzung von parallelen Programmen durch symbolische Ausführung. master’s thesis.
Estelmann, J.
2018. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000090692 -
Ontologie-unterstützte Klassifikation von Software-Anforderungen. master’s thesis.
Chaiko, V.
2018. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000090597 -
Semi-automatische Generierung von Aktiven Ontologien aus Datenbankschemata. master’s thesis.
Angele, K.
2018. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000089247 -
Analyse und Korrektur von Disfluenzen in gesprochener Sprache. bachelor’s thesis.
Hochweiß, R.
2018. doi:10.5445/IR/1000086950 -
Themenextraktion zur Domänenauswahl für Programmierung in natürlicher Sprache. master’s thesis.
Keim, J.
2018. doi:10.5445/IR/1000086946 -
Entwurfsoptimierung von selbst-adaptiven Wartungsmechanismen für software-intensive technische Systeme. PhD dissertation.
Märtin, L.
2018. KIT Scientific Publishing. doi:10.5445/KSP/1000086097 -
Implicit Incremental Model Analyses and Transformations. PhD dissertation.
Hinkel, G.
2018. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000084464 -
Resource-aware Programming in a High-level Language - Improved performance with manageable effort on clustered MPSoCs. PhD dissertation.
Zwinkau, A.
2018. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000083526 -
Adaptation-Aware Architecture Modeling and Analysis of Energy Efficiency for Software Systems. PhD dissertation.
Stier, C.
2018. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000083402 -
Efficiently Conducting Quality-of-Service Analyses by Templating Architectural Knowledge. PhD dissertation.
Lehrig, S. M.
2018. KIT Scientific Publishing. doi:10.5445/KSP/1000079766 -
An Approach for Guiding Developers to Performance and Scalability Solutions. PhD dissertation.
Heger, C.
2018. KIT Scientific Publishing. doi:10.5445/KSP/1000072059 -
Performance Problem Diagnostics by Systematic Experimentation. PhD dissertation.
Wert, A.
2018. KIT Scientific Publishing. doi:10.5445/KSP/1000070006 -
Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment. PhD dissertation.
Omri, F. ben N.
2018. KIT Scientific Publishing. doi:10.5445/KSP/1000051517
2017
-
A Declarative Language for Preserving Consistency of Multiple Models. bachelor’s thesis.
Gleitze, J.
2017, October 19. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000076905 -
Wissensbasierte Identifikation von Wertebereichen einer aktiven Ontologie. bachelor’s thesis.
Makhotsin, Y.
2017, September 8. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000080546 -
Automated Cloud-to-Cloud Migration of Distributed Software Systems for Privacy Compliance. master’s thesis.
Weimann, P.
2017, July 7. doi:10.5445/IR/1000122484 -
A Graphical Approach to Modularization and Layering of Metamodels. bachelor’s thesis.
Kechaou, A.
2017. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000078437 -
Predicting Errors in Concurrent Systems. PhD dissertation.
Carril Rodríguez, L. M.
2017. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000070459 -
Automatic Integration of Ecore Functionality into Java Code. bachelor’s thesis.
Sağlam, T.
2017. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000070341 -
Automated Coevolution of Source Code and Software Architecture Models. PhD dissertation.
Langhammer, M.
2017. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000069366 -
Specification Languages for Preserving Consistency between Models of Different Languages. PhD dissertation.
Kramer, M. E.
2017. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000069284 -
Architekturbasierte Bewertung und Planung von Änderungsanfragen. PhD dissertation.
Stammel, J. J.
2017. KIT Scientific Publishing. doi:10.5445/KSP/1000054452 -
Modeling and Prediction of I/O Performance in Virtualized Environments. PhD dissertation.
Noorshams, O.-Q.
2017. KIT Scientific Publishing. doi:10.5445/KSP/1000046300
2016
-
Designing a Change-Driven Language for Model Consistency Repair Routines. master’s thesis.
Klare, H.
2016. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000080138 -
Argument-Based and Multi-faceted Rating to Support Large-Scale Deliberation. PhD dissertation.
Tanasijevic, S.
2016. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000069126 -
Information Flow Control with System Dependence Graphs - Improving Modularity, Scalability and Precision for Object Oriented Languages. PhD dissertation.
Graf, J.
2016. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000068211 -
Flexible Graphical Editors for Extensible Modular Meta Models. master’s thesis.
Junker, M.
2016. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000066927 -
Lossy Time-Series Transformation Techniques in the Context of the Smart Grid. PhD dissertation.
Efros, P.
2016. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000063749 -
Musterbasierte Parallelisierung sequenzieller Anwendungen$dKonzept und Implementierung eines Verfahrens zur Softwaretransformation. PhD dissertation.
Molitorisz, K.
2016. Vieweg Verlag -
Automatic Synthesis and Verification of Industrial Commissioning Processes. PhD dissertation.
Mrasek, R.
2016. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000056860 -
Eine Architektur für Programmsynthese aus natürlicher Sprache. PhD dissertation.
Landhäußer, M.
2016. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000056776 -
Lazy Evaluation: From natural semantics to a machine-checked compiler transformation. PhD dissertation.
Breitner, J.
2016. KIT Scientific Publishing. doi:10.5445/KSP/1000056002 -
Eine Architektur für Programmsynthese aus natürlicher Sprache. PhD dissertation.
Landhäußer, M.
2016. KIT Scientific Publishing. doi:10.5445/KSP/1000055916 -
Lazy Evaluation: From natural semantics to a machine-checked compiler transformation. PhD dissertation.
Breitner, J.
2016. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000054251 -
Incentive Mechanisms and Quality Assurance for Peer Production. PhD dissertation.
Kühne, C.
2016. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000052545 -
Consolidation of Customized Product Copies into Software Product Lines. PhD dissertation.
Klatt, B.
2016. KIT Scientific Publishing. doi:10.5445/KSP/1000046821 -
Architectural Design Decision Documentation through Reuse of Design Patterns. PhD dissertation.
Durdik, Z.
2016. KIT Scientific Publishing. doi:10.5445/KSP/1000043807
2015
-
Architekturbasierte Bewertung und Planung von Änderungsanfragen. PhD dissertation.
Stammel, J. J.
2015. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000053953 -
Privacy-Enhancing Methods for Time Series and their Impact on Electronic Markets. PhD dissertation.
Kessler, S.
2015. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000052458 -
Security Mechanisms for Workflows in Service-Oriented Architectures. PhD dissertation.
Müller, J.
2015. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000050957 -
Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment. PhD dissertation.
Omri, F. ben N.
2015. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000050941 -
Non-parametric Methods for Correlation Analysis in Multivariate Data with Applications in Data Mining. PhD dissertation.
Nguyen, H. V.
2015. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000049548 -
Performance Isolation in Multi-Tenant Applications. PhD dissertation.
Krebs, R.
2015. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000049479 -
Attribute Relationship Analysis in Outlier Mining and Stream Processing. PhD dissertation.
Keller, F.
2015. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000048790 -
Agentenbasierter Handel auf Spotmärkten am Beispiel eines Energiemarktszenarios. PhD dissertation.
Dietrich, A.
2015. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000048737 -
An Approach for Guiding Developers to Performance and Scalability Solutions. PhD dissertation.
Heger, C.
2015. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000048535 -
Performance Problem Diagnostics by Systematic Experimentation. PhD dissertation.
Wert, A.
2015. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000048516 -
Context Selection on Attributed Graphs for Outlier and Community Detection. PhD dissertation.
Iglesias Sánchez, P.
2015. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000048502 -
Modeling and Prediction of I/O Performance in Virtualized Environments. PhD dissertation.
Noorshams, O.-Q.
2015. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000046750 -
Model Transformation Languages with Modular Information Hiding. PhD dissertation.
Rentschler, A.
2015. KIT Scientific Publishing. doi:10.5445/KSP/1000045910
2014
-
Architectural Design Decision Documentation through Reuse of Design Patterns. PhD dissertation.
Durdik, Z.
2014. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000047427 -
Consolidation of Customized Product Copies into Software Product Lines. PhD dissertation.
Klatt, B.
2014. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000043687 -
Architecture-Level Software Performance Models for Online Performance Prediction. PhD dissertation.
Brosig, F. M. K.
2014. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000043537 -
Flexible Views for View-based Model-driven Development. PhD dissertation.
Burger, E.
2014. KIT Scientific Publishing. doi:10.5445/KSP/1000043437 -
Autonomic Performance-Aware Resource Management in Dynamic IT Service Infrastructures. PhD dissertation.
Huber, N. M.
2014. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000043246 -
RECAA - Werkzeugunterstützung in der Anforderungserhebung. PhD dissertation.
Körner, S. J.
2014. KIT Scientific Publishing. doi:10.5445/KSP/1000039460 -
RECAA - Werkzeugunterstützung in der Anforderungserhebung. PhD dissertation.
Körner, S. J.
2014. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000039087 -
Deriving Goal-oriented Performance Models by Systematic Experimentation. PhD dissertation.
Westermann, D.
2014. KIT Scientific Publishing. doi:10.5445/KSP/1000037926 -
Automated Experiments for Deriving Performance-relevant Properties of Software Execution Environments. PhD dissertation.
Hauck, M.
2014. KIT Scientific Publishing. doi:10.5445/KSP/1000037233
2013
-
Deriving Goal-oriented Performance Models by Systematic Experimentation. PhD dissertation.
Westermann, D. J.
2013. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000037985 -
Automated Experiments for Deriving Performance-relevant Properties of Software Execution Environments. PhD dissertation.
Hauck, M. A.
2013. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000037767 -
Certifying Software Component Performance Specifications. PhD dissertation.
Groenda, H.
2013. KIT Scientific Publishing. doi:10.5445/KSP/1000036063 -
Objektorientierte Stromprogrammierung. PhD dissertation.
Otto, F.
2013. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000035818 -
Configurable Software Performance Completions through Higher-Order Model Transformations. PhD dissertation.
Happe, L.
2013. KIT Scientific Publishing. doi:10.5445/KSP/1000033385 -
Automated Improvement of Software Architecture Models for Performance and Other Quality Attributes. PhD dissertation.
Koziolek, A.
2013. KIT Scientific Publishing. doi:10.5445/KSP/1000032342 -
Modelling Event-Based Interactions in Component-Based Architectures for Quantitative System Evaluation. PhD dissertation.
Rathfelder, C.
2013. KIT Scientific Publishing. doi:10.5445/KSP/1000032232
2012
-
Clustering-Initialized Adaptive Histograms and Probabilistic Cost Estimation for Query Optimization. PhD dissertation.
Khachatryan, A.
2012. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000030422 -
A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler. PhD dissertation.
Lochbihler, A.
2012. KIT Scientific Publishing. doi:10.5445/KSP/1000028867 -
Integrated Software Architecture-Based Reliability Prediction for IT Systems. PhD dissertation.
Brosch, F.
2012. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000028816 -
Slicing of Concurrent Programs and its Application to Information Flow Control. PhD dissertation.
Giffhorn, D.
2012. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000028814 -
Integrated Software Architecture-Based Reliability Prediction for IT Systems. PhD dissertation.
Brosch, F.
2012. KIT Scientific Publishing. doi:10.5445/KSP/1000028288 -
Evolutionäre Analyse von strategischem Verhalten in Sozialen Netzwerken. PhD dissertation.
Hütter, C.
2012. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000026886 -
Advances in Parallel Software Development Methodology for Multicore Systems. habilitation thesis.
Pankratius, V.
2012. Karlsruher Institut für Technologie (KIT) -
Agentengestützte Verkehrssteuerung an Straßenkreuzungen unter Berücksichtigung der Wertschätzung der Fahrer. PhD dissertation.
Schepperle, H.
2012. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000025843 -
Reconstruction of Software Component Architectures and Behaviour Models using Static and Dynamic Analysis. PhD dissertation.
Krogmann, K.
2012. KIT Scientific Publishing. doi:10.5445/KSP/1000025617
2011
-
Configurable Software Performance Completions through Higher-Order Model Transformations. PhD dissertation.
Happe, L.
2011. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000031034 -
Empirische Untersuchung der agilen Softwareentwicklung. PhD dissertation.
Höfer, A.
2011. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000029875 -
Efficient Conversion of Scientific Legacy Documents into Semantic Web Resources using biosystematics as a working example. PhD dissertation.
Sautter, G.
2011. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000025378 -
Automated Improvement of Software Architecture Models for Performance and Other Quality Attributes. PhD dissertation.
Koziolek, A.
2011. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000024955 -
Data-Mining Techniques for Call-Graph-Based Software-Defect Localisation. PhD dissertation.
Eichinger, F.
2011. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000023361 -
Strategisches Verhalten in Systemen mit Interaktions- und Kontaktwahl. PhD dissertation.
Hartmann, B.-O.
2011. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000022866 -
View-based textual modelling. PhD dissertation.
Goldschmidt, T.
2011. KIT Scientific Publishing. doi:10.5445/KSP/1000022234 -
Evaluation of Spatio-Temporal Queries in Sensor Networks. PhD dissertation.
Bestehorn, M.
2011. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000021692 -
From Formal Semantics to Verified Slicing : A Modular Framework with Applications in Language Based Security. PhD dissertation.
Wasserrab, D.
2011. KIT Scientific Publishing. doi:10.5445/KSP/1000020678
2010
-
Quantifying and Predicting the Influence of Execution Platform on Software Component Performance. PhD dissertation.
Kuperberg, M.
2010. KIT Scientific Publishing. doi:10.5445/KSP/1000024301 -
Quantifying and Predicting the Influence of Execution Platform on Software Component Performance. PhD dissertation.
Kuperberg, M.
2010. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000023351 -
Reconstruction of Software Component Architectures and Behaviour Models using Static and Dynamic Analysis. PhD dissertation.
Krogmann, K.
2010. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000022278 -
Automatische Performanzoptimierung paralleler Architekturen. PhD dissertation.
Schaefer, C. A.
2010. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000022219 -
Dynamic Race Detection in Parallel Programs. PhD dissertation.
Jannesari Ladani, A.
2010. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000021292 -
Kollaborative Identifikation von Datenschutzverstößen. PhD dissertation.
Burghardt, T.
2010. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000021291 -
Modellextraktion aus natürlichen Sprachen : eine Methode zur systematischen Erstellung von Domänenmodellen. PhD dissertation.
Gelhausen, T.
2010. KIT Scientific Publishing. doi:10.5445/KSP/1000019366 -
Zuverlässige und effiziente Überwachung von Warenflüssen durch Analyse von RFID-Massendaten. PhD dissertation.
Weiss Ferreira Chaves, L.
2010. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000018376 -
Tool-supported identification of functional concerns in object-oriented code. PhD dissertation.
Trifu, M.
2010. KIT Scientific Publishing. doi:10.5445/KSP/1000016551 -
Realisierung von Softwareproduktlinien durch Komposition von Belangimplementierungen. PhD dissertation.
Kuttruff, V.
2010. KIT Scientific Publishing. doi:10.5445/KSP/1000015695 -
Efficiently Processing Complex Queries in Sensor Networks. PhD dissertation.
Stern, M.
2010. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000015693
2009
-
Zhi# - Programming Language Inherent Support for Ontologies. PhD dissertation.
Paar, A.
2009. Universität Karlsruhe. doi:10.5445/IR/1000019039 -
Individuelle datenbankgestützte Reputationsberechnung in virtuellen Gemeinschaften. PhD dissertation.
Weth, C. von der.
2009. Universität Karlsruhe. doi:10.5445/IR/1000014912 -
Situationsbewusste Informationsdienste für das arbeitsbegleitende Lernen. PhD dissertation.
Schmidt, A.
2009. Universität Karlsruhe. doi:10.5445/IR/1000012939 -
Information flow control for java : a comprehensive approach based on path conditions in dependence Graphs. PhD dissertation.
Hammer, C.
2009. Universitätsverlag Karlsruhe. doi:10.5445/KSP/1000012049 -
Predicting software performance in symmetric multi-core and multiprocessor Environments. PhD dissertation.
Happe, J.
2009. Universitätsverlag Karlsruhe. doi:10.5445/KSP/1000011806
2008
-
Befehlsauswahl auf expliziten Abhängigkeitsgraphen. master’s thesis.
Buchwald, S.; Zwinkau, A.
2008. Karlsruher Institut für Technologie (KIT) -
Methodik zur durchgängigen Entwicklung verteilter Systeme mit Echtzeitbedingungen für Rundrufnetze. PhD dissertation.
Schanne, M.
2008. Universität Karlsruhe. doi:10.5445/IR/1000009735 -
Towards automated restructuring of object oriented systems. PhD dissertation.
Trifu, A. I. A.
2008. Universitätsverlag Karlsruhe. doi:10.5445/KSP/1000009204 -
Parameter dependencies for reusable performance specifications of software components. PhD dissertation.
Koziolek, H.
2008. Universitätsverlag Karlsruhe. doi:10.5445/KSP/1000009096 -
Coupled model transformations for QoS enabled component-based software design. PhD dissertation.
Becker, S.
2008. Universitätsverlag Karlsruhe. doi:10.5445/KSP/1000009095 -
Strategische Analyse von Anreizmechanismen in strukturierten Peer-to-Peer Systemen. PhD dissertation.
Schosser, S.
2008. Universität Karlsruhe. doi:10.5445/IR/1000007997
2007
-
Graphersetzung mit Anwendungen im Übersetzerbau. PhD dissertation.
Geiß, R. R.
2007. Universität Karlsruhe. doi:10.5445/IR/1000009876 -
Cacheoptimierung für Vererbungshierarchien. PhD dissertation.
Lindenmaier, G.
2007. Universität Karlsruhe. doi:10.5445/IR/1000007842 -
Skalierbarkeit von Cluster-Dateisystemen durch Verteilung der Metadaten. PhD dissertation.
Malpohl, G.
2007. Universität Karlsruhe. doi:10.5445/IR/1000007761 -
Suchbasierte Strukturverbesserung objektorientierter Systeme. PhD dissertation.
Seng, O.
2007. Universität Karlsruhe. doi:10.5445/IR/1000007748 -
Possibly imperfect ontologies for effective information retrieval. PhD dissertation.
Nagypál, G.
2007. Universitätsverlag Karlsruhe. doi:10.5445/KSP/1000007206 -
Register allocation for programs in SSA Form. PhD dissertation.
Hack, S.
2007. Universitätsverlag Karlsruhe. doi:10.5445/KSP/1000007166 -
Werkzeuggestützte Identifikation von Strukturproblemen bei modellgetriebener Softwareentwicklung. PhD dissertation.
Andriessens, C.
2007. Monsenstein und Vannerdat
2006
-
Informationserhaltende Sichten und ihre Änderungsoperationen. PhD dissertation.
Bender, P.
2006. Universitätsverlag Karlsruhe. doi:10.5445/KSP/1000004577 -
Automatisierung dienstorientierten Rechnens durch semantische Dienstbeschreibungen. PhD dissertation.
Klein, M.
2006. Universitätsverlag Karlsruhe. doi:10.5445/KSP/1000004386 -
Kooperationsanreize in selbstorganisierenden Informationssystemen. Soziale Kontrolle zwischen autonomen Computereinheiten. PhD dissertation.
Obreiter, P.
2006. Universitätsverlag Karlsruhe. doi:10.5445/KSP/1000004300
2005
-
Codeerzeugung mit Graphersetzung und Lösungsgraphen. PhD dissertation.
Boesler, B.
2005. Shaker Verlag -
Interaktive Wissensgewinnung in parallelen Datenbanksystemen. PhD dissertation.
Gimbel, M.
2005. Logos Verlag Berlin
2004
-
Aspektorientierte Konfiguration und Adaption von Komponenteninteraktionen. PhD dissertation.
Heuzeroth, D.
2004. Herdecke 2004. (Forschen und Wissen - Informatik.) Fak. f. Informatik, Diss. v. 18.11.2003., Universität Karlsruhe -
Single system image servers on top of clusters of PCs. PhD dissertation.
Olaru, V.
2004. Universität Karlsruhe. doi:10.5445/IR/1000003271 -
Clusterfile: a parallel file system for clusters. PhD dissertation.
Isaila, F. D.
2004. Universität Karlsruhe. doi:10.5445/IR/1000001377 -
Opitimierung der Verarbeitung von Dokumenten. PhD dissertation.
Noga, M. L.
2004. Monsenstein u. Vannerdat
2003
-
Entscheidungsfindung mit unscharfen Mengen. PhD dissertation.
Wagner, U.
2003. Aachen 2003. (Berichte aus der Informatik.) Fak. f. Informatik, Diss. v. 8.5.2003., Universität Karlsruhe -
Verteilte Informationssysteme mit unvollkommenen Daten für die Unterstützung von Verbraucherentscheidungen. PhD dissertation.
Lukacs, G.
2003. Berlin 2003. Fak. f. Informatik, Diss. v. 12.12.2002., Universität Karlsruhe -
Thesaurusföderationen: Ein Rahmenwerk für die flexible Integration von heterogenen, autonomen Thesauri [online]. PhD dissertation.
Nikolai, R.
2003. Fak. f. Informatik, Diss. v. 19.12.2002., Universität Karlsruhe. doi:10.5445/IR/4562003 -
Benutzerprofile für die Anfrageverarbeitung in verteilten Digitalen Bibliotheken [online]. PhD dissertation.
Schmitt, B.
2003. Fak. f. Informatik, Diss. v. 9.7.2003., Universität Karlsruhe. doi:10.5445/IR/4552003
2002
-
Hierarchische kompositionale Synthese von Steuerungen für reaktive Systeme. PhD dissertation.
Melcher, H.
2002. Aachen 2002. (Berichte aus der Informatik.) Fak. f. Informatik, Diss. v. 14.2.2001., Universität Karlsruhe -
Hard real-time garbage collection in modern object oriented programming languages. PhD dissertation.
Siebert, F.
2002. Karlsruhe 2002. Fak. f. Informatik, Diss. v. 9.7.2001., Universität Karlsruhe -
Ein iteratives Information Retrieval Verfahren mit automatischer Suchmechanismenauswahl. PhD dissertation.
Rolker, C.
2002. Berlin 2002. Fak. f. Informatik, Diss. v. 23.10.2001., Universität Karlsruhe -
Automatische Transformation großer Softwaresysteme. PhD dissertation.
Ludwig, A.
2002. Aachen 2002. (Berichte aus der Softwaretechnik.) Fak. f. Informatik, Diss. v. 28.11.2002., Universität Karlsruhe -
Revisionsmodell und erweitertes Demarkationsprotokoll für die arbeitsteilige Produktentwicklung [online]. PhD dissertation.
Posselt, D.
2002. Fak. f. Informatik, Diss. v. 19.12.2002., Universität Karlsruhe. doi:10.5445/IR/9632002 -
Architektur von Fuzzy-Informationssystemen zur Repräsentation und Verarbeitung unscharfer Daten [online]. PhD dissertation.
Witte, R.
2002. Fak. f. Informatik, Diss. v. 15.7.2002., Universität Karlsruhe. doi:10.5445/IR/3222002
2001
-
Experimentelle Bewertung der Auswirkungen von Entwurfsmustern. PhD dissertation.
Unger-Lamprecht, B.
2001. Münster 2001. Fak. f. Informatik, Diss. v. 16.11.2000., Universität Karlsruhe -
Optimierung objektorientierter Programme. Übersetzungstechniken, Analysen und Transformationen. PhD dissertation.
Trapp, M.
2001. Berlin 2001. (Xpert.press.) Fak. f. Informatik, Diss. v. 22.12.1999., Universität Karlsruhe -
Konfliktvermeidende Speicherabbildung durch zyklische Graphfärbung. PhD dissertation.
Genius, D.
2001. Aachen 2001. (Berichte aus der Informatik.) Fak. f. Informatik, Diss. v. 17.1.2000., Universität Karlsruhe -
Gestaltungsrahmen zur Workflowunterstützung umfeldinduzierter Ausnahmesituationen in robusten Unternehmen. PhD dissertation.
Kuhn, E.
2001. Berlin 2001. (Dissertationen zu Datenbanken und Informationssystemen. 78.) Fak. f. Informatik, Diss. v. 28.5.2001., Universität Karlsruhe -
Vermeidung spezialisierungsbedingter Probleme in objektorientierten Systemen. PhD dissertation.
Neumann, R.
2001. Aachen 2001. (Berichte aus der Informatik.) Fak. f. Informatik, Diss. v. 17.11.2000., Universität Karlsruhe -
Vorhersage des Cache-Verhaltens für optimierende Übersetzer. PhD dissertation.
Hopp, H.
2001. Münster 2001. Fak. f. Informatik, Diss. v. 9.2.2001., Universität Karlsruhe -
Technische Konzeption von Wandlern für den elektronischen Handel von Dokumenten. PhD dissertation.
Pulkowski, S.
2001. Münster 2001. Fak. f. Informatik, Diss. v. 25.1.2001., Universität Karlsruhe -
Transactional agents. Towards a robust multi-agent system. PhD dissertation.
Nagi, K.
2001. Berlin 2001. (Lecture notes in computer science. 2249.) Fak. f. Informatik, Diss. v. 6.7.2001., Universität Karlsruhe -
Schlieáen mit unscharfen Begriffen [online]. PhD dissertation.
Spott, M.
2001. Fak. f. Informatik, Diss. v. 23.11.2000., Universität Karlsruhe. doi:10.5445/IR/4352001
2000
-
Scalable search in computer chess. Algorithmic enhancements and experiments at high search dephts. PhD dissertation.
Heinz, E. A.
2000. Braunschweig 2000. (Computational intelligence.) Fak. f. Informatik, Diss. v. 5.7.1999., Universität Karlsruhe -
Korrekte Transformationsphase - der Kern korrekter Übersetzer [online]. PhD dissertation.
Heberle, A.
2000. Fak. f. Informatik, Diss. v. 4.2.2000., Universität Karlsruhe. doi:10.5445/IR/2182000 -
Latenzzeitverbergung in datenparallelen Sprachen = [Latency Hiding in Dataparallel Languages]. PhD dissertation.
Müller, M. M.
2000. Universität Karlsruhe. doi:10.5445/IR/1182000
1999
-
Temporale Realzeitverifikation. PhD dissertation.
Loetzbeyer, A.
1999. Berlin 1999. Fak. f. Informatik, Diss. v. 11.2.1999., Universität Karlsruhe -
Natürliche Semantik für imperative und objektorientierte Programmiersprachen. PhD dissertation.
Glesner, S.
1999. Aachen 1999. (Berichte aus der Informatik.) Fak. f. Informatik, Diss. v. 1.2.1999., Universität Karlsruhe -
Effiziente Anfragebearbeitung im Wissensgewinnungsprozeß. PhD dissertation.
Schloesser, J. A.
1999. Aachen 1999. (Berichte aus der Informatik.) Fak. f. Informatik, Diss. v. 20.4.1999., Universität Karlsruhe -
Ein Verfahren zur semi-automatischen Generierung von Mediatorspezifikationen. PhD dissertation.
Koenig-Ries, B.
1999. Sankt Augustin 1999. (Dissertationen zu Datenbanken und Informationssystemen. 55.) Fak. f. Informatik, Diss. v. 12.2.1999., Universität Karlsruhe -
Optimierung von SIMD-Programmen auf verteilten Systemen. PhD dissertation.
Eisenbiegler, J.
1999. Berlin 1999. Fak. f. Informatik, Diss. v. 9.12.1998., Universität Karlsruhe -
Aspektorientierte Komponentensysteme zur Unterstützung weitreichender Geschäftsprozesse [online]. PhD dissertation.
Schmidt, R.
1999. Fak. f. Informatik, Diss. v. 16.12.1999., Universität Karlsruhe. doi:10.5445/IR/91999 -
Automatische Einstellung des Parallelitätsgrades von Programmen = [Automatic Tuning of the Degree of Parallelism of Programs]. PhD dissertation.
Werner-Kytölä, O.
1999. Universität Karlsruhe. doi:10.5445/IR/56099 -
Opto-elektronische Prozessor-Speicher Koppelung in Multiprozessoren = [Opto-Electronic Processor-Memory Interconnects in Multiprocessors] / Paul Lukowicz. PhD dissertation.
Lukowicz, P.
1999. Universität Karlsruhe. doi:10.5445/IR/41699 -
Ereignisgetriebene CORBA-Dienste für heterogene, verteilte Informationssysteme [online]. PhD dissertation.
Koschel, A.
1999. Fak. f. Informatik, Diss. v. 1.7.1999., Universität Karlsruhe. doi:10.5445/IR/41399
1998
-
Effiziente Kommunikation in Parallelrechnerarchitekturen. PhD dissertation.
Warschko, T.
1998. VDI Verlag -
Visualisierung von Programmabläufen. PhD dissertation.
Frick, A.
1998. Düsseldorf 1998. (Fortschritt-Berichte VDI. Reihe 10, Nr.561.) Fak. f. Informatik, Diss. v. 30.1.1998., Universität Karlsruhe -
Das Netz als universelle Relation: Ein Modell für die integrierte Nutzung von Diensten im Netz. PhD dissertation.
Reck, C. B.
1998. Düsseldorf 1998. (Fortschritt-Berichte VDI. Reihe 10, Nr.528.) Fak. f. Informatik, Diss. v. 15.12.1997., Universität Karlsruhe -
Ein Informationsmodell für Ableitungsprozesse und ihre Ergebnisse im Wissensgewinnungsprozeß. PhD dissertation.
Breitner, C. A.
1998. Sankt Augustin 1998. (Dissertationen zu Datenbanken und Informationssystemen. 41.) Fak. f. Informatik, Diss. v. 19.12.1997., Universität Karlsruhe -
Effiziente parallele Ausführung irregulärer rekursiver Programme = [Parallelizing Recursive Programs]. PhD dissertation.
Hänßgen, S. U.
1998. Universität Karlsruhe. doi:10.5445/IR/59198
1997
-
Übersetzungsmethoden für strukturprogrammierbare Rechner. PhD dissertation.
Weinhardt, M.
1997. Berlin 1997. Fak. f. Informatik, Diss. v. 1.7.1997., Universität Karlsruhe -
Optimierung paralleler Programme. PhD dissertation.
Loewe, W.
1997. Aachen 1997. (Berichte aus der Informatik.) Fak. f. Informatik, Diss. v. 29.5.1996., Universität Karlsruhe -
Überladung in Typsystemen. PhD dissertation.
Wehr, M.
1997. Fak. f. Informatik, Diss. v. 31.10.1997., Universität Karlsruhe -
Inkrementelle, domänenunabhängige Thesauruserstellung in dokumentbasierten Informationssystemen durch Kombination von Konstruktionsverfahren. PhD dissertation.
Viegener, J.
1997. Sankt Augustin 1997. (Dissertationen zu Datenbanken und Informationssystemen. 28.) Fak. f. Informatik, Diss. v. 30.1.1997., Universität Karlsruhe -
Comparing reduction strategies in resource-conscious lambda calculi. PhD dissertation.
Maraist, J.
1997. Fak. f. Informatik, Diss. v. 24.10.1996., Universität Karlsruhe -
Dynamische Regelmengen zur Beschreibung von Entwurfsspielräumen. PhD dissertation.
Sturm, R.
1997. Düsseldorf 1997. (Fortschritt-Berichte VDI. Reihe 10, Nr.495.) Fak. f. Informatik, Diss. v. 19.12.1996., Universität Karlsruhe -
Typsichere Objektbankmigration. PhD dissertation.
Zachmann, A.
1997. Sankt Augustin 1997. (Dissertationen zu Datenbanken und Informationssystemen. 26.) Fak. f. Informatik, Diss. v. 13.2.1997., Universität Karlsruhe -
Analyse und Transformation kontrollfluáparalleler Programme. PhD dissertation.
Vollmer, J.
1997. Fak. f. Informatik, Diss. v. 7.5.1996., Universität Karlsruhe. doi:10.5445/IR/66997
1996
-
Konsistenzbasierte Handlungsplanung. PhD dissertation.
Mueller, H.
1996. Sankt Augustin 1996. (DISKI. Dissertationen zur Künstlichen Intelligenz. 110.) Fak. f. Informatik, Diss. v. 18.7.1995., Universität Karlsruhe -
Generierung von Programmoptimierungen mit Graphersetzungssystemen. PhD dissertation.
Assmann, U.
1996. München 1996. (GMD-Bericht. 262.) Fak. f. Informatik, Diss. v. 17.7.1995., Universität Karlsruhe -
Unterstützung anwendungsspezifischer Zugriffsprofile in Objektbanksystemen. PhD dissertation.
Kilger, C.
1996. Sankt Augustin 1996. (DISDBIS. Dissertationen zu Datenbanken und Informationssystemen. 3.) Fak. f. Informatik, Diss. v. 20.7.1995., Universität Karlsruhe -
Emulation eines PRAM Shared Memory Modells mit Triton/1. PhD dissertation.
Herter, C. G.
1996. Düsseldorf 1996. (Fortschritt-Berichte VDI. Reihe 10, Nr.406.) Fak. f. Informatik, Diss. v. 28.6.1995., Universität Karlsruhe -
Effiziente Konsistenzprüfung in Datenbanksystemen. PhD dissertation.
Herzog, U.
1996. Sankt Augustin 1996. (DISDBIS. Dissertationen zu Datenbanken und Informationssystemen. 15.) Fak. f. Informatik, Diss. v. 9.5.1996., Universität Karlsruhe -
Dynamische Beziehungen als Modell der Kooperation in verteilten Objektsystemen. PhD dissertation.
Walter, H.-D.
1996. Sankt Augustin 1996. (DISDBIS. Dissertationen zu Datenbanken und Informationssystemen. 10.) Fak. f. Informatik, Diss. v. 8.2.1996., Universität Karlsruhe -
Akzeptanz von Netzdiensten und Netzanwendungen. Entwicklung eines Instruments zur permanenten Akzeptanzkontrolle. PhD dissertation.
Filipp, H.
1996. Fak. f. Informatik, Diss. v. 14.2.1996., Universität Karlsruhe -
Unscharfes Schließen. PhD dissertation.
Weisbrod, J.
1996. Sankt Augustin 1996. (DISKI. Dissertationen zur Künstlichen Intelligenz. 117.) Fak. f. Informatik, Diss. v. 22.11.1995., Universität Karlsruhe
1995
-
Konstruktive neuronale Lernverfahren auf Parallelrechnern. PhD dissertation.
Prechelt, L.
1995. Düsseldorf 1995. (Fortschritt-Berichte VDI. Reihe 10, Nr.367.) Fak. f. Informatik, Diss. v. 15.2.1995., Universität Karlsruhe -
Effiziente Verfahren zur Befehlsanordnung. PhD dissertation.
Mueller, T.
1995. Fak. f. Informatik, Diss. v. 13.6.1995., Universität Karlsruhe -
Ein objektbasiertes Rollenmodell für situationsbedingtes Verhalten. PhD dissertation.
Lang, S. M.
1995. Düsseldorf 1995. (Fortschritt-Berichte VDI. Reihe 20, Nr.177.) Fak. f. Informatik, Diss. v. 19.6.1995., Universität Karlsruhe
1994
-
Validierung konzeptueller Schemata. PhD dissertation.
Neufeld, A.
1994. Sankt Augustin 1994. (DISKI. Dissertationen zur künstlichen Intelligenz. 56.) Fak. f. Informatik, Diss. v. 20.12.1993., Universität Karlsruhe -
Schemaübersetzung durch optimierende Kombination partiell anwendbarer elementarer Transformationsverfahren. PhD dissertation.
Runge, N.
1994. Aachen 1994. (Berichte aus der Informatik.) Fak. f. Informatik, Diss. v. 5.5.1993., Universität Karlsruhe -
Entwicklung ingenieurwissenschaftlicher Datenbankanwendungen. Ein objektorientiertes Datenmodell. PhD dissertation.
Wallrath, M.
1994. Berlin 1994. (FZI-Berichte Informatik.) Fak. f. Informatik, Diss. v. 18.12.1991., Universität Karlsruhe -
Koordinationsmechanismen für Teamarbeit - Modellbildung und Datenbank-Unterstützung. PhD dissertation.
Dürr, M.
1994. Düsseldorf 1994. (Fortschrittberichte VDI. Reihe 10, Nr. 296.) Fak. f. Informatik, Diss. v. 8.2.1994., Universität Karlsruhe -
Codeselektion mit regulär gesteuerter Termersetzung. PhD dissertation.
Emmelmann, H.
1994. München 1994. (GMD-Bericht. 241.) Fak. f. Informatik, Diss. v. 6.7.1994., Universität Karlsruhe -
Optimierungstechniken zur Übersetzung paralleler Programmiersprachen. PhD dissertation.
Philippsen, M.
1994. Düsseldorf 1994. (Fortschritt-Berichte VDI. Reihe 10, Nr.292.) Fak. f. Informatik, Diss. v. 23.11.1993., Universität Karlsruhe
1993
-
The design of an extendible graph editor. PhD dissertation.
Paulisch, F. N.
1993. Berlin 1993. (Lecture notes in computer science. 704.) Fak. f. Informatik, Diss. v. 7.5.1991., Universität Karlsruhe -
Ein Konzept zur Unterstuetzung der Wartung von Expertensystemen. PhD dissertation.
Eckert, H.
1993. Fak. f. Informatik, Diss. v. 18.6.1993., Universität Karlsruhe -
Komplexe Objekte und Anfragen in der Programmierung. PhD dissertation.
Rehm, S.
1993. Wiesbaden 1993. (DUV: Informatik.) Fak. f. Informatik, Diss. v. 1.7.1992., Universität Karlsruhe
1992
-
Wissensrepraesentation und -akquisition in einem natuerlichsprachlichen Software-Informationssystem. PhD dissertation.
Adams, R.
1992. Fak. f. Informatik, Diss. v. 29.10.1992., Universität Karlsruhe -
Spezifikation und Verifikation von Optimierungsalgorithmen fuer imperative Programme. PhD dissertation.
Kock, G.
1992. Muenchen 1992. (GMD-Bericht. 201.) Fak. f. Informatik, Diss. v. 4.12.1991., Universität Karlsruhe -
Steuerung der Anfragebearbeitung in parallelen Datenbanksystemen. PhD dissertation.
Kramer, R.
1992. Karlsruhe: FZI 1992. Fak. f. Informatik, Diss. v. 21.12.1992., Universität Karlsruhe
1991
-
SQL-Anfragen. Optimierung fuer parallele Bearbeitung. PhD dissertation.
Bueltzingsloewen, G. von.
1991. Berlin 1991. (FZI-Berichte Informatik.) Fak. f. Informatik, Diss. v. 18.7.1990. [ueberarb. Fassung], Universität Karlsruhe -
Ein tableaubasierter Theorembeweiser fuer die intuitionistische Logik. PhD dissertation.
Bittel, O.
1991. Muenchen 1991. (GMD-Bericht. Nr. 198.) Fak. f. Informatik, Diss. v. 3.7.1991., Universität Karlsruhe -
Graphikunterstuetzung fuer den Datenbankentwurf mit freidefinierten Modellierungskonzepten. PhD dissertation.
Radermacher, K.
1991. Fak. f. Informatik, Diss. v. 9.7.1991., Universität Karlsruhe -
A meta-calculus for formal system development. PhD dissertation.
Weber, M.
1991. Muenchen 1991. (GMD-Bericht. 195.) Fak. f. Informatik, Diss. v. 19.12.1990., Universität Karlsruhe
1990
-
Automatische Komplexitaetsanalyse funktionaler Programme. PhD dissertation.
Zimmermann, W.
1990. Berlin 1990. (Informatik-Fachberichte. 261.) Fak. f. Informatik, Diss. v. 27.6.1990., Universität Karlsruhe -
Inkonsistenzen in deduktiven Datenbanken. PhD dissertation.
Moerkotte, G.
1990. Berlin 1990. (Informatik-Fachberichte. 248.) Fak. f. Informatik, Diss. v. 14.7.1989 u.d.T.: Diagnose und Reparatur von Konsistenzverletzungen in deduktiven Datenbanken., Universität Karlsruhe
1989
-
Die Modellierung von CAD-Datenbankanwendungen mittels abstrakter Datentypen. PhD dissertation.
Lueke, B.
1989. Duesseldorf 1989. (Fortschritt-Berichte VDI. Reihe 20, Nr. 14.) Fak. f. Informatik, Diss. v. 20.5.1988., Universität Karlsruhe -
Database recovery in the design environment: requirements analysis and performance evaluation. PhD dissertation.
Iochpe, C.
1989. Fak. f. Informatik, Diss. v. 12.12.1989., Universität Karlsruhe -
Datenbankgestuetzte Repraesentation und Extraktion von Episodenbeschreibungen aus Bildfolgen. PhD dissertation.
Walter, I.
1989. Berlin 1989. (Informatik-Fachberichte. 213.) und Fak. f. Informatik, Diss. v. 10.2.1989., Universität Karlsruhe
1986
| Bearbeiter | Titel | Typ |
|---|---|---|
| Sven Scheu | Aufbereitung von Spracherkennerausgaben | Masterarbeit |
| Christopher Kaag | Statische Extraktion von Laufzeit-Indikatoren | master thesis |
| Bearbeiter | Titel | Typ |
|---|---|---|
| Chris Hiatt | Dynamisches Autotuning mehrerer nominaler Parameter | Masterarbeit |
| Yauhen Makhotsin | Wissensbasierte Identifikation von Wertebereichen einer aktiven Ontologie | Bachelorarbeit |
| Thomas Mayer | Extraktion und Konsolidierung von Webformularen zur Erzeugung von aktiven Ontologien | Bachelorarbeit |
| Kay Schmitteckert | Semi-automatische Generierung von aktiven Ontologien aus Webformularen | Bachelorarbeit |
| Autor | Titel | Typ |
|---|---|---|
| Alexander Baier | Automatic Loop Partitioning for Heterogeneous Systems | Bachelorarbeit |
| Kaspar Wulf | Benchmarksuite für APHES | Bachelorarbeit |
| Tizian Hoffmann | Disambiguierung gesprochener Sprache | Bachelorarbeit |
| Sigmar Walter | Intelligente Algorithmenwahl durch Optimierung nomineller Parameter | Bachelorarbeit |
| Vanessa Steurer | Strukturerkennung von Bedingungen in gesprochener Sprache | Bachelorarbeit |
| Wasim Said | Abbildung von Webformularen auf aktive Ontologien | Masterarbeit |
| Martin Rombach | Ausführungsplanung von Tasks auf GPUs | Masterarbeit |
| Christopher Guckes | Autotuning und Heterogenisierung der parallelen GNU C++ Standardbibliothek | Masterarbeit |
| Viktor Kiesel | Optimieren von POS-Tagger-Ergebnissen | Studienarbeit, Bachelorarbeit |
| Autor | Titel | Typ |
|---|---|---|
| Michael Mirold (Universität des Saarlandes) | An Experimentation Laboratory for the Automatic Parallelization of Programs written in the R Language (ALCHEMY) | Masterarbeit |
| Andreas Johannes Wilhelm (Universität Passau) | Analyse des Parallelisierungspotentials sequenzieller Programme durch Kombination von statischer und dynamischer Analyse | Bachelorarbeit |
| Oliver Nalbach (Universität des Saarlandes) | Parallelisierung von Reinforcement Learning zur optimalen Steuerung von Softwareprojekten | Bachelorarbeit |
| Autor | Titel | Typ | Betreuer |
|---|---|---|---|
| Mathias Landhäußer | Automatische Auszeichnung von semantischer Information in textuellen Spezifikationen | Diplomarbeit | Dr. Sven J. Körner |
| Florian Salah El Din | Bewertung und Optimierung von Anforderungsprozessen und Neueinführung eines Anforderungsverwaltungssystems | Studienarbeit | Dr. Sven J. Körner |
| Emin Bugra Derre | Rückkopplung von Softwaremodelländerungen in textuelle Spezifikationen | Diplomarbeit | Dr. Sven J. Körner |
| Title | Subject | Supervisor | Person in Charge |
|---|---|---|---|
| Rechnergestützte Verbesserung von textbasierten Softwarespezikationen mit Hilfe von Ontologien | Dr. Sven J. Körner |
Torben Brumm |
| Title | Subject | Supervisor | Person in Charge |
|---|---|---|---|
| OpenProposal: Bewerten und Diskutieren von Benutzer-Anforderungen in Softwareprojekten | David Meder | ||
| Rollenmodelle für die Zugriffskontrolle in Unternehmen | Korbinian Molitorisz | ||
| Automatische Erzeugung von Prüflisten zur spezifikationsbezogenen Beurteilung der Vollständigkeit von UML-Modellen | Dr. Ing. Tom Gelhausen |
Mathias Landhäußer | |
| Erstellung eines Systems thematischer Rollen mit Hilfe einer multiplen Fallstudie | Dipl.-Ing. Tom Gelhausen |
Torben Brumm | |
| Graphenersetzungssysteme als Werkzeuge für UML Modelltransformationen | Dr. Ing. Tom Gelhausen |
Bugra Derre | |
| Parallelisierung von Graphenersetzungs-Systemen | Dr. rer. nat. Christoph A. Schaefer |
Jochen Schimmel |
| Autor | Titel | Typ |
|---|---|---|
| Frank Otto | Analyse von Java-Programmen auf Synchronisierungsfehler | Diplomarbeit |
| Wolfgang Schnerring | Testen von verteilten Systemen in heterogenen Netzwerken mit virtuellen Maschinen am Beispiel von MPI | Diplomarbeit |
| Oliver Denninger | Erweiterung des Kantenkonzepts dekorativer Graphensetzungssysteme von Einfachkanten über Hyperkanten zu "Superkanten" | Diplomarbeit |
| Autor | Titel | Typ |
|---|---|---|
| Christoph A. Schaefer | Entwurf und Bewertung einer Information-Retrieval-Erweiterung für Problem-Lösungs-Datenbanken | Diplomarbeit |
| Autor | Titel | Typ |
|---|---|---|
| Ali Jannesari | Analysis of Agile Software Development Methods for Embedded Systems | Diplomarbeit |
| Autor | Titel | Typ |
|---|---|---|
| Florian Hecht | Eine Formularerweiterung für XSL-FO | Studienarbeit |
| Autor | Titel | Typ |
|---|---|---|
| Tom Gelhausen | X2S - XPath query processing for relational databases | Diplomarbeit |
| Autor | Titel | Typ |
|---|---|---|
| Tom Gelhausen | Topic Maps und ihre Anwendbarkeit im webbasierten Lern- und Autorensystem Companion | Studienarbeit |
| Autor | Titel | Typ |
|---|---|---|
| Bewertung zweier Ansätze zur verteilten Revisionskontrolle über das Internet |
| Autor | Titel | Typ |
|---|---|---|
| Jürgen Reuter | Verteilte Revisionskontrolle über das World Wide Web | Studienarbeit |