Here is the updated scientific production of the VASCO research team (VAlidation of software Systems, Components and Objects), part of the research area "Software and Information System Engineering" within the LIG, Grenoble Informatics Laboratory.


VASCO team's research is included in the field of software engineering and applied formal methods. We are convinced that software engineering tools must be based on models. Our primary concern is validation, which applies to both software and models.

This research is related to the "Security, safety, reliability", "Embedded Systems", "Intelligent building" challenges of LIG scientific programme and the PILSI project. It contributes to the "Sustainable ambiant computing" project of the LIG by its contributions to safety, security and software quality.

  • Software and Information System Engineering
  • Software
  • Software engineering , Specification and validation, Verification - Proof - Testing, Safety and quality of software, Security

Site web du LIG