MAIDAY: An Environment for Guided Programming. - Jacques Guyard; Jean-Pierre Jacquot (ICSE, 1984)

Modeling Teamwork in an Academic Environment. - Jean-Pierre Jacquot; Jacques Guyard; L. Boidot (CSEE, 1990)

Seven Lessons to Teach Design. - Jean-Pierre Jacquot; Jacques Guyard (CSEE, 1991)

An Environment for the Process of Design Specifications. - D. Quesnot; Jean-Pierre Jacquot (PPIG (2), 1992)

Implication of Practitioners in a Post-Graduate Curriculum, a Successful Collaboration. - Bernard Amar; Yves Benoit; Jacques Guyard; Jean-Pierre Jacquot (CSEE, 1994)

Programming Through Disciplined Modification. - Jean-Pierre Jacquot (ICSM, 1994)

The Process of Teaching Process. - Jean-Pierre Jacquot (CSEE, 1995)

Requirements for an Ideal First Language. - Jean-Pierre Jacquot; Jacques Guyard (FPLE, 1995)

Trading legibility against implementability in requirement specifications: an experimental assessment. - Jean-Pierre Jacquot; A. Valdenaire (RE, 1995)

Early Specification of User-Interfaces: Toward a Formal Approach. - Jean-Pierre Jacquot; D. Quesnot (ICSE, 1997)

Which use for Java in introductory courses? - Jean-Pierre Jacquot (PPPJ/IRE, 2002)

A full Java post-graduate curriculum. - Jean-Pierre Jacquot (PPPJ, 2004)

Consistency in UML and B Multi-view Specifications. - Dieu Donné Okalas Ossami; Jean-Pierre Jacquot; Jeanine Souquières (IFM, 2005)

Software Engineering Education by Example - Nacer Boudjlida; Jean-Pierre Jacquot; Pascal Urso (CoRR, 2009)

Domain Engineering with Event-B: Some Lessons We Learned. - Atif Mashkoor; Jean-Pierre Jacquot (RE, 2010)

Stepwise Validation of Formal Specifications. - Atif Mashkoor; Jean-Pierre Jacquot (APSEC, 2011)

Guidelines for Formal Domain Modeling in Event-B. - Atif Mashkoor; Jean-Pierre Jacquot (HASE, 2011)

Scaling Up with Event-B: A Case Study. - Faqing Yang; Jean-Pierre Jacquot (NASA Formal Methods, 2011)

Utilizing Event-B for domain engineering: a critical analysis. - Atif Mashkoor; Jean-Pierre Jacquot (Requir. Eng., 2011)

The Case for Using Simulation to Validate Event-B Specifications. - Faqing Yang; Jean-Pierre Jacquot; Jeanine Souquières (APSEC, 2012)

JeB: Safe Simulation of Event-B Models in JavaScript. - Faqing Yang; Jean-Pierre Jacquot; Jeanine Souquières (APSEC (1), 2013)

Proving the Fidelity of Simulations of Event-B Models. - Faqing Yang; Jean-Pierre Jacquot; Jeanine Souquières (HASE, 2014)

Observation-Level-Driven Formal Modeling. - Atif Mashkoor; Jean-Pierre Jacquot (HASE, 2015)

Premières leçons sur la spécification d'un train d'atterrissage en B Événementiel. - Jean-Pierre Jacquot (Tech. Sci. Informatiques, 2015)

Validation of formal specifications through transformation and animation. - Atif Mashkoor; Jean-Pierre Jacquot (Requir. Eng., 2017)

Refinement-based Validation of Event-B Specifications. - Atif Mashkoor; Faqing Yang; Jean-Pierre Jacquot (Softw. Syst. Model., 2017)

The Role of Validation in Refinement-Based Formal Software Development. - Jean-Pierre Jacquot; Atif Mashkoor (Models: Concepts, Theory, Logic, Reasoning and Semantics, 2018)

Multi-model Animation with JeB. - Jean-Pierre Jacquot (ABZ, 2024)