• Our group comprises high qualified members: professors, senior researches, doctoral and master students. The group overall goals are defined by the team leaders.

    Members

    Our group comprises high qualified members: professors, senior researches, doctoral and master students. The group overall goals are defined by the team leaders.

  • We have interest in challenges concerning reliability. We pursue the ideal reliability by means of formal methods and software testing, among other approaches.

    Research Areas

    We have interest in challenges concerning reliability. We pursue the ideal reliability by means of formal methods and software testing, among other approaches.

  •  We have undertaken many relevant projects on different domains like Avionics and Telecom. Currently, our main focus is on System of Systems. Find out more here.

    Research Projects

    We have undertaken many relevant projects on different domains like Avionics and Telecom. Currently, our main focus is on System of Systems. Find out more here.