Benjamin Morandi

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