Travelled to:1 × China
1 × Germany
1 × Greece
1 × Italy
1 × The Netherlands
2 × Finland
Collaborated with:E.B.Johnsen J.Dovland M.Steffen O.Dahl C.C.Din E.W.Axelsen F.Kazemeyni I.Balasingham W.Zhang D.B.Aredo
Talks about:reason (3) increment (2) distribut (2) asynchron (2) behavior (2) multipl (2) inherit (2) develop (2) concurr (2) subtyp (2)
Person: Olaf Owe
DBLP: Owe:Olaf
Contributed to:
2012
201220092011
20082004
20052002
1991Wrote 10 papers:
- IFM-2012-KazemeyniJOB #analysis #modelling #network #probability
- MULE-Based Wireless Sensor Networks: Probabilistic Modeling and Quantitative Analysis (FK, EBJ, OO, IB), pp. 143–157.
- SEFM-2012-DinDO #composition #reasoning
- Compositional Reasoning about Shared Futures (CCD, JD, OO), pp. 94–108.
- IFM-2009-DovlandJOS #incremental #inheritance #multi #reasoning
- Incremental Reasoning for Multiple Inheritance (JD, EBJ, OO, MS), pp. 215–230.
- IFM-J-2009-DovlandJOS11 #behaviour #incremental #inheritance #lazy evaluation #multi #reasoning #type system
- Incremental reasoning with lazy behavioral subtyping for multiple inheritance (JD, EBJ, OO, MS), pp. 915–941.
- FM-2008-DovlandJOS #behaviour #lazy evaluation #type system
- Lazy Behavioral Subtyping (JD, EBJ, OO, MS), pp. 52–67.
- SEFM-2004-JohnsenO #communication #concurrent #distributed
- An Asynchronous Communication Model for Distributed Concurrent Objects (EBJ, OO), pp. 188–197.
- WRLA-2004-JohnsenOA05 #concurrent #runtime
- A Run-Time Environment for Concurrent Objects With Asynchronous Method Calls (EBJ, OO, EWA), pp. 375–392.
- IFM-2002-JohnsenZOA #development #distributed #visual notation
- Combining Graphical and Formal Development of Open Distributed Systems (EBJ, WZ, OO, DBA), pp. 319–338.
- VDME-1991-DahlO #development
- Formal Development with ABEL (OJD, OO), pp. 320–362.