publications:
- title: "SPeeDI - A Verification Tool for Polygonal Hybrid Systems"
  author:
  - name: "Eugene Asarin"
    link: "https://researchr.org/alias/eugene-asarin"
  - name: "Gordon J. Pace"
    link: "http://www.cs.um.edu.mt/gordon.pace"
  - name: "Gerardo Schneider"
    link: "https://researchr.org/alias/gerardo-schneider"
  - name: "Sergio Yovine"
    link: "https://researchr.org/alias/sergio-yovine"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2404/24040354.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2404/24040354.htm"
  researchr: "https://researchr.org/publication/AsarinPSY02"
  cites: 0
  citedby: 0
  pages: "354-358"
  booktitle: "cav"
  kind: "inproceedings"
  key: "AsarinPSY02"
- title: "Challenges in the Specification of Full Contracts"
  author:
  - name: "Gordon J. Pace"
    link: "http://www.cs.um.edu.mt/gordon.pace"
  - name: "Gerardo Schneider"
    link: "https://researchr.org/alias/gerardo-schneider"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-00255-7_20"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-00255-7_20"
  tags:
  - "contracts"
  researchr: "https://researchr.org/publication/PaceS09"
  cites: 0
  citedby: 0
  pages: "292-306"
  booktitle: "IFM"
  kind: "inproceedings"
  key: "PaceS09"
- title: "Algorithmic analysis of polygonal hybrid systems, Part II: Phase portrait and tools"
  author:
  - name: "Eugene Asarin"
    link: "https://researchr.org/alias/eugene-asarin"
  - name: "Gordon J. Pace"
    link: "http://www.cs.um.edu.mt/gordon.pace"
  - name: "Gerardo Schneider"
    link: "https://researchr.org/alias/gerardo-schneider"
  - name: "Sergio Yovine"
    link: "https://researchr.org/alias/sergio-yovine"
  year: "2008"
  doi: "http://dx.doi.org/10.1016/j.tcs.2007.09.025"
  links:
    doi: "http://dx.doi.org/10.1016/j.tcs.2007.09.025"
  tags:
  - "analysis"
  researchr: "https://researchr.org/publication/AsarinPSY08"
  cites: 0
  citedby: 0
  journal: "TCS"
  volume: "390"
  number: "1"
  pages: "1-26"
  kind: "article"
  key: "AsarinPSY08"
- title: "Computation and Visualisation of Phase Portraits for Model Checking SPDIs"
  author:
  - name: "Gordon J. Pace"
    link: "http://www.cs.um.edu.mt/gordon.pace"
  - name: "Gerardo Schneider"
    link: "https://researchr.org/alias/gerardo-schneider"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-78800-3_25"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-78800-3_25"
  tags:
  - "model checking"
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/PaceS08"
  cites: 0
  citedby: 0
  pages: "341-345"
  booktitle: "TACAS"
  kind: "inproceedings"
  key: "PaceS08"
- title: "Model Checking Contracts - A Case Study"
  author:
  - name: "Gordon J. Pace"
    link: "http://www.cs.um.edu.mt/gordon.pace"
  - name: "Cristian Prisacariu"
    link: "https://researchr.org/alias/cristian-prisacariu"
  - name: "Gerardo Schneider"
    link: "https://researchr.org/alias/gerardo-schneider"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-75596-8_8"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-75596-8_8"
  tags:
  - "case study"
  - "model checking"
  - "contracts"
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/PacePS07"
  cites: 0
  citedby: 0
  pages: "82-97"
  booktitle: "ATVA"
  kind: "inproceedings"
  key: "PacePS07"
- title: "Relaxing Goodness Is Still Good"
  author:
  - name: "Gordon J. Pace"
    link: "http://www.cs.um.edu.mt/gordon.pace"
  - name: "Gerardo Schneider"
    link: "https://researchr.org/alias/gerardo-schneider"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-85762-4_19"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-85762-4_19"
  researchr: "https://researchr.org/publication/PaceS08%3A0"
  cites: 0
  citedby: 0
  pages: "274-289"
  booktitle: "ictac"
  kind: "inproceedings"
  key: "PaceS08:0"
- title: "A Compositional Algorithm for Parallel Model Checking of Polygonal Hybrid Systems"
  author:
  - name: "Gordon J. Pace"
    link: "http://www.cs.um.edu.mt/gordon.pace"
  - name: "Gerardo Schneider"
    link: "https://researchr.org/alias/gerardo-schneider"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11921240_12"
  links:
    doi: "http://dx.doi.org/10.1007/11921240_12"
  tags:
  - "model checking"
  - "meta-model"
  - "composition"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/PaceS06"
  cites: 0
  citedby: 0
  pages: "168-182"
  booktitle: "ictac"
  kind: "inproceedings"
  key: "PaceS06"
- title: "Calculating-Confluence Compositionally"
  author:
  - name: "Gordon J. Pace"
    link: "http://www.cs.um.edu.mt/gordon.pace"
  - name: "Frédéric Lang"
    link: "https://researchr.org/alias/fr%C3%A9d%C3%A9ric-lang"
  - name: "Radu Mateescu"
    link: "https://researchr.org/alias/radu-mateescu"
  year: "2003"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2725&spage=446"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2725&spage=446"
  tags:
  - "composition"
  researchr: "https://researchr.org/publication/PaceLM03"
  cites: 0
  citedby: 0
  pages: "446-459"
  booktitle: "cav"
  kind: "inproceedings"
  key: "PaceLM03"
- title: "An embedded language approach to teaching hardware compilation"
  author:
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  - name: "Gordon J. Pace"
    link: "http://www.cs.um.edu.mt/gordon.pace"
  year: "2002"
  doi: "http://doi.acm.org/10.1145/636517.636526"
  links:
    doi: "http://doi.acm.org/10.1145/636517.636526"
  tags:
  - "teaching"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/ClaessenP02"
  cites: 0
  citedby: 0
  journal: "SIGPLAN"
  volume: "37"
  number: "12"
  pages: "35-46"
  kind: "article"
  key: "ClaessenP02"
- title: "Counter-example generation in symbolic abstract model-checking"
  author:
  - name: "Gordon J. Pace"
    link: "http://www.cs.um.edu.mt/gordon.pace"
  - name: "Nicolas Halbwachs"
    link: "https://researchr.org/alias/nicolas-halbwachs"
  - name: "Pascal Raymond"
    link: "https://researchr.org/alias/pascal-raymond"
  year: "2004"
  doi: "http://www.springerlink.com/index/10.1007/s10009-003-0127-4"
  links:
    doi: "http://www.springerlink.com/index/10.1007/s10009-003-0127-4"
  tags:
  - "model checking"
  - "meta-model"
  - "Meta-Environment"
  - "Pascal"
  researchr: "https://researchr.org/publication/PaceHR04"
  cites: 0
  citedby: 0
  journal: "STTT"
  volume: "5"
  number: "2-3"
  pages: "158-164"
  kind: "article"
  key: "PaceHR04"
- title: "The Semantics of Verilog Using Transition System Combinators"
  author:
  - name: "Gordon J. Pace"
    link: "http://www.cs.um.edu.mt/gordon.pace"
  year: "2000"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1954/19540405.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1954/19540405.htm"
  tags:
  - "semantics"
  researchr: "https://researchr.org/publication/Pace00"
  cites: 0
  citedby: 0
  pages: "405-422"
  booktitle: "FMCAD"
  kind: "inproceedings"
  key: "Pace00"
- title: "Static Analysis for State-Space Reduction of Polygonal Hybrid Systems"
  author:
  - name: "Gordon J. Pace"
    link: "http://www.cs.um.edu.mt/gordon.pace"
  - name: "Gerardo Schneider"
    link: "https://researchr.org/alias/gerardo-schneider"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11867340_22"
  links:
    doi: "http://dx.doi.org/10.1007/11867340_22"
  tags:
  - "analysis"
  - "static analysis"
  researchr: "https://researchr.org/publication/PaceS06%3A0"
  cites: 0
  citedby: 0
  pages: "306-321"
  booktitle: "formats"
  kind: "inproceedings"
  key: "PaceS06:0"
- title: "Model Checking Polygonal Differential Inclusions Using Invariance Kernels"
  author:
  - name: "Gordon J. Pace"
    link: "http://www.cs.um.edu.mt/gordon.pace"
  - name: "Gerardo Schneider"
    link: "https://researchr.org/alias/gerardo-schneider"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2937&spage=110"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2937&spage=110"
  tags:
  - "model checking"
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/PaceS04"
  cites: 0
  citedby: 0
  pages: "110-121"
  booktitle: "vmcai"
  kind: "inproceedings"
  key: "PaceS04"