A New Approach to Preferential Structures. - Karl Schlechta; Laurent Gourmelen; Stéphanie Motré; Olivier Rolland; Bensalah Tahar (Fundam. Informaticae, 2000)

Fixed-Point Arithmetic Modeled in B Software Using Reals. - Jérôme Guéry; Olivier Rolland; Joris Rehm (ABZ, 2014)

Exploration and exploitation of an IS in the engineering projects automotive industry: a synthesis of a clinical research. - Wilfrid Azan; Olivier Rolland; Sylvester Ivanaj (AMCIS, 2020)