Benjamin Morandi

Identifiers

• name variant Benjamin Morandi 0.60 · backfill

Papers (4)

1. Towards Practical Graph-Based Verification for an Object-Oriented Concurrency Model cs.SE · 2015 · author #4
2. Concurrent object-oriented development with behavioral design patterns cs.SE · 2012 · author #1
3. Record-replay debugging for the SCOOP concurrency model cs.DC · 2011 · author #1
4. A comprehensive operational semantics of the SCOOP programming model cs.DC · 2011 · author #1

Mentions

• 1504.02611 #4 · backfill · confidence 0.70 Benjamin Morandi
• 1212.5491 #1 · backfill · confidence 0.70 Benjamin Morandi
• 1111.1170 #1 · backfill · confidence 0.70 Benjamin Morandi
• 1101.1038 #1 · backfill · confidence 0.70 Benjamin Morandi

Frequent Coauthors

• Sebastian Nanz 3 shared papers
• Bertrand Meyer 2 shared papers
• Alexander Heu{\ss}ner 1 shared papers
• Christopher M. Poskitt 1 shared papers
• Claudio Corrodi 1 shared papers
• Hassan Gomaa 1 shared papers
• Scott West 1 shared papers