Bicarregui

Cited by

	All	Since 2018
Citations	2888	476
h-index	24	8
i10-index	48	6

180

135

1992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202311 21 43 56 52 98 109 140 72 40 56 53 56 76 65 92 80 89 137 134 139 161 166 164 136 103 110 81 82 82 101 20

Public access

View all

1 article

0 articles

available

not available

Based on funding mandates

Co-authors

Brian MatthewsScience and Technology Facilities CouncilVerified email at stfc.ac.uk
Kevin LanoDept. of Informatics, King's College LondonVerified email at kcl.ac.uk
Jim WoodcockProfessor of Software Engineering, University of YorkVerified email at york.ac.uk
John S. FitzgeraldNewcastle University, UKVerified email at ncl.ac.uk
Tom MaibaumProfessor of the Foundations of Software Engineering, McMaster UniversityVerified email at maibaum.org
Alvaro ArenasProfesor de Sistemas de Información y TecnologíasVerified email at ie.edu
Peter Gorm LarsenAarhus UniversityVerified email at ece.au.dk
Benjamin Aziz, Ph.D.Senior Lecturer, University of PortsmouthVerified email at port.ac.uk
Eoin WoodsEndava, Imperial and UELVerified email at artechra.com
Cliff B JonesProfessor of Computing Science, Newcastle University, UKVerified email at ncl.ac.uk
Kevin D JonesUniversity of PlymouthVerified email at plymouth.ac.uk
Kerstin Kleese van DamBrookhaven National Laboratory (BNL)Verified email at bnl.gov
Michael WilsonPrincipal Scientist, STFC Rutherford Appleton LaboratoryVerified email at stfc.ac.uk
Christophe PonsardCETIC research centerVerified email at cetic.be
Philippe Massonetscientific officerVerified email at cetic.be
Esther ConwaySTFCVerified email at stfc.ac.uk
Savi MaharajUniversity of StirlingVerified email at cs.stir.ac.uk
José Luiz FiadeiroDean of Science and Engineering, University of DundeeVerified email at dundee.ac.uk
Nazareno AguirreUniversidad Nacional de Río Cuarto / Consejo Nacional de Investigaciones Científicas y TécnicasVerified email at dc.exa.unrc.edu.ar
Arturo Sanchez CarmonaUnidad de Ingeniería Avanzada, Centro de Investigación y de Estudios AvanzadosVerified email at cinvestav.mx

Bicarregui

Science and Technology Facilities Council

Verified email at stfc.ac.uk - Homepage


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Formal methods: Practice and experience J Woodcock, PG Larsen, J Bicarregui, J Fitzgerald ACM computing surveys (CSUR) 41 (4), 1-36, 2009	939	2009
Mural: a formal development support system CB Jones, KD Jones, P Lindsay, RD Moore Springer Science & Business Media, 2012	244	2012
Proof in VDM: A Practitioner's Guide JC Bicarregui, JS Fitzgerald, PA Lindsay, RC Moore, B Ritchie Springer, 1994	205	1994
A framework for software preservation B Matthews, A Shaon, J Bicarregui, C Jones	81	2010
Formalising design patterns K Lano, JC Bicarregui, S Goldsack Proceedings of the BCS-FACS Northern Formal Methods Workshop, 1-20, 1996	71	1996
Semantics and transformations for UML models K Lano, J Bicarregui The Unified Modeling Language.«UML»’98: Beyond the Notation: First …, 1999	69	1999
The verified software repository: a step towards the verifying compiler JC Bicarregui, CAR Hoare, JCP Woodcock Formal Aspects of Computing 18, 143-151, 2006	66	2006
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	56	1995
Formalising the UML in structured temporal theories K Lano, J Bicarregui Behavioral Specifications of Businesses and Systems, 161-174, 1999	55	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, 324-343, 1997	53	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	45	1997
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
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	41	2008
UML refinement and abstraction transformations K Lano, J Bicarregui Second Workshop on Rigorous Object Orientated Methods: ROOM 2, 1998	37	1998
Quantitative analysis of an application of formal methods J Bicarregui, J Dick, E Woods FME'96: Industrial Benefit and Advances in Formal Methods: Third …, 1996	36	1996
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	34	2009
Industrial Practice in Formal Methods: A Review. J Bicarregui, JS Fitzgerald, PG Larsen, JCP Woodcock FM 5850, 810-813, 2009	34	2009
Significant properties, authenticity, provenance, representation information and OAIS information D Giaretta, B Matthews, J Bicarregui, S Lambert, M Guercio, G Michetti, ...	34	2009
On the verification of VDM specification and refinement with PVS S Maharaj, J Bicarregui Proceedings 12th IEEE International Conference Automated Software …, 1997	32*	1997

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors