LASSY

This is the home page of the collaborative network for projects of the LASSY, if this is not what you wanted go back to uni.lu main website.

The current public pages of the LASSY wiki site are

• List of the LASSY members
   
• Publications of the lab
   
• Description of current research projects:
  • MOVERE: Model Driven Validation and Verification of Resilient Software Systems
     
  • REACT: Software product line for crisis management systems
     
  • SETER: SEcurity TEsting of Resilient Systems
     
  • SPLIT: Combine Software Product Line and Aspect-Oriented Software Development
     
• List of student positions (master, bachelor,...)
   
• List of job positions (postdoc, research associates,...)