Bild von Institut mit Unilogo
home uni uni suche suche sitemap sitemap kontakt kontakt
unilogo Universität Stuttgart

Computer Science at University of Stuttgart : Publications

Year 2006

search germanicon
 

Technical Reports, Doctoral Theses, Student Theses


 

Technical Reports

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

Dissertations

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

Diploma Theses (sorted by numbers)

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

Diploma Theses (sorted by names)

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

Student Theses (sorted by numbers)

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

Student Theses (sorted by names)

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

Student Reports Software Engineering (sorted by numbers)

  • No. 0054:  Hantschel, Ralf; Ruf, Fabian; Strotbek, Haiko: Vergleich von BPEL Laufzeitumgebungen, Student Report Software Engineering No. 54, 2006.
  • No. 0056:  Deiss, Alexander; Druckenmüller, Bettina; Melle, Antje: SOA vs. REST basierend auf Google, eBay, Amazon, Yahoo!, Student Report Software Engineering No. 56, 2006.
  • No. 0057:  Necati, Aydin; Billau, Felix; Trautvetter, Jan: Vergleich von kommerziellen Implementierungen eines Enterprise Service Bus, Student Report Software Engineering No. 57, 2006.
  • No. 0058:  Möhrmann, Julia; Pfitzner, Kerstin; Wörner, Michael: Vergleich von Hardwarevirtualisierungssystemen, Student Report Software Engineering No. 58, 2006.
  • No. 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), Student Report Software Engineering No. 60, 2006.
  • No. 0063:  Längerer, Carsten; Schmitt, Fabian; Rutschmann, Jens: Performance-Vergleich von BPEL-Engines, Student Report Software Engineering No. 63, 2006.

Student Reports Software Engineering (sorted by names)