Juan Bicarregui

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

37EEJuan Bicarregui, Alvaro Arenas, Benjamin Aziz, Philippe Massonet, Christophe Ponsard: Towards Modelling Obligations in Event-B. ABZ 2008: 181-194
36EEAlvaro 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
35EEAlvaro Arenas, Benjamin Aziz, Juan Bicarregui, Brian Matthews: Managing Conflicts of Interest in Virtual Organisations. Electr. Notes Theor. Comput. Sci. 197(2): 45-56 (2008)
34EEAndrew 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)
33EEJuan 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)
32EENazareno 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
31EEJuan Bicarregui, Andrew Butterfield, Alvaro Arenas: Preface. Electr. Notes Theor. Comput. Sci. 133: 1-2 (2005)
30EENazareno Aguirre, Juan Bicarregui, Lucio Guzmán, T. S. E. Maibaum: Implementing Dynamic Aggregations of Abstract Machines in the B Method. ICFEM 2004: 403-417
29EETheodosis 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
28EENazareno Aguirre, Juan Bicarregui, Theodosis Dimitrakos, T. S. E. Maibaum: Towards Dynamic Population Management of Abstract Machines in the B Method. ZB 2003: 528-545
27EEJuan Bicarregui: Information Systems Research and Development at CCLRC: Accelerating Innovation through Technology Transfer. Electr. Notes Theor. Comput. Sci. 80: (2003)
26EEJuan Bicarregui: Do Not Read This. FME 2002: 106-125
25EETheodosis Dimitrakos, Ivan Djordjevic, Brian Matthews, Juan Bicarregui, Chris I. Phillips: Policy-Driven Access Control over a Distributed Firewall Architecture. POLICY 2002: 228-231
24EEJohn 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
23EEJuan Bicarregui, Theodosis Dimitrakos, Dov M. Gabbay, T. S. E. Maibaum: Interpolation in Practical Formal Development. Logic Journal of the IGPL 9(2): (2001)
22EEKevin Lano, Juan Bicarregui, Andy Evans: Structured Axiomatic Semantics for UML Models. Rigorous Object-Oriented Methods 2000
21EETheodosis 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
20 Juan Bicarregui, Brian Matthews: Proof and Refutation in Formal Software Development. IWFM 1999
19EEJuan Bicarregui: Exploiting Formality in Software Engineering. SOFSEM 1999: 163-180
18EEBrian 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
16EEJuan Bicarregui, Brian Matthews, Brian Ritchie, Sten Agerholm: Investigating the Integration of two Formal Methods. Formal Asp. Comput. 10(5-6): 532-549 (1998)
15EESavi 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
13EEJuan Bicarregui, Kevin Lano, T. S. E. Maibaum: Objects, Associations and Subsystems: A Hierarchical Approach to Encapsulation. ECOOP 1997: 324-343
12EEJuan 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)
7 Juan Bicarregui, Jeremy Dick, Eoin Woods: Quantitative Analysis of an Application of Formal Methods. FME 1996: 60-73
6 Juan Bicarregui, Brian Matthews: Formal Methods in Practice: A Comparison of Two Support Systems for Proof. SOFSEM 1995: 184-205
5EEJuan Bicarregui, Brian Ritchie: Invariants, Frames, and Postconditions: A Comparison of the VDM and B Notations. IEEE Trans. Software Eng. 21(2): 79-89 (1995)
4 Brian Ritchie, Juan Bicarregui, Howard P. Haughton: Experiences in Using the Abstract Machine Notation in a GKS Case Study. FME 1994: 93-104
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
1 Juan Bicarregui, Brian Ritchie: Reasoning about VDM Developments using the VDM Support Tool in MURAL. VDM Europe (1) 1991: 371-388

Coauthor Index

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)