Clique: A Transparent, Peer-to-Peer Replicated File System. - Bruno Richard 002; Donal Mac Nioclais; Denis Chalon (Mobile Data Management, 2003)

Work in Progress - Model-Check PLC Programs: Towards a Efficient Formalization Approach. - Jessica Ravakambinintsoa; Emil Dumitrescu; Eric Zamaï; Denis Chalon (ETFA, 2024)