Master Software Systems Engineering SSE - Completed. 10/11/2011.
Education structure: Education
7. Term
Department of Computer Science › Study Board of Computer Science › Master Software Systems Engineering SSE
8. Term
Department of Computer Science › Study Board of Computer Science › Master Software Systems Engineering SSE
9. Term
Department of Computer Science › Study Board of Computer Science › Master Software Systems Engineering SSE
10. Term
Department of Computer Science › Study Board of Computer Science › Master Software Systems Engineering SSE
- 2010
An Open Home Automation System - Analysis And Implementation of New Solutions for HomePort
Arnaud Germis
Master Software Systems Engineering SSE, 10. Term, 2010
Student thesis: Master thesis (including HD thesis)
HAMAC: Home Assistive and Mobile Access Controller
Séverin Marcombes, Bastien Paul
Master Software Systems Engineering SSE, 10. Term, 2010
Student thesis: Master thesis (including HD thesis)
- 2009
Network failure detection using type systems in DπF
Raúl Martínez Pérez, Jorge Martín García, Jose Luis López Sánchez
Master Software Systems Engineering SSE, 10. Term, 2009
Student thesis: Master thesis (including HD thesis)
- 2008
Analysis and Improvement of a Remote System - Case Study: Agricultural Machinery
Elisa Oteo Ovejero, Maria Isabel Diez del Val, Faith Oziofu Ogini Nielsen
Master Software Systems Engineering SSE, 10. Term, 2008
Student thesis: Master thesis (including HD thesis)
Student thesis: Master thesis (including HD thesis)
Using the Cell for some operations in the DBM librery of UPPAAL
Olivier MONSONEGO
Master Software Systems Engineering SSE, 10. Term, 2008
Student thesis: Master thesis (including HD thesis)
- 2007
'Building graphical-Promela models using UPPAAL GUI'
Vasu Hossaholal Lingegowda
Master Software Systems Engineering SSE, 10. Term, 2007
Student thesis: Master thesis (including HD thesis)
Model-based online testing --- A case study on SKOV Feeding System
Weiwei Zheng
Master Software Systems Engineering SSE, 10. Term, 2007
Student thesis: Master thesis (including HD thesis)
- 2006
'A Simulation Study of Load-Imbalance Problem in Distributed Graph Exploration Algorithms'
Adnan Niaz
Master Software Systems Engineering SSE, 10. Term, 2006
Student thesis: Master thesis (including HD thesis)
'Building Graphical Promela Models using UPPAAL GUI'
Vasu Hossaholal Lingegowda
Master Software Systems Engineering SSE, 10. Term, 2006
Student thesis: Master thesis (including HD thesis)
'Digital Signature and Blocking in Mobile Ambients'
Anupam Palit, Bin Ren, Sagar Bingi, Yepeng Sun
Master Software Systems Engineering SSE, 10. Term, 2006
Student thesis: Master thesis (including HD thesis)
'Grid Information Service with Self-Organized Network and Information Traveling'
Baolong Feng, Huong Duong Uong, Tuan Anh Nguyen
Master Software Systems Engineering SSE, 10. Term, 2006
Student thesis: Master thesis (including HD thesis)
- 2005
A Test Harness for a Control Software
Joseph Chukwudi Okika, Lokesh Siddalingaiah
Master Software Systems Engineering SSE, 10. Term, 2005
Student thesis: Master thesis (including HD thesis)
Automatic Translation of Timed-Arc Petri Nets to Timed Automata
Ye Tian, Krishna Prasad Gundam
Master Software Systems Engineering SSE, 10. Term, 2005
Student thesis: Master thesis (including HD thesis)
Improvements on the Online Testing with T-UppAal: Coverage Measurement and Re-runs
Gunnar Hall, Piotr Kordy, Dalia Vitkauskaite
Master Software Systems Engineering SSE, 10. Term, 2005
Student thesis: Master thesis (including HD thesis)
On Deciding Behavioral Properties for Petri Nets : Timed-Arc Petri Nets and their Extensions
Ragnhildur Þórunn Óskarsdóttir, Sigmar Stefánsson, Tómas Jónasson
Master Software Systems Engineering SSE, 10. Term, 2005
Student thesis: Master thesis (including HD thesis)
- 2004
The pi-calculus with polyadic synchronization
Joana Martinho
Master Software Systems Engineering SSE, 10. Term, 2004
Student thesis: Master thesis (including HD thesis)
The pi-calculus with polyadic synchronization - REVISED
Joana Martinho
Master Software Systems Engineering SSE, 10. Term, 2004
Student thesis: Master thesis (including HD thesis)