Anthony J H Simons

Cited by

	All	Since 2016
Citations	1830	428
h-index	20	8
i10-index	35	6

140

105

19981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202110 36 37 34 71 52 82 92 33 40 62 83 98 131 114 113 129 116 111 81 91 73 64 8

Co-authors

John DerrickUniversity of SheffieldVerified email at sheffield.ac.uk
Kirill BogdanovDepartment of Computer Science, The University of SheffieldVerified email at kirill-research.com
Dimitris DranidisSenior Lecturer of Computer Science, CITY College, International Faculty of the Univ. of SheffieldVerified email at city.academic.gr
Iraklis ParaskakisSouth East European Research CentreVerified email at seerc.org
Konstantinos BratanisResearcher at the University of SheffieldVerified email at dcs.shef.ac.uk
Robert HieronsProfessor, The University of SheffieldVerified email at sheffield.ac.uk
Mark HarmanResearch Scientist at Facebook & Professor of Software Engineering at UCLVerified email at ucl.ac.uk
Jonathan P. BowenEmeritus Professor of Computing, London South Bank UniversityVerified email at lsbu.ac.uk
Sergiy VilkomirDepartment of Computer Science, East Carolina University, USAVerified email at ecu.edu
Rance CleavelandDepartment of Computer Science, University of MarylandVerified email at cs.umd.edu
Paul KrauseProfessor in Complex Systems, University of SurreyVerified email at surrey.ac.uk
Dimitrios KourtesisResearcher at the University of SheffieldVerified email at sheffield.ac.uk
Marian GheorgheUniversity of BradfordVerified email at bradford.ac.uk
Ervin RamollariUniversity of New York TiranaVerified email at unyt.edu.al
Fotis GonidisUniversity of Sheffield, South East European Research CentreVerified email at seerc.org
Brian Henderson-SellersProfessor of Information Systems, University of Technology, SydneyVerified email at uts.edu.au
Phil GreenProfessor of Computer Science, University of SheffieldVerified email at dcs.shef.ac.uk
Siobhan NorthThe University of SheffieldVerified email at sheffield.ac.uk
Alessandro RossiniSenior Manager, PwC NorwayVerified email at pwc.com
Andreas FriesenSenior Researcher, SAP Research, Karlsruhe, GermanyVerified email at sap.com

Anthony J H Simons

Senior Lecturer, University of Sheffield

Verified email at sheffield.ac.uk

Software Engineering Verification and Testing Model-Driven Engineering Object-Oriented Programming Speech Technology


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Using formal specifications to support testing RM Hierons, K Bogdanov, JP Bowen, R Cleaveland, J Derrick, J Dick, ... ACM Computing Surveys (CSUR) 41 (2), 9, 2009	425	2009
The OPEN toolbox of techniques B Henderson-Sellers, A Simons, H Younessi Addison-Wesley, 1998	138	1998
A survey of service oriented development methodologies E Ramollari, D Dranidis, AJH Simons European Young Researchers Workshop on Service Oriented Computing (YRSOC-2 …, 2007	120	2007
30 Things that go wrong in object modelling with UML 1.3 AJH Simons, I Graham Behavioral Specifications of Businesses and Systems, 237-257, 1999	98	1999
Use cases considered harmful AJH Simons Technology of Object-Oriented Languages and Systems (TOOLS-29, Europe), 1999 …, 1999	89	1999
Evidence for chiral structures in 130Cs AJ Simons, P Joshi, DG Jenkins, PM Raddon, R Wadsworth, DB Fossan, ... Journal of Physics G: Nuclear and Particle Physics 31 (7), 541, 2005	51	2005
On the compositional properties of UML statechart diagrams AJH Simons Electronic Workshops in Computing (ROOM-3), 8.1-8.12, 2000	50	2000
Using formal methods to support testing RM Hierons, K Bogdanov, JP Bowen, R Cleaveland, J Derrick, JH Dick, ...	43	2008
JWalk: a tool for lazy, systematic testing of java classes by design introspection and user interaction AJH Simons Automated Software Engineering 14 (4), 369-418, 2007	42	2007
Control-flow semantics of use cases in UML KG van den Berg, AJH Simons Information and Software Technology 41 (10), 651-659, 1999	40	1999
Cloud application portability: an initial view F Gonidis, AJH Simons, I Paraskakis, D Kourtesis Proceedings of the 6th Balkan Conference in Informatics, 275-282, 2013	38	2013
Leveraging semantic web service descriptions for validation by automated functional testing E Ramollari, D Kourtesis, D Dranidis, A Simons European Semantic Web Conference (ESWC-6), 593-607, 2009	33	2009
37 things that don't work in object-oriented modelling with UML AJH Simons, I Graham British Computer Society Object-Oriented Programming Systems Newsletter 35, 1-24, 1998	32	1998
An extensible architecture for run-time monitoring of conversational web services K Bratanis, D Dranidis, AJH Simons International Workshop on Monitoring, Adaptation and Beyond (MONA+ 3), 9-16, 2010	31	2010
The theory of classification part 4: object types and subtyping AJH Simons Journal of Object Technology 1 (5), 27-33, 2002	30	2002
The theory of classification part 1: perspectives on type compatibility AJH Simons Journal of Object Technology 1 (1), 55-61, 2002	23	2002
Z2SAL-building a model checker for Z J Derrick, S North, A Simons Abstract State Machines, B and Z (ABZ-1), 280-293, 2008	21	2008
A theory of regression testing for behaviourally compatible object types AJH Simons Software Testing, Verification and Reliability 16 (3), 133-156, 2006	21	2006
The theory of classification, part 11: Adding class types to object implementations AJH Simons Journal of Object Technology 3 (3), 7-19, 2004	20*	2004
The Theory of Classification, Part 5: Axioms, Assertions and Subtyping AJH Simons Journal of Object Technology 2 (1), 13-21, 2003	20*	2003

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