Juan Bicarregui

	2009
39		Juan Bicarregui, John S. Fitzgerald, Peter Gorm Larsen, J. C. P. Woodcock: Industrial Practice in Formal Methods: A Review. FM 2009: 810-813
38		Jim Woodcock, Peter Gorm Larsen, Juan Bicarregui, John S. Fitzgerald: Formal methods: Practice and experience. ACM Comput. Surv. 41(4): (2009)
	2008
37		Juan Bicarregui, Alvaro Arenas, Benjamin Aziz, Philippe Massonet, Christophe Ponsard: Towards Modelling Obligations in Event-B. ABZ 2008: 181-194
36		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: 1429-1436
35		Alvaro Arenas, Benjamin Aziz, Juan Bicarregui, Brian Matthews: Managing Conflicts of Interest in Virtual Organisations. Electr. Notes Theor. Comput. Sci. 197(2): 45-56 (2008)
	2007
34		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 in System Design 30(3): 177-178 (2007)
	2006
33		Juan Bicarregui, C. A. R. Hoare, J. C. P. Woodcock: The verified software repository: a step towards the verifying compiler. Formal Asp. Comput. 18(2): 143-151 (2006)
	2005
32		Nazareno Aguirre, Marcelo Arroyo, Juan Bicarregui, Lucio Guzmán, T. S. E. Maibaum: Towards Dynamically Communicating Abstract Machines in the B Method. ICFEM 2005: 141-155
31		Juan Bicarregui, Andrew Butterfield, Alvaro Arenas: Preface. Electr. Notes Theor. Comput. Sci. 133: 1-2 (2005)
	2004
30		Nazareno Aguirre, Juan Bicarregui, Lucio Guzmán, T. S. E. Maibaum: Implementing Dynamic Aggregations of Abstract Machines in the B Method. ICFEM 2004: 403-417
	2003
29		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
28		Nazareno Aguirre, Juan Bicarregui, Theodosis Dimitrakos, T. S. E. Maibaum: Towards Dynamic Population Management of Abstract Machines in the B Method. ZB 2003: 528-545
27		Juan Bicarregui: Information Systems Research and Development at CCLRC: Accelerating Innovation through Technology Transfer. Electr. Notes Theor. Comput. Sci. 80: (2003)
	2002
26		Juan Bicarregui: Do Not Read This. FME 2002: 106-125
25		Theodosis Dimitrakos, Ivan Djordjevic, Brian Matthews, Juan Bicarregui, Chris I. Phillips: Policy-Driven Access Control over a Distributed Firewall Architecture. POLICY 2002: 228-231
	2001
24		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: 13-22
23		Juan Bicarregui, Theodosis Dimitrakos, Dov M. Gabbay, T. S. E. Maibaum: Interpolation in Practical Formal Development. Logic Journal of the IGPL 9(2): (2001)
	2000
22		Kevin Lano, Juan Bicarregui, Andy Evans: Structured Axiomatic Semantics for UML Models. Rigorous Object-Oriented Methods 2000
21		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: 107-126
	1999
20		Juan Bicarregui, Brian Matthews: Proof and Refutation in Formal Software Development. IWFM 1999
19		Juan Bicarregui: Exploiting Formality in Software Engineering. SOFSEM 1999: 163-180
	1998
18		Brian Matthews, Brian Ritchie, Juan Bicarregui: Synthesising Structure from Flat Specifications. B 1998: 148-161
17		Kevin Lano, Juan Bicarregui: Semantics and Transformations for UML Models. UML 1998: 107-119
16		Juan Bicarregui, Brian Matthews, Brian Ritchie, Sten Agerholm: Investigating the Integration of two Formal Methods. Formal Asp. Comput. 10(5-6): 532-549 (1998)
	1997
15		Savi Maharaj, Juan Bicarregui: On the Verification of VDM Specification and Refinement with PVS. ASE 1997: 280-
14		Juan Bicarregui, Kevin Lano, T. S. E. Maibaum: Towards a compositional interpretation of object diagrams. Algorithmic Languages and Calculi 1997: 187-211
13		Juan Bicarregui, Kevin Lano, T. S. E. Maibaum: Objects, Associations and Subsystems: A Hierarchical Approach to Encapsulation. ECOOP 1997: 324-343
12		Juan Bicarregui, Kevin Lano, T. S. E. Maibaum: Formalizing Object-Oriented Models in the Object Calculus. ECOOP Workshops 1997: 155-160
11		Kevin Lano, Juan Bicarregui, José Luiz Fiadeiro, Antónia Lopes: Specification of Required Non-determinism. FME 1997: 298-317
10		Kevin Lano, S. J. Goldsack, Juan Bicarregui, Stuart Kent: Integrating VDM++ and Real-Time System Design. ZUM 1997: 188-219
9		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 Proceedings - Software 144(2): 119-133 (1997)
8		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): 53-78 (1997)
	1996
7		Juan Bicarregui, Jeremy Dick, Eoin Woods: Quantitative Analysis of an Application of Formal Methods. FME 1996: 60-73
	1995
6		Juan Bicarregui, Brian Matthews: Formal Methods in Practice: A Comparison of Two Support Systems for Proof. SOFSEM 1995: 184-205
5		Juan Bicarregui, Brian Ritchie: Invariants, Frames, and Postconditions: A Comparison of the VDM and B Notations. IEEE Trans. Software Eng. 21(2): 79-89 (1995)
	1994
4		Brian Ritchie, Juan Bicarregui, Howard P. Haughton: Experiences in Using the Abstract Machine Notation in a GKS Case Study. FME 1994: 93-104
	1993
3		Juan Bicarregui: Algorithm Refinement with Read and Write Frames. FME 1993: 148-161
2		Juan Bicarregui, Brian Ritchie: Invariants, Frames and Postconditions: a Comparison of the VDM and B Notations. FME 1993: 162-182
	1991
1		Juan Bicarregui, Brian Ritchie: Reasoning about VDM Developments using the VDM Support Tool in MURAL. VDM Europe (1) 1991: 371-388

Coauthor Index

1	Sten Agerholm	[16]
2	Nazareno Aguirre	[28] [30] [32]
3	Álvaro Enrique Arenas (Alvaro E. Arenas, Alvaro Arenas)	[31] [34] [35] [36] [37]
4	Marcelo Arroyo	[32]
5	John V. Ashby	[24]
6	Benjamin Aziz	[35] [36] [37]
7	David R. S. Boyd	[24]
8	Andrew Butterfield	[31] [34]
9	D. L. Clutterbuck	[9]
10	Kerstin Kleese van Dam	[24]
11	Jeremy Dick	[7] [8]
12	Theodosis Dimitrakos	[21] [23] [25] [28] [29]
13	Ivan Djordjevic	[25]
14	Andy Evans	[22]
15	José Luiz Fiadeiro	[11]
16	Gavin R. Finnie	[9]
17	John S. Fitzgerald	[38] [39]
18	Dov M. Gabbay	[23]
19	S. J. Goldsack	[10]
20	Lucio Guzmán	[30] [32]
21	Howard P. Haughton	[4] [9]
22	C. A. R. Hoare (Tony Hoare)	[33]
23	Stuart Kent	[10]
24	Simon C. Lambert	[24] [29]
25	Kevin Lano	[9] [10] [11] [12] [13] [14] [17] [22]
26	Peter Gorm Larsen	[38] [39]
27	H. Lesan	[9]
28	Antónia Lopes	[11]
29	Savi Maharaj	[15]
30	T. S. E. Maibaum (Thomas Stephen Edward Maibaum)	[12] [13] [14] [21] [23] [28] [30] [32]
31	D. W. R. M. Marsh	[9]
32	Philippe Massonet	[37]
33	B. M. Matthews	[9]
34	Brian Matthews	[6] [8] [16] [18] [20] [21] [24] [25] [29] [35] [36]
35	Michael R. Moulding	[9]
36	A. Richard Newton	[9]
37	Kevin D. O'Neill	[24]
38	Chris I. Phillips	[25]
39	Christophe Ponsard	[37]
40	Brian Ritchie	[1] [2] [4] [5] [9] [16] [18]
41	T. G. A. Rushton	[9]
42	P. N. Scharbach	[9]
43	Jim Woodcock (J. C. P. Woodcock)	[33] [38] [39]
44	Eoin Woods	[7] [8]
45	Erica Y. Yang	[36]

Colors in the list of coauthors