Bearbeiter | Titel | Typ |
---|---|---|
Niklas Ewald | Identifikation von Rückverfolgbarkeitsverbindungen zwischen Anforderungen mittels Sprachmodellen | Bachelorarbeit |
Gilbert Groten | Automatisches Auflösen von Abkürzungen in Quelltext | Masterarbeit |
Bearbeiter | Titel | Typ |
---|---|---|
Fei Chen | Anforderungen-zu-Quelltextrückverfolgbarkeit mittels Wort- und Quelltexteinbettungen | Masterarbeit |
Timo Januschke | Bestimmung der semantischen Funktion von Quelltextabschnitten | Bachelorarbeit |
Felix Eurich | Entwurf und Aufbau einer semantischen Repräsentation von Quelltext | Masterarbeit |
Thomas Bartel | Multiwort-Bedeutungsauflösung für Anforderungen | Bachelorarbeit |
Tobias Telge | Worteinbettungen für die Anforderungsdomäne | Bachelorarbeit |
Bearbeiter | Titel | Typ |
---|---|---|
Martin Wittlinger | Erkennung von semantisch zusammenhängenden Quelltextabschnitten anhand von Komponententests | Bachelorarbeit |
Dana Tomova | Bestimmung der semantischen Funktion von Sätzen in Anforderungsbeschreibungen | Bachelorarbeit |
Maximilian Wessendorf | Aufbau und Konsolidierung einer Konzepthierarchie für Anforderungsbeschreibungen aus unterschiedlichen Wissensquellen | Bachelorarbeit |
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 |
---|---|---|
Martin Rombach | Ausführungsplanung von Tasks auf GPUs | Masterarbeit |
Kaspar Wulf | Benchmarksuite für APHES | Bachelorarbeit |
Christopher Guckes | Autotuning und Heterogenisierung der parallelen GNU C++ Standardbibliothek | Masterarbeit |
Sigmar Walter | Intelligente Algorithmenwahl durch Optimierung nomineller Parameter | Bachelorarbeit |
Wasim Said | Abbildung von Webformularen auf aktive Ontologien | Masterarbeit |
Tizian Hoffmann | Disambiguierung gesprochener Sprache | Bachelorarbeit |
Viktor Kiesel | Optimieren von POS-Tagger-Ergebnissen | Studienarbeit, Bachelorarbeit |
Vanessa Steurer | Strukturerkennung von Bedingungen in gesprochener Sprache | Bachelorarbeit |
Alexander Baier | Automatic Loop Partitioning for Heterogeneous Systems | 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 |
Abgeschlossene Arbeiten
2024
-
Bidirectional Charging Systems and Battery Lifetime Modeling for Vehicle-to-Grid Applications. PhD dissertation
Luh, M.
2024, September 27. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000174456 -
Quantifying and Interpreting Uncertainty in Time Series Forecasting. PhD dissertation
Phipps, K.
2024, June 3. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000171223 -
Elicitation and Classification of Security Requirements for EVerest. master’s thesis
Marettek, D. M.
2024, May 13. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000171735 -
Aktives Dialogmanagement für eine natürlichsprachliche Benutzerschnittstelle. PhD dissertation
Wachtel, A.
2024, April 9. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000169813
2023
-
Using Large Language Models To Analyze Software Architecture Documentation. bachelor’s thesis
Schöppner, R.
2023, September 29. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000165891 -
Automatische Wiederherstellung von Nachverfolgbarkeit zwischen Anforderungen und Quelltext. PhD dissertation
Hey, T.
2023, September 25. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000162446 -
An Extensible Theorem Proving Frontend. PhD dissertation
Ullrich, S. A.
2023, July 31. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000161074 -
Trading Indistinguishability-based Privacy and Utility of Complex Data. PhD dissertation
Schäler, C.
2023, June 12. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000159005 -
Continuous Integration of Performance Models for Lua-Based Sensor Applications. master’s thesis
Burgey, L.
2023, April 14. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000166032 -
Hierarchical Classification of Design Decisions using pre-trained Language Models. master’s thesis
Speit, J.
2023, February 15. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000157373 -
Systematic Approaches to Advanced Information Flow Analysis – and Applications to Software Security. PhD dissertation
Mohr, M.
2023. KIT Scientific Publishing. doi:10.5445/KSP/1000155035
2022
-
Systematic Approaches to Advanced Information Flow Analysis – and Applications to Software Security. PhD dissertation
Mohr, M.
2022, June 30. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000146346 -
Ontology-based corner case scenario simulation for autonomous driving. bachelor’s thesis
Guneshka, S.
2022, March 1. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000144811 -
Modellierung und Simulation von dynamischen Container-basierten Software-Architekturen in Palladio. bachelor’s thesis
Hagel, N.
2022. Karlsruher Institut für Technologie (KIT) -
Wissensanreicherung von Begriffen im Quelltext. bachelor’s thesis
Jungkind, D.
2022. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000162453 -
Vergleich verschiedener Sprachmodelle für den Einsatz in automatisierter Rückverfolgbarkeitsanalyse. bachelor’s thesis
Lachenicht, T. N.
2022. doi:10.5445/IR/1000162452 -
Building Transformation Networks for Consistent Evolution of Interrelated Models. PhD dissertation
Klare, H.
2022. KIT Scientific Publishing. doi:10.5445/KSP/1000138566 -
Eine agentenbasierte Architektur für Programmierung mit gesprochener Sprache. PhD dissertation
Weigelt, S.
2022. KIT Scientific Publishing. doi:10.5445/KSP/1000138530
2021
-
Querying and Efficiently Searching Large, Temporal Text Corpora. PhD dissertation
Willkomm, J.
2021, November 4. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000139262 -
Commit-Based Continuous Integration of Performance Models. master’s thesis
Armbruster, M.
2021, September 14. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000154588 -
Cost-Quality Trade-Offs in One-Class Active Learning. PhD dissertation
Englhardt, A.
2021, August 10. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000136208 -
Eine agentenbasierte Architektur für Programmierung mit gesprochener Sprache. PhD dissertation
Weigelt, S.
2021, July 20. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000135414 -
Comprehensible and Robust Knowledge Discovery from Small Datasets. PhD dissertation
Arzamasov, V.
2021, July 2. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000134366 -
Building Transformation Networks for Consistent Evolution of Interrelated Models. PhD dissertation
Klare, H.
2021, June 9. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000133724 -
QoS-Based Optimization of Runtime Management of Sensing Cloud Applications. PhD dissertation
Gotin, M.
2021, June 2. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000133328 -
Three-Way Analysis for a Better Understanding of Word Embedding Models. PhD dissertation
Elekes, Á.
2021, May 17. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000132472 -
Enabling the Information Transfer between Architecture and Source Code for Security Analysis. bachelor’s thesis
Häring, J.
2021. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000142571 -
Architectural Uncertainty Analysis for Access Control Scenarios in Industry 4.0. master’s thesis
Boltz, N.
2021. doi:10.5445/IR/1000135847 -
Implicit Incremental Model Analyses and Transformations. PhD dissertation
Hinkel, G.
2021. KIT Scientific Publishing. doi:10.5445/KSP/1000080522
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 -
Automatic Context-Based Policy Generation from Usage- and Misusage-Diagrams. master’s thesis
Lieb, T.
2020, December 14. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000129945 -
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 -
Enabling Consistency between Software Artefacts for Software Adaption and Evolution. master’s thesis
Monschein, D.
2020, October 4. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000166031 -
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 -
Anforderung-zu-Quelltextrückverfolgbarkeit mittels Wort- und Quelltexteinbettungen. master’s thesis
Chen, F.
2020, September. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000173305 -
Bestimmung der semantischen Funktion von Quelltextabschnitten. bachelor’s thesis
Januschke, T.
2020, September. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000173288 -
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 -
Entwurf und Aufbau einer semantischen Repräsentation von Quelltext. master’s thesis
Eurich, F.
2020. doi:10.5445/IR/1000123705 -
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 -
Parametrisierung der Spezifikation von Qualitätsannotationen in Software-Architekturmodellen. master’s thesis
Schneider, Y.
2018, September 30. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000143435 -
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 -
Modularization Approaches in the Context of Monolithic Simulations. master’s thesis
Reiche, F.
2018. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000131811 -
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 -
Automatische Vorhersage von Änderungsausbreitungen am Beispiel von Automatisierungssystemen. master’s thesis
Koch, S.
2017, April 28. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000140093 -
Online Neural Network-based Language Identification. master’s thesis
Draper, D. H.
2017. Karlsruher Institut für Technologie (KIT) -
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
-
Inkrementelle Aktualisierungstechniken für Modelle und ihre Datenbankrepräsentation. bachelor’s thesis
Hahner, S.
2016, October 31. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000140048 -
Consistency Preservation in the Development Process of Automotive Software. master’s thesis
Mazkatli, M.
2016, June 30. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000143392 -
Modellierung der Struktureigenschaften von Subsystemen bei architekturellen Entwurfsentscheidungen in komponentenbasierten Systemen. bachelor’s thesis
Schneider, Y.
2016, May 11. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000143436 -
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
-
Identifikation problematischer Substantivierungen in natürlichsprachigen Anforderungsdokumenten. bachelor’s thesis
Keim, J.
2015, March 16. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000142183 -
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
-
Workload Characterization for I/O Performance Analysis on IBM SYSTEM Z. master’s thesis
Busch, A.
2013. Karlsruher Institut für Technologie (KIT) -
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
-
Performance Assessment of State-of-the-Art Computing Servers for Scientific Applications. bachelor’s thesis
Busch, A.
2009. Hochschule Kaiserslautern -
Zhi# - Programming Language Inherent Support for Ontologies. PhD dissertation
Paar, A.
2009. Universität Karlsruhe (TH). doi:10.5445/IR/1000019039 -
Individuelle datenbankgestützte Reputationsberechnung in virtuellen Gemeinschaften. PhD dissertation
Weth, C. von der
2009. Universität Karlsruhe (TH). doi:10.5445/IR/1000014912 -
Situationsbewusste Informationsdienste für das arbeitsbegleitende Lernen. PhD dissertation
Schmidt, A.
2009. Universität Karlsruhe (TH). 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
-
E-learning system including test engine for the national test of foreign languages in Syria. bachelor’s thesis
Mazkatli, M.
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 (TH). 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 (TH). doi:10.5445/IR/1000007997
2007
-
Empirical Validation of the Model-driven Performance Prediction Approach Palladio. diploma thesis
Martens, A.
2007, November. Carl von Ossietzky Universität Oldenburg. doi:10.5445/IR/1000146870 -
Graphersetzung mit Anwendungen im Übersetzerbau. PhD dissertation
Geiß, R. R.
2007. Universität Karlsruhe (TH). doi:10.5445/IR/1000009876 -
Cacheoptimierung für Vererbungshierarchien. PhD dissertation
Lindenmaier, G.
2007. Universität Karlsruhe (TH). doi:10.5445/IR/1000007842 -
Skalierbarkeit von Cluster-Dateisystemen durch Verteilung der Metadaten. PhD dissertation
Malpohl, G.
2007. Universität Karlsruhe (TH). doi:10.5445/IR/1000007761 -
Suchbasierte Strukturverbesserung objektorientierter Systeme. PhD dissertation
Seng, O.
2007. Universität Karlsruhe (TH). 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
-
Verification of optimizing compilers. habilitation thesis
Glesner, S.
2005. Universität Karlsruhe (TH) -
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 (TH) -
Single system image servers on top of clusters of PCs. PhD dissertation
Olaru, V.
2004. Universität Karlsruhe (TH). doi:10.5445/IR/1000003271 -
Clusterfile: a parallel file system for clusters. PhD dissertation
Isaila, F. D.
2004. Universität Karlsruhe (TH). 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 (TH) -
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 (TH) -
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 (TH). 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 (TH). 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 (TH) -
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 (TH) -
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 (TH) -
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 (TH) -
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 (TH). 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 (TH). 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 (TH) -
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 (TH) -
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 (TH) -
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 (TH) -
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 (TH) -
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 (TH) -
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 (TH) -
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 (TH) -
Schlieáen mit unscharfen Begriffen [online]. PhD dissertation
Spott, M.
2001. Fak. f. Informatik, Diss. v. 23.11.2000., Universität Karlsruhe (TH). 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 (TH) -
Korrekte Transformationsphase - der Kern korrekter Übersetzer [online]. PhD dissertation
Heberle, A.
2000. Fak. f. Informatik, Diss. v. 4.2.2000., Universität Karlsruhe (TH). doi:10.5445/IR/2182000 -
Latenzzeitverbergung in datenparallelen Sprachen = [Latency Hiding in Dataparallel Languages]. PhD dissertation
Müller, M. M.
2000. Universität Karlsruhe (TH). 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 (TH) -
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 (TH) -
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 (TH) -
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 (TH) -
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 (TH) -
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 (TH). 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 (TH). 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 (TH). 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 (TH). 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 (TH) -
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 (TH) -
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 (TH) -
Effiziente parallele Ausführung irregulärer rekursiver Programme = [Parallelizing Recursive Programs]. PhD dissertation
Hänßgen, S. U.
1998. Universität Karlsruhe (TH). 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 (TH) -
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 (TH) -
Überladung in Typsystemen. PhD dissertation
Wehr, M.
1997. Fak. f. Informatik, Diss. v. 31.10.1997., Universität Karlsruhe (TH) -
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 (TH) -
Comparing reduction strategies in resource-conscious lambda calculi. PhD dissertation
Maraist, J.
1997. Fak. f. Informatik, Diss. v. 24.10.1996., Universität Karlsruhe (TH) -
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 (TH) -
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 (TH) -
Analyse und Transformation kontrollfluáparalleler Programme. PhD dissertation
Vollmer, J.
1997. Fak. f. Informatik, Diss. v. 7.5.1996., Universität Karlsruhe (TH). 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 (TH) -
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 (TH) -
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 (TH) -
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 (TH) -
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 (TH) -
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 (TH) -
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 (TH) -
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 (TH)
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 (TH) -
Effiziente Verfahren zur Befehlsanordnung. PhD dissertation
Mueller, T.
1995. Fak. f. Informatik, Diss. v. 13.6.1995., Universität Karlsruhe (TH) -
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 (TH)
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 (TH) -
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 (TH) -
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 (TH) -
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 (TH) -
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 (TH) -
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 (TH)
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 (TH) -
Ein Konzept zur Unterstuetzung der Wartung von Expertensystemen. PhD dissertation
Eckert, H.
1993. Fak. f. Informatik, Diss. v. 18.6.1993., Universität Karlsruhe (TH) -
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 (TH)
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 (TH) -
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 (TH) -
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 (TH)
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 (TH) -
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 (TH) -
Graphikunterstuetzung fuer den Datenbankentwurf mit freidefinierten Modellierungskonzepten. PhD dissertation
Radermacher, K.
1991. Fak. f. Informatik, Diss. v. 9.7.1991., Universität Karlsruhe (TH) -
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 (TH)
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 (TH) -
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 (TH)
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 (TH) -
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 (TH) -
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 (TH)
1986