The SCEAS System
Navigation Menu

Search the dblp DataBase


Juan Bicarregui: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  35. Modelling Security Properties in a Grid-based Operating System with Anti-Goals. [Citation Graph (, )][DBLP]

  36. Towards Modelling Obligations in Event-B. [Citation Graph (, )][DBLP]

  37. Industrial Practice in Formal Methods: A Review. [Citation Graph (, )][DBLP]

  38. Formal methods: Practice and experience. [Citation Graph (, )][DBLP]

  39. Managing Conflicts of Interest in Virtual Organisations. [Citation Graph (, )][DBLP]

Search in 0.003secs, Finished in 0.006secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002