Luís Soares Barbosa
Person information
- affiliation: Universidade do Minho, Braga, Portugal
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
showing all ?? records
2010 – today
- 2018
- [j48]Guillermina Cledou, Elsa Estevez, Luís Soares Barbosa:
A taxonomy for planning and designing smart mobility services. Government Information Quarterly 35(Issue): 61-76 (2018) - 2017
- [c74]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 - [c73]Luís Soares Barbosa, Luís Paulo Santos:
Networks of Universities as a Tool for GCIO Education. EGOV 2017: 117-127 - [c72]Allberson B. de Oliveira Dantas, Francisco Heron de Carvalho Junior, Luís Soares Barbosa:
Certification of Workflows in a Component-Based Cloud of High Performance Computing Services. FACS 2017: 198-215 - [c71]Guillermina Cledou, José Proença, Luís Soares Barbosa:
Composing Families of Timed Automata. FSEN 2017: 51-66 - [c70]
- [c69]Morten Meyerhoff Nielsen, Nuno Ramos Carvalho, Linda Veiga, Luís Soares Barbosa:
Administrative Burden Reduction Over Time: Literature Review, Trends and Gap Analysis. ICEGOV 2017: 140-148 - [c68]Guillermina Cledou, Luís Soares Barbosa:
Modeling Families of Public Licensing Services: A Case Study. FormaliSE@ICSE 2017: 37-43 - [c67]Guillermina Cledou, José Proença, Luís Soares Barbosa:
A Refinement Relation for Families of Timed Automata. SBMF 2017: 161-178 - [c66]Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa:
On Kleene Algebras for Weighted Computation. SBMF 2017: 271-286 - [c65]
- 2016
- [j47]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]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]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]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) - [c64]Sara Fernandes, Luís Soares Barbosa:
Applying the 3C Model to FLOSS Communities. CRIWG 2016: 139-150 - [c63]Sara Fernandes, Luís Soares Barbosa:
Electronic governance in Portugal: a silent pioneer. EGOSE 2016: 77-82 - [c62]Maria Guillermina Cledou, Luís Soares Barbosa:
An Ontology for Licensing Public Transport Services. ICEGOV 2016: 230-239 - [c61]Linda Veiga, Tomasz Janowski, Luís Soares Barbosa:
Digital Government and Administrative Burden Reduction. ICEGOV 2016: 323-326 - [c60]
- [c59]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 - [c58]Renato Neves, Alexandre Madeira, Luís Soares Barbosa, Manuel A. Martins:
Asymmetric Combination of Logics is Functorial: A Survey. WADT 2016: 39-55 - [c57]Nuno Oliveira, Luís Soares Barbosa:
An Enhanced Model for Stochastic Coordination. iFMCloud@IFM 2016: 35-45 - [p1]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]Alejandro Sanchez, Alexandre Madeira, Luís Soares Barbosa:
On the verification of architectural reconfigurations. Computer Languages, Systems & Structures 44: 218-237 (2015) - [j42]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) - [j41]Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa, Rolf Hennicker:
Refinement in hybridised institutions. Formal Asp. Comput. 27(2): 375-395 (2015) - [j40]Nuno Oliveira, Alexandra Silva, Luís Soares Barbosa:
IMCReo: interactive Markov chains for Stochastic Reo. J. Internet Serv. Inf. Secur. 5(1): 3-28 (2015) - [j39]Nuno Oliveira, Luís Soares Barbosa:
Self-adaptation by coordination-targeted reconfigurations. J. Software Eng. R&D 3: 6 (2015) - [j38]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]Nuno Oliveira, Luís Soares Barbosa:
Reasoning about software reconfigurations: The behavioural and structural perspectives. Sci. Comput. Program. 110: 78-103 (2015) - [c56]Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa:
A logic for n-dimensional hierarchical refinement. Refine@FM 2015: 40-56 - [i2]Renato Neves, Luís Soares Barbosa, Dirk Hofmann, Manuel A. Martins:
Continuity as a computational effect. CoRR abs/1507.03219 (2015) - 2014
- [j36]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]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]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]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]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]Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa, Renato Neves:
Paradigm integration in a specification course. IRI 2014: 492-499 - [c54]Nuno Oliveira, Alexandra Silva, Luís Soares Barbosa:
Quantitative analysis of Reo-based service coordination. SAC 2014: 1247-1254 - [c53]Nuno Oliveira, Luís Soares Barbosa:
A Self-Adaptation Strategy for Service-Based Architectures. SBCARS 2014: 1-10 - [c52]Alexandre Madeira, Renato Neves, Manuel A. Martins, Luís Soares Barbosa:
A Dynamic Logic for Every Season. SBMF 2014: 130-145 - [c51]Renato Neves, Manuel A. Martins, Luís Soares Barbosa:
Completeness and Decidability Results for Hybrid(ised) Logics. SBMF 2014: 146-161 - [c50]Alejandro Sanchez, Luís Soares Barbosa, Alexandre Madeira:
Modelling and Verifying Smell-Free Architectures with the Archery Language. SEFM Workshops 2014: 147-163 - [c49]Flávio Rodrigues, Nuno Oliveira, Luís Soares Barbosa:
ReCooPLa: a DSL for Coordination-based Reconfiguration of Software Architectures. SLATE 2014: 61-76 - [e4]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]Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa:
A Coalgebraic Perspective on Logical Interpretations. Studia Logica 101(4): 783-825 (2013) - [c48]Renato Neves, Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa:
Hybridisation at Work. CALCO 2013: 340-345 - [c47]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]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]Renato Neves, Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa:
Giving Alloy a family. IRI 2013: 512-519 - [c44]Sara Fernandes, Antonio Cerone, Luís Soares Barbosa:
A pilot project on non-conventional learning. ITiCSE 2013: 346 - [c43]Nuno Oliveira, Luís Soares Barbosa:
On the reconfiguration of software connectors. SAC 2013: 1885-1892 - [c42]Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa:
Boilerplates for Reconfigurable Systems: A Language and Its Semantics. SBLP 2013: 75-89 - [c41]Sara Fernandes, Antonio Cerone, Luís Soares Barbosa:
Analysis of FLOSS Communities as Learning Contexts. SEFM Workshops 2013: 405-416 - [c40]Alexandre Madeira, Renato Neves, Manuel A. Martins, Luís Soares Barbosa:
When Even the Interface Evolves... TASE 2013: 79-82 - [c39]Alejandro Sanchez, Luís Soares Barbosa, Daniel Riesco:
Verifying Bigraphical Models of Architectural Reconfigurations. TASE 2013: 135-138 - [c38]Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa:
Bisimilarity and refinement for hybrid(ised) logics. Refine@IFM 2013: 84-98 - 2012
- [j30]Luís Soares Barbosa, Sun Meng:
A Calculus for Generic, QoS-Aware Component Composition. Mathematics in Computer Science 6(4): 475-497 (2012) - [c37]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]
- [c35]Luís Soares Barbosa, Maria Helena Martinho:
Mathematical Literacy as a Condition for Sustainable Development. SEFM Satellite Events 2012: 64-77 - [c34]Sara Fernandes, Antonio Cerone, Luís Soares Barbosa, Pantelis M. Papadopoulos:
FLOSS in Technology-Enhanced Learning. SEFM Satellite Events 2012: 121-132 - [c33]Sara Fernandes, Antonio Cerone, Luís Soares Barbosa:
A Preliminary Analysis of Learning Awareness in FLOSS Projects. SEFM Satellite Events 2012: 133-139 - [c32]Alejandro Sanchez, Ademar Aguiar, Luís Soares Barbosa, Daniel Riesco:
Analysing Tactics in Architectural Patterns. SEW 2012: 32-41 - [c31]Nuno Oliveira, Luís Soares Barbosa:
Reconfiguration Mechanisms for Service Coordination. WS-FM 2012: 134-149 - [e3]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]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]
- [c30]Alejandro Sanchez, Luís Soares Barbosa, Daniel Riesco:
A language for behavioural modelling of architectural patterns. BM-FA 2011: 17-24 - [c29]Manuel A. Martins, Alexandre Madeira, Razvan Diaconescu, Luís Soares Barbosa:
Hybridization of Institutions. CALCO 2011: 283-297 - [c28]André Martins, Luís Soares Barbosa, Nuno F. Rodrigues:
Shacc: A Functional Prototyper for a Component Calculus. CALCO 2011: 413-419 - [c27]Alejandro Sanchez, Luís Soares Barbosa, Daniel Riesco:
Bigraphical Modelling of Architectural Patterns. FACS 2011: 313-330 - [c26]Nuno F. Rodrigues, Nuno Oliveira, Luís Soares Barbosa:
The Role of Coordination Analysis in Software Integration Projects. OTM Workshops 2011: 83-92 - [c25]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]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]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]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]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]
- [j25]
- [j24]Nuno F. Rodrigues, Luís Soares Barbosa:
Slicing for architectural analysis. Sci. Comput. Program. 75(10): 828-847 (2010) - [c22]
- [c21]
- [c20]Luís Soares Barbosa, Marco Antonio Barbosa, César Jesus Rodrigues:
Revisiting Context-Aware Component Interconnection. SYNASC 2010: 377-384
2000 – 2009
- 2009
- [j23]
- [j22]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]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]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]Marco Antonio Barbosa, Luís Soares Barbosa:
A perspective on service orchestration. Sci. Comput. Program. 74(9): 671-687 (2009) - [c19]Marco Antonio Barbosa, Luís Soares Barbosa, José Creissac Campos:
A Coordination Model for Interactive Components. FSEN 2009: 416-430 - [c18]Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa:
Refinement via Interpretation. SEFM 2009: 250-259 - [c17]João F. Ferreira, Alexandra Mendes, Roland Carl Backhouse, Luís Soares Barbosa:
Which Mathematics for the Information Society? TFM 2009: 39-56 - [e1]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]Paula R. Ribeiro, Luís Soares Barbosa, Shuling Wang:
An Exercise on Transition Systems. Electr. Notes Theor. Comput. Sci. 207: 89-106 (2008) - [c16]Luís Soares Barbosa, José Nuno Oliveira, Alexandra Silva:
Calculating Invariants as Coreflexive Bisimulations. AMAST 2008: 83-99 - [c15]
- [c14]Nuno F. Rodrigues, Luís Soares Barbosa:
CoordInspector: A Tool for Extracting Coordination Data from Legacy Code. SCAM 2008: 265-266 - [c13]Nuno F. Rodrigues, Luís Soares Barbosa:
On the Discovery of Business Processes Orchestration Patterns. SERVICES I 2008: 391-398 - [c12]Luís Soares Barbosa, Sun Meng:
UML Model Refactoring as Refinement: A Coalgebraic Perspective. SYNASC 2008: 340-347 - [c11]Shuling Wang, Luís Soares Barbosa, José Nuno Oliveira:
A Relational Model for Confined Separation Logic. TASE 2008: 263-270 - 2007
- [j17]Marco Antonio Barbosa, Luís Soares Barbosa:
Configurations of Web Services. Electr. Notes Theor. Comput. Sci. 175(2): 39-57 (2007) - [j16]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]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]Nuno F. Rodrigues, Luís Soares Barbosa:
Higher-Order Lazy Functional Slicing. J. UCS 13(6): 854-873 (2007) - [c10]Luís Soares Barbosa, Jácome Cunha, Joost Visser:
A type-level approach to component prototyping. SYANCO 2007: 23-36 - 2006
- [j13]
- [j12]Nuno F. Rodrigues, Luís Soares Barbosa:
Component Identification Through Program Slicing. Electr. Notes Theor. Comput. Sci. 160: 291-304 (2006) - [j11]Nuno F. Rodrigues, Luís Soares Barbosa:
Program Slicing by Calculation. J. UCS 12(7): 828-848 (2006) - [j10]Paula R. Ribeiro, Marco Antonio Barbosa, Luís Soares Barbosa:
Generic Process Algebra: A Programming Challenge. J. UCS 12(7): 922-937 (2006) - [j9]Sun Meng, Luís Soares Barbosa:
Components as coalgebras: The refinement dimension. Theor. Comput. Sci. 351(2): 276-294 (2006) - [j8]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]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]Nuno F. Rodrigues, Luís Soares Barbosa:
Architectural Prototyping: From CCS to .Net. Electr. Notes Theor. Comput. Sci. 130: 151-167 (2005) - [j5]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]Sun Meng, Luís Soares Barbosa, Zhang Naixiao:
On Refinement of Software Architectures. ICTAC 2005: 469-484 - [i1]Nuno F. Rodrigues, Luís Soares Barbosa:
Slicing Functional Programs by Calculation. Beyond Program Slicing 2005 - 2004
- [j4]Marco Antonio Barbosa, Luís Soares Barbosa:
A Relational Model for Component Interconnection. J. UCS 10(7): 808-823 (2004) - [c8]Sun Meng, Luís Soares Barbosa:
On Refinement of Generic State-Based Software Components. AMAST 2004: 506-520 - [c7]
- [c6]
- [c5]Sun Meng, Zhang Naixiao, Luís Soares Barbosa:
On Semantics and Refinement of UML Statecharts: A Coalgebraic View. SEFM 2004: 164-173 - 2003
- [j3]Luís Soares Barbosa, José Nuno Oliveira:
State-based Components Made Generic. Electr. Notes Theor. Comput. Sci. 82(1): 39-56 (2003) - [j2]Luís Soares Barbosa:
Towards a Calculus of State-based Software Components. J. UCS 9(8): 891-909 (2003) - 2002
- [c4]Luís Soares Barbosa, José Nuno Oliveira:
Coinductive Interpreters for Process Calculi. FLOPS 2002: 183-197 - 2001
- [j1]Luís Soares Barbosa:
Process Calculià la Bird-Meertens. Electr. Notes Theor. Comput. Sci. 44(1): 47-66 (2001) - 2000
- [c3]Luís Soares Barbosa:
Components as Processes: An Exercise in Coalgebraic Modeling. FMOODS 2000: 397-417
1990 – 1999
- 1999
- [c2]
- 1997
- [c1]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