Bicarregui

Cited by

	All	Since 2016
Citations	2604	487
h-index	24	8
i10-index	47	5

160

120

19921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202112 22 49 57 49 120 105 111 68 36 55 55 54 55 65 89 78 89 135 133 142 160 160 156 132 105 104 77 67 2

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
Tom MaibaumProfessor of the Foundations of Software Engineering, McMaster UniversityVerified email at maibaum.org
John S. FitzgeraldNewcastle University, UKVerified email at ncl.ac.uk
Alvaro ArenasProfesor de Sistemas de Información y TecnologíasVerified email at ie.edu
Peter Gorm LarsenAarhus UniversityVerified email at eng.au.dk
Benjamin Aziz, Ph.D.Senior 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
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 cinvestav.mx
Chris PhillipsReader in Electronic Engineering, Queen Mary University of LondonVerified email at qmul.ac.uk

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	793	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	192	1994
Formalising design patterns K Lano, JC Bicarregui, S Goldsack Proceedings of the BCS-FACS Northern Formal Methods Workshop, 1-20, 1996	74	1996
A framework for software preservation B Matthews, A Shaon, J Bicarregui, C Jones	64	2010
Semantics and transformations for UML models K Lano, J Bicarregui International Conference on the Unified Modeling Language, 107-119, 1998	64	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	62	2006
Objects, Associations and Subsystems: a hierarchical approach to encapsulation JC Bicarregui, KC Lano, TSE Maibaum European Conference on Object-Oriented Programming, 324-343, 1997	54	1997
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	50	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	46	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 International Conference on Abstract State Machines, B and Z, 181-194, 2008	40	2008
UML refinement and abstraction transformations K Lano, J Bicarregui Second Workshop on Rigorous Object Orientated Methods: ROOM 2, 1998	38	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	33	2009
Quantitative analysis of an application of formal methods J Bicarregui, J Dick, E Woods International Symposium of Formal Methods Europe, 60-73, 1996	33	1996
Industrial practice in formal methods: A review JC Bicarregui, JS Fitzgerald, PG Larsen, JCP Woodcock International Symposium on Formal Methods, 810-813, 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	31*	1997
From goal-oriented requirements to Event-B specifications B Aziz, A Arenas, J Bicarregui, C Ponsard, P Massonet First Nasa Formal Method Symposium, 2009	30	2009
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	29	1993

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