Juan Bicarregui - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Juan Bicarregui' as author, editor, or advisor:

Implementing Dynamic Aggregations of Abstract Machines in the B MethodNazareno Aguirre, Juan Bicarregui, Lucio Guzmán, T. S. E. Maibaum. icfem 2004: 403-417 [doi]
Specification of Required Non-determinismKevin Lano, Juan Bicarregui, José Luiz Fiadeiro, Antónia Lopes. FM 1997: 298-317
Structured Axiomatic Semantics for UML ModelsKevin Lano, Juan Bicarregui, Andy Evans. room 2000: [doi]
Industrial Deployment of Formal Methods: Trends and ChallengesJohn S. Fitzgerald, Juan Bicarregui, Peter Gorm Larsen, Jim Woodcock. In Alexander Romanovsky, Martyn Thomas, editors, Industrial Deployment of System Engineering Methods. pages 123-143, Springer, 2013. [doi]
Considering Software PreservationBrian Matthews, Arif Shaon, Juan Bicarregui, Catherine Jones, Esther Conway, Jim Woodcock. ercim, 2010(80), 2010. [doi]
Interpolation in Practical Formal DevelopmentJuan Bicarregui, Theodosis Dimitrakos, Dov M. Gabbay, T. S. E. Maibaum. igpl, 9(2):231-244, 2001. [doi]
From Goal-Oriented Requirements to Event-B SpecificationsBenjamin Aziz, Alvaro Arenas, Juan Bicarregui, Christophe Ponsard, Philippe Massonet. NFM 2009: 96-105
Proof in VDM: A Practitioner's GuideJuan Bicarregui, John S. Fitzgerald, Peter A. Lindsay, Richard C. Moore, Brian Ritchie. Formal approaches to computing and information technology, Springer, 1994. [doi]
Towards Modelling Obligations in Event-BJuan Bicarregui, Alvaro Arenas, Benjamin Aziz, Philippe Massonet, Christophe Ponsard. asmta 2008: 181-194 [doi]
On the Verification of VDM Specification and Refinement with PVSSten Agerholm, Juan Bicarregui, Savi Maharaj. In Juan Bicarregui, editor, Proof in VDM: Case Studies. Formal Approaches to Computing and Information Technology (FACIT), pages 157-189, Springer, 1998. [doi]
The Specification and Proof of an EXPRESS to SQL "Compiler"Juan Bicarregui, Brian Matthews. In Juan Bicarregui, editor, Proof in VDM: Case Studies. Formal Approaches to Computing and Information Technology (FACIT), pages 95-121, Springer, 1998. [doi]
Exploiting Formality in Software EngineeringJuan Bicarregui. sofsem 1999: 163-180 [doi]
Making the Most of Formal Specification Through Animation, Testing and ProofJuan Bicarregui, Jeremy Dick, Brian Matthews, Eoin Woods. SCP, 29(1-2):53-78, 1997.
PrefaceJuan Bicarregui, Andrew Butterfield, Alvaro Arenas. ENTCS, 133:1-2, 2005. [doi]
ICAT: Integrating Data Infrastructure for Facilities Based ScienceDamian 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: 201-207 [doi]
Industrial Practice in Formal Methods: A ReviewJuan Bicarregui, John S. Fitzgerald, Peter Gorm Larsen, J. C. P. Woodcock. FM 2009: 810-813 [doi]
Towards Dynamically Communicating Abstract Machines in the B MethodNazareno Aguirre, Marcelo Arroyo, Juan Bicarregui, Lucio Guzmán, T. S. E. Maibaum. icfem 2005: 141-155 [doi]
Synthesising Structure from Flat SpecificationsBrian Matthews, Brian Ritchie, Juan Bicarregui. b 1998: 148-161 [doi]
Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2004, Linz, Austria, September 20-21, 2004Juan Bicarregui, Andrew Butterfield, Alvaro Arenas, editors, Volume 133 of Electronic Notes in Theoretical Computer Science, Elsevier, 2005. [doi]
Formal methods: Practice and experienceJim Woodcock, Peter Gorm Larsen, Juan Bicarregui, John S. Fitzgerald. ACM Comput. Surv., 41(4), 2009. [doi]
Invariants, Frames and Postconditions: a Comparison of the VDM and B NotationsJuan Bicarregui, Brian Ritchie. FM 1993: 162-182
Towards a compositional interpretation of object diagramsJuan Bicarregui, Kevin Lano, T. S. E. Maibaum. alc 1997: 187-211
Foreword: Selected papers from the ninth international workshop on formal methods for industrial critical systems (FMICS 04), Linz, AustriaAndrew Butterfield, Juan Bicarregui, Alvaro Arenas. fmsd, 30(3):177-178, 2007. [doi]
An Event-B Approach to Data Sharing AgreementsAlvaro E. Arenas, Benjamin Aziz, Juan Bicarregui, Michael D. Wilson. IFM 2010: 28-42 [doi]
Significant Properties, Authenticity, Provenance, Representation Information and OAIS InformationDavid Giaretta, Donald M. Sawyer, Giovanni Michetti, Mariella Guercio, Simon C. Lambert, Juan Bicarregui, Brian Matthews. ipres 2009: [doi]
Proof and Refutation in Formal Software DevelopmentJuan Bicarregui, Brian Matthews. iwfm 1999:
The FMICS View on the Verified Software RepositoryAlvaro E. Arenas, Juan Bicarregui, Tiziana Margaria. jid, 10(4):47-54, 2006. [doi]
Formalising the UML in Structured Temporal TheoriesKevin Lano, Juan Bicarregui. In Haim Kilov, Bernhard Rumpe, Ian Simmonds, editors, Behavioral Specifications of Businesses and Systems. Volume 523 of The Kluwer International Series in Engineering and Computer Science, pages 161-174, Springer, 1999. [doi]
Investigating the Integration of two Formal MethodsJuan Bicarregui, Brian Matthews, Brian Ritchie, Sten Agerholm. fac, 10(5-6):532-549, 1998. [doi]
Formal methods into practice: case studies in the application of the B methodJuan 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. iee, 144(2):119-133, 1997.
A Multidisciplinary Scientific Data PortalJohn V. Ashby, Juan Bicarregui, David R. S. Boyd, Kerstin Kleese van Dam, Simon C. Lambert, Brian Matthews, Kevin D. O Neill. hpcn 2001: 13-22 [doi]
Compositional Structuring in the B-Method: A Logical Viewpoint of the Static ContextTheodosis Dimitrakos, Juan Bicarregui, Brian Matthews, T. S. E. Maibaum. zum 2000: 107-126 [doi]
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 projectsTheodosis Dimitrakos, Brian Matthews, Simon C. Lambert, Juan Bicarregui. mmgps 2003: [doi]
e-Infrastructure across Photon and Neutron SourcesJuan Bicarregui, Brian Matthews. ercim, 2015(100), 2015. [doi]
Quantitative Analysis of an Application of Formal MethodsJuan Bicarregui, Jeremy Dick, Eoin Woods. FM 1996: 60-73
Towards a Methodology for Software PreservationBrian Matthews, Esther Conway, Jim Woodcock, Catherine Jones, Juan Bicarregui, Arif Shaon. ipres 2009: [doi]
Integrating VDM++ and Real-Time System DesignKevin Lano, S. J. Goldsack, Juan Bicarregui, Stuart Kent. zum 1997: 188-219
Algorithm Refinement with Read and Write FramesJuan Bicarregui. FM 1993: 148-161
Semantics and Transformations for UML ModelsKevin Lano, Juan Bicarregui. uml 1999: 107-119
Invariants, Frames, and Postconditions: A Comparison of the VDM and B NotationsJuan Bicarregui, Brian Ritchie. TSE, 21(2):79-89, 1995. [doi]
Modelling Security Properties in a Grid-based Operating System with Anti-GoalsAlvaro Arenas, Benjamin Aziz, Juan Bicarregui, Brian Matthews, Erica Y. Yang. IEEEares 2008: 1429-1436 [doi]
Proof in VDM: Case StudiesJuan Bicarregui, editor, Formal Approaches to Computing and Information Technology (FACIT), Springer, 1998. [doi]
Data Management and Preservation Planning for Big ScienceJuan Bicarregui, Norman Gray, Rob Henderson, Roger Jones, Simon C. Lambert, Brian Matthews. ijdc, 8(1):29-41, 2013. [doi]
Policy-Driven Access Control over a Distributed Firewall ArchitectureTheodosis Dimitrakos, Ivan Djordjevic, Brian Matthews, Juan Bicarregui, Chris I. Phillips. policy 2002: 228-231 [doi]
Do Not Read ThisJuan Bicarregui. FM 2002: 106-125 [doi]
The verified software repository: a step towards the verifying compilerJuan Bicarregui, C. A. R. Hoare, J. C. P. Woodcock. fac, 18(2):143-151, 2006. [doi]
Operation Semantics with Read and Write FramesJuan Bicarregui. Refine 1994: 260-278 [doi]
Reasoning about VDM Developments using the VDM Support Tool in MURALJuan Bicarregui, Brian Ritchie. FM 1991: 371-388
Formal Methods in Practice: A Comparison of Two Support Systems for ProofJuan Bicarregui, Brian Matthews. sofsem 1995: 184-205
Managing Conflicts of Interest in Virtual OrganisationsAlvaro Arenas, Benjamin Aziz, Juan Bicarregui, Brian Matthews. ENTCS, 197(2):45-56, 2008. [doi]
Towards Dynamic Population Management of Abstract Machines in the B MethodNazareno Aguirre, Juan Bicarregui, Theodosis Dimitrakos, T. S. E. Maibaum. zum 2003: 528-545 [doi]
Objects, Associations and Subsystems: A Hierarchical Approach to EncapsulationJuan Bicarregui, Kevin Lano, T. S. E. Maibaum. ECOOP 1997: 324-343 [doi]
A Framework for Software PreservationBrian Matthews, Arif Shaon, Juan Bicarregui, Catherine Jones. ijdc, 5(1):91-105, 2010. [doi]
On the Verification of VDM Specification and Refinement with PVSSavi Maharaj, Juan Bicarregui. jckbse 1997: 280 [doi]
Experiences in Using the Abstract Machine Notation in a GKS Case StudyBrian Ritchie, Juan Bicarregui, Howard P. Haughton. FM 1994: 93-104
Information Systems Research and Development at CCLRC: Accelerating Innovation through Technology TransferJuan Bicarregui. ENTCS, 80:261-266, 2003. [doi]
Applying Unifying Theories of Programming to Real-Time ProgrammingAlvaro E. Arenas, Juan Bicarregui. jid, 10(4):69-88, 2006. [doi]
Connecting Infrastructures: The Physical Sciences Data Infrastructure (PSDI) in the UKJuan Bicarregui, Simon J. Coles, Brian Matthews, Jeremy G. Frey, Barbara Montanari, Vasily Bunakov, Nicola Knight. cordi 2023: [doi]
Formalizing Object-Oriented Models in the Object CalculusJuan Bicarregui, Kevin Lano, T. S. E. Maibaum. ECOOPW 1998: 155-160 [doi]

runs on WebDSL