SCOOP - A Contract-Based Concurrent Object-Oriented Programming Model. - Benjamin Morandi; Sebastian S. Bauer; Bertrand Meyer 001 (LASER Summer School, 2008)

Deriving concurrent control software from behavioral specifications. - Ganesh Ramanathan; Benjamin Morandi; Scott West; Sebastian Nanz; Bertrand Meyer 001 (IROS, 2010)

A Formal Reference for SCOOP. - Benjamin Morandi; Sebastian Nanz; Bertrand Meyer 001 (LASER Summer School, 2010)

A comprehensive operational semantics of the SCOOP programming model - Benjamin Morandi; Sebastian Nanz; Bertrand Meyer 001 (CoRR, 2011)

Record-Replay Debugging for Concurrent SCOOP Programs - Benjamin Morandi; Sebastian Nanz; Bertrand Meyer 001 (CoRR, 2011)

Who is Accountable for Asynchronous Exceptions? - Benjamin Morandi; Sebastian Nanz; Bertrand Meyer 001 (APSEC, 2012)

Can asynchronous exceptions expire? - Benjamin Morandi; Sebastian Nanz; Bertrand Meyer 001 (WEH@ICSE, 2012)

Performance analysis of SCOOP programs. - Benjamin Morandi; Sebastian Nanz; Bertrand Meyer 001 (J. Syst. Softw., 2012)

Prototyping a Concurrency Model. - Benjamin Morandi; Mischael Schill; Sebastian Nanz; Bertrand Meyer 001 (ACSD, 2013)

Concurrent Object-Oriented Development with Behavioral Design Patterns. - Benjamin Morandi; Scott West; Sebastian Nanz; Hassan Gomaa (ECSA, 2013)

Safe and Efficient Data Sharing for Message-Passing Concurrency. - Benjamin Morandi; Sebastian Nanz; Bertrand Meyer 001 (COORDINATION, 2014)

Prototyping a Concurrency Model. - Benjamin Morandi (2014)

Towards Practical Graph-Based Verification for an Object-Oriented Concurrency Model. - Alexander Heußner; Christopher M. Poskitt; Claudio Corrodi; Benjamin Morandi (GaM, 2015)