home uni Universität suche Suche kontakt Kontakt
unilogo Universität Stuttgart
Informatik an der Universität Stuttgart : Veröffentlichungen

Jahrgang 2006

suche englishicon
 
 

Technische Berichte, Dissertationen, Studentische Arbeiten


 

Technische Berichte

  • Nr. 01:  König, Barbara; Kozioura, Vitali: Counterexample-guided Abstraction Refinement for the Analysis of Graph Transformation Systems, Technischer Bericht Nr. 2006/01.
  • Nr. 02:  Esparza, Javier; Kiefer, Stefan; Schwoon, Stefan: Abstraction Refinement with Craig Interpolation and Symbolic Pushdown Systems, Technischer Bericht Nr. 2006/02.
  • Nr. 03:  Kufleitner, Manfred: Polynomials, Fragments of Temporal Logic and the Variety DA over Traces, Technischer Bericht Nr. 2006/03.
  • Nr. 04:  Göller, Stefan; Lohrey, Markus: Infinite State Model-Checking of Propositional Dynamic Logics, Technischer Bericht Nr. 2006/04.
  • Nr. 05:  Leymann, Frank: Space-based Computing and Semantics: A Web Service Purist's Point-Of-View, Technischer Bericht Nr. 2006/05.
  • Nr. 06:  Horsch, Martin; Kufleitner, Manfred: The Expressive Power of Simple Logical Fragments over Traces, Technischer Bericht Nr. 2006/06.
  • Nr. 07:  Marrón, Pedro José (Hrsg.): 5. GI/ITG KuVS Fachgespräch "Drahtlose Sensornetze", Technischer Bericht Nr. 2006/07.
  • Nr. 08:  Blatt, Markus; Bastian, Peter: The Iterative Solver Template Library (ISTL), Technischer Bericht Nr. 2006/08.
  • Nr. 09:  Suwimonteerabuth, Dejvuth; Schwoon, Stefan; Esparza, Javier: Efficient Algorithms for Alternating Pushdown Systems: Application to Certificate Chain Discovery with Threshold Subjects, Technischer Bericht Nr. 2006/09.
  • Nr. 10:  Karastoyanova, Dimka; Khalaf, Rania; Schroth, Ralf; Paluszek, Michael; Leymann, Frank: BPEL Event Model, Technischer Bericht Nr. 2006/10.
  • Extern:  Gloss, B.: Non-Stationarity of Walker Movability in Random Walk Mobility Models, Externer Technischer Bericht, 2006.
  • Extern:  Kiesel, S.; Scharf, M.; Beutel, S.; Ruschival, T.: Performance Measurement of SIMCO over TCP and SCTP, Externer Technischer Bericht, 2006.

Dissertationen

  • Gherman, Valentin: Scalable Deterministic Logic Built-In Self-Test, Dissertation, 2006.
  • Herrscher, Daniel: Emulation von Rechnernetzen zur Leistungsanalyse von verteilten Anwendungen und Netzprotokollen, Dissertation, 2006.
  • Nicklas, Daniela: Ein umfassendes Umgebungsmodell als Integrationsstrategie für ortsbezogene Daten und Dienste, Dissertation, 2006.
  • Ondrusch, Nicole: Komplexitäts- und Entscheidbarkeitsresultate für inverse Monoide mit idempotenter Präsentation, Dissertation, 2006.
  • Simon, Daniel: Lokalisierung von Merkmalen in Softwaresystemen, Dissertation, 2006.

Diplomarbeiten (nach Nummern sortiert)

  • Nr. 0000:  Larcher, Fabrice: Analyse des Prozesses des Reinigungsstrahlens und Umsetzung in ein Simulationssystem, Diplomarbeit Nr. 2006.
  • Nr. 0006:  Biermann, Sascha: Modellbasierte Konsistenzprüfung für die GUI-Testautomation, Diplomarbeit Nr. 6, 2006.
  • Nr. 2350:  Dieterle, Ralf: Aufbau eines Data Warehouse für Analysedaten zu Kfz-Bauteilen, Diplomarbeit Nr. 2350, 2006.
  • Nr. 2370:  Li, Xiaojun: Design, Implementation and Test of a Graphical Information and Interaction Interface for Process Control Systems, Diplomarbeit Nr. 2370, 2006.
  • Nr. 2372:  Wetzstein, Branimir: Dynamische semantikbasierte Suche nach Web Services in parametrisierten BPEL-Prozessen, Diplomarbeit Nr. 2372, 2006.
  • Nr. 2379:  Kipp, Alexander: Ablösung von WS-CDL durch BPEL und WSFL Global Model, Diplomarbeit Nr. 2379, 2006.
  • Nr. 2386:  Vetter, Thorsten: Anpassung und Implementierung verschiedener Transaktionsprotokolle auf WS-Coordination, Diplomarbeit Nr. 2386, 2006.
  • Nr. 2388:  Nitzsche, Jörg: Entwicklung eines Monitoring-Tools zur Unterstützung von parametrisierten Web Service Flows, Diplomarbeit Nr. 2388, 2006.
  • Nr. 2391:  Horsch, Martin Thomas: Spiele und temporallogische Fragmente über Spuren, Diplomarbeit Nr. 2391, 2006.
  • Nr. 2400:  Roeder, Holger: Software Engineering education at university level in India and Germany, Diplomarbeit Nr. 2400, 2006.
  • Nr. 2401:  Wutke, Daniel: Erweiterung einer Workflow-Engine zur Unterstützung von parametrisierten Web Service Flows, Diplomarbeit Nr. 2401, 2006.
  • Nr. 2405:  Ma, Zhilei: WS-Policy Editor - Ein Werkzeug zum Editieren, Normalisieren, Verschmelzen und Schneiden von Web-Services-Policies, Diplomarbeit Nr. 2405, 2006.
  • Nr. 2406:  Marchassin, Maxim: Entwicklung einer Kosten- und Statistik - API für Datenbankmanagementsysteme, Diplomarbeit Nr. 2406, 2006.
  • Nr. 2408:  van Lessen, Tammo: Konzipierung und Entwicklung eines Repository für Geschäftsprozesse, Diplomarbeit Nr. 2408, 2006.
  • Nr. 2413:  Schebelle, Florian: Mapping von EAI Patterns auf eine Middleware-Schicht (BPEL), Diplomarbeit Nr. 2413, 2006.
  • Nr. 2414:  Taras, Christiane: Modelle zur Wartbarkeit von Software, Diplomarbeit Nr. 2414, 2006.
  • Nr. 2428:  Knödler, Sven: BPEL-Webservice-Koordination auf Basis einer Konfigurationsdatei, Diplomarbeit Nr. 2428, 2006.
  • Nr. 2429:  Michael, Sabine: Generierung von BPEL mit Hilfe von koordinierten Kommunikations-Graphen auf Basis transaktionaler Protokolle für Web Services, Diplomarbeit Nr. 2429, 2006.
  • Nr. 2434:  Müller, Thomas: Protokollbeschreibungen für die Koordination zwischen Web Services, Diplomarbeit Nr. 2434, 2006.
  • Nr. 2443:  Casper, Mirko: Parametrisierbare Experimentläufe in einem Emulationssystem für Rechnernetze, Diplomarbeit Nr. 2443, 2006.
  • Nr. 2444:  Mietzner, Ralph: Extraction of WS-Business Activity from BPEL 1.1, Diplomarbeit Nr. 2444, 2006.
  • Nr. 2447:  Kaschowitz, Marcus: Konzeption und Spezifikation einer Methodik-Unterstützung für JUST, Diplomarbeit Nr. 2447, 2006.
  • Nr. 2449:  Kible, Ralf: Clusteringalgorithmen zur Keimdetektion in Gasen, Diplomarbeit Nr. 2449, 2006.
  • Nr. 2453:  Koch, Gerald Georg: Parametrisierbare Metrik für hierarchisches Routing in Sensornetzen, Diplomarbeit Nr. 2453, 2006.
  • Nr. 2460:  Juchart, Frederik: Entwicklung eines Routing-Verfahrens für SOAP-Nachrichten, Diplomarbeit Nr. 2460, 2006.
  • Nr. 2464:  Scheiderer, Stephan: Effiziente parallele Lattice-Boltzmann-Simulation für turbulente Strömungen, Diplomarbeit Nr. 2464, 2006.
  • Nr. 2465:  Dudzik, Stefan: Visuelle Modellierung von kontextsensitiven Prozessen in ubiquitären Umgebungen, Diplomarbeit Nr. 2465, 2006.
  • Nr. 2474:  Shen, Yilian: Optimization of the Runtime Database of a BPEL Engine, Diplomarbeit Nr. 2474, 2006.
  • Nr. 2475:  Kiefner, Dominique Xavier: Optimization of XML Processing within a BPEL Engine, Diplomarbeit Nr. 2475, 2006.
  • Nr. 2481:  Schneider, Patrick: Integration und Orchestrierung verteilter Informationssysteme mit Service-orientierten Architekturen, Diplomarbeit Nr. 2481, 2006.
  • Nr. 2486:  Bacher, Andreas: Choreografie von Geschäftsprozessen: Beschreibung und Werkzeugunterstützung, Diplomarbeit Nr. 2486, 2006.
  • Nr. 2487:  Heydlauff, Andreas: Gruppierung von Sensorknoten auf Basis von Sensordaten und Konnektivität / Grouping of Sensor Nodes Based on Sensor Data and Connectivity, Diplomarbeit Nr. 2487, 2006.
  • Nr. 2494:  Kiwitt, Nicolas: Präventive Wartung des SESAM-Systems, Diplomarbeit Nr. 2494, 2006.
  • Nr. 2499:  Münsch, Friedrich Peter: Anwendungsszenarien für BPEL-Prozesse, Diplomarbeit Nr. 2499, 2006.
  • Nr. 2502:  Pirk, Tobias: Kontinuierliche Anfragen auf räumlichen Datenströmen unter Verwendung von XXL-Pipes, Diplomarbeit Nr. 2502, 2006.
  • Nr. 2504:  Bikmaz, Ihsan Baris: Vergleich von Technologien zur Entwicklung von Web-Anwendungen, Diplomarbeit Nr. 2504, 2006.
  • Nr. 2510:  Falk, Martin: GPU-basierte Vektorfeldvisualisierung mittels 3D LIC, Diplomarbeit Nr. 2510, 2006.
  • Nr. 2511:  Beyer, Claudia: Reference management in the Nexus infrastructure, Diplomarbeit Nr. 2511, 2006.
  • Nr. 2523:  Schroth, Ralf: Konzeption und Entwicklung einer AOP-fähigen BPEL Engine und eines Aspect-Weavers für BPEL Prozesse, Diplomarbeit Nr. 2523, 2006.
  • Nr. 2540:  Trautvetter, Jan: Analyse der 'Pipes and Filter' Architektur gegenüber instanzbasierten Ansätzen bei Workflows, Diplomarbeit Nr. 2540, 2006.
  • Extern:  Gloss, Bernd: Non-Stationarity of Walker Movability in Random Walk Mobility Models, Externe Diplomarbeit, 2006.
  • Extern:  Chen, Y.: Untersuchung von Verfahren zur adaptiven Übertragung von XML-Dokumenten in Mobilkommunikationssystemen, Externe Diplomarbeit, 2006.
  • Extern:  Fetscher, R.: Bewertung von Verfahren zur Berechnung von Zellabdeckungen aus Signalstärkemesswerten, Externe Diplomarbeit, 2006.
  • Extern:  Zeeh, C.: Integration des Linux-TCP/IP-Protokollstapels in eine ereignisgesteuerte Simulationsumgebung, Externe Diplomarbeit, 2006.

Diplomarbeiten (nach Namen sortiert)

  • Bacher, Andreas: Choreografie von Geschäftsprozessen: Beschreibung und Werkzeugunterstützung, Diplomarbeit Nr. 2486, 2006.
  • Beyer, Claudia: Reference management in the Nexus infrastructure, Diplomarbeit Nr. 2511, 2006.
  • Biermann, Sascha: Modellbasierte Konsistenzprüfung für die GUI-Testautomation, Diplomarbeit Nr. 6, 2006.
  • Bikmaz, Ihsan Baris: Vergleich von Technologien zur Entwicklung von Web-Anwendungen, Diplomarbeit Nr. 2504, 2006.
  • Casper, Mirko: Parametrisierbare Experimentläufe in einem Emulationssystem für Rechnernetze, Diplomarbeit Nr. 2443, 2006.
  • Chen, Y.: Untersuchung von Verfahren zur adaptiven Übertragung von XML-Dokumenten in Mobilkommunikationssystemen, Externe Diplomarbeit, 2006.
  • Dieterle, Ralf: Aufbau eines Data Warehouse für Analysedaten zu Kfz-Bauteilen, Diplomarbeit Nr. 2350, 2006.
  • Dudzik, Stefan: Visuelle Modellierung von kontextsensitiven Prozessen in ubiquitären Umgebungen, Diplomarbeit Nr. 2465, 2006.
  • Falk, Martin: GPU-basierte Vektorfeldvisualisierung mittels 3D LIC, Diplomarbeit Nr. 2510, 2006.
  • Fetscher, R.: Bewertung von Verfahren zur Berechnung von Zellabdeckungen aus Signalstärkemesswerten, Externe Diplomarbeit, 2006.
  • Gloss, Bernd: Non-Stationarity of Walker Movability in Random Walk Mobility Models, Externe Diplomarbeit, 2006.
  • Heydlauff, Andreas: Gruppierung von Sensorknoten auf Basis von Sensordaten und Konnektivität / Grouping of Sensor Nodes Based on Sensor Data and Connectivity, Diplomarbeit Nr. 2487, 2006.
  • Horsch, Martin Thomas: Spiele und temporallogische Fragmente über Spuren, Diplomarbeit Nr. 2391, 2006.
  • Juchart, Frederik: Entwicklung eines Routing-Verfahrens für SOAP-Nachrichten, Diplomarbeit Nr. 2460, 2006.
  • Kaschowitz, Marcus: Konzeption und Spezifikation einer Methodik-Unterstützung für JUST, Diplomarbeit Nr. 2447, 2006.
  • Kible, Ralf: Clusteringalgorithmen zur Keimdetektion in Gasen, Diplomarbeit Nr. 2449, 2006.
  • Kiefner, Dominique Xavier: Optimization of XML Processing within a BPEL Engine, Diplomarbeit Nr. 2475, 2006.
  • Kipp, Alexander: Ablösung von WS-CDL durch BPEL und WSFL Global Model, Diplomarbeit Nr. 2379, 2006.
  • Kiwitt, Nicolas: Präventive Wartung des SESAM-Systems, Diplomarbeit Nr. 2494, 2006.
  • Knödler, Sven: BPEL-Webservice-Koordination auf Basis einer Konfigurationsdatei, Diplomarbeit Nr. 2428, 2006.
  • Koch, Gerald Georg: Parametrisierbare Metrik für hierarchisches Routing in Sensornetzen, Diplomarbeit Nr. 2453, 2006.
  • Larcher, Fabrice: Analyse des Prozesses des Reinigungsstrahlens und Umsetzung in ein Simulationssystem, Diplomarbeit Nr. 2006.
  • van Lessen, Tammo: Konzipierung und Entwicklung eines Repository für Geschäftsprozesse, Diplomarbeit Nr. 2408, 2006.
  • Li, Xiaojun: Design, Implementation and Test of a Graphical Information and Interaction Interface for Process Control Systems, Diplomarbeit Nr. 2370, 2006.
  • Ma, Zhilei: WS-Policy Editor - Ein Werkzeug zum Editieren, Normalisieren, Verschmelzen und Schneiden von Web-Services-Policies, Diplomarbeit Nr. 2405, 2006.
  • Marchassin, Maxim: Entwicklung einer Kosten- und Statistik - API für Datenbankmanagementsysteme, Diplomarbeit Nr. 2406, 2006.
  • Michael, Sabine: Generierung von BPEL mit Hilfe von koordinierten Kommunikations-Graphen auf Basis transaktionaler Protokolle für Web Services, Diplomarbeit Nr. 2429, 2006.
  • Mietzner, Ralph: Extraction of WS-Business Activity from BPEL 1.1, Diplomarbeit Nr. 2444, 2006.
  • Müller, Thomas: Protokollbeschreibungen für die Koordination zwischen Web Services, Diplomarbeit Nr. 2434, 2006.
  • Münsch, Friedrich Peter: Anwendungsszenarien für BPEL-Prozesse, Diplomarbeit Nr. 2499, 2006.
  • Nitzsche, Jörg: Entwicklung eines Monitoring-Tools zur Unterstützung von parametrisierten Web Service Flows, Diplomarbeit Nr. 2388, 2006.
  • Pirk, Tobias: Kontinuierliche Anfragen auf räumlichen Datenströmen unter Verwendung von XXL-Pipes, Diplomarbeit Nr. 2502, 2006.
  • Roeder, Holger: Software Engineering education at university level in India and Germany, Diplomarbeit Nr. 2400, 2006.
  • Schebelle, Florian: Mapping von EAI Patterns auf eine Middleware-Schicht (BPEL), Diplomarbeit Nr. 2413, 2006.
  • Scheiderer, Stephan: Effiziente parallele Lattice-Boltzmann-Simulation für turbulente Strömungen, Diplomarbeit Nr. 2464, 2006.
  • Schneider, Patrick: Integration und Orchestrierung verteilter Informationssysteme mit Service-orientierten Architekturen, Diplomarbeit Nr. 2481, 2006.
  • Schroth, Ralf: Konzeption und Entwicklung einer AOP-fähigen BPEL Engine und eines Aspect-Weavers für BPEL Prozesse, Diplomarbeit Nr. 2523, 2006.
  • Shen, Yilian: Optimization of the Runtime Database of a BPEL Engine, Diplomarbeit Nr. 2474, 2006.
  • Taras, Christiane: Modelle zur Wartbarkeit von Software, Diplomarbeit Nr. 2414, 2006.
  • Trautvetter, Jan: Analyse der 'Pipes and Filter' Architektur gegenüber instanzbasierten Ansätzen bei Workflows, Diplomarbeit Nr. 2540, 2006.
  • Vetter, Thorsten: Anpassung und Implementierung verschiedener Transaktionsprotokolle auf WS-Coordination, Diplomarbeit Nr. 2386, 2006.
  • Wetzstein, Branimir: Dynamische semantikbasierte Suche nach Web Services in parametrisierten BPEL-Prozessen, Diplomarbeit Nr. 2372, 2006.
  • Wutke, Daniel: Erweiterung einer Workflow-Engine zur Unterstützung von parametrisierten Web Service Flows, Diplomarbeit Nr. 2401, 2006.
  • Zeeh, C.: Integration des Linux-TCP/IP-Protokollstapels in eine ereignisgesteuerte Simulationsumgebung, Externe Diplomarbeit, 2006.

Studienarbeiten (nach Nummern sortiert)

  • Nr. 2041:  Mierzwa, Christof: Transaktionen zwischen Web Services als Basis der Modellierung verschiedener Anwendungsfälle mit BPEL, Studienarbeit Nr. 2041, 2006.
  • Nr. 2045:  Dichev, Kiril: Performanceanalyse und -optimierung der Gleichungslösung eines bestehenden Strukturmechanik-FEM-Programms für den Tunnelbau, Studienarbeit Nr. 2045, 2006.
  • Nr. 2047:  Eckstein, Bernd: Bandcounter: Counting Bands of Multiband Chaotic Attractors, Studienarbeit Nr. 2047, 2006.
  • Nr. 2052:  Kramberg, Volker: Pattern-based Evaluation of IBM WebSphere BPEL, Studienarbeit Nr. 2052, 2006.
  • Nr. 2056:  Sen, Özgür: Sensordatenfusion zur multisensoriellen Positionsbestimmung, Studienarbeit Nr. 2056, 2006.
  • Nr. 2057:  Gellner, Christoph Harald: Verbindung von FlexCup mit existierenden Codeverteilungsansätzen, Studienarbeit Nr. 2057, 2006.
  • Nr. 2059:  Cetin, Tuelay: Statische Analyse von GUI-Programmen, Studienarbeit Nr. 2059, 2006.
  • Nr. 2061:  Komarek, Peter: Veränderung der Nachfrage bei Infrastrukturinvestitionen im ÖPNV durch Änderung der Verkehrswiderstände, Studienarbeit Nr. 2061, 2006.
  • Nr. 2063:  Üffinger, Markus: Geometrieadvektion zur Visualisierung von instationären Strömungen, Studienarbeit Nr. 2063, 2006.
  • Nr. 2076:  Benkmann, Ruben: Selbstorganisierende Abstimmungsverfahren zur Auflösung von Inkonsistenzen, Studienarbeit Nr. 2076, 2006.

Studienarbeiten (nach Namen sortiert)

  • Benkmann, Ruben: Selbstorganisierende Abstimmungsverfahren zur Auflösung von Inkonsistenzen, Studienarbeit Nr. 2076, 2006.
  • Cetin, Tuelay: Statische Analyse von GUI-Programmen, Studienarbeit Nr. 2059, 2006.
  • Dichev, Kiril: Performanceanalyse und -optimierung der Gleichungslösung eines bestehenden Strukturmechanik-FEM-Programms für den Tunnelbau, Studienarbeit Nr. 2045, 2006.
  • Eckstein, Bernd: Bandcounter: Counting Bands of Multiband Chaotic Attractors, Studienarbeit Nr. 2047, 2006.
  • Gellner, Christoph Harald: Verbindung von FlexCup mit existierenden Codeverteilungsansätzen, Studienarbeit Nr. 2057, 2006.
  • Komarek, Peter: Veränderung der Nachfrage bei Infrastrukturinvestitionen im ÖPNV durch Änderung der Verkehrswiderstände, Studienarbeit Nr. 2061, 2006.
  • Kramberg, Volker: Pattern-based Evaluation of IBM WebSphere BPEL, Studienarbeit Nr. 2052, 2006.
  • Mierzwa, Christof: Transaktionen zwischen Web Services als Basis der Modellierung verschiedener Anwendungsfälle mit BPEL, Studienarbeit Nr. 2041, 2006.
  • Sen, Özgür: Sensordatenfusion zur multisensoriellen Positionsbestimmung, Studienarbeit Nr. 2056, 2006.
  • Üffinger, Markus: Geometrieadvektion zur Visualisierung von instationären Strömungen, Studienarbeit Nr. 2063, 2006.

Fachstudien Softwaretechnik (nach Nummern sortiert)

  • Nr. 0054:  Hantschel, Ralf; Ruf, Fabian; Strotbek, Haiko: Vergleich von BPEL Laufzeitumgebungen, Fachstudie Softwaretechnik Nr. 54, 2006.
  • Nr. 0056:  Deiss, Alexander; Druckenmüller, Bettina; Melle, Antje: SOA vs. REST basierend auf Google, eBay, Amazon, Yahoo!, Fachstudie Softwaretechnik Nr. 56, 2006.
  • Nr. 0057:  Necati, Aydin; Billau, Felix; Trautvetter, Jan: Vergleich von kommerziellen Implementierungen eines Enterprise Service Bus, Fachstudie Softwaretechnik Nr. 57, 2006.
  • Nr. 0058:  Möhrmann, Julia; Pfitzner, Kerstin; Wörner, Michael: Vergleich von Hardwarevirtualisierungssystemen, Fachstudie Softwaretechnik Nr. 58, 2006.
  • Nr. 0060:  Grau, Andreas; Weinschrott, Harald; Schwarzer, Christopher: Untersuchung der Skalierbarkeit virtueller Maschinen für den Einsatz in Rechnernetzemulation (Evaluating the Scalability of Virtual Machines for Use in Computer Network Emulation), Fachstudie Softwaretechnik Nr. 60, 2006.
  • Nr. 0063:  Längerer, Carsten; Schmitt, Fabian; Rutschmann, Jens: Performance-Vergleich von BPEL-Engines, Fachstudie Softwaretechnik Nr. 63, 2006.

Fachstudien Softwaretechnik (nach Namen sortiert)