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, (Continuing Education Programme (Master)) 10. Term, 2010
Student thesis: Master Thesis and HD Thesis
HAMAC: Home Assistive and Mobile Access Controller
Séverin Marcombes, Bastien Paul
Master Software Systems Engineering SSE, (Continuing Education Programme (Master)) 10. Term, 2010
Student thesis: Master Thesis and 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, (Continuing Education Programme (Master)) 10. Term, 2009
Student thesis: Master Thesis and 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, (Continuing Education Programme (Master)) 10. Term, 2008
Student thesis: Master Thesis and HD Thesis
Spider: Social-Mobile Network
Antonio Sapuppo
Master Software Systems Engineering SSE, (Continuing Education Programme (Master)) 10. Term, 2008
Student thesis: Master Thesis and HD Thesis
Using the Cell for some operations in the DBM librery of UPPAAL
Olivier MONSONEGO
Master Software Systems Engineering SSE, (Continuing Education Programme (Master)) 10. Term, 2008
Student thesis: Master Thesis and HD Thesis
- 2007
'Building graphical-Promela models using UPPAAL GUI'
Vasu Hossaholal Lingegowda
Master Software Systems Engineering SSE, (Continuing Education Programme (Master)) 10. Term, 2007
Student thesis: Master Thesis and HD Thesis
Model-based online testing --- A case study on SKOV Feeding System
Weiwei Zheng
Master Software Systems Engineering SSE, (Continuing Education Programme (Master)) 10. Term, 2007
Student thesis: Master Thesis and HD Thesis
- 2006
'A Simulation Study of Load-Imbalance Problem in Distributed Graph Exploration Algorithms'
Adnan Niaz
Master Software Systems Engineering SSE, (Continuing Education Programme (Master)) 10. Term, 2006
Student thesis: Master Thesis and HD Thesis
'Building Graphical Promela Models using UPPAAL GUI'
Vasu Hossaholal Lingegowda
Master Software Systems Engineering SSE, (Continuing Education Programme (Master)) 10. Term, 2006
Student thesis: Master Thesis and HD Thesis
'Digital Signature and Blocking in Mobile Ambients'
Anupam Palit, Bin Ren, Sagar Bingi, Yepeng Sun
Master Software Systems Engineering SSE, (Continuing Education Programme (Master)) 10. Term, 2006
Student thesis: Master Thesis and 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, (Continuing Education Programme (Master)) 10. Term, 2006
Student thesis: Master Thesis and HD Thesis
- 2005
A Test Harness for a Control Software
Joseph Chukwudi Okika, Lokesh Siddalingaiah
Master Software Systems Engineering SSE, (Continuing Education Programme (Master)) 10. Term, 2005
Student thesis: Master Thesis and HD Thesis
Automatic Translation of Timed-Arc Petri Nets to Timed Automata
Ye Tian, Krishna Prasad Gundam
Master Software Systems Engineering SSE, (Continuing Education Programme (Master)) 10. Term, 2005
Student thesis: Master Thesis and 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, (Continuing Education Programme (Master)) 10. Term, 2005
Student thesis: Master Thesis and 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, (Continuing Education Programme (Master)) 10. Term, 2005
Student thesis: Master Thesis and HD Thesis
- 2004
The pi-calculus with polyadic synchronization
Joana Martinho
Master Software Systems Engineering SSE, (Continuing Education Programme (Master)) 10. Term, 2004
Student thesis: Master Thesis and HD Thesis
The pi-calculus with polyadic synchronization - REVISED
Joana Martinho
Master Software Systems Engineering SSE, (Continuing Education Programme (Master)) 10. Term, 2004
Student thesis: Master Thesis and HD Thesis