Reasoning about VDM Developments using the VDM Support Tool in MURAL. - Juan Bicarregui; Brian Ritchie (VDM Europe (1), 1991)

Algorithm Refinement with Read and Write Frames. - Juan Bicarregui (FME, 1993)

Proof in VDM: A Practitioner's Guide - Juan Bicarregui; John S. Fitzgerald; Peter A. Lindsay; Richard C. Moore; Brian Ritchie (Proof in VDM, 1994)

Experiences in Using the Abstract Machine Notation in a GKS Case Study. - Brian Ritchie; Juan Bicarregui; Howard P. Haughton (FME, 1994)

Operation Semantics with Read and Write Frames. - Juan Bicarregui (Refine, 1994)

Formal Methods in Practice: A Comparison of Two Support Systems for Proof. - Juan Bicarregui; Brian Matthews (SOFSEM, 1995)

Invariants, Frames, and Postconditions: A Comparison of the VDM and B Notations. - Juan Bicarregui; Brian Ritchie (IEEE Trans. Software Eng., 1995)

Quantitative Analysis of an Application of Formal Methods. - Juan Bicarregui; Jeremy Dick; Eoin Woods (FME, 1996)

Towards a compositional interpretation of object diagrams. - Juan Bicarregui; Kevin Lano; T. S. E. Maibaum (Algorithmic Languages and Calculi, 1997)

Objects, Associations and Subsystems: A Hierarchical Approach to Encapsulation. - Juan Bicarregui; Kevin Lano; T. S. E. Maibaum (ECOOP, 1997)

Formalizing Object-Oriented Models in the Object Calculus. - Juan Bicarregui; Kevin Lano; T. S. E. Maibaum (ECOOP Workshops, 1997)

Specification of Required Non-determinism. - Kevin Lano; Juan Bicarregui; José Luiz Fiadeiro; Antónia Lopes (FME, 1997)

On the Verification of VDM Specification and Refinement with PVS. - Savi Maharaj; Juan Bicarregui (ASE, 1997)

Integrating VDM++ and Real-Time System Design. - Kevin Lano; Stephen J. Goldsack; Juan Bicarregui; Stuart Kent 001 (ZUM, 1997)

Formal methods into practice: case studies in the application of the B method. - Juan Bicarregui; D. L. Clutterbuck; Gavin R. Finnie; Howard P. Haughton; Kevin Lano; H. Lesan; D. W. R. M. Marsh; B. M. Matthews; Michael R. Moulding; A. Richard Newton; Brian Ritchie; T. G. A. Rushton; et al. (IEE Proc. Softw. Eng., 1997)

Making the Most of Formal Specification Through Animation, Testing and Proof. - Juan Bicarregui; Jeremy Dick; Brian Matthews; Eoin Woods (Sci. Comput. Program., 1997)

On the Verification of VDM Specification and Refinement with PVS. - Sten Agerholm; Juan Bicarregui; Savi Maharaj (Proof in VDM, 1998)

The Specification and Proof of an EXPRESS to SQL "Compiler". - Juan Bicarregui; Brian Matthews (Proof in VDM, 1998)

Synthesising Structure from Flat Specifications. - Brian Matthews; Brian Ritchie; Juan Bicarregui (B, 1998)

Semantics and Transformations for UML Models. - Kevin Lano; Juan Bicarregui (UML, 1998)

Investigating the Integration of two Formal Methods. - Juan Bicarregui; Brian Matthews; Brian Ritchie; Sten Agerholm (Formal Aspects Comput., 1998)

Formalising the UML in Structured Temporal Theories. - Kevin Lano; Juan Bicarregui (Behavioral Specifications of Businesses and Systems, 1999)

Proof and Refutation in Formal Software Development. - Juan Bicarregui; Brian Matthews (IWFM, 1999)

Exploiting Formality in Software Engineering. - Juan Bicarregui (SOFSEM, 1999)

Structured Axiomatic Semantics for UML Models. - Kevin Lano; Juan Bicarregui; Andy Evans (Rigorous Object-Oriented Methods, 2000)

Compositional Structuring in the B-Method: A Logical Viewpoint of the Static Context. - Theodosis Dimitrakos; Juan Bicarregui; Brian Matthews; T. S. E. Maibaum (ZB, 2000)

A Multidisciplinary Scientific Data Portal. - John V. Ashby; Juan Bicarregui; David R. S. Boyd; Kerstin Kleese van Dam; Simon C. Lambert; Brian Matthews; Kevin D. O'Neill (HPCN Europe, 2001)

Interpolation in Practical Formal Development. - Juan Bicarregui; Theodosis Dimitrakos; Dov M. Gabbay; T. S. E. Maibaum (Log. J. IGPL, 2001)

Do Not Read This. - Juan Bicarregui (FME, 2002)

Policy-Driven Access Control over a Distributed Firewall Architecture. - Theodosis Dimitrakos; Ivan Djordjevic; Brian Matthews; Juan Bicarregui; Chris I. Phillips 001 (POLICY, 2002)

Meta-data Management Issues Underpinning Emerging Solutions for Distributed Trust and Contract Management in Enterprise Grid and P2P Systems. Experiences from GRASP, SWAD-Europe, PELLUCID and CORAS projects. - Theodosis Dimitrakos; Brian Matthews; Simon C. Lambert; Juan Bicarregui (MMGPS, 2003)

Towards Dynamic Population Management of Abstract Machines in the B Method. - Nazareno Aguirre; Juan Bicarregui; Theodosis Dimitrakos; T. S. E. Maibaum (ZB, 2003)

Information Systems Research and Development at CCLRC: Accelerating Innovation through Technology Transfer. - Juan Bicarregui (FMICS, 2003)

Implementing Dynamic Aggregations of Abstract Machines in the B Method. - Nazareno Aguirre; Juan Bicarregui; Lucio Guzmán; T. S. E. Maibaum (ICFEM, 2004)

Preface. - Juan Bicarregui; Andrew Butterfield; Alvaro Arenas (FMICS, 2004)

Towards Dynamically Communicating Abstract Machines in the B Method. - Nazareno Aguirre; Marcelo Arroyo; Juan Bicarregui; Lucio Guzmán; T. S. E. Maibaum (ICFEM, 2005)

The verified software repository: a step towards the verifying compiler. - Juan Bicarregui; C. A. R. Hoare; J. C. P. Woodcock (Formal Aspects Comput., 2006)

Applying Unifying Theories of Programming to Real-Time Programming. - Alvaro E. Arenas; Juan Bicarregui (Trans. SDPS, 2006)

The FMICS View on the Verified Software Repository. - Alvaro E. Arenas; Juan Bicarregui; Tiziana Margaria (Trans. SDPS, 2006)

Managing Conflicts of Interest in Virtual Organisations. - Alvaro Arenas; Benjamin Aziz; Juan Bicarregui; Brian Matthews (STM@ESORICS, 2007)

Foreword: Selected papers from the ninth international workshop on formal methods for industrial critical systems (FMICS 04), Linz, Austria. - Andrew Butterfield; Juan Bicarregui; Alvaro Arenas (Formal Methods Syst. Des., 2007)

Modelling Security Properties in a Grid-based Operating System with Anti-Goals. - Alvaro Arenas; Benjamin Aziz; Juan Bicarregui; Brian Matthews; Erica Y. Yang (ARES, 2008)

Towards Modelling Obligations in Event-B. - Juan Bicarregui; Alvaro Arenas; Benjamin Aziz; Philippe Massonet; Christophe Ponsard (ABZ, 2008)

ICAT: Integrating Data Infrastructure for Facilities Based Science. - Damian Flannery; Brian Matthews; Tom Griffin; Juan Bicarregui; Michael Gleaves; Laurent Lerusse; Roger Downing; Alun Ashton; Shoaib Sufi; Glen Drinkwater; Kerstin Kleese van Dam (eScience, 2009)

Industrial Practice in Formal Methods: A Review. - Juan Bicarregui; John S. Fitzgerald; Peter Gorm Larsen; J. C. P. Woodcock (FM, 2009)

Significant Properties, Authenticity, Provenance, Representation Information and OAIS Information. - David Giaretta; Donald M. Sawyer; Giovanni Michetti; Mariella Guercio; Simon C. Lambert; Juan Bicarregui; Brian Matthews (iPRES, 2009)

Towards a Methodology for Software Preservation. - Brian Matthews; Esther Conway; Jim Woodcock 001; Catherine Mary Jones; Juan Bicarregui; Arif Shaon (iPRES, 2009)

From Goal-Oriented Requirements to Event-B Specifications. - Benjamin Aziz; Alvaro Arenas; Juan Bicarregui; Christophe Ponsard; Philippe Massonet (NASA Formal Methods, 2009)

Formal methods: Practice and experience. - Jim Woodcock 001; Peter Gorm Larsen; Juan Bicarregui; John S. Fitzgerald (ACM Comput. Surv., 2009)

An Event-B Approach to Data Sharing Agreements. - Alvaro E. Arenas; Benjamin Aziz; Juan Bicarregui; Michael D. Wilson (IFM, 2010)

Considering Software Preservation. - Brian Matthews; Arif Shaon; Juan Bicarregui; Catherine Mary Jones; Esther Conway; Jim Woodcock 001 (ERCIM News, 2010)

A Framework for Software Preservation. - Brian Matthews; Arif Shaon; Juan Bicarregui; Catherine Mary Jones (Int. J. Digit. Curation, 2010)

Industrial Deployment of Formal Methods: Trends and Challenges. - John S. Fitzgerald; Juan Bicarregui; Peter Gorm Larsen; Jim Woodcock 001 (Industrial Deployment of System Engineering Methods, 2013)

Data Management and Preservation Planning for Big Science. - Juan Bicarregui; Norman Gray; Rob Henderson; Roger Jones; Simon C. Lambert; Brian Matthews (Int. J. Digit. Curation, 2013)

e-Infrastructure across Photon and Neutron Sources. - Juan Bicarregui; Brian Matthews (ERCIM News, 2015)

Quality and Trust in the European Open Science Cloud. - Juan Carlos Bicarregui (Int. J. Digit. Curation, 2020)

Connecting Infrastructures: The Physical Sciences Data Infrastructure (PSDI) in the UK. - Juan Bicarregui; Simon J. Coles; Brian Matthews; Jeremy G. Frey; Barbara Montanari; Vasily Bunakov; Nicola J. Knight (CoRDI, 2023)