| Formal methods: Practice and experience J Woodcock, PG Larsen, J Bicarregui, J Fitzgerald ACM computing surveys (CSUR) 41 (4), 1-36, 2009 | 1003 | 2009 |
| Mural: a formal development support system CB Jones, KD Jones, P Lindsay, RD Moore Springer Science & Business Media, 2012 | 262 | 2012 |
| Proof in VDM: A Practitioner's Guide JC Bicarregui, JS Fitzgerald, PA Lindsay, RC Moore, B Ritchie Springer, 1994 | 212 | 1994 |
| A framework for software preservation B Matthews, A Shaon, J Bicarregui, C Jones International Journal of Digital Curation 5 (1), 91-105, 2010 | 79 | 2010 |
| Formalising design patterns K Lano, JC Bicarregui, S Goldsack Proceedings of the BCS-FACS Northern Formal Methods Workshop, 1996 | 73 | 1996 |
| The verified software repository: a step towards the verifying compiler JC Bicarregui, CAR Hoare, JCP Woodcock Formal Aspects of Computing 18, 143-151, 2006 | 68 | 2006 |
| Semantics and transformations for UML models K Lano, J Bicarregui International Conference on the Unified Modeling Language, 107-119, 1998 | 66 | 1998 |
| Invariants, frames and postconditions: a comparison of the VDM and B notations J Bicarregui, B Ritchie IEEE Transactions on Software Engineering 21 (2), 79-89, 1995 | 59 | 1995 |
| Formalising the UML in structured temporal theories K Lano, J Bicarregui Behavioral Specifications of Businesses and Systems, 161-174, 1999 | 53 | 1999 |
| Making the most of formal specification through animation, testing and proof J Bicarregui, J Dick, B Matthews, E Woods Science of computer programming 29 (1-2), 53-78, 1997 | 53 | 1997 |
| Objects, Associations and Subsystems: a hierarchical approach to encapsulation JC Bicarregui, KC Lano, TSE Maibaum ECOOP'97—Object-Oriented Programming: 11th European Conference Jyväskylä …, 1997 | 52 | 1997 |
| Formal methods into practice: case studies in the application of the B method JC Bicarregui, DL Clutterbuck, G Finnie, H Haughton, K Lano, H Lesan, ... IEE Proceedings-Software 144 (2), 119-133, 1997 | 48 | 1997 |
| Towards modelling obligations in Event-B J Bicarregui, A Arenas, B Aziz, P Massonet, C Ponsard Abstract State Machines, B and Z: First International Conference, ABZ 2008 …, 2008 | 42 | 2008 |
| Policy-driven access control over a distributed firewall architecture T Dimitrakos, I Djordjevic, B Matthews, J Bicarregui, C Phillips Proceedings Third International Workshop on Policies for Distributed Systems …, 2002 | 42 | 2002 |
| Significant properties, authenticity, provenance, representation information and OAIS information D Giaretta, B Matthews, J Bicarregui, S Lambert, M Guercio, G Michetti, ... | 39* | 2009 |
| ICAT: Integrating data infrastructure for facilities based science D Flannery, B Matthews, T Griffin, J Bicarregui, M Gleaves, L Lerusse, ... 2009 Fifth IEEE International Conference on e-Science, 201-207, 2009 | 38 | 2009 |
| UML refinement and abstraction transformations K Lano, J Bicarregui Second Workshop on Rigorous Object Orientated Methods: ROOM 2, 1998 | 36 | 1998 |
| Industrial practice in formal methods: A review JC Bicarregui, JS Fitzgerald, PG Larsen, JCP Woodcock International Symposium on Formal Methods, 810-813, 2009 | 34 | 2009 |
| On the verification of VDM specification and refinement with PVS S Maharaj, J Bicarregui Proceedings 12th IEEE International Conference Automated Software …, 1997 | 34* | 1997 |
| Quantitative analysis of an application of formal methods J Bicarregui, J Dick, E Woods International Symposium of Formal Methods Europe, 60-73, 1996 | 34 | 1996 |
Brian MatthewsScience and Technology Facilities Council在 stfc.ac.uk 的电子邮件经过验证
