Luís Soares Barbosa

Nuno Oliveira, Luís Soares Barbosa: On the reconfiguration of software connectors. SAC 2013: 1885-1892

Luís Soares Barbosa, Sun Meng: A Calculus for Generic, QoS-Aware Component Composition. Mathematics in Computer Science 6(4): 475-497 (2012)

Sara Fernandes, Antonio Cerone, Luís Soares Barbosa: Exploiting the FLOSS paradigm in collaborative e-learning: application to e-government. ICEGOV 2012: 475-476

Luís Soares Barbosa: Software Components as Invariant-Typed Arrows - (Keynote Talk). SBLP 2012: 1-5

Luís Soares Barbosa, Markus Lumpe (Eds.): Formal Aspects of Component Software - 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers. Lecture Notes in Computer Science 6921, Springer 2012, isbn 978-3-642-27268-4

Francisco Heron de Carvalho Junior, Luís Soares Barbosa (Eds.): Programming Languages - 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012. Proceedings. Lecture Notes in Computer Science 7554, Springer 2012, isbn 978-3-642-33181-7

Manuel A. Martins, Alexandre Madeira, Razvan Diaconescu, Luís Soares Barbosa: Hybridization of Institutions. CALCO 2011: 283-297

André Martins, Luís Soares Barbosa, Nuno F. Rodrigues: Shacc: A Functional Prototyper for a Component Calculus. CALCO 2011: 413-419

Alejandro Sanchez, Luís Soares Barbosa, Daniel Riesco: Bigraphical Modelling of Architectural Patterns. FACS 2011: 313-330

Nuno F. Rodrigues, Nuno Oliveira, Luís Soares Barbosa: The Role of Coordination Analysis in Software Integration Projects. OTM Workshops 2011: 83-92

Alexandre Madeira, José M. Faria, Manuel A. Martins, Luís Soares Barbosa: Hybrid Specification of Reactive Systems: An Institutional Approach. SEFM 2011: 269-285

João F. Ferreira, Alexandra Mendes, Alcino Cunha, Carlos Baquero, Paulo F. Silva, Luís Soares Barbosa, José Nuno Oliveira: Logic Training through Algorithmic Problem Solving. TICTTL 2011: 62-69

César Jesus Rodrigues, Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa: Refinement by interpretation in π-institutions. Refine 2011: 53-64

Luís Soares Barbosa, Antonio Cerone, Alexander K. Petrenko, Siraj A. Shaikh: Certification of open-source software: A role for formal methods? Comput. Syst. Sci. Eng. 25(4) (2010)

Luís Soares Barbosa, Antonio Cerone, Siraj Ahmed Shaikh: Preface. ECEASST 33 (2010)

Luís Soares Barbosa, Sun Meng: Bringing class diagrams to life. ISSE 6(1-2): 91-98 (2010)

Nuno F. Rodrigues, Luís Soares Barbosa: Slicing for architectural analysis. Sci. Comput. Program. 75(10): 828-847 (2010)

Luís Soares Barbosa, Sun Meng: QoS-aware Component Composition. CISIS 2010: 1008-1013

Sun Meng, Luís Soares Barbosa: Towards the introduction of QoS information in a component model. SAC 2010: 2045-2046

Luís Soares Barbosa, Marco Antonio Barbosa, César Jesus Rodrigues: Revisiting Context-Aware Component Interconnection. SYNASC 2010: 377-384

Luís Soares Barbosa, Antonio Cerone, Siraj Ahmed Shaikh: Preface. ECEASST 20 (2009)

Marco Devesas Campos, Luís Soares Barbosa: Implementation of an Orchestration Language as a Haskell Domain Specific Language. Electr. Notes Theor. Comput. Sci. 255: 45-64 (2009)

César Jesus Rodrigues, José Nuno Oliveira, Luís Soares Barbosa: A Single Complete Relational Rule for Coalgebraic Refinement. Electr. Notes Theor. Comput. Sci. 259: 3-19 (2009)

Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa: Refinement by Interpretation in a General Setting. Electr. Notes Theor. Comput. Sci. 259: 105-121 (2009)

Marco Antonio Barbosa, Luís Soares Barbosa: A perspective on service orchestration. Sci. Comput. Program. 74(9): 671-687 (2009)

Marco Antonio Barbosa, Luís Soares Barbosa, José Creissac Campos: A Coordination Model for Interactive Components. FSEN 2009: 416-430

Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa: Refinement via Interpretation. SEFM 2009: 250-259

João F. Ferreira, Alexandra Mendes, Roland Carl Backhouse, Luís Soares Barbosa: Which Mathematics for the Information Society? TFM 2009: 39-56

Ana Bove, Luís Soares Barbosa, Alberto Pardo, Jorge Sousa Pinto (Eds.): Language Engineering and Rigorous Software Development, International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures. Lecture Notes in Computer Science 5520, Springer 2009, isbn 978-3-642-03152-6

Paula R. Ribeiro, Luís Soares Barbosa, Shuling Wang: An Exercise on Transition Systems. Electr. Notes Theor. Comput. Sci. 207: 89-106 (2008)

Luís Soares Barbosa, José Nuno Oliveira, Alexandra Silva: Calculating Invariants as Coreflexive Bisimulations. AMAST 2008: 83-99

Sun Meng, Luís Soares Barbosa: A Coalgebraic Semantic Framework for Reasoning about UML Sequence Diagrams. QSIC 2008: 17-26

Nuno F. Rodrigues, Luís Soares Barbosa: CoordInspector: A Tool for Extracting Coordination Data from Legacy Code. SCAM 2008: 265-266

Nuno F. Rodrigues, Luís Soares Barbosa: On the Discovery of Business Processes Orchestration Patterns. SERVICES I 2008: 391-398

Luís Soares Barbosa, Sun Meng: UML Model Refactoring as Refinement: A Coalgebraic Perspective. SYNASC 2008: 340-347

Shuling Wang, Luís Soares Barbosa, José Nuno Oliveira: A Relational Model for Confined Separation Logic. TASE 2008: 263-270

Marco Antonio Barbosa, Luís Soares Barbosa: Configurations of Web Services. Electr. Notes Theor. Comput. Sci. 175(2): 39-57 (2007)

Marco Antonio Barbosa, Luís Soares Barbosa: An Orchestrator for Dynamic Interconnection of Software Components. Electr. Notes Theor. Comput. Sci. 181: 49-61 (2007)

Marco Antonio Barbosa, Luís Soares Barbosa, José Creissac Campos: Towards a Coordination Model for Interactive Systems. Electr. Notes Theor. Comput. Sci. 183: 89-103 (2007)

Nuno F. Rodrigues, Luís Soares Barbosa: Higher-Order Lazy Functional Slicing. J. UCS 13(6): 854-873 (2007)

Zhiming Liu, Luís Soares Barbosa: Preface. Electr. Notes Theor. Comput. Sci. 160: 1-2 (2006)

Nuno F. Rodrigues, Luís Soares Barbosa: Component Identification Through Program Slicing. Electr. Notes Theor. Comput. Sci. 160: 291-304 (2006)

Nuno F. Rodrigues, Luís Soares Barbosa: Program Slicing by Calculation. J. UCS 12(7): 828-848 (2006)

Paula R. Ribeiro, Marco Antonio Barbosa, Luís Soares Barbosa: Generic Process Algebra: A Programming Challenge. J. UCS 12(7): 922-937 (2006)

Sun Meng, Luís Soares Barbosa: Components as coalgebras: The refinement dimension. Theor. Comput. Sci. 351(2): 276-294 (2006)

Luís Soares Barbosa, José Nuno Oliveira: Transposing partial components - An exercise on coalgebraic refinement. Theor. Comput. Sci. 365(1-2): 2-22 (2006)

Sun Meng, Bernhard K. Aichernig, Luís Soares Barbosa, Zhang Naixiao: A Coalgebraic Semantic Framework for Component-based Development in UML. Electr. Notes Theor. Comput. Sci. 122: 229-245 (2005)

Nuno F. Rodrigues, Luís Soares Barbosa: Architectural Prototyping: From CCS to .Net. Electr. Notes Theor. Comput. Sci. 130: 151-167 (2005)

A. Miguel Cruz, Luís Soares Barbosa, José Nuno Oliveira: From Algebras to Objects: Generation and Composition. J. UCS 11(10): 1580-1612 (2005)

Nuno F. Rodrigues, Luís Soares Barbosa: Slicing Functional Programs by Calculation. Beyond Program Slicing 2005

Sun Meng, Luís Soares Barbosa, Zhang Naixiao: On Refinement of Software Architectures. ICTAC 2005: 469-484

Marco Antonio Barbosa, Luís Soares Barbosa: A Relational Model for Component Interconnection. J. UCS 10(7): 808-823 (2004)

Sun Meng, Luís Soares Barbosa: On Refinement of Generic State-Based Software Components. AMAST 2004: 506-520

Luís Soares Barbosa: A Perspective on Component Refinement. FMCO 2004: 23-48

Marco Antonio Barbosa, Luís Soares Barbosa: Specifying Software Connectors. ICTAC 2004: 52-67

Sun Meng, Zhang Naixiao, Luís Soares Barbosa: On Semantics and Refinement of UML Statecharts: A Coalgebraic View. SEFM 2004: 164-173

Luís Soares Barbosa, José Nuno Oliveira: State-based Components Made Generic. Electr. Notes Theor. Comput. Sci. 82(1): 39-56 (2003)

Luís Soares Barbosa: Towards a Calculus of State-based Software Components. J. UCS 9(8): 891-909 (2003)

Luís Soares Barbosa, José Nuno Oliveira: Coinductive Interpreters for Process Calculi. FLOPS 2002: 183-197

Luís Soares Barbosa: Process Calculià la Bird-Meertens. Electr. Notes Theor. Comput. Sci. 44(1): 47-66 (2001)

Luís Soares Barbosa: Components as Processes: An Exercise in Coalgebraic Modeling. FMOODS 2000: 397-

Luís Soares Barbosa: Prototyping Processes. APPIA-GULP-PRODE 1999: 513-528

José João Almeida, Luís Soares Barbosa, F. L. Neves, José Nuno Oliveira: CAMILA: Prototyping and Refinement of Constructive Specifications. AMAST 1997: 554-559