default search action
Juan Bicarregui
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [c38]Juan Bicarregui, Simon J. Coles
, Brian Matthews, Jeremy G. Frey
Connecting Infrastructures: The Physical Sciences Data Infrastructure (PSDI) in the UK. CoRDI 2023 - 2020
- [j13]Juan Carlos Bicarregui
Quality and Trust in the European Open Science Cloud. Int. J. Digit. Curation 15(1): 1-8 (2020)
2010 – 2019
- 2015
- [i2]Juan Bicarregui, Brian Matthews:
e-Infrastructure across Photon and Neutron Sources. ERCIM News 2015(100) (2015) - 2013
- [j12]Juan Bicarregui
Data Management and Preservation Planning for Big Science. Int. J. Digit. Curation 8(1): 29-41 (2013) - [p4]John S. Fitzgerald
Industrial Deployment of Formal Methods: Trends and Challenges. Industrial Deployment of System Engineering Methods 2013: 123-143 - 2010
- [j11]Brian Matthews
A Framework for Software Preservation. Int. J. Digit. Curation 5(1): 91-105 (2010) - [c37]Alvaro E. Arenas, Benjamin Aziz, Juan Bicarregui
An Event-B Approach to Data Sharing Agreements. IFM 2010: 28-42 - [i1]Brian Matthews, Arif Shaon, Juan Bicarregui, Catherine Mary Jones, Esther Conway, Jim Woodcock
Considering Software Preservation. ERCIM News 2010(80) (2010)
2000 – 2009
- 2009
- [j10]Jim Woodcock
Formal methods: Practice and experience. ACM Comput. Surv. 41(4): 19:1-19:36 (2009) - [c36]Damian Flannery, Brian Matthews
ICAT: Integrating Data Infrastructure for Facilities Based Science. eScience 2009: 201-207 - [c35]Juan Bicarregui
Industrial Practice in Formal Methods: A Review. FM 2009: 810-813 - [c34]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 - [c33]Brian Matthews, Esther Conway, Jim Woodcock
Towards a Methodology for Software Preservation. iPRES 2009 - [c32]Benjamin Aziz, Alvaro Arenas, Juan Bicarregui, Christophe Ponsard, Philippe Massonet:
From Goal-Oriented Requirements to Event-B Specifications. NASA Formal Methods 2009: 96-105 - 2008
- [c31]Alvaro Arenas, Benjamin Aziz, Juan Bicarregui
Modelling Security Properties in a Grid-based Operating System with Anti-Goals. ARES 2008: 1429-1436 - [c30]Juan Bicarregui
Towards Modelling Obligations in Event-B. ABZ 2008: 181-194 - 2007
- [j9]Andrew Butterfield
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): 177-178 (2007) - [c29]Alvaro Arenas
Managing Conflicts of Interest in Virtual Organisations. STM@ESORICS 2007: 45-56 - 2006
- [j8]Juan Bicarregui
The verified software repository: a step towards the verifying compiler. Formal Aspects Comput. 18(2): 143-151 (2006) - [j7]Alvaro E. Arenas, Juan Bicarregui, Tiziana Margaria:
The FMICS View on the Verified Software Repository. Trans. SDPS 10(4): 47-54 (2006) - [j6]Alvaro E. Arenas, Juan Bicarregui:
Applying Unifying Theories of Programming to Real-Time Programming. Trans. SDPS 10(4): 69-88 (2006) - 2005
- [c28]Nazareno Aguirre, Marcelo Arroyo, Juan Bicarregui
Towards Dynamically Communicating Abstract Machines in the B Method. ICFEM 2005: 141-155 - [e2]Juan Bicarregui, Andrew Butterfield, Alvaro Arenas:
Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2004, Linz, Austria, September 20-21, 2004. Electronic Notes in Theoretical Computer Science 133, Elsevier 2005 [contents] - 2004
- [c27]Nazareno Aguirre, Juan Bicarregui
Implementing Dynamic Aggregations of Abstract Machines in the B Method. ICFEM 2004: 403-417 - [c26]Juan Bicarregui
Preface. FMICS 2004: 1-2 - 2003
- [c25]Theodosis Dimitrakos
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 - [c24]Nazareno Aguirre, Juan Bicarregui
Towards Dynamic Population Management of Abstract Machines in the B Method. ZB 2003: 528-545 - [c23]Juan Bicarregui
Information Systems Research and Development at CCLRC: Accelerating Innovation through Technology Transfer. FMICS 2003: 261-266 - 2002
- [c22]Juan Bicarregui
Do Not Read This. FME 2002: 106-125 - [c21]Theodosis Dimitrakos
Policy-Driven Access Control over a Distributed Firewall Architecture. POLICY 2002: 228-231 - 2001
- [j5]Juan Bicarregui
Interpolation in Practical Formal Development. Log. J. IGPL 9(2): 231-244 (2001) - [c20]John V. Ashby, Juan Bicarregui, David R. S. Boyd, Kerstin Kleese van Dam
A Multidisciplinary Scientific Data Portal. HPCN Europe 2001: 13-22 - 2000
- [c19]Kevin Lano, Juan Bicarregui, Andy Evans:
Structured Axiomatic Semantics for UML Models. Rigorous Object-Oriented Methods 2000 - [c18]Theodosis Dimitrakos, Juan Bicarregui, Brian Matthews
Compositional Structuring in the B-Method: A Logical Viewpoint of the Static Context. ZB 2000: 107-126
1990 – 1999
- 1999
- [c17]Juan Bicarregui, Brian Matthews:
Proof and Refutation in Formal Software Development. IWFM 1999 - [c16]Juan Bicarregui
Exploiting Formality in Software Engineering. SOFSEM 1999: 163-180 - [p3]Kevin Lano, Juan Bicarregui
Formalising the UML in Structured Temporal Theories. Behavioral Specifications of Businesses and Systems 1999: 161-174 - 1998
- [j4]Juan Bicarregui
Investigating the Integration of two Formal Methods. Formal Aspects Comput. 10(5-6): 532-549 (1998) - [c15]Brian Matthews
Synthesising Structure from Flat Specifications. B 1998: 148-161 - [c14]Kevin Lano, Juan Bicarregui
Semantics and Transformations for UML Models. UML 1998: 107-119 - [p2]Juan Bicarregui
The Specification and Proof of an EXPRESS to SQL "Compiler". Proof in VDM 1998: 95-121 - [p1]Sten Agerholm, Juan Bicarregui
On the Verification of VDM Specification and Refinement with PVS. Proof in VDM 1998: 157-189 - [e1]Juan Bicarregui
Proof in VDM: Case Studies. Formal Approaches to Computing and Information Technology (FACIT), Springer 1998, ISBN 978-3-540-76186-0 [contents] - 1997
- [j3]Juan Bicarregui
Formal methods into practice: case studies in the application of the B method. IEE Proc. Softw. Eng. 144(2): 119-133 (1997) - [j2]Juan Bicarregui
Making the Most of Formal Specification Through Animation, Testing and Proof. Sci. Comput. Program. 29(1-2): 53-78 (1997) - [c13]Juan Bicarregui, Kevin Lano, T. S. E. Maibaum:
Towards a compositional interpretation of object diagrams. Algorithmic Languages and Calculi 1997: 187-211 - [c12]Juan Bicarregui
Objects, Associations and Subsystems: A Hierarchical Approach to Encapsulation. ECOOP 1997: 324-343 - [c11]Juan Bicarregui
Formalizing Object-Oriented Models in the Object Calculus. ECOOP Workshops 1997: 155-160 - [c10]Kevin Lano, Juan Bicarregui
Specification of Required Non-determinism. FME 1997: 298-317 - [c9]Savi Maharaj, Juan Bicarregui
On the Verification of VDM Specification and Refinement with PVS. ASE 1997: 280- - [c8]Kevin Lano, Stephen J. Goldsack, Juan Bicarregui
Integrating VDM++ and Real-Time System Design. ZUM 1997: 188-219 - 1996
- [c7]Juan Bicarregui
Quantitative Analysis of an Application of Formal Methods. FME 1996: 60-73 - 1995
- [j1]Juan Bicarregui
Invariants, Frames, and Postconditions: A Comparison of the VDM and B Notations. IEEE Trans. Software Eng. 21(2): 79-89 (1995) - [c6]Juan Bicarregui
Formal Methods in Practice: A Comparison of Two Support Systems for Proof. SOFSEM 1995: 184-205 - 1994
- [b1]Juan Bicarregui
Proof in VDM: A Practitioner's Guide. Formal approaches to computing and information technology, Springer 1994, ISBN 978-3-540-19813-0, pp. 1-341 - [c5]Brian Ritchie, Juan Bicarregui
Experiences in Using the Abstract Machine Notation in a GKS Case Study. FME 1994: 93-104 - [c4]Juan Bicarregui
Operation Semantics with Read and Write Frames. Refine 1994: 260-278 - 1993
- [c3]Juan Bicarregui
Algorithm Refinement with Read and Write Frames. FME 1993: 148-161 - [c2]Juan Bicarregui
Invariants, Frames and Postconditions: a Comparison of the VDM and B Notations. FME 1993: 162-182 - 1991
- [c1]Juan Bicarregui
Reasoning about VDM Developments using the VDM Support Tool in MURAL. VDM Europe (1) 1991: 371-388
Coauthor Index
aka: B. M. Matthews
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-20 22:56 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: