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

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

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

  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, 10. Term, 2009

    Student thesis: Master thesis (including 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, 10. Term, 2008

    Student thesis: Master thesis (including HD thesis)

  8. Spider: Social-Mobile Network

    Antonio Sapuppo

    Master Software Systems Engineering SSE, 10. Term, 2008

    Student thesis: Master thesis (including HD thesis)

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

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

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

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

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

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

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

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

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

  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, 10. Term, 2005

    Student thesis: Master thesis (including 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, 10. Term, 2005

    Student thesis: Master thesis (including HD thesis)

  23. 2004
  24. The pi-calculus with polyadic synchronization

    Joana Martinho

    Master Software Systems Engineering SSE, 10. Term, 2004

    Student thesis: Master thesis (including HD thesis)

  25. The pi-calculus with polyadic synchronization - REVISED

    Joana Martinho

    Master Software Systems Engineering SSE, 10. Term, 2004

    Student thesis: Master thesis (including HD thesis)