Contract-based design patterns: a design by contract approach to specify security patterns. - Caine Silva; Sylvain Guérin; Raúl Mazo; Joël Champeau (ARES, 2020)

PAMELA: An annotation-based Java modeling framework. - Sylvain Guérin; Guillaume Polet; Caine Silva; Joël Champeau; Jean-Christophe Bach; Salvador Martínez 001; Fabien Dagnat; Antoine Beugnard (Sci. Comput. Program., 2021)