BibTeX records: Benjamin Morandi

download as .bib file

@inproceedings{DBLP:journals/corr/HeussnerPCM15,
  author    = {Alexander Heu{\ss}ner and
               Christopher M. Poskitt and
               Claudio Corrodi and
               Benjamin Morandi},
  title     = {Towards Practical Graph-Based Verification for an Object-Oriented
               Concurrency Model},
  booktitle = {Proceedings Graphs as Models, GaM@ETAPS 2015, London, UK, 11-12 April
               2015.},
  pages     = {32--47},
  year      = {2015},
  crossref  = {DBLP:journals/corr/RensinkZ15},
  url       = {https://doi.org/10.4204/EPTCS.181.3},
  doi       = {10.4204/EPTCS.181.3},
  timestamp = {Wed, 12 Sep 2018 01:05:14 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/HeussnerPCM15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/MorandiNM14,
  author    = {Benjamin Morandi and
               Sebastian Nanz and
               Bertrand Meyer},
  title     = {Safe and Efficient Data Sharing for Message-Passing Concurrency},
  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},
  pages     = {99--114},
  year      = {2014},
  crossref  = {DBLP:conf/coordination/2014},
  url       = {https://doi.org/10.1007/978-3-662-43376-8\_7},
  doi       = {10.1007/978-3-662-43376-8\_7},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/coordination/MorandiNM14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/MorandiSNM13,
  author    = {Benjamin Morandi and
               Mischael Schill and
               Sebastian Nanz and
               Bertrand Meyer},
  title     = {Prototyping a Concurrency Model},
  booktitle = {13th International Conference on Application of Concurrency to System
               Design, {ACSD} 2013, Barcelona, Spain, 8-10 July, 2013},
  pages     = {170--179},
  year      = {2013},
  crossref  = {DBLP:conf/acsd/2013},
  url       = {https://doi.org/10.1109/ACSD.2013.21},
  doi       = {10.1109/ACSD.2013.21},
  timestamp = {Mon, 30 Oct 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/acsd/MorandiSNM13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsa/MorandiWNG13,
  author    = {Benjamin Morandi and
               Scott West and
               Sebastian Nanz and
               Hassan Gomaa},
  title     = {Concurrent Object-Oriented Development with Behavioral Design Patterns},
  booktitle = {Software Architecture - 7th European Conference, {ECSA} 2013, Montpellier,
               France, July 1-5, 2013. Proceedings},
  pages     = {25--32},
  year      = {2013},
  crossref  = {DBLP:conf/ecsa/2013},
  url       = {https://doi.org/10.1007/978-3-642-39031-9\_3},
  doi       = {10.1007/978-3-642-39031-9\_3},
  timestamp = {Wed, 24 May 2017 08:29:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ecsa/MorandiWNG13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/MorandiNM12,
  author    = {Benjamin Morandi and
               Sebastian Nanz and
               Bertrand Meyer},
  title     = {Performance analysis of {SCOOP} programs},
  journal   = {Journal of Systems and Software},
  volume    = {85},
  number    = {11},
  pages     = {2519--2530},
  year      = {2012},
  url       = {https://doi.org/10.1016/j.jss.2012.05.076},
  doi       = {10.1016/j.jss.2012.05.076},
  timestamp = {Mon, 30 Oct 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/jss/MorandiNM12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/MorandiNM12,
  author    = {Benjamin Morandi and
               Sebastian Nanz and
               Bertrand Meyer},
  title     = {Who is Accountable for Asynchronous Exceptions?},
  booktitle = {19th Asia-Pacific Software Engineering Conference, {APSEC} 2012, Hong
               Kong, China, December 4-7, 2012},
  pages     = {462--471},
  year      = {2012},
  crossref  = {DBLP:conf/apsec/2012},
  url       = {https://doi.org/10.1109/APSEC.2012.48},
  doi       = {10.1109/APSEC.2012.48},
  timestamp = {Mon, 30 Oct 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/apsec/MorandiNM12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/MorandiNM12,
  author    = {Benjamin Morandi and
               Sebastian Nanz and
               Bertrand Meyer},
  title     = {Can asynchronous exceptions expire?},
  booktitle = {Proceedings of the 5th International Workshop on Exception Handling,
               {WEH} 2012, Zurich, Switzerland, June 9, 2012},
  pages     = {4--6},
  year      = {2012},
  crossref  = {DBLP:conf/icse/2012weh},
  url       = {https://doi.org/10.1109/WEH.2012.6226600},
  doi       = {10.1109/WEH.2012.6226600},
  timestamp = {Mon, 30 Oct 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icse/MorandiNM12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1212-5491,
  author    = {Benjamin Morandi and
               Scott West and
               Sebastian Nanz and
               Hassan Gomaa},
  title     = {Concurrent object-oriented development with behavioral design patterns},
  journal   = {CoRR},
  volume    = {abs/1212.5491},
  year      = {2012},
  url       = {http://arxiv.org/abs/1212.5491},
  archivePrefix = {arXiv},
  eprint    = {1212.5491},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1212-5491},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1101-1038,
  author    = {Benjamin Morandi and
               Sebastian Nanz and
               Bertrand Meyer},
  title     = {A comprehensive operational semantics of the {SCOOP} programming model},
  journal   = {CoRR},
  volume    = {abs/1101.1038},
  year      = {2011},
  url       = {http://arxiv.org/abs/1101.1038},
  archivePrefix = {arXiv},
  eprint    = {1101.1038},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1101-1038},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1111-1170,
  author    = {Benjamin Morandi and
               Sebastian Nanz and
               Bertrand Meyer},
  title     = {Record-Replay Debugging for Concurrent {SCOOP} Programs},
  journal   = {CoRR},
  volume    = {abs/1111.1170},
  year      = {2011},
  url       = {http://arxiv.org/abs/1111.1170},
  archivePrefix = {arXiv},
  eprint    = {1111.1170},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1111-1170},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iros/RamanathanMWNM10,
  author    = {Ganesh Ramanathan and
               Benjamin Morandi and
               Scott West and
               Sebastian Nanz and
               Bertrand Meyer},
  title     = {Deriving concurrent control software from behavioral specifications},
  booktitle = {2010 {IEEE/RSJ} International Conference on Intelligent Robots and
               Systems, October 18-22, 2010, Taipei, Taiwan},
  pages     = {1994--1999},
  year      = {2010},
  crossref  = {DBLP:conf/iros/2010},
  url       = {https://doi.org/10.1109/IROS.2010.5650536},
  doi       = {10.1109/IROS.2010.5650536},
  timestamp = {Mon, 30 Oct 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iros/RamanathanMWNM10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/laser/MorandiNM10,
  author    = {Benjamin Morandi and
               Sebastian Nanz and
               Bertrand Meyer},
  title     = {A Formal Reference for {SCOOP}},
  booktitle = {Empirical Software Engineering and Verification - International Summer
               Schools, {LASER} 2008-2010, Elba Island, Italy, Revised Tutorial Lectures},
  pages     = {89--157},
  year      = {2010},
  crossref  = {DBLP:conf/laser/2010},
  url       = {https://doi.org/10.1007/978-3-642-25231-0\_3},
  doi       = {10.1007/978-3-642-25231-0\_3},
  timestamp = {Mon, 30 Oct 2017 11:35:08 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/laser/MorandiNM10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/laser/MorandiBM08,
  author    = {Benjamin Morandi and
               Sebastian S. Bauer and
               Bertrand Meyer},
  title     = {{SCOOP} - {A} Contract-Based Concurrent Object-Oriented Programming
               Model},
  booktitle = {Advanced Lectures on Software Engineering, {LASER} Summer School 2007/2008},
  pages     = {41--90},
  year      = {2008},
  crossref  = {DBLP:conf/laser/2008},
  url       = {https://doi.org/10.1007/978-3-642-13010-6\_3},
  doi       = {10.1007/978-3-642-13010-6\_3},
  timestamp = {Mon, 30 Oct 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/laser/MorandiBM08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/RensinkZ15,
  editor    = {Arend Rensink and
               Eduardo Zambon},
  title     = {Proceedings Graphs as Models, GaM@ETAPS 2015, London, UK, 11-12 April
               2015},
  series    = {{EPTCS}},
  volume    = {181},
  year      = {2015},
  url       = {https://doi.org/10.4204/EPTCS.181},
  doi       = {10.4204/EPTCS.181},
  timestamp = {Wed, 12 Sep 2018 01:05:14 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/RensinkZ15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/coordination/2014,
  editor    = {eva K{\"{u}}hn and
               Rosario Pugliese},
  title     = {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},
  series    = {Lecture Notes in Computer Science},
  volume    = {8459},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-662-43376-8},
  doi       = {10.1007/978-3-662-43376-8},
  isbn      = {978-3-662-43375-1},
  timestamp = {Wed, 24 May 2017 08:27:21 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/coordination/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/acsd/2013,
  editor    = {Josep Carmona and
               Mihai T. Lazarescu and
               Marta Pietkiewicz{-}Koutny},
  title     = {13th International Conference on Application of Concurrency to System
               Design, {ACSD} 2013, Barcelona, Spain, 8-10 July, 2013},
  publisher = {{IEEE} Computer Society},
  year      = {2013},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6597648},
  isbn      = {978-0-7695-5035-0},
  timestamp = {Fri, 08 May 2015 15:30:10 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/acsd/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecsa/2013,
  editor    = {Khalil Drira},
  title     = {Software Architecture - 7th European Conference, {ECSA} 2013, Montpellier,
               France, July 1-5, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7957},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-39031-9},
  doi       = {10.1007/978-3-642-39031-9},
  isbn      = {978-3-642-39030-2},
  timestamp = {Wed, 24 May 2017 08:29:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ecsa/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apsec/2012,
  editor    = {Karl R. P. H. Leung and
               Pornsiri Muenchaisri},
  title     = {19th Asia-Pacific Software Engineering Conference, {APSEC} 2012, Hong
               Kong, China, December 4-7, 2012},
  publisher = {{IEEE}},
  year      = {2012},
  url       = {http://ieeexplore.ieee.org/xpl/tocresult.jsp?isnumber=6462577},
  isbn      = {978-0-7695-4922-4},
  timestamp = {Tue, 12 Mar 2013 11:04:50 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/apsec/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2012weh,
  title     = {Proceedings of the 5th International Workshop on Exception Handling,
               {WEH} 2012, Zurich, Switzerland, June 9, 2012},
  publisher = {{IEEE}},
  year      = {2012},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6220312},
  isbn      = {978-1-4673-1766-5},
  timestamp = {Wed, 27 May 2015 10:46:20 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/2012weh},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iros/2010,
  title     = {2010 {IEEE/RSJ} International Conference on Intelligent Robots and
               Systems, October 18-22, 2010, Taipei, Taiwan},
  publisher = {{IEEE}},
  year      = {2010},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5639431},
  isbn      = {978-1-4244-6674-0},
  timestamp = {Mon, 11 May 2015 16:37:25 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iros/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/laser/2010,
  editor    = {Bertrand Meyer and
               Martin Nordio},
  title     = {Empirical Software Engineering and Verification - International Summer
               Schools, {LASER} 2008-2010, Elba Island, Italy, Revised Tutorial Lectures},
  series    = {Lecture Notes in Computer Science},
  volume    = {7007},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-25231-0},
  doi       = {10.1007/978-3-642-25231-0},
  isbn      = {978-3-642-25230-3},
  timestamp = {Mon, 30 Oct 2017 11:35:08 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/laser/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/laser/2008,
  editor    = {Peter M{\"{u}}ller},
  title     = {Advanced Lectures on Software Engineering, {LASER} Summer School 2007/2008},
  series    = {Lecture Notes in Computer Science},
  volume    = {6029},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-13010-6},
  doi       = {10.1007/978-3-642-13010-6},
  isbn      = {978-3-642-13009-0},
  timestamp = {Sun, 21 May 2017 00:18:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/laser/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier