Andrew Ireland

57 papers A* 5A 2B 6C 7Misc 1Journal 19Unranked 15

Year	Rank	Type	Title / Venue / Authors
2023	C	`conf`	A Legal System to Modify Autonomous Vehicle Designs in Transnational Contexts. JURIX Yiwei Lu, Zhe Yu, Yuhui Lin, Burkhard Schafer, Andrew Ireland, Lachlan Urquhart
2023	—	`conf`	Anticipating Accidents through Reasoned Simulation. TAS Craig Innes, Andrew Ireland, Yuhui Lin, Subramanian Ramamoorthy
2023	J	`jnl`	Anticipating Accidents through Reasoned Simulation. CoRR Craig Innes, Andrew Ireland, Yuhui Lin, Subramanian Ramamoorthy
2023	—	`conf`	Logic and Theory Repair in Legal Modification. COGAI@IJCLR Yiwei Lu, Yuhui Lin, Xue Li, Alan Bundy, Burkhard Schäfer, Andrew Ireland
2022	C	`conf`	An Argumentation and Ontology Based Legal Support System for AI Vehicle Design. JURIX Yiwei Lu, Zhe Yu, Yuhui Lin, Burkhard Schafer, Andrew Ireland, Lachlan Urquhart
2018	—	`conf`	The Use of Automated Theory Formation in Support of Hazard Analysis. NFM Andrew Ireland, Maria Teresa Llano, Simon Colton
2017	J	`jnl`	Preface of the special issue for AVoCS 2015. Sci. Comput. Program. Gudmund Grov, Andrew Ireland
2016	J	`jnl`	Proof automation for functional correctness in separation logic. J. Log. Comput. Ewen Maclean, Andrew Ireland, Gudmund Grov
2016	C	`conf`	Semi-Automated Design Space Exploration for Formal Modelling. ABZ Gudmund Grov, Andrew Ireland, Maria Teresa Llano, Peter Kovacs, Simon Colton, Jeremy Gow
2016	J	`jnl`	Semi-Automated Design Space Exploration for Formal Modelling. CoRR Gudmund Grov, Andrew Ireland, Maria Teresa Llano, Peter Kovacs, Simon Colton, Jeremy Gow
2016	C	`conf`	UC-B: Use Case Modelling with Event-B. ABZ Rajiv Murali, Andrew Ireland, Gudmund Grov
2015	—	`conf`	A Rigorous Approach to Combining Use Case Modelling and Accident Scenarios. NFM Rajiv Murali, Andrew Ireland, Gudmund Grov
2015	J	`jnl`	Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Gudmund Grov, Andrew Ireland
2014	—	`conf`	A Verification Condition Visualizer. VSTTE Madiha Jami, Andrew Ireland
2014	J	`jnl`	Discovery of invariants through automated theory formation. Formal Aspects Comput. Maria Teresa Llano, Andrew Ireland, Alison Pease
2013	J	`jnl`	Reasoned modelling critics: Turning failed proofs into modelling guidance. Sci. Comput. Program. Andrew Ireland, Gudmund Grov, Maria Teresa Llano, Michael J. Butler
2012	J	`jnl`	E-SPARK: Automated Generation of Provably Correct Code from Formally Verified Designs. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Rajiv Murali, Andrew Ireland
2012	C	`conf`	Refinement Plans for Informed Formal Design. ABZ Gudmund Grov, Andrew Ireland, Maria Teresa Llano
2011	—	`conf`	Discovery of Invariants through Automated Theory Formation Refine@FM Maria Teresa Llano, Andrew Ireland, Alison Pease
2011	C	`conf`	Mutation in Linked Data Structures. ICFEM Ewen Maclean, Andrew Ireland
2011	A*	`conf`	The CORE system: Animation and functional correctness of pointer programs. ASE Ewen Maclean, Andrew Ireland, Gudmund Grov
2010	J	`jnl`	Guest Editorial. Autom. Softw. Eng. Andrew Ireland, Willem Visser
2010	J	`jnl`	Introduction. J. Symb. Comput. Martin Giese, Andrew Ireland, Laura Kovács
2010	—	`conf`	Reasoned Modelling Critics: Turning Failed Proofs into Modelling Guidance. ASM Andrew Ireland, Gudmund Grov, Michael J. Butler
2010	—	`conf`	Refinement and Term Synthesis in Loop Invariant Generation. WING@ETAPS/IJCAR Ewen Maclean, Andrew Ireland, Lucas Dixon, Robert Atkey
2010	—	`conf`	Synthesising Functional Invariants in Separation Logic. WING@ETAPS/IJCAR Ewen Maclean, Andrew Ireland, Gudmund Grov
2010	—	`conf`	Towards Automated Property Discovery within Hume. WING@ETAPS/IJCAR Gudmund Grov, Andrew Ireland
2008	Misc	`conf`	Preserving coordination properties when transforming concurrent system components. SAC Gudmund Grov, Robert F. Pointon, Greg Michaelson, Andrew Ireland
2007	B	`conf`	Formal verification of concurrent scheduling strategies using TLA. ICPADS Gudmund Grov, Greg Michaelson, Andrew Ireland
2007	—	`conf`	PARTES: Performance Analysis of Real-Time Embedded Systems. QEST Benjamin Gorry, Andrew Ireland, Peter King
2006	J	`jnl`	An Integrated Approach to High Integrity Software Verification. J. Autom. Reason. Andrew Ireland, Bill J. Ellis, Andrew Cook, Roderick Chapman, Janet Barnes
2006	J	`jnl`	Combining Proof Plans with Partial Order Planning for Imperative Program Synthesis. Autom. Softw. Eng. Andrew Ireland, Jamie Stark
2006	—	`conf`	Low-Level Programming in Hume: An Exploration of the HW-Hume Level. IFL Kevin Hammond, Gudmund Grov, Greg Michaelson, Andrew Ireland
2006	A*	`conf`	Towards Automatic Assertion Refinement for Separation Logic. ASE Andrew Ireland
2005	J	`jnl`	Discovering applications of higher order functions through proof planning. Formal Aspects Comput. Andrew Cook, Andrew Ireland, Greg Michaelson, Norman Scaife
2005	—	`book`	Rippling - meta-level guidance for mathematical reasoning. Alan Bundy, David A. Basin, Dieter Hutter, Andrew Ireland
2005	—	`conf`	Tool Integration for Reasoned Programming. VSTTE Andrew Ireland
2004	B	`conf`	An Integration of Program Analysis and Automated Theorem Proving. IFM Bill J. Ellis, Andrew Ireland
2004	—	`conf`	Invariant Patterns for Program Reasoning. MICAI Andrew Ireland, Bill J. Ellis, Tommy Ingulfsen
2003	A*	`conf`	Automation for Exception Freedom Proofs. ASE Bill J. Ellis, Andrew Ireland
2001	A*	`conf`	Higher Order Function Synthesis Through Proof Planning. ASE Andrew Cook, Andrew Ireland, Greg Michaelson
2000	J	`jnl`	Proof planning for strategy development. Ann. Math. Artif. Intell. Andrew Ireland, Jamie Stark
1999	J	`jnl`	Automatic Verification of Functions with Accumulating Parameters. J. Funct. Program. Andrew Ireland, Alan Bundy
1999	J	`jnl`	Interactive Proof Critics. Formal Aspects Comput. Andrew Ireland, Mike Jackson, Gordon Reid
1999	A*	`conf`	Towards Automatic Imperative Program Synthesis Through Proof Planning. ASE Jamie Stark, Andrew Ireland
1998	C	`conf`	Invariant Discovery via Failed Proof Attempts. LOPSTR Jamie Stark, Andrew Ireland
1996	A	`conf`	Extensions to a Generalization Critic for Inductive Proof. CADE Andrew Ireland, Alan Bundy
1996	J	`jnl`	Productive Use of Failure in Inductive Proof. J. Autom. Reason. Andrew Ireland
1994	B	`conf`	Proof Plans for the Correction of False Conjectures. LPAR Raúl Monroy, Alan Bundy, Andrew Ireland
1993	B	`conf`	Incresing the Versatility of Heuristic Based Theorem Provers. LPAR Alistair Manning, Andrew Ireland, Alan Bundy
1993	J	`jnl`	On Exploiting the Structure of Martin-Löf's Theory of Types. Comput. J. Andrew Ireland
1993	J	`jnl`	Rippling: A Heuristic for Guiding Inductive Proofs. Artif. Intell. Alan Bundy, Andrew Stevens, Frank van Harmelen, Andrew Ireland, Alan Smaill
1992	B	`conf`	On the Use of the Constructive Omega-Rule within Automated Deduction. LPAR Siani Baker, Andrew Ireland, Alan Smaill
1992	B	`conf`	The Use of Planning Critics in Mechanizing Inductive Proofs. LPAR Andrew Ireland
1991	—	`conf`	On Exploiting the Structure of Martin-Löf's Theory of Types. ÖGAI Andrew Ireland
1990	A	`conf`	Extensions to the Rippling-Out Tactic for Guiding Inductive Proofs. CADE Alan Bundy, Frank van Harmelen, Alan Smaill, Andrew Ireland
1989	—	`—`	Mechanization of program construction in Martin-Loef's theory of types. Andrew Ireland