Benjamin Morandi

Publication Activity (10 Years)

Years Active: 2008-2015
Publications (10 Years): 1

Top Topics

Asynchronous Communication

Object Oriented Databases

Usage Scenarios

Top Venues

Publications

Alexander Heußner, Christopher M. Poskitt, Claudio Corrodi, Benjamin Morandi
Towards Practical Graph-Based Verification for an Object-Oriented Concurrency Model. GaM (2015)
Benjamin Morandi, Sebastian Nanz, Bertrand Meyer
Safe and Efficient Data Sharing for Message-Passing Concurrency. COORDINATION (2014)
Benjamin Morandi, Scott West, Sebastian Nanz, Hassan Gomaa
Concurrent Object-Oriented Development with Behavioral Design Patterns. ECSA (2013)
Benjamin Morandi, Mischael Schill, Sebastian Nanz, Bertrand Meyer
Prototyping a Concurrency Model. ACSD (2013)
Benjamin Morandi, Sebastian Nanz, Bertrand Meyer
Performance analysis of SCOOP programs. J. Syst. Softw. 85 (11) (2012)
Benjamin Morandi, Sebastian Nanz, Bertrand Meyer
Who is Accountable for Asynchronous Exceptions? APSEC (2012)
Benjamin Morandi, Sebastian Nanz, Bertrand Meyer
Can asynchronous exceptions expire? WEH@ICSE (2012)
Benjamin Morandi, Scott West, Sebastian Nanz, Hassan Gomaa
Concurrent object-oriented development with behavioral design patterns CoRR (2012)
Benjamin Morandi, Sebastian Nanz, Bertrand Meyer
Record-Replay Debugging for Concurrent SCOOP Programs CoRR (2011)
Benjamin Morandi, Sebastian Nanz, Bertrand Meyer
A comprehensive operational semantics of the SCOOP programming model CoRR (2011)
Ganesh Ramanathan, Benjamin Morandi, Scott West, Sebastian Nanz, Bertrand Meyer
Deriving concurrent control software from behavioral specifications. IROS (2010)
Benjamin Morandi, Sebastian Nanz, Bertrand Meyer
A Formal Reference for SCOOP. LASER Summer School (2010)
Benjamin Morandi, Sebastian S. Bauer, Bertrand Meyer
SCOOP - A Contract-Based Concurrent Object-Oriented Programming Model. LASER Summer School (2008)