Ian James Hayes

Citado por

	Total	Desde 2019
Citas	4814	390
Índice h	30	9
Índice i10	90	9

280

140

210

19861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202412 34 56 74 104 90 115 125 156 249 177 218 270 183 162 131 174 123 84 113 120 181 143 103 123 102 188 152 171 94 90 96 111 82 83 72 56 78 18

Acceso público

Ver todo

20 artículos

6 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Cliff B JonesProfessor of Computing Science, Newcastle University, UKDirección de correo verificada de ncl.ac.uk
Brijesh DongolUniversity of SurreyDirección de correo verificada de surrey.ac.uk
Colin FidgeQueensland University of TechnologyDirección de correo verificada de qut.edu.au
Larissa MeinickeThe University of QueenslandDirección de correo verificada de uq.edu.au
Mark UttingThe University of QueenslandDirección de correo verificada de uq.edu.au
Carroll MorganProfessor, University of New South Wales and DATA61Dirección de correo verificada de unsw.edu.au
Brendan MahonyResearch Scientist, Defence Science and Technology GroupDirección de correo verificada de dst.defence.gov.au
Bill Roscoe (A.W. Roscoe)Emeritus Professor of Computer Science, Oxford UniversityDirección de correo verificada de cs.ox.ac.uk
Alan BurnsUniversity of York, UKDirección de correo verificada de york.ac.uk
Georg StruthUniversity of SheffieldDirección de correo verificada de sheffield.ac.uk
Graeme SmithThe University of QueenslandDirección de correo verificada de itee.uq.edu.au
Dr Luke WildmanQueenslandDirección de correo verificada de rgbassurance.com.au
John DerrickUniversity of SheffieldDirección de correo verificada de sheffield.ac.uk
Andrew MartinProfessor of Systems Security, University of OxfordDirección de correo verificada de cs.ox.ac.uk
Andrius VelykisPhD Student, Newcastle UniversityDirección de correo verificada de newcastle.ac.uk
John S. FitzgeraldNewcastle University, UKDirección de correo verificada de ncl.ac.uk
Colin MillerchipDirección de correo verificada de millerchip.org
Nigel WardQueensland Cyber Infrastructure FoundationDirección de correo verificada de qcif.edu.au
Chenyi ZhangOracle Labs AustraliaDirección de correo verificada de oracle.com
Eban EscottPh.D, University of Queensland, School of Information Technology and ElectricalDirección de correo verificada de uqconnect.edu.au

Seguir

Ian James Hayes

Professor of Software Engineering, The University of Queensland

Dirección de correo verificada de uq.edu.au

Formal methods Concurrent programming Software engineering


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
Specification case studies IJ Hayes, B Flinn, R Gimson Prentice-Hall International, 1987	865	1987
Laws of programming CAR Hoare, IJ Hayes, H Jifeng, CC Morgan, AW Roscoe, JW Sanders, ... Communications of the ACM 30 (8), 672-686, 1987	594	1987
Specifications are not (necessarily) executable IJ Hayes, CB Jones Software Engineering Journal 4 (6), 330-339, 1989	343	1989
A case-study in timed refinement: A mine pump BP Mahony, IJ Hayes IEEE transactions on Software Engineering 18 (9), 817-826, 1992	162	1992
Specification directed module testing IJ Hayes IEEE transactions on Software Engineering, 124-133, 1986	104	1986
Determining the specification of a control system from that of its environment IJ Hayes, MA Jackson, CB Jones FME 2003: Formal Methods: International Symposium of Formal Methods Europe …, 2003	88	2003
Understanding the differences between VDM and Z IJ Hayes, CB Jones, JE Nicholls ACM SIGSOFT Software Engineering Notes 19 (3), 75-81, 1994	83	1994
A sequential real-time refinement calculus IJ Hayes, M Utting Acta Informatica 37, 385-448, 2001	78	2001
Applying formal specification to software development in industry IJ Hayes IEEE Transactions on Software Engineering, 169-178, 1985	76	1985
A semantics for Behavior Trees using CSP with specification commands RJ Colvin, IJ Hayes Science of Computer Programming 76 (10), 891-914, 2011	73	2011
A set-theoretic model for real-time specification and reasoning CJ Fidge, IJ Hayes, AP Martin, AK Wabenhorst Mathematics of Program Construction: 4th International Conference, MPC'98 …, 1998	67	1998
Using units of measurement in formal specifications IJ Hayes, BP Mahony Formal Aspects of Computing 7, 329-347, 1995	63	1995
VDM and Z: A comparative case study I Hayes Formal Aspects of Computing 4, 76-99, 1992	59	1992
A timeband framework for modelling real-time systems A Burns, IJ Hayes Real-Time Systems 45, 106-142, 2010	58	2010
Coercing Real-time Refinement: A Transmitter IJ Hayes, M Utting Software Verification Research Centre, 1996	57	1996
The deadline command C Fidge, I Hayes, G Watson IEE Proceedings-software 146 (2), 104-111, 1999	54	1999
Integrating real-time scheduling theory and program refinement C Fidge, M Utting, P Kearney, I Hayes FME'96: Industrial Benefit and Advances in Formal Methods: Third …, 1996	54	1996
Deriving specifications for systems that are connected to the physical world CB Jones, IJ Hayes, MA Jackson Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines …, 2007	48	2007
Using continuous real functions to model timed histories B Mahony, IJ Hayes Proc. 6th Australian Software Engineering Conf.(ASWEC91), 257-270, 1991	44	1991
A tool for developing correct programs by refinement D Carrington, I Hayes, R Nickson, G Watson, J Welsh Proceedings of the BCS-FACS 7th Refinement Workshop, 1996	43	1996

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores