Publications

2014

Nicholas Matragkas, James R. Williams, Dimitris S. Kolovos and Richard F. Paige. Analysing the Biodiversity of Open Source Ecosystems: The Github Case.
Proceedings of the 11th Working Conference on Mining Software Repositories (to appear).
Paper | Presentation

James R. Williams, Davide Di Ruscio, Nicholas Matragkas, Juri Di Rocco, and Dimitrios S. Kolovos. Models of OSS Project Meta-Information: A Dataset of Three Forges
Proceedings of the 11th Working Conference on Mining Software Repositories (to appear).
Paper | Presentation

2013

James R. Williams, Athanasios Zolotas, Nicholas Matragkas, Louis M. Rose, Dim- itrios S. Kolovos, Richard. F. Paige and Fiona. A. C. Polack. What do metamodels really look like?
Proceedings of the Third International Workshop on Experiences and Empirical Studies in Software Modelling. Miami, U.S.A., October 2013.
Paper | Presentation

James R. Williams, Simon Poulding, Richard. F. Paige and Fiona. A. C. Polack. Exploring the use of Metaheuristic Search to Infer Models of Dynamic System Behaviour
Proceedings of the Eighth International Workshop on Models at Runtime. Miami, U.S.A., September 2013.
Paper | Presentation

2012

James R. Williams, Richard F. Paige and Fiona A. C. Polack. Searching for Model Migration Strategies
Models and Evolution Workshop, September 2012, Innsbruck, Austria.
Paper | Presentation

James R. Williams, Frank R. Burton, Richard F. Paige and Fiona A. C. Polack. Sensitivity Analysis in Model-Driven Engineering
Proceedings of the Fifteenth International Conference on Model Driven Engineering Languages and Systems, September 2012, Innsbruck, Austria.
Paper | Presentation | Supporting Material

Dimitrios S. Kolovos, Louis M. Rose, Nicholas Matragkas, James R. Williams and Richard F. Paige. A Lightweight Approach for Managing XML Documents with MDE Languages
Proceedings of the Eighth European Conference on Modelling Foundations and Applications (to appear), July 2012, Lyngby, Denmark.
Paper | Presentation

2011

Dimitrios S. Kolovos, Richard F. Paige, Louis M. Rose and James R. Williams. Integrated Model Management with Epsilon
Proceedings of the Seventh European Conference on Modelling Foundations and Applications, June 2011, Birmingham, UK.
Paper | Tutorial

James R. Williams and Simon Poulding. Generating Models Using Metaheuristic Search
Proceedings of the Fourth York Doctoral Symposium on Computing, October 2011, York, UK. Best paper award winner
Paper | Presentation

Dimitrios S. Kolovos, Louis M. Rose and James R. Williams. Using Model-to-Text Transformation for Dynamic Web-based Model Navigation
Proceedings of the Sixth International Workshop on Models at Runtime, October 2011, Wellington, New Zealand
Paper | Presentation

James R. Williams, Simon Poulding, Louis M. Rose, Richard F. Paige and Fiona A. C. Polack. Identifying desirable game character behaviours through the application of evolutionary algorithms to model-driven engineering metamodels
Proceedings of the Third International Symposium on Search Based Software Engineering, September 2011, Szeged, Hungary
Paper | Presentation

James R. Williams, Dimitrios S. Kolovos, Fiona A. C. Polack and Richard F. Paige. Requirements for a Model Comparison Language
Proceedings of the 2nd International Workshop on Model Comparison in Practice, June 2011, Zurich, Switzerland
Paper | Presentation

James R. Williams. Modelling and Analysing the Behaviour of Software
Presented at the doctoral symposium at Formal Methods 2011, Limerick, Ireland
Paper | Presentation

2010

L. M. Rose, M. Herrmannsdoerfer, J. R. Williams, D. S.Kolovos, K. Garc├ęs, R. F. Paige and F. A. C. Polack. A Comparison of Model Migration Tools
Proc. International Conference on Model Driven Engineering Languages and Systems (MoDELS), Part I
Paper | Presentation

L.M. Rose, D. S. Kolovos, N. Drivalos, J. R. Williams, R. F. Paige, F. A. C. Polack and K. J. Fernandes. Concordance: An Efficient Framework for Managing Model Integrity
Proc. European Conference on Modelling Foundations and Applications
Paper | Presentation

J. R. Williams, F. A. C. Polack and R. F. Paige. Formal Analysis in Model Management: Exploiting the Power of CZT
ABZ 2010, LNCS 5977, p. 414, Springer-Verlag, February 2010
Paper | Presentation

2009

J. R. Williams and F. Polack. Automated formalisation for verification of diagrammatic models
Proceedings of the 6th International Workshop on Formal Aspects of Component Software, Eindhoven, Netherlands, 2-3 November 2009
Paper | Presentation

Other Work

J. R. Williams. AUtoZ: Automatic Formalisation of UML of Z
Master's thesis, Department of Computer Science, University of York, 2009
Paper | Presentation