ask others

Luís Soares Barbosa

> Home > Persons

Person information

affiliation: Universidade do Minho, Braga, Portugal

Refine list

refinements active!

zoomed in on ?? of ?? records

showing all ?? records

2010 – today

see FAQ

What is the meaning of the colors in the publication lists?

2017
[c64]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/closer/DantasJB17
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/closer/DantasJB17
Allberson Bruno de Oliveira Dantas, Francisco Heron de Carvalho Junior, Luís Soares Barbosa:
A Framework for Certification of Large-scale Component-based Parallel Computing Systems in a Cloud Computing Platform for HPC Services. CLOSER 2017: 201-212
2016
[j47]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jlp/BarbosaCS16
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jlp/BarbosaCS16
Luís Soares Barbosa, Alcino Cunha, Alexandra Silva:
Quien sabe por Algebra, sabe scientificamente: A tribute to José Nuno Oliveira. J. Log. Algebr. Meth. Program. 85(5): 805 (2016)
[j46]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jlp/NevesBHM16
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jlp/NevesBHM16
Renato Neves, Luís Soares Barbosa, Dirk Hofmann, Manuel A. Martins:
Continuity as a computational effect. J. Log. Algebr. Meth. Program. 85(5): 1057-1085 (2016)
[j45]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/NevesMMB16
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/scp/NevesMMB16
Renato Neves, Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa:
Proof theory for hybrid(ised) logics. Sci. Comput. Program. 126: 73-93 (2016)
[j44]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/MadeiraNBM16
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/scp/MadeiraNBM16
Alexandre Madeira, Renato Neves, Luís Soares Barbosa, Manuel A. Martins:
A method for rigorous design of reconfigurable systems. Sci. Comput. Program. 132: 50-76 (2016)
[c63]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/criwg/FernandesB16
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/criwg/FernandesB16
Sara Fernandes, Luís Soares Barbosa:
Applying the 3C Model to FLOSS Communities. CRIWG 2016: 139-150
[c62]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/egose/FernandesB16
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/egose/FernandesB16
Sara Fernandes, Luís Soares Barbosa:
Electronic governance in Portugal: a silent pioneer. EGOSE 2016: 77-82
[c61]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/icegov/CledouB16
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/icegov/CledouB16
Maria Guillermina Cledou, Luís Soares Barbosa:
An Ontology for Licensing Public Transport Services. ICEGOV 2016: 230-239
[c60]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/icegov/VeigaJB16
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/icegov/VeigaJB16
Linda Veiga, Tomasz Janowski, Luís Soares Barbosa:
Digital Government and Administrative Burden Reduction. ICEGOV 2016: 323-326
[c59]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ictac/NevesB16
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/ictac/NevesB16
Renato Neves, Luís Soares Barbosa:
Hybrid Automata as Coalgebras. ICTAC 2016: 385-402
[c58]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ictac/MadeiraBHM16
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/ictac/MadeiraBHM16
Alexandre Madeira, Luís Soares Barbosa, Rolf Hennicker, Manuel A. Martins:
Dynamic Logic with Binders and Its Application to the Development of Reactive Systems. ICTAC 2016: 422-440
[c57]
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/OliveiraB16a
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/OliveiraB16a
Nuno Oliveira, Luís Soares Barbosa:
An Enhanced Model for Stochastic Coordination. iFMCloud@IFM 2016: 35-45
[p1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - series/asc/BarbosaMMN16
- ask others
- share record
  short URL:
  - http://dblp.org/rec/series/asc/BarbosaMMN16
Luís Soares Barbosa, Manuel A. Martins, Alexandre Madeira, Renato Neves:
Reuse and Integration of Specification Logics: The Hybridisation Perspective. Theoretical Information Reuse and Integration 2016: 1-30
2015
[j43]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/cl/SanchezMB15
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/cl/SanchezMB15
Alejandro Sanchez, Alexandre Madeira, Luís Soares Barbosa:
On the verification of architectural reconfigurations. Computer Languages, Systems & Structures 44: 218-237 (2015)
[j42]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/comsis/RodriguesOB15
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/comsis/RodriguesOB15
Flávio Rodrigues, Nuno Oliveira, Luís Soares Barbosa:
Towards an engine for coordination-based architectural reconfigurations. Comput. Sci. Inf. Syst. 12(2): 607-634 (2015)
[i2]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/NevesBHM15
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/NevesBHM15
Renato Neves, Luís Soares Barbosa, Dirk Hofmann, Manuel A. Martins:
Continuity as a computational effect. CoRR abs/1507.03219 (2015)
[j41]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fac/MadeiraMBH15
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/fac/MadeiraMBH15
Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa, Rolf Hennicker:
Refinement in hybridised institutions. Formal Asp. Comput. 27(2): 375-395 (2015)
[j40]
- view
  - electronic edition @ isyou.info
- export record
  dblp key:
  - journals/jisis/OliveiraSB15
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jisis/OliveiraSB15
Nuno Oliveira, Alexandra Silva, Luís Soares Barbosa:
IMC_Reo: interactive Markov chains for Stochastic Reo. J. Internet Serv. Inf. Secur. 5(1): 3-28 (2015)
[j39]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jserd/OliveiraB15
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jserd/OliveiraB15
Nuno Oliveira, Luís Soares Barbosa:
Self-adaptation by coordination-targeted reconfigurations. J. Software Eng. R&D 3: 6 (2015)
[j38]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/SanchezOBH15
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/scp/SanchezOBH15
Alejandro Sanchez, Nuno Oliveira, Luís Soares Barbosa, Pedro Rangel Henriques:
A perspective on architectural re-engineering. Sci. Comput. Program. 98: 764-784 (2015)
[j37]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/OliveiraB15
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/scp/OliveiraB15
Nuno Oliveira, Luís Soares Barbosa:
Reasoning about software reconfigurations: The behavioural and structural perspectives. Sci. Comput. Program. 110: 78-103 (2015)
[c56]
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/MadeiraMB16
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/MadeiraMB16
Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa:
A logic for n-dimensional hierarchical refinement. Refine@FM 2015: 40-56
2014
[j36]
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/MartinsMB13
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/MartinsMB13
Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa:
The role of logical interpretations in program development. Logical Methods in Computer Science 10(1) (2014)
[j35]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jolli/BarbosaMC14
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jolli/BarbosaMC14
Luís Soares Barbosa, Manuel A. Martins, Marta Carreteiro:
A Hilbert-Style Axiomatisation for Equational Hybrid Logic. Journal of Logic, Language and Information 23(1): 31-52 (2014)
[j34]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/BarbosaS14
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/scp/BarbosaS14
Luís Soares Barbosa, Siraj Ahmed Shaikh:
Selected contributions from the Open Source Software Certification (OpenCert) workshops. Sci. Comput. Program. 91: 139-140 (2014)
[j33]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/BarbosaL14
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/scp/BarbosaL14
Luís Soares Barbosa, Markus Lumpe:
Formal Aspects of Component Software (FACS 2010 selected and extended papers). Sci. Comput. Program. 94: 253-254 (2014)
[j32]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/JuniorB14
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/scp/JuniorB14
Francisco Heron de Carvalho Junior, Luís Soares Barbosa:
Selected and extended papers of the Brazilian Symposium on Programming Languages 2012. Sci. Comput. Program. 96: 175-176 (2014)
[c55]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/iri/MartinsMBN14
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/iri/MartinsMBN14
Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa, Renato Neves:
Paradigm integration in a specification course. IRI 2014: 492-499
[c54]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/sac/OliveiraSB14
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/sac/OliveiraSB14
Nuno Oliveira, Alexandra Silva, Luís Soares Barbosa:
Quantitative analysis of Reo-based service coordination. SAC 2014: 1247-1254
[c53]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/sbcars/OliveiraB14
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/sbcars/OliveiraB14
Nuno Oliveira, Luís Soares Barbosa:
A Self-Adaptation Strategy for Service-Based Architectures. SBCARS 2014: 1-10
[c52]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sbmf/MadeiraNMB14
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/sbmf/MadeiraNMB14
Alexandre Madeira, Renato Neves, Manuel A. Martins, Luís Soares Barbosa:
A Dynamic Logic for Every Season. SBMF 2014: 130-145
[c51]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sbmf/NevesMB14
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/sbmf/NevesMB14
Renato Neves, Manuel A. Martins, Luís Soares Barbosa:
Completeness and Decidability Results for Hybrid(ised) Logics. SBMF 2014: 146-161
[c50]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sefm/SanchezBM14
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/sefm/SanchezBM14
Alejandro Sanchez, Luís Soares Barbosa, Alexandre Madeira:
Modelling and Verifying Smell-Free Architectures with the Archery Language. SEFM Workshops 2014: 147-163
[c49]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/slate/RodriguesOB14
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/slate/RodriguesOB14
Flávio Rodrigues, Nuno Oliveira, Luís Soares Barbosa:
ReCooPLa: a DSL for Coordination-based Reconfiguration of Software Architectures. SLATE 2014: 61-76
[e4]
- view
  - table of contents in dblp
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/icegov/2014
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/icegov/2014
Elsa Estevez, Marijn Janssen, Luís Soares Barbosa:
Proceedings of the 8th International Conference on Theory and Practice of Electronic Governance, ICEGOV 2014, Guimaraes, Portugal, October 27-30, 2014. ACM 2014, ISBN 978-1-60558-611-3 [contents]
2013
[j31]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sLogica/MartinsMB13
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/sLogica/MartinsMB13
Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa:
A Coalgebraic Perspective on Logical Interpretations. Studia Logica 101(4): 783-825 (2013)
[c48]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/calco/NevesMMB13
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/calco/NevesMMB13
Renato Neves, Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa:
Hybridisation at Work. CALCO 2013: 340-345
[c47]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/criwg/FernandesMCB13
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/criwg/FernandesMCB13
Sara Fernandes, Maria Helena Martinho, Antonio Cerone, Luís Soares Barbosa:
Integrating Formal and Informal Learning through a FLOSS-Based Innovative Approach. CRIWG 2013: 208-214
[c46]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/iri/NevesMMB13
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/iri/NevesMMB13
Renato Neves, Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa:
An Institution for Alloy and Its Translation to Second-Order Logic. IRI (best papers) 2013: 45-75
[c45]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/iri/NevesMM13
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/iri/NevesMM13
Renato Neves, Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa:
Giving Alloy a family. IRI 2013: 512-519
[c44]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/iticse/FernandesCB13
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/iticse/FernandesCB13
Sara Fernandes, Antonio Cerone, Luís Soares Barbosa:
A pilot project on non-conventional learning. ITiCSE 2013: 346
[c43]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/sac/OliveiraB13
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/sac/OliveiraB13
Nuno Oliveira, Luís Soares Barbosa:
On the reconfiguration of software connectors. SAC 2013: 1885-1892
[c42]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sblp/MadeiraMB13
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/sblp/MadeiraMB13
Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa:
Boilerplates for Reconfigurable Systems: A Language and Its Semantics. SBLP 2013: 75-89
[c41]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sefm/FernandesCB13
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/sefm/FernandesCB13
Sara Fernandes, Antonio Cerone, Luís Soares Barbosa:
Analysis of FLOSS Communities as Learning Contexts. SEFM Workshops 2013: 405-416
[c40]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/tase/MadeiraNMB13
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/tase/MadeiraNMB13
Alexandre Madeira, Renato Neves, Manuel A. Martins, Luís Soares Barbosa:
When Even the Interface Evolves... TASE 2013: 79-82
[c39]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/tase/SanchezBR13
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/tase/SanchezBR13
Alejandro Sanchez, Luís Soares Barbosa, Daniel Riesco:
Verifying Bigraphical Models of Architectural Reconfigurations. TASE 2013: 135-138
[c38]
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1305-6115
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-1305-6115
Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa:
Bisimilarity and refinement for hybrid(ised) logics. Refine@IFM 2013: 84-98
2012
[j30]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/mics/BarbosaM12
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/mics/BarbosaM12
Luís Soares Barbosa, Sun Meng:
A Calculus for Generic, QoS-Aware Component Composition. Mathematics in Computer Science 6(4): 475-497 (2012)
[c37]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/icegov/FernandesCB12
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/icegov/FernandesCB12
Sara Fernandes, Antonio Cerone, Luís Soares Barbosa:
Exploiting the FLOSS paradigm in collaborative e-learning: application to e-government. ICEGOV 2012: 475-476
[c36]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sblp/Barbosa12
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/sblp/Barbosa12
Luís Soares Barbosa:
Software Components as Invariant-Typed Arrows - (Keynote Talk). SBLP 2012: 1-5
[c35]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sefm/BarbosaM12
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/sefm/BarbosaM12
Luís Soares Barbosa, Maria Helena Martinho:
Mathematical Literacy as a Condition for Sustainable Development. SEFM Satellite Events 2012: 64-77
[c34]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sefm/FernandesCBP12
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/sefm/FernandesCBP12
Sara Fernandes, Antonio Cerone, Luís Soares Barbosa, Pantelis M. Papadopoulos:
FLOSS in Technology-Enhanced Learning. SEFM Satellite Events 2012: 121-132
[c33]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sefm/FernandesCB12
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/sefm/FernandesCB12
Sara Fernandes, Antonio Cerone, Luís Soares Barbosa:
A Preliminary Analysis of Learning Awareness in FLOSS Projects. SEFM Satellite Events 2012: 133-139
[c32]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/sew/SanchezABR12
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/sew/SanchezABR12
Alejandro Sanchez, Ademar Aguiar, Luís Soares Barbosa, Daniel Riesco:
Analysing Tactics in Architectural Patterns. SEW 2012: 32-41
[c31]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/wsfm/OliveiraB12
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/wsfm/OliveiraB12
Nuno Oliveira, Luís Soares Barbosa:
Reconfiguration Mechanisms for Service Coordination. WS-FM 2012: 134-149
[e3]
- view
  - table of contents in dblp
  - electronic edition via DOI
- export record
  dblp key:
  - conf/facs2/2010
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/facs2/2010
Luís Soares Barbosa, Markus Lumpe:
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 [contents]
[e2]
- view
  - table of contents in dblp
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sblp/2012
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/sblp/2012
Francisco Heron de Carvalho Junior, Luís Soares Barbosa:
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 [contents]
2011
[j29]
- view
  - electronic edition @ tu-berlin.de
- export record
  dblp key:
  - journals/eceasst/BarbosaS11
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/eceasst/BarbosaS11
Luís Soares Barbosa, Dimitrios Settas:
Preface. ECEASST 48 (2011)
[c30]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/bmfa/SanchezBR11
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/bmfa/SanchezBR11
Alejandro Sanchez, Luís Soares Barbosa, Daniel Riesco:
A language for behavioural modelling of architectural patterns. BM-FA 2011: 17-24
[c29]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/calco/MartinsMDB11
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/calco/MartinsMDB11
Manuel A. Martins, Alexandre Madeira, Razvan Diaconescu, Luís Soares Barbosa:
Hybridization of Institutions. CALCO 2011: 283-297
[c28]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/calco/MartinsBR11
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/calco/MartinsBR11
André Martins, Luís Soares Barbosa, Nuno F. Rodrigues:
Shacc: A Functional Prototyper for a Component Calculus. CALCO 2011: 413-419
[c27]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/facs2/SanchezBR11
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/facs2/SanchezBR11
Alejandro Sanchez, Luís Soares Barbosa, Daniel Riesco:
Bigraphical Modelling of Architectural Patterns. FACS 2011: 313-330
[c26]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/otm/RodriguesOB11
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/otm/RodriguesOB11
Nuno F. Rodrigues, Nuno Oliveira, Luís Soares Barbosa:
The Role of Coordination Analysis in Software Integration Projects. OTM Workshops 2011: 83-92
[c25]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sefm/MadeiraFMB11
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/sefm/MadeiraFMB11
Alexandre Madeira, José M. Faria, Manuel A. Martins, Luís Soares Barbosa:
Hybrid Specification of Reactive Systems: An Institutional Approach. SEFM 2011: 269-285
[c24]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ticttl/FerreiraMCBSBO11
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/ticttl/FerreiraMCBSBO11
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
[c23]
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1106-4093
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-1106-4093
César Jesus Rodrigues, Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa:
Refinement by interpretation in π-institutions. Refine@FM 2011: 53-64
2010
[j28]
- no documents available
- export record
  dblp key:
  - journals/csse/BarbosaCPS10
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/csse/BarbosaCPS10
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)
[j27]
- no documents available
- export record
  dblp key:
  - journals/csse/DamianiBBA10
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/csse/DamianiBBA10
Ernesto Damiani, Luís Soares Barbosa, Peter T. Breuer, Claudio Agostino Ardagna:
Special issue: Open Source Certification. Comput. Syst. Sci. Eng. 25(4) (2010)
[j26]
- view
  - electronic edition @ tu-berlin.de
- export record
  dblp key:
  - journals/eceasst/BarbosaCS10
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/eceasst/BarbosaCS10
Luís Soares Barbosa, Antonio Cerone, Siraj Ahmed Shaikh:
Preface. ECEASST 33 (2010)
[j25]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/isse/BarbosaM10
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/isse/BarbosaM10
Luís Soares Barbosa, Sun Meng:
Bringing class diagrams to life. ISSE 6(1-2): 91-98 (2010)
[j24]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/RodriguesB10
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/scp/RodriguesB10
Nuno F. Rodrigues, Luís Soares Barbosa:
Slicing for architectural analysis. Sci. Comput. Program. 75(10): 828-847 (2010)
[c22]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/cisis/BarbosaM10
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/cisis/BarbosaM10
Luís Soares Barbosa, Sun Meng:
QoS-aware Component Composition. CISIS 2010: 1008-1013
[c21]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/sac/MengB10
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/sac/MengB10
Sun Meng, Luís Soares Barbosa:
Towards the introduction of QoS information in a component model. SAC 2010: 2045-2046
[c20]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/synasc/BarbosaBR10
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/synasc/BarbosaBR10
Luís Soares Barbosa, Marco Antonio Barbosa, César Jesus Rodrigues:
Revisiting Context-Aware Component Interconnection. SYNASC 2010: 377-384

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[j23]
- view
  - electronic edition @ tu-berlin.de
- export record
  dblp key:
  - journals/eceasst/BarbosaCS09
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/eceasst/BarbosaCS09
Luís Soares Barbosa, Antonio Cerone, Siraj Ahmed Shaikh:
Preface. ECEASST 20 (2009)
[j22]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/CamposB09
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/entcs/CamposB09
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)
[j21]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/RodriguesOB09
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/entcs/RodriguesOB09
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)
[j20]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/MartinsMB09
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/entcs/MartinsMB09
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)
[j19]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/BarbosaB09
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/scp/BarbosaB09
Marco Antonio Barbosa, Luís Soares Barbosa:
A perspective on service orchestration. Sci. Comput. Program. 74(9): 671-687 (2009)
[c19]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fsen/BarbosaBC09
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/fsen/BarbosaBC09
Marco Antonio Barbosa, Luís Soares Barbosa, José Creissac Campos:
A Coordination Model for Interactive Components. FSEN 2009: 416-430
[c18]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/sefm/MartinsMB09
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/sefm/MartinsMB09
Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa:
Refinement via Interpretation. SEFM 2009: 250-259
[c17]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tfm/FerreiraMBB09
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/tfm/FerreiraMBB09
João F. Ferreira, Alexandra Mendes, Roland Carl Backhouse, Luís Soares Barbosa:
Which Mathematics for the Information Society? TFM 2009: 39-56
[e1]
- view
  - table of contents in dblp
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lernet/2008
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/lernet/2008
Ana Bove, Luís Soares Barbosa, Alberto Pardo, Jorge Sousa Pinto:
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 [contents]
2008
[j18]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/RibeiroBW08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/entcs/RibeiroBW08
Paula R. Ribeiro, Luís Soares Barbosa, Shuling Wang:
An Exercise on Transition Systems. Electr. Notes Theor. Comput. Sci. 207: 89-106 (2008)
[c16]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/amast/BarbosaOS08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/amast/BarbosaOS08
Luís Soares Barbosa, José Nuno Oliveira, Alexandra Silva:
Calculating Invariants as Coreflexive Bisimulations. AMAST 2008: 83-99
[c15]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/qsic/MengB08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/qsic/MengB08
Sun Meng, Luís Soares Barbosa:
A Coalgebraic Semantic Framework for Reasoning about UML Sequence Diagrams. QSIC 2008: 17-26
[c14]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/scam/RodriguesB08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/scam/RodriguesB08
Nuno F. Rodrigues, Luís Soares Barbosa:
CoordInspector: A Tool for Extracting Coordination Data from Legacy Code. SCAM 2008: 265-266
[c13]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/services/RodriguesB08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/services/RodriguesB08
Nuno F. Rodrigues, Luís Soares Barbosa:
On the Discovery of Business Processes Orchestration Patterns. SERVICES I 2008: 391-398
[c12]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/synasc/BarbosaM08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/synasc/BarbosaM08
Luís Soares Barbosa, Sun Meng:
UML Model Refactoring as Refinement: A Coalgebraic Perspective. SYNASC 2008: 340-347
[c11]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/tase/WangBO08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/tase/WangBO08
Shuling Wang, Luís Soares Barbosa, José Nuno Oliveira:
A Relational Model for Confined Separation Logic. TASE 2008: 263-270
2007
[j17]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/BarbosaB07
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/entcs/BarbosaB07
Marco Antonio Barbosa, Luís Soares Barbosa:
Configurations of Web Services. Electr. Notes Theor. Comput. Sci. 175(2): 39-57 (2007)
[j16]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/BarbosaB07a
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/entcs/BarbosaB07a
Marco Antonio Barbosa, Luís Soares Barbosa:
An Orchestrator for Dynamic Interconnection of Software Components. Electr. Notes Theor. Comput. Sci. 181: 49-61 (2007)
[j15]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/BarbosaBC07
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/entcs/BarbosaBC07
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)
[j14]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jucs/RodriguesB07
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jucs/RodriguesB07
Nuno F. Rodrigues, Luís Soares Barbosa:
Higher-Order Lazy Functional Slicing. J. UCS 13(6): 854-873 (2007)
[c10]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/sigsoft/BarbosaCV07
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/sigsoft/BarbosaCV07
Luís Soares Barbosa, Jácome Cunha, Joost Visser:
A type-level approach to component prototyping. SYANCO 2007: 23-36
2006
[j13]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/LiuB06
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/entcs/LiuB06
Zhiming Liu, Luís Soares Barbosa:
Preface. Electr. Notes Theor. Comput. Sci. 160: 1-2 (2006)
[j12]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/RodriguesB06
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/entcs/RodriguesB06
Nuno F. Rodrigues, Luís Soares Barbosa:
Component Identification Through Program Slicing. Electr. Notes Theor. Comput. Sci. 160: 291-304 (2006)
[j11]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jucs/RodriguesB06
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jucs/RodriguesB06
Nuno F. Rodrigues, Luís Soares Barbosa:
Program Slicing by Calculation. J. UCS 12(7): 828-848 (2006)
[j10]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jucs/RibeiroBB06
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jucs/RibeiroBB06
Paula R. Ribeiro, Marco Antonio Barbosa, Luís Soares Barbosa:
Generic Process Algebra: A Programming Challenge. J. UCS 12(7): 922-937 (2006)
[j9]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/MengB06
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/tcs/MengB06
Sun Meng, Luís Soares Barbosa:
Components as coalgebras: The refinement dimension. Theor. Comput. Sci. 351(2): 276-294 (2006)
[j8]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/BarbosaO06
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/tcs/BarbosaO06
Luís Soares Barbosa, José Nuno Oliveira:
Transposing partial components - An exercise on coalgebraic refinement. Theor. Comput. Sci. 365(1-2): 2-22 (2006)
2005
[j7]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/MengABN05
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/entcs/MengABN05
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)
[j6]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/RodriguesB05
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/entcs/RodriguesB05
Nuno F. Rodrigues, Luís Soares Barbosa:
Architectural Prototyping: From CCS to .Net. Electr. Notes Theor. Comput. Sci. 130: 151-167 (2005)
[j5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jucs/CruzBO05
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jucs/CruzBO05
A. Miguel Cruz, Luís Soares Barbosa, José Nuno Oliveira:
From Algebras to Objects: Generation and Composition. J. UCS 11(10): 1580-1612 (2005)
[c9]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ictac/MengBN05
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/ictac/MengBN05
Sun Meng, Luís Soares Barbosa, Zhang Naixiao:
On Refinement of Software Architectures. ICTAC 2005: 469-484
[i1]
- view
  - electronic edition @ dagstuhl.de
- export record
  dblp key:
  - conf/dagstuhl/RodriguesB05
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/dagstuhl/RodriguesB05
Nuno F. Rodrigues, Luís Soares Barbosa:
Slicing Functional Programs by Calculation. Beyond Program Slicing 2005
2004
[j4]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jucs/BarbosaB04
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jucs/BarbosaB04
Marco Antonio Barbosa, Luís Soares Barbosa:
A Relational Model for Component Interconnection. J. UCS 10(7): 808-823 (2004)
[c8]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/amast/MengB04
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/amast/MengB04
Sun Meng, Luís Soares Barbosa:
On Refinement of Generic State-Based Software Components. AMAST 2004: 506-520
[c7]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fmco/Barbosa04
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/fmco/Barbosa04
Luís Soares Barbosa:
A Perspective on Component Refinement. FMCO 2004: 23-48
[c6]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ictac/BarbosaB04
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/ictac/BarbosaB04
Marco Antonio Barbosa, Luís Soares Barbosa:
Specifying Software Connectors. ICTAC 2004: 52-67
[c5]
- view
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/sefm/MengNB04
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/sefm/MengNB04
Sun Meng, Zhang Naixiao, Luís Soares Barbosa:
On Semantics and Refinement of UML Statecharts: A Coalgebraic View. SEFM 2004: 164-173
2003
[j3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/BarbosaO03
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/entcs/BarbosaO03
Luís Soares Barbosa, José Nuno Oliveira:
State-based Components Made Generic. Electr. Notes Theor. Comput. Sci. 82(1): 39-56 (2003)
[j2]
- view
  - electronic edition @ jucs.org
- export record
  dblp key:
  - journals/jucs/Barbosa03
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jucs/Barbosa03
Luís Soares Barbosa:
Towards a Calculus of State-based Software Components. J. UCS 9(8): 891-909 (2003)
2002
[c4]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/flops/BarbosaO02
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/flops/BarbosaO02
Luís Soares Barbosa, José Nuno Oliveira:
Coinductive Interpreters for Process Calculi. FLOPS 2002: 183-197
2001
[j1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/Barbosa01
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/entcs/Barbosa01
Luís Soares Barbosa:
Process Calculià la Bird-Meertens. Electr. Notes Theor. Comput. Sci. 44(1): 47-66 (2001)
2000
[c3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fmoods/Barbosa00
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/fmoods/Barbosa00
Luís Soares Barbosa:
Components as Processes: An Exercise in Coalgebraic Modeling. FMOODS 2000: 397-417

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[c2]
- no documents available
- export record
  dblp key:
  - conf/agp/Barbosa99
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/agp/Barbosa99
Luís Soares Barbosa:
Prototyping Processes. APPIA-GULP-PRODE 1999: 513-528
1997
[c1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/amast/AlmeidaBNO97
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/amast/AlmeidaBNO97
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

Coauthor Index

see FAQ

maintained by