Travelled to:1 × France
1 × United Kingdom
Collaborated with:A.Heußner C.M.Poskitt C.Corrodi S.West S.Nanz H.Gomaa
Talks about:concurr (2) orient (2) object (2) behavior (1) practic (1) pattern (1) develop (1) toward (1) design (1) verif (1)
Person: Benjamin Morandi
DBLP: Morandi:Benjamin
Contributed to:
2015
2013Wrote 2 papers:
- GaM-2015-HeussnerPCM #concurrent #graph #object-oriented #towards #verification
- Towards Practical Graph-Based Verification for an Object-Oriented Concurrency Model (AH, CMP, CC, BM), pp. 32–47.
- ECSA-2013-MorandiWNG #behaviour #concurrent #design pattern #development #object-oriented
- Concurrent Object-Oriented Development with Behavioral Design Patterns (BM, SW, SN, HG), pp. 25–32.