8 papers:
SAC-2014-OliveiraSB #analysis #coordination- Quantitative analysis of Reo-based service coordination (NO, AS, LSB), pp. 1247–1254.
- SAC-2012-KeshishzadehIM #automaton #framework #model checking
- A Büchi automata based model checking framework for reo connectors (SK, MI, AM), pp. 1536–1543.
SEFM-2010-KokashKV #analysis #modelling #visual notation- Time and Data-Aware Analysis of Graphical Service Models in Reo (NK, CK, EPdV), pp. 125–134.
- SAC-2010-KokashKV #composition #design #verification
- Data-aware design and verification of service compositions with Reo and mCRL2 (NK, CK, EPdV), pp. 2406–2413.
- SAC-2009-KokashA #coordination #transaction
- Applying Reo to service coordination in long-running business transactions (NK, FA), pp. 1381–1382.
ESEC-FSE-2009-ArbabMMKQ #analysis #coordination #modelling #named #performance- Reo2MC: a tool chain for performance analysis of coordination models (FA, SM, YJM, MZK, HQ), pp. 287–288.
GT-VMT-2008-KoehlerCPA #configuration management #data flow- Reconfiguration of Reo Connectors Triggered by Dataflow (CK, DC, JP, FA).
- SAC-2007-MengA #automaton #constraints #distributed #web #web service
- Web services choreography and orchestration in Reo and constraint automata (SM, FA), pp. 346–353.
