Travelled to:1 × Korea
1 × Switzerland
1 × Taiwan
1 × USA
Collaborated with:M.Viroli A.Omicini M.Sbaraglia J.Beal L.Gardelli S.Montagna F.Zambonelli
Talks about:self (4) organis (2) coordin (2) servic (2) model (2) tupl (2) probabilist (1) implement (1) framework (1) ecosystem (1)
Person: Matteo Casadei
DBLP: Casadei:Matteo
Contributed to:
2011201020092007Wrote 8 papers:
- SAC-2011-SbaragliaCV #coordination #programming
- Programming coordination laws of artifacts in CArtAgO (MS, MC, MV), pp. 885–886.
- SAC-2011-ViroliBC #semantics
- Core operational semantics of Proto (MV, JB, MC), pp. 1325–1332.
- SAC-2010-ViroliC #composition #self
- Chemical-inspired self-composition of competing services (MV, MC), pp. 2029–2036.
- SAC-2009-CasadeiO #tuple
- Situated tuple centres in ReSpecT (MC, AO), pp. 1361–1368.
- SAC-2009-CasadeiV #design #model checking #probability #self #simulation #using
- Using probabilistic model checking and simulation for designing self-organizing systems (MC, MV), pp. 2103–2104.
- SAC-2009-ViroliCMZ #adaptation #ecosystem
- A biochemical metaphor for developing eternally adaptive service ecosystems (MV, MC, SM, FZ), pp. 1221–1222.
- SAC-2009-ViroliCO #coordination #framework #implementation #modelling #self
- A framework for modelling and implementing self-organising coordination (MV, MC, AO), pp. 1353–1360.
- SAC-2007-ViroliCG #distributed #problem #self #tuple
- A self-organising solution to the collective sort problem in distributed tuple spaces (MV, MC, LG), pp. 354–359.