publications:
- title: "How Do Distribution and Time Zones Affect Software Development? A Case Study on Communication"
  author:
  - name: "Martin Nordio"
    link: "https://researchr.org/alias/martin-nordio"
  - name: "H.-Christian Estler"
    link: "https://researchr.org/alias/h.-christian-estler"
  - name: "Bertrand Meyer"
    link: "https://researchr.org/alias/bertrand-meyer"
  - name: "Julian Tschannen"
    link: "http://jt.x73.ch/"
  - name: "Carlo Ghezzi"
    link: "https://researchr.org/alias/carlo-ghezzi"
  - name: "Elisabetta Di Nitto"
    link: "https://researchr.org/alias/elisabetta-di-nitto"
  year: "2011"
  doi: "http://doi.ieeecomputersociety.org/10.1109/ICGSE.2011.22"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/ICGSE.2011.22"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icgse/NordioEMTGN11"
  researchr: "https://researchr.org/publication/NordioEMTGN11"
  cites: 0
  citedby: 0
  pages: "176-184"
  booktitle: "icgse"
  kind: "inproceedings"
  key: "NordioEMTGN11"
- title: "Reasoning about Function Objects"
  author:
  - name: "Martin Nordio"
    link: "https://researchr.org/alias/martin-nordio"
  - name: "Cristiano Calcagno"
    link: "https://researchr.org/alias/cristiano-calcagno"
  - name: "Bertrand Meyer"
    link: "https://researchr.org/alias/bertrand-meyer"
  - name: "Peter Müller"
    link: "https://researchr.org/alias/peter-m%C3%BCller"
  - name: "Julian Tschannen"
    link: "http://jt.x73.ch/"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-13953-6_5"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-13953-6_5"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/tools/NordioCMMT10"
  tags:
  - "meta-model"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/NordioCMMT10"
  cites: 0
  citedby: 0
  pages: "79-96"
  booktitle: "TOOLS"
  kind: "inproceedings"
  key: "NordioCMMT10"
- title: "Usable Verification of Object-Oriented Programs by Combining Static and Dynamic Techniques"
  author:
  - name: "Julian Tschannen"
    link: "http://jt.x73.ch/"
  - name: "Carlo A. Furia"
    link: "http://bugcounting.net/"
  - name: "Martin Nordio"
    link: "https://researchr.org/alias/martin-nordio"
  - name: "Bertrand Meyer"
    link: "https://researchr.org/alias/bertrand-meyer"
  year: "2011"
  doi: "http://dx.doi.org/10.1007/978-3-642-24690-6_26"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-24690-6_26"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/sefm/TschannenFNM11"
  researchr: "https://researchr.org/publication/TschannenFNM11"
  cites: 0
  citedby: 0
  pages: "382-398"
  booktitle: "SEFM"
  kind: "inproceedings"
  key: "TschannenFNM11"
- title: "Automatic Verification of Advanced Object-Oriented Features: The AutoProof Approach"
  author:
  - name: "Julian Tschannen"
    link: "http://jt.x73.ch/"
  - name: "Carlo Alberto Furia"
    link: "https://researchr.org/alias/carlo-alberto-furia"
  - name: "Martin Nordio"
    link: "https://researchr.org/alias/martin-nordio"
  - name: "Bertrand Meyer"
    link: "https://researchr.org/alias/bertrand-meyer"
  year: "2011"
  doi: "http://dx.doi.org/10.1007/978-3-642-35746-6_5"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-35746-6_5"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/laser/TschannenFNM11"
  researchr: "https://researchr.org/publication/TschannenFNM11-0"
  cites: 0
  citedby: 0
  pages: "133-155"
  booktitle: "laser"
  kind: "inproceedings"
  key: "TschannenFNM11-0"
- title: "Program Checking with Less Hassle"
  author:
  - name: "Julian Tschannen"
    link: "http://jt.x73.ch/"
  - name: "Carlo A. Furia"
    link: "http://bugcounting.net/"
  - name: "Martin Nordio"
    link: "https://researchr.org/alias/martin-nordio"
  - name: "Bertrand Meyer"
    link: "https://researchr.org/alias/bertrand-meyer"
  year: "2013"
  doi: "http://dx.doi.org/10.1007/978-3-642-54108-7_8"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-54108-7_8"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/vstte/TschannenFNM13"
  researchr: "https://researchr.org/publication/TschannenFNM13"
  cites: 0
  citedby: 0
  pages: "149-169"
  booktitle: "vstte"
  kind: "inproceedings"
  key: "TschannenFNM13"
- title: "Teaching software engineering using globally distributed projects: the DOSE course"
  author:
  - name: "Martin Nordio"
    link: "https://researchr.org/alias/martin-nordio"
  - name: "Carlo Ghezzi"
    link: "https://researchr.org/alias/carlo-ghezzi"
  - name: "Bertrand Meyer"
    link: "https://researchr.org/alias/bertrand-meyer"
  - name: "Elisabetta Di Nitto"
    link: "https://researchr.org/alias/elisabetta-di-nitto"
  - name: "Giordano Tamburrelli"
    link: "https://researchr.org/alias/giordano-tamburrelli"
  - name: "Julian Tschannen"
    link: "http://jt.x73.ch/"
  - name: "Nazareno Aguirre"
    link: "https://researchr.org/alias/nazareno-aguirre"
  - name: "Vidya Kulkarni"
    link: "https://researchr.org/alias/vidya-kulkarni"
  year: "2011"
  doi: "http://doi.acm.org/10.1145/1984665.1984673"
  links:
    doi: "http://doi.acm.org/10.1145/1984665.1984673"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icse/NordioGMNTTAK11"
  researchr: "https://researchr.org/publication/NordioGMNTTAK11"
  cites: 0
  citedby: 0
  pages: "36-40"
  booktitle: "ICSE"
  kind: "inproceedings"
  key: "NordioGMNTTAK11"
- title: "The AutoProof Verifier: Usability by Non-Experts and on Standard Code"
  author:
  - name: "Carlo A. Furia"
    link: "http://bugcounting.net/"
  - name: "Christopher M. Poskitt"
    link: "http://chrisposkitt.com/"
  - name: "Julian Tschannen"
    link: "http://jt.x73.ch/"
  year: "2015"
  doi: "http://dx.doi.org/10.4204/EPTCS.187.4"
  links:
    doi: "http://dx.doi.org/10.4204/EPTCS.187.4"
  researchr: "https://researchr.org/publication/Furia-PT15a"
  cites: 0
  citedby: 0
  pages: "42-55"
  booktitle: "Proc. Formal Integrated Development Environment (F-IDE 2015)"
  kind: "inproceedings"
  key: "Furia-PT15a"
- title: "AutoProof: Auto-Active Functional Verification of Object-Oriented Programs"
  author:
  - name: "Julian Tschannen"
    link: "http://jt.x73.ch/"
  - name: "Carlo A. Furia"
    link: "http://bugcounting.net/"
  - name: "Martin Nordio"
    link: "https://researchr.org/alias/martin-nordio"
  - name: "Nadia Polikarpova"
    link: "https://researchr.org/alias/nadia-polikarpova"
  year: "2015"
  doi: "http://dx.doi.org/10.1007/978-3-662-46681-0_53"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-662-46681-0_53"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/tacas/TschannenFNP15"
  researchr: "https://researchr.org/publication/TschannenFNP15"
  cites: 0
  citedby: 0
  pages: "566-580"
  booktitle: "TACAS"
  kind: "inproceedings"
  key: "TschannenFNP15"
- title: "The COST IC0701 Verification Competition 2011"
  author:
  - name: "Thorsten Bormer"
    link: "https://researchr.org/alias/thorsten-bormer"
  - name: "Marc Brockschmidt"
    link: "https://researchr.org/alias/marc-brockschmidt"
  - name: "Dino Distefano"
    link: "https://researchr.org/alias/dino-distefano"
  - name: "Gidon Ernst"
    link: "https://researchr.org/alias/gidon-ernst"
  - name: "Jean-Christophe Filliâtre"
    link: "https://researchr.org/alias/jean-christophe-filli%C3%A2tre"
  - name: "Radu Grigore"
    link: "https://researchr.org/alias/radu-grigore"
  - name: "Marieke Huisman"
    link: "https://researchr.org/alias/marieke-huisman"
  - name: "Vladimir Klebanov"
    link: "https://researchr.org/alias/vladimir-klebanov"
  - name: "Claude Marché"
    link: "https://researchr.org/alias/claude-march%C3%A9"
  - name: "Rosemary Monahan"
    link: "https://researchr.org/alias/rosemary-monahan"
  - name: "Wojciech Mostowski"
    link: "https://researchr.org/alias/wojciech-mostowski"
  - name: "Nadia Polikarpova"
    link: "https://researchr.org/alias/nadia-polikarpova"
  - name: "Christoph Scheben"
    link: "https://researchr.org/alias/christoph-scheben"
  - name: "Gerhard Schellhorn"
    link: "https://researchr.org/alias/gerhard-schellhorn"
  - name: "Bogdan Tofan"
    link: "https://researchr.org/alias/bogdan-tofan"
  - name: "Julian Tschannen"
    link: "http://jt.x73.ch/"
  - name: "Mattias Ulbrich"
    link: "https://researchr.org/alias/mattias-ulbrich"
  year: "2011"
  doi: "http://dx.doi.org/10.1007/978-3-642-31762-0_2"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-31762-0_2"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/foveoos/BormerBDEFGHKMMMPSSTTU11"
  researchr: "https://researchr.org/publication/BormerBDEFGHKMMMPSSTTU11"
  cites: 0
  citedby: 0
  pages: "3-21"
  booktitle: "foveoos"
  kind: "inproceedings"
  key: "BormerBDEFGHKMMMPSSTTU11"
- title: "A Fully Verified Container Library"
  author:
  - name: "Nadia Polikarpova"
    link: "https://researchr.org/alias/nadia-polikarpova"
  - name: "Julian Tschannen"
    link: "http://jt.x73.ch/"
  - name: "Carlo A. Furia"
    link: "http://bugcounting.net/"
  year: "2015"
  doi: "http://dx.doi.org/10.1007/978-3-319-19249-9_26"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-319-19249-9_26"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/fm/PolikarpovaTF15"
  researchr: "https://researchr.org/publication/PolikarpovaTF15"
  cites: 0
  citedby: 0
  pages: "414-434"
  booktitle: "FM"
  kind: "inproceedings"
  key: "PolikarpovaTF15"
- title: "Flexible Invariants through Semantic Collaboration"
  author:
  - name: "Nadia Polikarpova"
    link: "https://researchr.org/alias/nadia-polikarpova"
  - name: "Julian Tschannen"
    link: "http://jt.x73.ch/"
  - name: "Carlo A. Furia"
    link: "http://bugcounting.net/"
  - name: "Bertrand Meyer"
    link: "https://researchr.org/alias/bertrand-meyer"
  year: "2014"
  doi: "http://dx.doi.org/10.1007/978-3-319-06410-9_35"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-319-06410-9_35"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/fm/PolikarpovaTFM14"
  researchr: "https://researchr.org/publication/PolikarpovaTFM14"
  cites: 0
  citedby: 0
  pages: "514-530"
  booktitle: "FM"
  kind: "inproceedings"
  key: "PolikarpovaTFM14"