Juan Bicarregui

Publication Activity (10 Years)

Years Active: 1991-2023
Publications (10 Years): 1

Top Topics

Multiple Sources

Data Management Systems

Digital Preservation

Top Venues

Int. J. Digit. Curation

Publications

Juan Bicarregui, Simon J. Coles, Brian Matthews, Jeremy G. Frey, Barbara Montanari, Vasily Bunakov, Nicola J. Knight
Connecting Infrastructures: The Physical Sciences Data Infrastructure (PSDI) in the UK. CoRDI (2023)
Juan Bicarregui, Brian Matthews
e-Infrastructure across Photon and Neutron Sources. ERCIM News 2015 (100) (2015)
Juan Bicarregui, Norman Gray, Rob Henderson, Roger Jones, Simon C. Lambert, Brian Matthews
Data Management and Preservation Planning for Big Science. Int. J. Digit. Curation 8 (1) (2013)
Brian Matthews, Arif Shaon, Juan Bicarregui, Catherine Jones, Esther Conway, Jim Woodcock
Considering Software Preservation. ERCIM News 2010 (80) (2010)
Brian Matthews, Arif Shaon, Juan Bicarregui, Catherine Jones
A Framework for Software Preservation. Int. J. Digit. Curation 5 (1) (2010)
Alvaro E. Arenas, Benjamin Aziz, Juan Bicarregui, Michael D. Wilson
An Event-B Approach to Data Sharing Agreements. IFM (2010)
David Giaretta, Donald M. Sawyer, Giovanni Michetti, Mariella Guercio, Simon C. Lambert, Juan Bicarregui, Brian Matthews
Significant Properties, Authenticity, Provenance, Representation Information and OAIS Information. iPRES (2009)
Brian Matthews, Esther Conway, Jim Woodcock, Catherine Jones, Juan Bicarregui, Arif Shaon
Towards a Methodology for Software Preservation. iPRES (2009)
Damian Flannery, Brian Matthews, Tom Griffin, Juan Bicarregui, Michael Gleaves, Laurent Lerusse, Roger Downing, Alun Ashton, Shoaib Sufi, Glen Drinkwater, Kerstin Kleese van Dam
ICAT: Integrating Data Infrastructure for Facilities Based Science. eScience (2009)
Benjamin Aziz, Alvaro Arenas, Juan Bicarregui, Christophe Ponsard, Philippe Massonet
From Goal-Oriented Requirements to Event-B Specifications. NASA Formal Methods (2009)
Juan Bicarregui, John S. Fitzgerald, Peter Gorm Larsen, J. C. P. Woodcock
Industrial Practice in Formal Methods: A Review. FM (2009)
Jim Woodcock, Peter Gorm Larsen, Juan Bicarregui, John S. Fitzgerald
Formal methods: Practice and experience. ACM Comput. Surv. 41 (4) (2009)
Alvaro Arenas, Benjamin Aziz, Juan Bicarregui, Brian Matthews
Managing Conflicts of Interest in Virtual Organisations. Electron. Notes Theor. Comput. Sci. 197 (2) (2008)
Juan Bicarregui, Alvaro Arenas, Benjamin Aziz, Philippe Massonet, Christophe Ponsard
Towards Modelling Obligations in Event-B. ABZ (2008)
Alvaro Arenas, Benjamin Aziz, Juan Bicarregui, Brian Matthews, Erica Y. Yang
Modelling Security Properties in a Grid-based Operating System with Anti-Goals. ARES (2008)
Andrew Butterfield, Juan Bicarregui, Alvaro Arenas
Foreword: Selected papers from the ninth international workshop on formal methods for industrial critical systems (FMICS 04), Linz, Austria. Formal Methods Syst. Des. 30 (3) (2007)
Alvaro E. Arenas, Juan Bicarregui, Tiziana Margaria
The FMICS View on the Verified Software Repository. Trans. SDPS 10 (4) (2006)
Alvaro E. Arenas, Juan Bicarregui
Applying Unifying Theories of Programming to Real-Time Programming. Trans. SDPS 10 (4) (2006)
Juan Bicarregui, C. A. R. Hoare, J. C. P. Woodcock
The verified software repository: a step towards the verifying compiler. Formal Aspects Comput. 18 (2) (2006)
Juan Bicarregui, Andrew Butterfield, Alvaro Arenas
Preface. Electron. Notes Theor. Comput. Sci. 133 (2005)
Nazareno Aguirre, Marcelo Arroyo, Juan Bicarregui, Lucio Guzmán, T. S. E. Maibaum
Towards Dynamically Communicating Abstract Machines in the B Method. ICFEM (2005)
Nazareno Aguirre, Juan Bicarregui, Lucio Guzmán, T. S. E. Maibaum
Implementing Dynamic Aggregations of Abstract Machines in the B Method. ICFEM (2004)
Nazareno Aguirre, Juan Bicarregui, Theodosis Dimitrakos, T. S. E. Maibaum
Towards Dynamic Population Management of Abstract Machines in the B Method. ZB (2003)
Theodosis Dimitrakos, Brian Matthews, Simon C. Lambert, Juan Bicarregui
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. MMGPS (2003)
Juan Bicarregui
Information Systems Research and Development at CCLRC: Accelerating Innovation through Technology Transfer. Electron. Notes Theor. Comput. Sci. 80 (2003)
Juan Bicarregui
Do Not Read This. FME (2002)
Theodosis Dimitrakos, Ivan Djordjevic, Brian Matthews, Juan Bicarregui, Chris I. Phillips
Policy-Driven Access Control over a Distributed Firewall Architecture. POLICY (2002)
Juan Bicarregui, Theodosis Dimitrakos, Dov M. Gabbay, T. S. E. Maibaum
Interpolation in Practical Formal Development. Log. J. IGPL 9 (2) (2001)
John V. Ashby, Juan Bicarregui, David R. S. Boyd, Kerstin Kleese van Dam, Simon C. Lambert, Brian Matthews, Kevin D. O'Neill
A Multidisciplinary Scientific Data Portal. HPCN Europe (2001)
Kevin Lano, Juan Bicarregui, Andy Evans
Structured Axiomatic Semantics for UML Models. Rigorous Object-Oriented Methods (2000)
Theodosis Dimitrakos, Juan Bicarregui, Brian Matthews, T. S. E. Maibaum
Compositional Structuring in the B-Method: A Logical Viewpoint of the Static Context. ZB (2000)
Juan Bicarregui
Exploiting Formality in Software Engineering. SOFSEM (1999)
Juan Bicarregui, Brian Matthews
Proof and Refutation in Formal Software Development. IWFM (1999)
Brian Matthews, Brian Ritchie, Juan Bicarregui
Synthesising Structure from Flat Specifications. B (1998)
Juan Bicarregui, Brian Matthews, Brian Ritchie, Sten Agerholm
Investigating the Integration of two Formal Methods. Formal Aspects Comput. 10 (5-6) (1998)
Kevin Lano, Juan Bicarregui
Semantics and Transformations for UML Models. UML (1998)
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, P. N. Scharbach
Formal methods into practice: case studies in the application of the B method. IEE Proc. Softw. Eng. 144 (2) (1997)
Kevin Lano, Juan Bicarregui, José Luiz Fiadeiro, Antónia Lopes
Specification of Required Non-determinism. FME (1997)
Juan Bicarregui, Jeremy Dick, Brian Matthews, Eoin Woods
Making the Most of Formal Specification Through Animation, Testing and Proof. Sci. Comput. Program. 29 (1-2) (1997)
Juan Bicarregui, Kevin Lano, T. S. E. Maibaum
Objects, Associations and Subsystems: A Hierarchical Approach to Encapsulation. ECOOP (1997)
Juan Bicarregui, Kevin Lano, T. S. E. Maibaum
Formalizing Object-Oriented Models in the Object Calculus. ECOOP Workshops (1997)
Kevin Lano, S. J. Goldsack, Juan Bicarregui, Stuart Kent
Integrating VDM++ and Real-Time System Design. ZUM (1997)
Juan Bicarregui, Kevin Lano, T. S. E. Maibaum
Towards a compositional interpretation of object diagrams. Algorithmic Languages and Calculi (1997)
Savi Maharaj, Juan Bicarregui
On the Verification of VDM Specification and Refinement with PVS. ASE (1997)
Juan Bicarregui, Jeremy Dick, Eoin Woods
Quantitative Analysis of an Application of Formal Methods. FME (1996)
Juan Bicarregui, Brian Matthews
Formal Methods in Practice: A Comparison of Two Support Systems for Proof. SOFSEM (1995)
Juan Bicarregui, Brian Ritchie
Invariants, Frames, and Postconditions: A Comparison of the VDM and B Notations. IEEE Trans. Software Eng. 21 (2) (1995)
Brian Ritchie, Juan Bicarregui, Howard P. Haughton
Experiences in Using the Abstract Machine Notation in a GKS Case Study. FME (1994)
Juan Bicarregui
Operation Semantics with Read and Write Frames. Refine (1994)
Juan Bicarregui, Brian Ritchie
Invariants, Frames and Postconditions: a Comparison of the VDM and B Notations. FME (1993)
Juan Bicarregui
Algorithm Refinement with Read and Write Frames. FME (1993)
Juan Bicarregui, Brian Ritchie
Reasoning about VDM Developments using the VDM Support Tool in MURAL. VDM Europe (1) (1991)