Publications

Publications

/What I’ve written

Below is a complete list of my publications, which you can download in BibTeX format.

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author’s copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

Journals

2017
  • [PDF] [DOI] A. H. Eden, E. Gasparis, J. Nicholson, and R. Kazman, Round-trip engineering with the two-tier programming toolkit. Software quality journal, :1–23, 2017.
2014
  • [DOI] J. Nicholson, A. H. Eden, R. Kazman, and E. Gasparis, Automated verification of design patterns: a case study. Science of computer programming, 80(Part B):211–222, 2014.
2013
  • [DOI] A. H. Eden, E. Gasparis, J. Nicholson, and R. Kazman, Modeling and visualizing object-oriented programs with codecharts. Formal methods in system design, 43(1):1–28, 2013.

Books and book chapters

2011
  • [DOI] A. H. Eden and J. Nicholson, Codecharts: roadmaps and blueprints for object-oriented programs, Wiley-Blackwell, 2011.

Conferences and workshops

2017
  • [PDF] [DOI] J. Nicholson and I. Tasker, “Dataexchange: privacy by design for data sharing in education,” in 1st international conference on the frontiers and advances in data science, Xi’An, China, 2017.
2014
  • A. Delaney, E. Kow, P. Chapman, and J. Nicholson, “Generating and navigating large euler diagrams,” in 4th international workshop on euler diagrams, Melbourne, Australia, 2014, pages 23–31.
2012
  • [PDF] [DOI] J. Nicholson, A. Delaney, and G. Stapleton, “Linking codecharts with programs,” in Ieee symposium on visual languages and human-centric computing, Innsbruck, Austria, 2012, pages 259–260.
  • [PDF] [DOI] J. Nicholson and A. Delaney, “Formalising simple codecharts,” in 7th international conference on the theory and application of diagrams, Canterbury, UK, 2012, pages 346–348.
  • J. Nicholson, A. Delaney, and G. Stapleton, “Formalizing the syntax of codecharts,” in 18th international conference on distributed multimedia systems, Miami Beach, FL, USA, 2012, pages 181–184.
2011
  • [DOI] J. Nicholson, “A theory of classes from the theoretical foundations of lepus3,” in 13th international conference on formal engineering methods, Durham, UK, 2011, pages 522–536.
2009
  • [PDF] J. Nicholson, E. Gasparis, A. H. Eden, and R. Kazman, “Automated verification of design patterns with lepus3,” in 1st nasa formal methods symposium, Moffett Field, California, USA, 2009, pages 76–85.
2008
  • [DOI] E. Gasparis, J. Nicholson, and A. H. Eden, “Lepus3: an object-oriented design description language,” in 5th international conference on the theory and application of diagrams, 2008, pages 364–367.
  • [DOI] E. Gasparis, A. H. Eden, J. Nicholson, and R. Kazman, “The design navigator: charting java programs,” in 30th international conference on software engineering, Leipzig, Germany, 2008, pages 945–946.
  • [DOI] E. Gasparis, J. Nicholson, A. H. Eden, and R. Kazman, “Navigating through the design of object-oriented programs,” in Working conference on reverse engineering, Los Alamitos, CA, USA, 2008, pages 331–332.

PhD Thesis

2011
  • [PDF] J. Nicholson, “On the theoretical foundations of lepus3 and its application to object-oriented design verification,” PhD Thesis, University of Essex, Colchester, UK, 2011.

I use the Papercite plugin to display each publication with some tweaks.