Benjamin Morandi

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2015
Towards Practical Graph-Based Verification for an Object-Oriented Concurrency Model.
Proceedings of the Proceedings Graphs as Models, 2015

2014
Prototyping a Concurrency Model.
PhD thesis, 2014

Safe and Efficient Data Sharing for Message-Passing Concurrency.
Proceedings of the Coordination Models and Languages, 2014

2013
Concurrent Object-Oriented Development with Behavioral Design Patterns.
Proceedings of the Software Architecture - 7th European Conference, 2013

Prototyping a Concurrency Model.
Proceedings of the 13th International Conference on Application of Concurrency to System Design, 2013

2012
Performance analysis of SCOOP programs.
J. Syst. Softw., 2012

Can asynchronous exceptions expire?
Proceedings of the 5th International Workshop on Exception Handling, 2012

Who is Accountable for Asynchronous Exceptions?
Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

2011
Record-Replay Debugging for Concurrent SCOOP Programs
CoRR, 2011

A comprehensive operational semantics of the SCOOP programming model
CoRR, 2011

2010
A Formal Reference for SCOOP.
Proceedings of the Empirical Software Engineering and Verification, 2010

Deriving concurrent control software from behavioral specifications.
Proceedings of the 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2010

2008
SCOOP - A Contract-Based Concurrent Object-Oriented Programming Model.
Proceedings of the Advanced Lectures on Software Engineering, 2008


  Loading...