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. 0000:  Larcher, Fabrice: Analyse des Prozesses des Reinigungsstrahlens und Umsetzung in ein Simulationssystem, Diploma Thesis No. 2006.
  • No. 0006:  Biermann, Sascha: Modellbasierte Konsistenzprüfung für die GUI-Testautomation, Diploma Thesis No. 6, 2006.
  • No. 0007:  Heinchen, Andreas: USB 2.0 basiertes Test-Framework, Diploma Thesis No. 7, 2006.
  • No. 0008:  Vollrath, Joachim E.: GPU basiertes Raycasting auf hierarchisch verfeinerten Gittern, Diploma Thesis No. 8, 2006.
  • No. 0009:  Volz, Timo: Molekulardynamiksimulation von Strömungen in nanoskaligen Kanälen, Diploma Thesis No. 9, 2006.
  • No. 0010:  Weber, Juri: Mobiles und verteiltes Informationssystem auf Bluetooth-Basis mit dynamischer Konfiguration der Zugangspunkte, Diploma Thesis No. 10, 2006.
  • No. 0011:  Jimenez, Manuel Garcia: Cooperative Actuation in a Large Robotic Swarm, Diploma Thesis No. 11, 2006.
  • No. 0012:  Nossack, Wolfram: Gestaltungsmöglichkeiten für eine ontologiegestützte Suche im Semantic Engineering, Diploma Thesis No. 12, 2006.
  • No. 0013:  Oberfell, Jörg: Physikalisch basierte Schnee-Simulation, Diploma Thesis No. 13, 2006.
  • No. 0014:  Pachner, Andrea: Single-Sign-On für Krankenhausinformationssysteme, Diploma Thesis No. 14, 2006.
  • No. 0015:  Hornung, Oliver: Konzeption einer Simulationsumgebung für die MOST-Netzwerkschicht, Diploma Thesis No. 15, 2006.
  • No. 0016:  Hohmann, Dennis: Erweiterung des IBM WebSphere Process Server um Funktionalitäten zur Realisierung von Laufzeitmodifikationen WS-BPEL basierter Prozesse, Diploma Thesis No. 16, 2006.
  • No. 0017:  Schwienbacher, Martin: Konzeption und Implementierung eines Verfahrens zur Prüfung von Coderichtlinien mittels Mustererkennung, Diploma Thesis No. 17, 2006.
  • No. 0018:  Zor, Sema: Konzeption und Realisierung eines Selbstkonfigurationsmechanismus für Automatisierungsgeräte, Diploma Thesis No. 18, 2006.
  • No. 0019:  Zyder, Torsten: A high performance portal page rendering method using page deltas calculated at page rendering time including cached parts at display time, Diploma Thesis No. 19, 2006.
  • No. 0020:  Weber, Jörg: Auswertung und Einsatz historischer Verkehrsdaten zur Berechnung der prognostizierten Ankunftszeiten von Dynamischen Zielführungssystemen, Diploma Thesis No. 20, 2006.
  • No. 0021:  Hoffmann, Benjamin: Kryptographische Protokolle für Online-Auktionen, Diploma Thesis No. 21, 2006.
  • No. 0022:  Derr, Thomas: Interaktive Visualisierung von simuliertem Schnee, Diploma Thesis No. 22, 2006.
  • No. 0023:  Berger, Felix: A test and verification environment for Java programs, Diploma Thesis No. 23, 2006.
  • No. 0024:  Becker, Alexander: Implementierung einer aif Binary Decision Diagrams basierenden Zeigeranalyse für C, Diploma Thesis No. 24, 2006.
  • No. 0025:  Aho, Jaakko: Use of Differential Approaches for Component-Based Code Updates in Sensor Networks, Diploma Thesis No. 25, 2006.
  • No. 0026:  Tsotniashvili, Timur: Übersetzung von imperativen Programmen mit Zeigermanipulation in Graphtransformations-Regeln, Diploma Thesis No. 26, 2006.
  • 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)

  • Aho, Jaakko: Use of Differential Approaches for Component-Based Code Updates in Sensor Networks, Diploma Thesis No. 25, 2006.
  • Bacher, Andreas: Choreografie von Geschäftsprozessen: Beschreibung und Werkzeugunterstützung, Diploma Thesis No. 2486, 2006.
  • Becker, Alexander: Implementierung einer aif Binary Decision Diagrams basierenden Zeigeranalyse für C, Diploma Thesis No. 24, 2006.
  • Berger, Felix: A test and verification environment for Java programs, Diploma Thesis No. 23, 2006.
  • Beyer, Claudia: Reference management in the Nexus infrastructure, Diploma Thesis No. 2511, 2006.
  • Biermann, Sascha: Modellbasierte Konsistenzprüfung für die GUI-Testautomation, Diploma Thesis No. 6, 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.
  • Derr, Thomas: Interaktive Visualisierung von simuliertem Schnee, Diploma Thesis No. 22, 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.
  • Heinchen, Andreas: USB 2.0 basiertes Test-Framework, Diploma Thesis No. 7, 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.
  • Hoffmann, Benjamin: Kryptographische Protokolle für Online-Auktionen, Diploma Thesis No. 21, 2006.
  • Hohmann, Dennis: Erweiterung des IBM WebSphere Process Server um Funktionalitäten zur Realisierung von Laufzeitmodifikationen WS-BPEL basierter Prozesse, Diploma Thesis No. 16, 2006.
  • Hornung, Oliver: Konzeption einer Simulationsumgebung für die MOST-Netzwerkschicht, Diploma Thesis No. 15, 2006.
  • Horsch, Martin Thomas: Spiele und temporallogische Fragmente über Spuren, Diploma Thesis No. 2391, 2006.
  • Jimenez, Manuel Garcia: Cooperative Actuation in a Large Robotic Swarm, Diploma Thesis No. 11, 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.
  • Larcher, Fabrice: Analyse des Prozesses des Reinigungsstrahlens und Umsetzung in ein Simulationssystem, Diploma Thesis No. 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.
  • Nossack, Wolfram: Gestaltungsmöglichkeiten für eine ontologiegestützte Suche im Semantic Engineering, Diploma Thesis No. 12, 2006.
  • Oberfell, Jörg: Physikalisch basierte Schnee-Simulation, Diploma Thesis No. 13, 2006.
  • Pachner, Andrea: Single-Sign-On für Krankenhausinformationssysteme, Diploma Thesis No. 14, 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.
  • Schwienbacher, Martin: Konzeption und Implementierung eines Verfahrens zur Prüfung von Coderichtlinien mittels Mustererkennung, Diploma Thesis No. 17, 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.
  • Tsotniashvili, Timur: Übersetzung von imperativen Programmen mit Zeigermanipulation in Graphtransformations-Regeln, Diploma Thesis No. 26, 2006.
  • Vetter, Thorsten: Anpassung und Implementierung verschiedener Transaktionsprotokolle auf WS-Coordination, Diploma Thesis No. 2386, 2006.
  • Vollrath, Joachim E.: GPU basiertes Raycasting auf hierarchisch verfeinerten Gittern, Diploma Thesis No. 8, 2006.
  • Volz, Timo: Molekulardynamiksimulation von Strömungen in nanoskaligen Kanälen, Diploma Thesis No. 9, 2006.
  • Weber, Jörg: Auswertung und Einsatz historischer Verkehrsdaten zur Berechnung der prognostizierten Ankunftszeiten von Dynamischen Zielführungssystemen, Diploma Thesis No. 20, 2006.
  • Weber, Juri: Mobiles und verteiltes Informationssystem auf Bluetooth-Basis mit dynamischer Konfiguration der Zugangspunkte, Diploma Thesis No. 10, 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.
  • Zor, Sema: Konzeption und Realisierung eines Selbstkonfigurationsmechanismus für Automatisierungsgeräte, Diploma Thesis No. 18, 2006.
  • Zyder, Torsten: A high performance portal page rendering method using page deltas calculated at page rendering time including cached parts at display time, Diploma Thesis No. 19, 2006.

Master Theses (sorted by numbers)

  • No. 0001:  Liu, Yunsun: Development of an Embedded Motor Comtroller Software for RoboCup, Master Thesis No. 1, 2006.
  • No. 0003:  Khaligh, Rauf Salimi: Transcaction Simulation of ARM Based Platforms, Master Thesis No. 3, 2006.
  • No. 0004:  Serra, Francesco Calvo: Text Mining for identification of semantically correlated information, Master Thesis No. 4, 2006.
  • No. 0005:  Dwiputera, Aries Fajar: A light-weight Context System for Pervasive Computing Infrastructures, Master Thesis No. 5, 2006.
  • No. 0006:  Alcalde Garcia, Daniel: Implementation of a communication layer using SLP and SCTP for Addressing High Availability service in a redundant network, Master Thesis No. 6, 2006.
  • No. 0007:  Prohic, Natasa: Theory of Situation Recognition in RoboCup Based on Situation Libraries, Master Thesis No. 7, 2006.
  • No. 0008:  Attarzadeh, Afshin: Development of Advanced Power Management for Autonomous Micro-robots, Master Thesis No. 8, 2006.
  • No. 0009:  Zetterström, Glenn: Collaborative actuation in micro-robotic swarm based on collective decision making and surface-color identification, Master Thesis No. 9, 2006.
  • No. 0010:  Pareja Veredas, Ramiro: Development of a accelerometer system for RoboCup, Master Thesis No. 10, 2006.
  • No. 0011:  Caballero Grolimund, Carlos Javier: Development of a compass system for RoboCup, Master Thesis No. 11, 2006.
  • No. 0013:  Karagkiozoglou, Konstantinos: Dynamic Evaluation and Storage of Chip Measured Data for Online Yield Analysis, Master Thesis No. 13, 2006.
  • No. 0014:  Mascaraenhas, Rio: Fault Simulation of Cell-Based Designs using a FPGA-Based Emulation Machine, Master Thesis No. 14, 2006.
  • No. 0015:  Prieto Martinez, Victor: Development of cooperative behavioral patterns for swarm robotic scenarios, Master Thesis No. 15, 2006.
  • No. 0016:  Adeyemo, Peter: Web-based Application Deployment Specification Management, Master Thesis No. 16, 2006.
  • No. 0017:  Venkatachalam, Anand: An Automated Test Framework for the Component-Based Control Software of a System-On-Chip Tester, Master Thesis No. 17, 2006.
  • No. 0018:  Soundarrajan, Vaitheeswaran: Conception and Implementation of a Generic Test Model for Testing Link Training Mechanism of Serial Communication Protocols, Master Thesis No. 18, 2006.
  • No. 0019:  Ruiz, Manuel Sampedro: Evaluation and Implementation of Registration Methods for Digital Mammography, Master Thesis No. 19, 2006.

Master Theses (sorted by names)

  • Adeyemo, Peter: Web-based Application Deployment Specification Management, Master Thesis No. 16, 2006.
  • Alcalde Garcia, Daniel: Implementation of a communication layer using SLP and SCTP for Addressing High Availability service in a redundant network, Master Thesis No. 6, 2006.
  • Attarzadeh, Afshin: Development of Advanced Power Management for Autonomous Micro-robots, Master Thesis No. 8, 2006.
  • Caballero Grolimund, Carlos Javier: Development of a compass system for RoboCup, Master Thesis No. 11, 2006.
  • Dwiputera, Aries Fajar: A light-weight Context System for Pervasive Computing Infrastructures, Master Thesis No. 5, 2006.
  • Karagkiozoglou, Konstantinos: Dynamic Evaluation and Storage of Chip Measured Data for Online Yield Analysis, Master Thesis No. 13, 2006.
  • Khaligh, Rauf Salimi: Transcaction Simulation of ARM Based Platforms, Master Thesis No. 3, 2006.
  • Liu, Yunsun: Development of an Embedded Motor Comtroller Software for RoboCup, Master Thesis No. 1, 2006.
  • Mascaraenhas, Rio: Fault Simulation of Cell-Based Designs using a FPGA-Based Emulation Machine, Master Thesis No. 14, 2006.
  • Pareja Veredas, Ramiro: Development of a accelerometer system for RoboCup, Master Thesis No. 10, 2006.
  • Prieto Martinez, Victor: Development of cooperative behavioral patterns for swarm robotic scenarios, Master Thesis No. 15, 2006.
  • Prohic, Natasa: Theory of Situation Recognition in RoboCup Based on Situation Libraries, Master Thesis No. 7, 2006.
  • Ruiz, Manuel Sampedro: Evaluation and Implementation of Registration Methods for Digital Mammography, Master Thesis No. 19, 2006.
  • Serra, Francesco Calvo: Text Mining for identification of semantically correlated information, Master Thesis No. 4, 2006.
  • Soundarrajan, Vaitheeswaran: Conception and Implementation of a Generic Test Model for Testing Link Training Mechanism of Serial Communication Protocols, Master Thesis No. 18, 2006.
  • Venkatachalam, Anand: An Automated Test Framework for the Component-Based Control Software of a System-On-Chip Tester, Master Thesis No. 17, 2006.
  • Zetterström, Glenn: Collaborative actuation in micro-robotic swarm based on collective decision making and surface-color identification, Master Thesis No. 9, 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)