Bicarregui

Cited by

	All	Since 2019
Citations	3069	497
h-index	25	9
i10-index	50	7

180

135

19921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202415 23 50 63 58 114 108 144 73 41 60 56 57 55 62 87 82 98 136 138 143 163 169 159 142 100 112 91 80 87 105 80 54

Public access

View all

2 articles

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
Alvaro ArenasProfesor de Sistemas de Información y TecnologíasVerified email at ie.edu
Peter Gorm LarsenAarhus UniversityVerified email at ece.au.dk
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 FiadeiroProfessor of Computer Science, University of DundeeVerified email at dundee.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
Nazareno AguirreUniversidad Nacional de Río Cuarto / Consejo Nacional de Investigaciones Científicas y TécnicasVerified email at dc.exa.unrc.edu.ar
Shoaib SufiThe University of ManchesterVerified email at manchester.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	1020	2009
Mural: a formal development support system CB Jones, KD Jones, P Lindsay, RD Moore Springer Science & Business Media, 2012	265	2012
Proof in VDM: A Practitioner's Guide JC Bicarregui, JS Fitzgerald, PA Lindsay, RC Moore, B Ritchie Springer, 1994	213	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

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