Master Software Systems Engineering SSE - Completed. 10/11/2011.

Continuing Education Programme (Master)

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

  1. 2010
  2. 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

  3. 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

  4. 2009
  5. 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

  6. 2008
  7. 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

  8. 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

  9. 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

  10. 2007
  11. '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

  12. 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

  13. 2006
  14. '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

  15. '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

  16. '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

  17. '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

  18. 2005
  19. 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

  20. 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

  21. 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

  22. 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

  23. 2004
  24. 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

  25. 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