M. T. Llano, A. Ireland and A. Pease
Discovery of Invariants through Automated Theory Formation
Accpeted for publication within a Refinement Special Issue of the Journal of Formal Aspects of
Computing -- available via:
School of Mathematical and Computer Sciences,
Heriot-Watt University, Technical Report
HW-MACS-TR-0093.
G. Grov, A. Ireland and M. T. Llano
Refinement Plans for Informed Formal Design
Accepted for publication at ABZ-2012 -- available via:
School of Mathematical and Computer Sciences,
Heriot-Watt University, Technical Report
HW-MACS-TR-0092.
A. Ireland, G. Grov, M. Llano, and M. Butler
Reasoned Modelling Critics: Turning Failed Proofs into Modelling Guidance.
Science of Computer Programming, (In Press) 2011.
DOI: [ 10.1016/j.scico.2011.03.006 ]
M. T. Llano, A. Ireland, and A. Pease
Discovery of invariants through automated theory formation.
In proceedings of Refine workshop, EPTCS 55, 2011.
M. Llano, G. Grov, and A. Ireland
Automatic guidance for refinement based formal methods.
In proceedings of 5th workshop on Automated Formal Methods (AFM-10), a satellite
workshop of the 22nd International Conference on Computer Aided Verification
(CAV-10), 2010.
[ Also available via: School of Mathematical and Computer Sciences,
Heriot-Watt University, Technical Report
HW-MACS-TR-0076; School of
Informatics, University of Edinburgh, Report EDI-INF-RR-1371.
A. Pease, A. Smaill, S. Colton, A. Ireland, M. Llano, R. Ramezani,
G. Grov and M. Guhe
Applying Lakatos-style reasoning to AI problems.
In Thinking Machines and the philosophy of computer science:
Concepts and principles, pages 149--174. IGI Global, PA, USA, 2010.
A. Ireland and G. Grov and M. Butler
Reasoned modelling critics: turning failed proofs into modelling guidance.
In Proceedings of ABZ 2010, LNCS vol 5977, Springer, 2010.
A. Ireland and G. Grov
Reasoned Modelling: Combining Proof and Modelling Patterns to Guide Systems Design.
In Refinement Based Methods for the Construction of Dependable Systems:
09381 Extended Abstracts Collection.
Editors J-R. Abrial, M. Butler, R. Joshi, E. Troubitsyna, J.C.P. Woodcock.
Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum fuer
Informatik, 2010. [ link ]
M. T. Llano and R. Pooley
UML Specification and Correction of Object-Oriented Anti-Patterns.
In ICSEA. 4th International Conference on Software
Engineering Advances. IEEE Computer Society. Porto, Portugal. 2009.