Some elements of methods to deal with equivalences in specification and program development. - Pascal Bernard (JFPL, 1993)

Diachronie et synchronie en spécification, une illustration en Z. - Henri Habrias; Pascal Bernard; Alain Vailly (INFORSID, 1995)

The French Population Census for 1990. - Pascal Bernard; Guy Laffitte (ZUM, 1995)

Architecture and VLSI Implementation of a programmable HD Real-Time Motion Estimator. - Klaus Gaedke; Malte Borsum; Marco Georgi; Andreas Kluger; Jean-Pierre Le Glanic; Pascal Bernard (ISCAS, 2007)

Optical Long Base Hydrostatic Tiltmeter for Slow Earthquake Detection. - Han Cheng Seat; Michel Cattoen; Haris Apriyanto; Frédérick Boudin; Yasmine Nmili; Pascal Bernard; El-Madani Aissaoui; Alexandra Mavroeidi; Efthimios Sokos (IEEE SENSORS, 2024)