Juan Bicarregui

59 papers A* 1A 1B 5C 6Journal 14Unranked 26

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