Saddek Bensalem

Rigorous System Design
Research Team

Saddek Bensalem

Professor, Universirsité Grenoble Alpes (UGA)


Phone: +33 (0)4 38 78 28 06

Fax: +33 (0)4 56 52 03 44


Laboratoire Verimag

Office location:
Centre de Recherche Intégrative (CRI)
CEA, Campus MINATEC, 17 av. des martyrs, 38054 Grenoble Cedex 9

Research interests

My research activity focuses on rigorous system design as a coherent and accountable process aimed at building cost-effectively systems of guaranteed quality. The aim is to provide the theoretical underpinnings, methods and tools for moving from empirical approaches to a well-founded discipline. I study system design as a formal systematic process supported by a methodology based on strategies consisting of a set of steps leading from requirements to an implementation.

Current Projects

Past Projects

Recent publications (in 2015) [all] [dblp] [google scholar]