Benjamin Morandi

According to our database, Benjamin Morandi authored at least 13 papers between 2008 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Towards Practical Graph-Based Verification for an Object-Oriented Concurrency Model.

Alexander Heußner, Christopher M. Poskitt, Claudio Corrodi, Benjamin Morandi

Proceedings of the Proceedings Graphs as Models, 2015

2014

Prototyping a Concurrency Model.

Benjamin Morandi

PhD thesis, 2014

Safe and Efficient Data Sharing for Message-Passing Concurrency.

Benjamin Morandi, Sebastian Nanz, Bertrand Meyer

Proceedings of the Coordination Models and Languages, 2014

2013

Concurrent Object-Oriented Development with Behavioral Design Patterns.

Benjamin Morandi, Scott West, Sebastian Nanz, Hassan Gomaa

Proceedings of the Software Architecture - 7th European Conference, 2013

Prototyping a Concurrency Model.

Benjamin Morandi, Mischael Schill, Sebastian Nanz, Bertrand Meyer

Proceedings of the 13th International Conference on Application of Concurrency to System Design, 2013

2012

Performance analysis of SCOOP programs.

Benjamin Morandi, Sebastian Nanz, Bertrand Meyer

J. Syst. Softw., 2012

Can asynchronous exceptions expire?

Benjamin Morandi, Sebastian Nanz, Bertrand Meyer

Proceedings of the 5th International Workshop on Exception Handling, 2012

Who is Accountable for Asynchronous Exceptions?

Benjamin Morandi, Sebastian Nanz, Bertrand Meyer

Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

2011

Record-Replay Debugging for Concurrent SCOOP Programs

Benjamin Morandi, Sebastian Nanz, Bertrand Meyer

CoRR, 2011

A comprehensive operational semantics of the SCOOP programming model

Benjamin Morandi, Sebastian Nanz, Bertrand Meyer

CoRR, 2011

2010

A Formal Reference for SCOOP.

Benjamin Morandi, Sebastian Nanz, Bertrand Meyer

Proceedings of the Empirical Software Engineering and Verification, 2010

Deriving concurrent control software from behavioral specifications.

Ganesh Ramanathan, Benjamin Morandi, Scott West, Sebastian Nanz, Bertrand Meyer

Proceedings of the 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2010

2008

SCOOP - A Contract-Based Concurrent Object-Oriented Programming Model.

Benjamin Morandi, Sebastian S. Bauer, Bertrand Meyer

Proceedings of the Advanced Lectures on Software Engineering, 2008