Travelled to:1 × Japan
1 × Portugal
1 × South Korea
1 × Switzerland
1 × United Kingdom
1 × Uruguay
1 × Vietnam
2 × China
Collaborated with:N.Oliveira S.Meng A.Madeira M.A.Martins N.F.Rodrigues J.N.Oliveira A.Silva S.Fernandes A.Cerone Z.Naixiao J.M.Faria
Talks about:interpret (2) coordin (2) refin (2) statechart (1) reconfigur (1) introduct (1) inspector (1) connector (1) coalgebra (1) institut (1)
Person: Luís Soares Barbosa
DBLP: Barbosa:Lu=iacute=s_Soares
Contributed to:
2014
20132013
201120102009
20082004
2002Wrote 9 papers:
- SAC-2014-OliveiraSB #analysis #coordination
- Quantitative analysis of Reo-based service coordination (NO, AS, LSB), pp. 1247–1254.
- ITiCSE-2013-FernandesCB #learning
- A pilot project on non-conventional learning (SF, AC, LSB), p. 346.
- SAC-2013-OliveiraB #configuration management #on the
- On the reconfiguration of software connectors (NO, LSB), pp. 1885–1892.
- SEFM-2011-MadeiraFMB #approach #hybrid #specification
- Hybrid Specification of Reactive Systems: An Institutional Approach (AM, JMF, MAM, LSB), pp. 269–285.
- SAC-2010-MengB #component #towards
- Towards the introduction of QoS information in a component model (SM, LSB), pp. 2045–2046.
- SEFM-2009-MartinsMB #refinement
- Refinement via Interpretation (MAM, AM, LSB), pp. 250–259.
- SCAM-2008-RodriguesB #coordination #legacy #named
- CoordInspector: A Tool for Extracting Coordination Data from Legacy Code (NFR, LSB), pp. 265–266.
- SEFM-2004-MengNB #algebra #on the #perspective #refinement #semantics #uml
- On Semantics and Refinement of UML Statecharts: A Coalgebraic View (SM, ZN, LSB), pp. 164–173.
- FLOPS-2002-BarbosaO #calculus #induction #process
- Coinductive Interpreters for Process Calculi (LSB, JNO), pp. 183–197.