publications:
- title: "Concurrent Object-Oriented Development with Behavioral Design Patterns"
  author:
  - name: "Benjamin Morandi"
    link: "http://se.inf.ethz.ch/people/morandi/"
  - name: "Scott West"
    link: "https://researchr.org/alias/scott-west"
  - name: "Sebastian Nanz"
    link: "https://researchr.org/alias/sebastian-nanz"
  - name: "Hassan Gomaa"
    link: "https://researchr.org/alias/hassan-gomaa"
  year: "2013"
  doi: "http://dx.doi.org/10.1007/978-3-642-39031-9_3"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-39031-9_3"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ecsa/MorandiWNG13"
  researchr: "https://researchr.org/publication/MorandiWNG13"
  cites: 0
  citedby: 0
  pages: "25-32"
  booktitle: "Software Architecture - 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013. Proceedings"
  editor:
  - name: "Khalil Drira"
    link: "https://researchr.org/alias/khalil-drira"
  volume: "7957"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-39030-2"
  kind: "inproceedings"
  key: "MorandiWNG13"
- title: "Towards Practical Graph-Based Verification for an Object-Oriented Concurrency Model"
  author:
  - name: "Alexander Heußner"
    link: "http://www.swt-bamberg.de/aheussner/"
  - name: "Christopher M. Poskitt"
    link: "http://chrisposkitt.com/"
  - name: "Claudio Corrodi"
    link: "http://se.inf.ethz.ch/student_projects/claudio_corrodi/"
  - name: "Benjamin Morandi"
    link: "http://se.inf.ethz.ch/people/morandi/"
  year: "2015"
  doi: "http://dx.doi.org/10.4204/EPTCS.181.3"
  links:
    doi: "http://dx.doi.org/10.4204/EPTCS.181.3"
  researchr: "https://researchr.org/publication/Heussner-PCM15a"
  cites: 0
  citedby: 0
  pages: "32-47"
  booktitle: "Proc. Graphs as Models (GaM 2015)"
  volume: "181"
  series: "Electronic Proceedings in Theoretical Computer Science"
  kind: "inproceedings"
  key: "Heussner-PCM15a"
- title: "Performance analysis of SCOOP programs"
  author:
  - name: "Benjamin Morandi"
    link: "http://se.inf.ethz.ch/people/morandi/"
  - name: "Sebastian Nanz"
    link: "https://researchr.org/alias/sebastian-nanz"
  - name: "Bertrand Meyer"
    link: "https://researchr.org/alias/bertrand-meyer"
  year: "2012"
  doi: "http://dx.doi.org/10.1016/j.jss.2012.05.076"
  links:
    doi: "http://dx.doi.org/10.1016/j.jss.2012.05.076"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/jss/MorandiNM12"
  researchr: "https://researchr.org/publication/MorandiNM12"
  cites: 0
  citedby: 0
  journal: "Journal of Systems and Software"
  volume: "85"
  number: "11"
  pages: "2519-2530"
  kind: "article"
  key: "MorandiNM12"
- title: "Deriving concurrent control software from behavioral specifications"
  author:
  - name: "Ganesh Ramanathan"
    link: "https://researchr.org/alias/ganesh-ramanathan"
  - name: "Benjamin Morandi"
    link: "http://se.inf.ethz.ch/people/morandi/"
  - name: "Scott West"
    link: "https://researchr.org/alias/scott-west"
  - name: "Sebastian Nanz"
    link: "https://researchr.org/alias/sebastian-nanz"
  - name: "Bertrand Meyer"
    link: "https://researchr.org/alias/bertrand-meyer"
  year: "2010"
  doi: "http://dx.doi.org/10.1109/IROS.2010.5650536"
  links:
    doi: "http://dx.doi.org/10.1109/IROS.2010.5650536"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/iros/RamanathanMWNM10"
  researchr: "https://researchr.org/publication/RamanathanMWNM10"
  cites: 0
  citedby: 0
  pages: "1994-1999"
  booktitle: "2010 IEEE/RSJ International Conference on Intelligent Robots and Systems, October 18-22, 2010, Taipei, Taiwan"
  publisher: "IEEE"
  isbn: "978-1-4244-6674-0"
  kind: "inproceedings"
  key: "RamanathanMWNM10"
- title: "Who is Accountable for Asynchronous Exceptions?"
  author:
  - name: "Benjamin Morandi"
    link: "http://se.inf.ethz.ch/people/morandi/"
  - name: "Sebastian Nanz"
    link: "https://researchr.org/alias/sebastian-nanz"
  - name: "Bertrand Meyer"
    link: "https://researchr.org/alias/bertrand-meyer"
  year: "2012"
  doi: "http://dx.doi.org/10.1109/APSEC.2012.48"
  links:
    doi: "http://dx.doi.org/10.1109/APSEC.2012.48"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/apsec/MorandiNM12"
  researchr: "https://researchr.org/publication/MorandiNM12-0"
  cites: 0
  citedby: 0
  pages: "462-471"
  booktitle: "19th Asia-Pacific Software Engineering Conference, APSEC 2012, Hong Kong, China, December 4-7, 2012"
  editor:
  - name: "Karl R. P. H. Leung"
    link: "https://researchr.org/alias/karl-r.-p.-h.-leung"
  - name: "Pornsiri Muenchaisri"
    link: "https://researchr.org/alias/pornsiri-muenchaisri"
  publisher: "IEEE"
  isbn: "978-0-7695-4922-4"
  kind: "inproceedings"
  key: "MorandiNM12-0"
- title: "Safe and Efficient Data Sharing for Message-Passing Concurrency"
  author:
  - name: "Benjamin Morandi"
    link: "http://se.inf.ethz.ch/people/morandi/"
  - name: "Sebastian Nanz"
    link: "https://researchr.org/alias/sebastian-nanz"
  - name: "Bertrand Meyer"
    link: "https://researchr.org/alias/bertrand-meyer"
  year: "2014"
  doi: "http://dx.doi.org/10.1007/978-3-662-43376-8_7"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-662-43376-8_7"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/coordination/MorandiNM14"
  researchr: "https://researchr.org/publication/MorandiNM14"
  cites: 0
  citedby: 0
  pages: "99-114"
  booktitle: "Coordination Models and Languages - 16th IFIP WG 6.1 International Conference, COORDINATION 2014, Held as Part of the 9th International Federated Conferences on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings"
  editor:
  - name: "eva Kühn"
    link: "https://researchr.org/alias/eva-k%C3%BChn"
  - name: "Rosario Pugliese"
    link: "https://researchr.org/alias/rosario-pugliese"
  volume: "8459"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-662-43375-1"
  kind: "inproceedings"
  key: "MorandiNM14"
- title: "Can asynchronous exceptions expire?"
  author:
  - name: "Benjamin Morandi"
    link: "http://se.inf.ethz.ch/people/morandi/"
  - name: "Sebastian Nanz"
    link: "https://researchr.org/alias/sebastian-nanz"
  - name: "Bertrand Meyer"
    link: "https://researchr.org/alias/bertrand-meyer"
  year: "2012"
  doi: "http://dl.acm.org/citation.cfm?id=2666992"
  links:
    doi: "http://dl.acm.org/citation.cfm?id=2666992"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icse/MorandiNM12"
  researchr: "https://researchr.org/publication/MorandiNM12-1"
  cites: 0
  citedby: 0
  pages: "4-6"
  booktitle: "Proceedings of the 5th International Workshop on Exception Handling, WEH 2012, Zurich, Switzerland, June 9, 2012"
  publisher: "IEEE"
  isbn: "978-1-4673-1766-5"
  kind: "inproceedings"
  key: "MorandiNM12-1"
- title: "A Formal Reference for SCOOP"
  author:
  - name: "Benjamin Morandi"
    link: "http://se.inf.ethz.ch/people/morandi/"
  - name: "Sebastian Nanz"
    link: "https://researchr.org/alias/sebastian-nanz"
  - name: "Bertrand Meyer"
    link: "https://researchr.org/alias/bertrand-meyer"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-25231-0_3"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-25231-0_3"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/laser/MorandiNM10"
  researchr: "https://researchr.org/publication/MorandiNM10"
  cites: 0
  citedby: 0
  pages: "89-157"
  booktitle: "Empirical Software Engineering and Verification - International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures"
  editor:
  - name: "Bertrand Meyer"
    link: "https://researchr.org/alias/bertrand-meyer"
  - name: "Martin Nordio"
    link: "https://researchr.org/alias/martin-nordio"
  volume: "7007"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-25230-3"
  kind: "inproceedings"
  key: "MorandiNM10"
- title: "SCOOP - A Contract-Based Concurrent Object-Oriented Programming Model"
  author:
  - name: "Benjamin Morandi"
    link: "http://se.inf.ethz.ch/people/morandi/"
  - name: "Sebastian S. Bauer"
    link: "https://researchr.org/alias/sebastian-s.-bauer"
  - name: "Bertrand Meyer"
    link: "https://researchr.org/alias/bertrand-meyer"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-642-13010-6_3"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-13010-6_3"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/laser/MorandiBM08"
  tags:
  - "object-oriented programming"
  - "rule-based"
  - "contracts"
  - "object-role modeling"
  - "programming"
  - "subject-oriented programming"
  - "feature-oriented programming"
  researchr: "https://researchr.org/publication/MorandiBM08"
  cites: 0
  citedby: 0
  pages: "41-90"
  booktitle: "Advanced Lectures on Software Engineering, LASER Summer School 2007/2008"
  editor:
  - name: "Peter Müller"
    link: "https://researchr.org/alias/peter-m%C3%BCller"
  volume: "6029"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-13009-0"
  kind: "inproceedings"
  key: "MorandiBM08"
- title: "Prototyping a Concurrency Model"
  author:
  - name: "Benjamin Morandi"
    link: "http://se.inf.ethz.ch/people/morandi/"
  - name: "Mischael Schill"
    link: "https://researchr.org/alias/mischael-schill"
  - name: "Sebastian Nanz"
    link: "https://researchr.org/alias/sebastian-nanz"
  - name: "Bertrand Meyer"
    link: "https://researchr.org/alias/bertrand-meyer"
  year: "2013"
  doi: "http://dx.doi.org/10.1109/ACSD.2013.21"
  links:
    doi: "http://dx.doi.org/10.1109/ACSD.2013.21"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/acsd/MorandiSNM13"
  researchr: "https://researchr.org/publication/MorandiSNM13"
  cites: 0
  citedby: 0
  pages: "170-179"
  booktitle: "13th International Conference on Application of Concurrency to System Design, ACSD 2013, Barcelona, Spain, 8-10 July, 2013"
  publisher: "IEEE"
  kind: "inproceedings"
  key: "MorandiSNM13"