Research area Software and Systems

Mastering the development of complex software systems

UniLu ResearchArea Software and Systems

Through a number of complementary research topics we contribute to shaping software and systems to meet tomorrow’s challenges


The Software and Systems Research Area investigates methods and tools to master the development of complex software systems.
We tackle the following topics:
• Development of new engineering processes.
• Investigation of model-driven development.
• Foundations of software engineering.
• Verification and validation techniques.
• Development and use of e-learning tools.

The main application domains are industry-critical systems, e-learning systems, web-based distributed systems, and enterprise architectures.

The software and systems research area is managed by the Laboratory for Advanced Software Systems (LASSY).

The following professors and their teams contribute to this research area:
• Nicolas GUELFI:
o Dependability
o Formal Methods
o Requirements Engineering
o Software Engineering
• Pierre KELSEN:
o Domain-Specific Modelling Languages
o Formal Methods
o Model-Driven Software Development
• Yves LE TRAON:
o Automated implementation of security mechanisms
o Malware detection and prevention
o Model-Driven Security
o Big Data at Runtime
o Modelling at Runtime
o Software Testing
• Nicolas NAVET:
o Integration of Verification Activity into Model-Driven Engineering
o Probabilistic Risk Analysis
o Timing Verification of Real-time Systems
o e-Learning
o Proactive Computing
o Proactive Engines

Research groups