| 2019 | RE | Bridging the Gap Between Requirements Document and Formal Specifications using Development Patterns. | Imen Sayar, Jeanine Souquires |
| 2018 | SEFM | Bridging the Gap Between Informal Requirements and Formal Specifications Using Model Federation. | Fahad Rafique Golra, Fabien Dagnat, Jeanine Souquires, Imen Sayar, Sylvain Gurin |
| 2013 | APSEC | JeB: Safe Simulation of Event-B Models in JavaScript. | Faqing Yang, Jean-Pierre Jacquot, Jeanine Souquires |
| 2012 | APSEC | The Case for Using Simulation to Validate Event-B Specifications. | Faqing Yang, Jean-Pierre Jacquot, Jeanine Souquires |
| 2008 | FMICS | Using CSP||B Components: Application to a Platoon of Vehicles. | Samuel Colin, Arnaud Lanoix, Olga Kouchnarenko, Jeanine Souquires |
| 2005 | IFM | Consistency in UML and B Multi-view Specifications. | Dieu Donn Okalas Ossami, Jean-Pierre Jacquot, Jeanine Souquires |
| 2005 | SAC | Verification of behavioural elements of UML models using B. | Ninh-Thuan Truong, Jeanine Souquires |
| 2002 | APSEC | Integration of UML and B Specification Techniques: Systematic Transformation from OCL Expressions into B. | Hung Ledang, Jeanine Souquires |
| 2002 | ICFEM | Toward a Formal Model of Software Components. | Maritta Heisel, Thomas Santen, Jeanine Souquires |
| 2002 | IFM | Contributions for Modelling UML State-Charts in B. | Hung Ledang, Jeanine Souquires |
| 2001 | GI | Integrating UML and B Specification Techniques. | Hung Ledang, Jeanine Souquires |
| 1999 | ER | A Method for Requirements Elicitation and Formal Specification. | Maritta Heisel, Jeanine Souquires |
| 1999 | FM | A Systematic Approach to Transform OMT Diagrams to a B Specification. | Eric Meyer, Jeanine Souquires |
| 1997 | RE | Reusing Operational Requirements: A Process-Oriented Approach. | Robert Darimont, Jeanine Souquires |
| 1993 | RE | Description of specification developments. | Jeanine Souquires, Nicole Lvy |