BibSonomy :: author  ::

bookmarks

publications

(37)

• Towards Modelling Obligations in Event-B.
  Juan Bicarregui and Alvaro Arenas and Benjamin Aziz and Philippe Massonet and Christophe Ponsard ABZ 181-194 (2008)
  to dblp by dblp on 2008-09-26 00:00:00
  | URL | BibTeX  
• Managing Conflicts of Interest in Virtual Organisations.
  Alvaro Arenas and Benjamin Aziz and Juan Bicarregui and Brian Matthews Electr. Notes Theor. Comput. Sci. 197 45-56 (2008)
  to dblp by dblp on 2008-06-11 00:00:00
  | URL | BibTeX  
• Modelling Security Properties in a Grid-based Operating System with Anti-Goals.
  Alvaro Arenas and Benjamin Aziz and Juan Bicarregui and Brian Matthews and Erica Y. Yang ARES 1429-1436 (2008)
  to dblp by dblp on 2008-05-11 00:00:00
  | URL | BibTeX  
• Invariants, Frames, and Postconditions: A Comparison of the VDM and B Notations.
  Juan Bicarregui and Brian Ritchie IEEE Trans. Software Eng. 21 79-89 (1995)
  to dblp by dblp on 2007-10-02 00:00:00
  | URL | BibTeX  
• Foreword: Selected papers from the ninth international workshop on formal methods for industrial critical systems (FMICS 04), Linz, Austria.
  Andrew Butterfield and Juan Bicarregui and Alvaro Arenas Formal Methods in System Design 30 177-178 (2007)
  to dblp by dblp on 2007-09-11 00:00:00
  | URL | BibTeX  
• The verified software repository: a step towards the verifying compiler.
  Juan Bicarregui and C. A. R. Hoare and J. C. P. Woodcock Formal Asp. Comput. 18 143-151 (2006)
  to dblp by dblp on 2006-07-03 00:00:00
  | URL | BibTeX  
• Policy-Driven Access Control over a Distributed Firewall Architecture.
  Theodosis Dimitrakos and Ivan Djordjevic and Brian Matthews and Juan Bicarregui and Chris I. Phillips POLICY 228-231 (2002)
  to dblp by dblp on 2006-06-07 00:00:00
  | URL | BibTeX  
• Towards Dynamically Communicating Abstract Machines in the B Method.
  Nazareno Aguirre and Marcelo Arroyo and Juan Bicarregui and Lucio Guzmán and T. S. E. Maibaum ICFEM 141-155 (2005)
  to dblp by dblp on 2005-11-07 00:00:00
  | URL | BibTeX  
• Preface.
  Juan Bicarregui and Andrew Butterfield and Alvaro Arenas Electr. Notes Theor. Comput. Sci. 133 1-2 (2005)
  to dblp by dblp on 2005-07-07 00:00:00
  | URL | BibTeX  
• Structured Axiomatic Semantics for UML Models.
  Kevin Lano and Juan Bicarregui and Andy Evans Rigorous Object-Oriented Methods (2000)
  to dblp by dblp on 2005-03-16 00:00:00
  | URL | BibTeX