Bicarregui - Google Scholar Citations

Cited by

	All	Since 2015
Citations	2485	555
h-index	23	8
i10-index	47	8

160

120

1992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202011 23 50 61 54 123 103 117 65 37 55 52 54 50 67 89 73 85 135 125 142 159 154 156 123 100 102 66 6

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 eng.au.dk
Benjamin AzizSenior Lecturer, University of PortsmouthVerified email at port.ac.uk
Eoin WoodsEndava and University of East LondonVerified email at artechra.com
Kerstin Kleese van DamBrookhaven National Laboratory (BNL)Verified email at bnl.gov
Cliff B JonesProfessor of Computing Science, Newcastle University, UKVerified email at ncl.ac.uk
Kevin D JonesUniversity of PlymouthVerified email at plymouth.ac.uk
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
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
Shoaib SufiThe University of ManchesterVerified email at manchester.ac.uk
Esther ConwaySTFCVerified email at stfc.ac.uk
Arturo Sanchez CarmonaUnidad de Ingeniería Avanzada, Centro de Investigación y de Estudios AvanzadosVerified email at gdl.cinvestav.mx

Bicarregui

Science and Technology Facilities Council

Verified email at stfc.ac.uk - Homepage


Title	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	728	2009
Mural: a formal development support system CB Jones, KD Jones, P Lindsay, RD Moore Springer Science & Business Media, 2012	241	2012
Proof in VDM: a practitioner's guide JC Bicarregui, JS Fitzgerald, PA Lindsay, R Moore, B Ritchie Springer-Verlag, 1994	190	1994
Formalising design patterns K Lano, JC Bicarregui, S Goldsack Proceedings of the BCS-FACS Northern Formal Methods Workshop, 1-20, 1996	68	1996
Semantics and transformations for UML models K Lano, J Bicarregui International Conference on the Unified Modeling Language, 107-119, 1998	65	1998
The verified software repository: a step towards the verifying compiler JC Bicarregui, CAR Hoare, JCP Woodcock Formal Aspects of Computing 18 (2), 143-151, 2006	60	2006
A framework for software preservation B Matthews, A Shaon, J Bicarregui, C Jones	59	2010
Objects, Associations and Subsystems: a hierarchical approach to encapsulation JC Bicarregui, KC Lano, TSE Maibaum European Conference on Object-Oriented Programming, 324-343, 1997	51	1997
Formalising the UML in structured temporal theories K Lano, J Bicarregui Behavioral Specifications of Businesses and Systems, 161-174, 1999	50	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	49	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	43	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	40	2002
Towards modelling obligations in Event-B J Bicarregui, A Arenas, B Aziz, P Massonet, C Ponsard International Conference on Abstract State Machines, B and Z, 181-194, 2008	38	2008
UML refinement and abstraction transformations K Lano, J Bicarregui Second Workshop on Rigorous Object Orientated Methods: ROOM 2, 1998	34	1998
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	32	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
Quantitative analysis of an application of formal methods J Bicarregui, J Dick, E Woods International Symposium of Formal Methods Europe, 60-73, 1996	32	1996
Invariants, frames and postconditions: a comparison of the VDM and B notations J Bicarregui, B Ritchie International Symposium of Formal Methods Europe, 162-182, 1993	32	1993
Industrial practice in formal methods: A review JC Bicarregui, JS Fitzgerald, PG Larsen, JCP Woodcock International Symposium on Formal Methods, 810-813, 2009	31	2009
From goal-oriented requirements to Event-B specifications B Aziz, A Arenas, J Bicarregui, C Ponsard, P Massonet First Nasa Formal Method Symposium (NFM 2009), 2009	29	2009

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

Upload PDF

Follow this author

Cited by

Co-authors