Juan Bicarregui

2008
37	EE	Juan Bicarregui, Alvaro Arenas, Benjamin Aziz, Philippe Massonet, Christophe Ponsard: Towards Modelling Obligations in Event-B. ABZ 2008: 181-194
36	EE	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	EE	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	EE	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	EE	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	EE	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	EE	Juan Bicarregui, Andrew Butterfield, Alvaro Arenas: Preface. Electr. Notes Theor. Comput. Sci. 133: 1-2 (2005)
2004
30	EE	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	EE	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	EE	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	EE	Juan Bicarregui: Information Systems Research and Development at CCLRC: Accelerating Innovation through Technology Transfer. Electr. Notes Theor. Comput. Sci. 80: (2003)
2002
26	EE	Juan Bicarregui: Do Not Read This. FME 2002: 106-125
25	EE	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	EE	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	EE	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	EE	Kevin Lano, Juan Bicarregui, Andy Evans: Structured Axiomatic Semantics for UML Models. Rigorous Object-Oriented Methods 2000
21	EE	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	EE	Juan Bicarregui: Exploiting Formality in Software Engineering. SOFSEM 1999: 163-180
1998
18	EE	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	EE	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	EE	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	EE	Juan Bicarregui, Kevin Lano, T. S. E. Maibaum: Objects, Associations and Subsystems: A Hierarchical Approach to Encapsulation. ECOOP 1997: 324-343
12	EE	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	EE	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	Dov M. Gabbay	[23]
18	S. J. Goldsack	[10]
19	Lucio Guzmán	[30] [32]
20	Howard P. Haughton	[4] [9]
21	C. A. R. Hoare (Tony Hoare)	[33]
22	Stuart Kent	[10]
23	Simon C. Lambert	[24] [29]
24	Kevin Lano	[9] [10] [11] [12] [13] [14] [17] [22]
25	H. Lesan	[9]
26	Antónia Lopes	[11]
27	Savi Maharaj	[15]
28	T. S. E. Maibaum (Thomas Stephen Edward Maibaum)	[12] [13] [14] [21] [23] [28] [30] [32]
29	D. W. R. M. Marsh	[9]
30	Philippe Massonet	[37]
31	B. M. Matthews	[9]
32	Brian Matthews	[6] [8] [16] [18] [20] [21] [24] [25] [29] [35] [36]
33	Michael R. Moulding	[9]
34	A. Richard Newton	[9]
35	Kevin D. O'Neill	[24]
36	Chris I. Phillips	[25]
37	Christophe Ponsard	[37]
38	Brian Ritchie	[1] [2] [4] [5] [9] [16] [18]
39	T. G. A. Rushton	[9]
40	P. N. Scharbach	[9]
41	Jim Woodcock (J. C. P. Woodcock)	[33]
42	Eoin Woods	[7] [8]
43	Erica Y. Yang	[36]

Colors in the list of coauthors