Formal Modeling and Verification of Opportunity-enabled Risk Management. - Alessandro Aldini; Jean-Marc Seigneur; Carlos Ballester Lafuente; Xavier Titi; Jonathan Guislain (TrustCom/BigDataSE/ISPA (1), 2015)

Augmented Winter Ski with AR HMD. - Kevin Fan; Jean-Marc Seigneur; Jonathan Guislain; Suranga Nanayakkara; Masahiko Inami (AH, 2016)

Design and validation of a trust-based opportunity-enabled risk management system. - Alessandro Aldini; Jean-Marc Seigneur; Carlos Ballester Lafuente; Xavier Titi; Jonathan Guislain (Inf. Comput. Secur., 2017)