@inproceedings{NordioEMTGN11,
  title = {How Do Distribution and Time Zones Affect Software Development? A Case Study on Communication},
  author = {Martin Nordio and H.-Christian Estler and Bertrand Meyer and Julian Tschannen and Carlo Ghezzi and Elisabetta Di Nitto},
  year = {2011},
  doi = {10.1109/ICGSE.2011.22},
  url = {http://doi.ieeecomputersociety.org/10.1109/ICGSE.2011.22},
  researchr = {https://researchr.org/publication/NordioEMTGN11},
  cites = {0},
  citedby = {0},
  pages = {176-184},
  booktitle = {icgse},
}

@inproceedings{NordioCMMT10,
  title = {Reasoning about Function Objects},
  author = {Martin Nordio and Cristiano Calcagno and Bertrand Meyer and Peter Müller and Julian Tschannen},
  year = {2010},
  doi = {10.1007/978-3-642-13953-6_5},
  url = {http://dx.doi.org/10.1007/978-3-642-13953-6_5},
  tags = {meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/NordioCMMT10},
  cites = {0},
  citedby = {0},
  pages = {79-96},
  booktitle = {TOOLS},
}

@inproceedings{TschannenFNM11,
  title = {Usable Verification of Object-Oriented Programs by Combining Static and Dynamic Techniques},
  author = {Julian Tschannen and Carlo A. Furia and Martin Nordio and Bertrand Meyer},
  year = {2011},
  doi = {10.1007/978-3-642-24690-6_26},
  url = {http://dx.doi.org/10.1007/978-3-642-24690-6_26},
  researchr = {https://researchr.org/publication/TschannenFNM11},
  cites = {0},
  citedby = {0},
  pages = {382-398},
  booktitle = {SEFM},
}

@inproceedings{TschannenFNM11-0,
  title = {Automatic Verification of Advanced Object-Oriented Features: The AutoProof Approach},
  author = {Julian Tschannen and Carlo Alberto Furia and Martin Nordio and Bertrand Meyer},
  year = {2011},
  doi = {10.1007/978-3-642-35746-6_5},
  url = {http://dx.doi.org/10.1007/978-3-642-35746-6_5},
  researchr = {https://researchr.org/publication/TschannenFNM11-0},
  cites = {0},
  citedby = {0},
  pages = {133-155},
  booktitle = {laser},
}

@inproceedings{TschannenFNM13,
  title = {Program Checking with Less Hassle},
  author = {Julian Tschannen and Carlo A. Furia and Martin Nordio and Bertrand Meyer},
  year = {2013},
  doi = {10.1007/978-3-642-54108-7_8},
  url = {http://dx.doi.org/10.1007/978-3-642-54108-7_8},
  researchr = {https://researchr.org/publication/TschannenFNM13},
  cites = {0},
  citedby = {0},
  pages = {149-169},
  booktitle = {vstte},
}

@inproceedings{NordioGMNTTAK11,
  title = {Teaching software engineering using globally distributed projects: the DOSE course},
  author = {Martin Nordio and Carlo Ghezzi and Bertrand Meyer and Elisabetta Di Nitto and Giordano Tamburrelli and Julian Tschannen and Nazareno Aguirre and Vidya Kulkarni},
  year = {2011},
  doi = {10.1145/1984665.1984673},
  url = {http://doi.acm.org/10.1145/1984665.1984673},
  researchr = {https://researchr.org/publication/NordioGMNTTAK11},
  cites = {0},
  citedby = {0},
  pages = {36-40},
  booktitle = {ICSE},
}

@inproceedings{Furia-PT15a,
  title = {The AutoProof Verifier: Usability by Non-Experts and on Standard Code},
  author = {Carlo A. Furia and Christopher M. Poskitt and Julian Tschannen},
  year = {2015},
  doi = {10.4204/EPTCS.187.4},
  url = {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)},
}

@inproceedings{TschannenFNP15,
  title = {AutoProof: Auto-Active Functional Verification of Object-Oriented Programs},
  author = {Julian Tschannen and Carlo A. Furia and Martin Nordio and Nadia Polikarpova},
  year = {2015},
  doi = {10.1007/978-3-662-46681-0_53},
  url = {http://dx.doi.org/10.1007/978-3-662-46681-0_53},
  researchr = {https://researchr.org/publication/TschannenFNP15},
  cites = {0},
  citedby = {0},
  pages = {566-580},
  booktitle = {TACAS},
}

@inproceedings{BormerBDEFGHKMMMPSSTTU11,
  title = {The COST IC0701 Verification Competition 2011},
  author = {Thorsten Bormer and Marc Brockschmidt and Dino Distefano and Gidon Ernst and Jean-Christophe Filliâtre and Radu Grigore and Marieke Huisman and Vladimir Klebanov and Claude Marché and Rosemary Monahan and Wojciech Mostowski and Nadia Polikarpova and Christoph Scheben and Gerhard Schellhorn and Bogdan Tofan and Julian Tschannen and Mattias Ulbrich},
  year = {2011},
  doi = {10.1007/978-3-642-31762-0_2},
  url = {http://dx.doi.org/10.1007/978-3-642-31762-0_2},
  researchr = {https://researchr.org/publication/BormerBDEFGHKMMMPSSTTU11},
  cites = {0},
  citedby = {0},
  pages = {3-21},
  booktitle = {foveoos},
}

@inproceedings{PolikarpovaTF15,
  title = {A Fully Verified Container Library},
  author = {Nadia Polikarpova and Julian Tschannen and Carlo A. Furia},
  year = {2015},
  doi = {10.1007/978-3-319-19249-9_26},
  url = {http://dx.doi.org/10.1007/978-3-319-19249-9_26},
  researchr = {https://researchr.org/publication/PolikarpovaTF15},
  cites = {0},
  citedby = {0},
  pages = {414-434},
  booktitle = {FM},
}

@inproceedings{PolikarpovaTFM14,
  title = {Flexible Invariants through Semantic Collaboration},
  author = {Nadia Polikarpova and Julian Tschannen and Carlo A. Furia and Bertrand Meyer},
  year = {2014},
  doi = {10.1007/978-3-319-06410-9_35},
  url = {http://dx.doi.org/10.1007/978-3-319-06410-9_35},
  researchr = {https://researchr.org/publication/PolikarpovaTFM14},
  cites = {0},
  citedby = {0},
  pages = {514-530},
  booktitle = {FM},
}