| 2010 | IFM | An Event-B Approach to Data Sharing Agreements. | Alvaro E. Arenas, Benjamin Aziz, Juan Bicarregui, Michael D. Wilson |
| 2009 | FM | Industrial Practice in Formal Methods: A Review. | Juan Bicarregui, John S. Fitzgerald, Peter Gorm Larsen, J. C. P. Woodcock |
| 2005 | ICFEM | Towards Dynamically Communicating Abstract Machines in the B Method. | Nazareno Aguirre, Marcelo Arroyo, Juan Bicarregui, Lucio Guzmn, T. S. E. Maibaum |
| 2004 | ICFEM | Implementing Dynamic Aggregations of Abstract Machines in the B Method. | Nazareno Aguirre, Juan Bicarregui, Lucio Guzmn, T. S. E. Maibaum |
| 2002 | FM | Do Not Read This. | Juan Bicarregui |
| 1999 | SOFSEM | Exploiting Formality in Software Engineering. | Juan Bicarregui |
| 1997 | ECOOP | Objects, Associations and Subsystems: A Hierarchical Approach to Encapsulation. | Juan Bicarregui, Kevin Lano, T. S. E. Maibaum |
| 1997 | FM | Specification of Required Non-determinism. | Kevin Lano, Juan Bicarregui, Jos Luiz Fiadeiro, Antnia Lopes |
| 1996 | FM | Quantitative Analysis of an Application of Formal Methods. | Juan Bicarregui, Jeremy Dick, Eoin Woods |
| 1995 | SOFSEM | Formal Methods in Practice: A Comparison of Two Support Systems for Proof. | Juan Bicarregui, Brian Matthews |
| 1994 | FM | Experiences in Using the Abstract Machine Notation in a GKS Case Study. | Brian Ritchie, Juan Bicarregui, Howard P. Haughton |
| 1993 | FM | Algorithm Refinement with Read and Write Frames. | Juan Bicarregui |
| 1993 | FM | Invariants, Frames and Postconditions: a Comparison of the VDM and B Notations. | Juan Bicarregui, Brian Ritchie |
| 1991 | FM | Reasoning about VDM Developments using the VDM Support Tool in MURAL. | Juan Bicarregui, Brian Ritchie |