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:
  
  
  • REACT: Software product line for crisis management systems
     
  • SETER: SEcurity TEsting of Resilient Systems
     
  • SPLIT: Combine Software Product Line and Aspect-Oriented Software Development
     
  • VERITY: VERIfication of fault-tolerant advanced Transactional distributed sYstems
     
  • SPLACID: A Formal Approach for Specification and Verification of an Advanced Transactional Frameworks Product Line for Dependable Distributed Systems Engineering
     
  • DT4BP: A Model Driven Approach for Modelling Dependable Time-Constrained Business Processes
     
• List of student positions (master, bachelor,...)
   

 If for some reasons, you would like to access to the previous wiki, you may still access it here.