Skip to content

Publications

Books

  • A. Eden and J. Nicholson, Codecharts: Roadmaps and Blueprints for Object-Oriented Programs, Wiley-Blackwell, 2011. [Bibtex] 
    @book{eden_codecharts:_2011,
  title = {Codecharts: Roadmaps and Blueprints for {Object-Oriented} Programs},
  isbn = {0470626941},
  publisher = {{Wiley-Blackwell}},
  author = {Eden, Amnon H. and Nicholson, Jonathan},
  month = apr,
  year = {2011},
  keywords = {book}
}

Theses

  • [PDF] J. Nicholson, “On the Theoretical Foundations of LePUS3 and its Application to Object-Oriented Design Verification,” PhD PhD Thesis, Colchester, UK, 2011. [Bibtex] 
    @phdthesis{nicholson_theoretical_2011,
  address = {Colchester, {UK}},
  type = {{PhD}},
  title = {On the Theoretical Foundations of {LePUS3} and its Application to {Object-Oriented} Design Verification},
  school = {University of Essex},
  author = {Nicholson, Jonathan},
  year = {2011}
}
  • [PDF] J. Nicholson, “Verification of Java implementations against Class-Z specifications,” MSc PhD Thesis, UK, 2006. [Bibtex] 
    @phdthesis{nicholson_verification_2006,
  address = {{UK}},
  type = {{MSc}},
  title = {Verification of Java implementations against {Class-Z} specifications},
  school = {University of Essex},
  author = {Nicholson, Jonathan},
  month = sep,
  year = {2006}
}

Conferences

  • J. Nicholson, “A Theory of Classes from the Theoretical Foundations of LePUS3,” in 13th International Conference on Formal Engineering Methods, Durham, UK, 2011. [Bibtex] 
    @inproceedings{nicholson_theory_2011,
  address = {Durham, {UK}},
  series = {Lecture Notes in Computer Science},
  title = {A Theory of Classes from the Theoretical Foundations of {{LePUS3}}},
  volume = {6991},
  booktitle = {13th International Conference on Formal Engineering Methods},
  publisher = {Springer},
  author = {Nicholson, Jonathan},
  month = oct,
  year = {2011}
}
  • [PDF] J. Nicholson, E. Gasparis, A. Eden, and R. Kazman, “Automated Verification of Design Patterns with LePUS3,” in Proceedings of the 1st NASA Formal Methods Symposium, Moffett Field, California, USA, 2009, pp. 76-85. [Bibtex] 
    @inproceedings{nicholson_automated_2009,
  address = {Moffett Field, California, {USA}},
  title = {Automated Verification of Design Patterns with {LePUS3}},
  booktitle = {Proceedings of the 1st {NASA} Formal Methods Symposium},
  publisher = {{NASA}},
  author = {Nicholson, Jonathan and Gasparis, Epameinondas and Eden, Amnon H. and Kazman, Rick},
  month = apr,
  year = {2009},
  pages = {76--85}
}
  • E. Gasparis, J. Nicholson, and A. Eden, “LePUS3: An Object-Oriented Design Description Language.” Springer Berlin, 2008, vol. 5223, pp. 364-367. [Bibtex] 
    @incollection{gasparis_lepus3:_2008,
  series = {Lecture Notes in Computer Science},
  title = {{LePUS3:} An {Object-Oriented} Design Description Language},
  volume = {5223},
  isbn = {978-3-540-87729-5},
  shorttitle = {{LePUS3}},
  url = {http://dx.doi.org/10.1007/978-3-540-87730-1_37},
  booktitle = {Diagrammatic Representation and Inference},
  publisher = {Springer Berlin},
  author = {Gasparis, Epameinondas and Nicholson, Jonathan and Eden, Amnon},
  month = sep,
  year = {2008},
  pages = {364--367}
}
  • [DOI] E. Gasparis, A. Eden, J. Nicholson, and R. Kazman, “The Design Navigator: Charting Java Programs,” in Proceedings of the 30th international conference on Software engineering, Leipzig, Germany, 2008, pp. 945-946. [Bibtex] 
    @inproceedings{gasparis_design_2008,
  address = {Leipzig, Germany},
  title = {The {{Design} Navigator}: Charting {{Java}} Programs},
  isbn = {978-1-60558-079-1},
  shorttitle = {The design navigator},
  url = {http://www.eden-study.org/articles/2008/design-navigator-icse.pdf},
  doi = {10.1145/1370175.1370200},
  booktitle = {Proceedings of the 30th international conference on Software engineering},
  publisher = {{ACM}},
  author = {Gasparis, Epameinondas and Eden, Amnon H. and Nicholson, Jonathan and Kazman, Rick},
  month = may,
  year = {2008},
  keywords = {design mining, object-oriented design, reverse engineering, software modelling, software visualization},
  pages = {945--946}
}
  • [DOI] E. Gasparis, J. Nicholson, A. Eden, and R. Kazman, “Navigating Through the Design of Object-Oriented Programs,” in Reverse Engineering, Working Conference on, Los Alamitos, CA, USA, 2008, pp. 331-332. [Bibtex] 
    @inproceedings{gasparis_navigating_2008,
  address = {Los Alamitos, {CA}, {USA}},
  title = {Navigating Through the Design of {Object-Oriented} Programs},
  volume = {0},
  doi = {10.1109/WCRE.2008.41},
  booktitle = {Reverse Engineering, Working Conference on},
  publisher = {{IEEE} Computer Society},
  author = {Gasparis, Epameinondas and Nicholson, Jonathan and Eden, Amnon H. and Kazman, Rick},
  year = {2008},
  keywords = {design recovery, program visualization},
  pages = {331--332}
}

Technical Reports

  • J. Nicholson, A. Eden, and E. Gasparis, “Verification of LePUS3/Class-Z Specifications: Sample models and Abstract Semantics for Java 1.4,” School of Computer Science and Electronic Engineering, University of Essex, Technical Report CSM-471, ISSN 1744-8050, , 2007. [Bibtex] 
    @techreport{nicholson_verification_2007,
  type = {Technical Report},
  title = {Verification of {LePUS3/Class-Z} Specifications: Sample models and Abstract Semantics for {{Java}} 1.4},
  url = {http://lepus.org.uk/ref/verif/verif.pdf},
  number = {{CSM-471}, {ISSN} 1744-8050},
  institution = {School of Computer Science and Electronic Engineering, University of Essex},
  author = {Nicholson, Jonathan and Eden, Amnon H. and Gasparis, Epameinondas},
  month = dec,
  year = {2007}
}
  • A. Eden, E. Gasparis, and J. Nicholson, “The ‘Gang of Four’ Companion: Formal specification of design patterns in LePUS3 and Class-Z,” School of Computer Science and Electronic Engineering, University of Essex, Technical Report CSM-472, ISSN 1744-8050, , 2007. [Bibtex] 
    @techreport{eden_gang_2007,
  type = {Technical Report},
  title = {The {'{Gang} of Four}' Companion: Formal specification of design patterns in {LePUS3} and {Class-Z}},
  url = {http://lepus.org.uk/ref/companion/companion.pdf},
  number = {{CSM-472}, {ISSN} 1744-8050},
  institution = {School of Computer Science and Electronic Engineering, University of Essex},
  author = {Eden, Amnon H. and Gasparis, Epameinondas and Nicholson, Jonathan},
  month = dec,
  year = {2007}
}
  • A. Eden, E. Gasparis, and J. Nicholson, “LePUS3 and Class-Z Reference Manual,” School of Computer Science and Electronic Engineering, University of Essex, Technical Report CSM-474, ISSN 1744-8050, , 2007. [Bibtex] 
    @techreport{eden_lepus3_2007,
  type = {Technical Report},
  title = {{LePUS3} and {Class-Z} Reference Manual},
  url = {http://lepus.org.uk/ref/refman/refman.pdf},
  number = {{CSM-474}, {ISSN} 1744-8050},
  institution = {School of Computer Science and Electronic Engineering, University of Essex},
  author = {Eden, Amnon H. and Gasparis, Epameinondas and Nicholson, Jonathan},
  month = dec,
  year = {2007}
}

I use the Papercite plugin to handle my list of publications. It is a fantastic little tool that is constantly improving.

Comments are closed