6 citations · 11 across the 4 of their papers we have counts for
4 papers
Towards Practical Graph-Based Verification for an Object-Oriented Concurrency Model
Alexander Heußner, Christopher M. Poskitt, Claudio Corrodi +1
To harness the power of multi-core and distributed platforms, and to make the development of concurrent software more accessible to software engineers, different object-oriented co…
Concurrent object-oriented development with behavioral design patterns
Benjamin Morandi, Scott West, Sebastian Nanz +1
The development of concurrent applications is challenging because of the complexity of concurrent designs and the hazards of concurrent programming. Architectural modeling using th…
Record-replay debugging for the SCOOP concurrency model
Benjamin Morandi, Sebastian Nanz, Bertrand Meyer
To support developers in writing reliable and efficient concurrent programs, novel concurrent programming abstractions have been proposed in recent years. Programming with such abs…
A comprehensive operational semantics of the SCOOP programming model
Benjamin Morandi, Sebastian Nanz, Bertrand Meyer
Operational semantics has established itself as a flexible but rigorous means to describe the meaning of programming languages. Oftentimes, it is felt necessary to keep a semantics…