Luís Soares Barbosa

According to our database, Luís Soares Barbosa authored at least 162 papers between 1997 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Digital quantum simulation of non-perturbative dynamics of open systems with orthogonal polynomials.

José Diogo Guimarães, Mikhail I. Vasilevskiy, Luís Soares Barbosa

Quantum, February, 2024

On Quantum Natural Policy Gradients.

André Sequeira, Luís Paulo Santos, Luís Soares Barbosa

CoRR, 2024

2023

Policy gradients using variational quantum circuits.

André Sequeira, Luís Paulo Santos, Luís Soares Barbosa

Quantum Mach. Intell., June, 2023

Modelling and control of manufacturing systems subject to context recognition and switching.

Luiz Fernando Puttow Southier, Dalcimar Casanova, Luís Soares Barbosa, Cesar Torrico, Marco A. C. Barbosa, Marcelo Teixeira

Int. J. Prod. Res., May, 2023

Quantum privacy-preserving service for secure lane change in vehicular networks.

Zeinab Rahmani, Luís Soares Barbosa, Armando N. Pinto

IET Quantum Commun., 2023

Stepwise Development of Paraconsistent Processes.

Juliana Cunha, Alexandre Madeira, Luís Soares Barbosa

Proceedings of the Theoretical Aspects of Software Engineering, 2023

Capturing Qubit Decoherence through Paraconsistent Transition Systems.

Luís Soares Barbosa, Alexandre Madeira

Proceedings of the Companion Proceedings of the 7th International Conference on the Art, 2023

Structured Specification of Paraconsistent Transition Systems.

Juliana Cunha, Alexandre Madeira, Luís Soares Barbosa

Proceedings of the Fundamentals of Software Engineering - 10th International Conference, 2023

2022

Weighted synchronous automata.

Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa

Math. Struct. Comput. Sci., October, 2022

A tribute to José Manuel Valença.

José Nuno Oliveira, Jorge Sousa Pinto, Luís Soares Barbosa, Pedro Rangel Henriques

J. Log. Algebraic Methods Program., 2022

Coalgebra for the working software engineer.

Luís Soares Barbosa

FLAP, 2022

Paraconsistent Transition Systems.

Ana Cruz, Alexandre Madeira, Luís Soares Barbosa

Proceedings of the Proceedings 17th International Workshop on Logical and Semantic Frameworks with Applications, 2022

A Logic for Paraconsistent Transition Systems.

Ana Cruz, Alexandre Madeira, Luís Soares Barbosa

Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications, 2022

Variational Quantum Policy Gradients with an Application to Quantum Control.

André Sequeira, Luís Paulo Santos, Luís Soares Barbosa

CoRR, 2022

2021

A semantics and a logic for Fuzzy Arden Syntax.

Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa

Soft Comput., 2021

Quantum Tree-Based Planning.

André Sequeira, Luís Paulo Santos, Luís Soares Barbosa

IEEE Access, 2021

Towards a specification theory for fuzzy modal logic.

Manisha Jain, Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa

Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2021

Generalised Quantum Tree Search.

André Sequeira, Luís Paulo Santos, Luís Soares Barbosa

Proceedings of the 2nd IEEE/ACM International Workshop on Quantum Software Engineering, 2021

2020

A component-based framework for certification of components in a cloud of HPC services.

Allberson Bruno de Oliveira Dantas, Francisco Heron de Carvalho Junior, Luís Soares Barbosa

Sci. Comput. Program., 2020

Data governance: Organizing data for trustworthy Artificial Intelligence.

Marijn Janssen, Paul Brous, Elsa Estevez, Luís Soares Barbosa, Tomasz Janowski

Gov. Inf. Q., 2020

Quantum Bayesian decision-making.

Michael de Oliveira, Luís Soares Barbosa

CoRR, 2020

Simulation of Nonradiative Energy Transfer in Photosynthetic Systems Using a Quantum Computer.

José Diogo Guimarães, Carlos Tavares, Luís Soares Barbosa, Mikhail I. Vasilevskiy

Complex., 2020

Software engineering for 'quantum advantage'.

Luís Soares Barbosa

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Workshops, Seoul, Republic of Korea, 27 June, 2020

Towards a register-based census in Oman.

Ali Hussain Al-Lawati, Luís Soares Barbosa

Proceedings of the ICEGOV 2020: 13th International Conference on Theory and Practice of Electronic Governance, 2020

2019

Generalising KAT to Verify Weighted Computations.

Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa

Sci. Ann. Comput. Sci., 2019

Introducing Synchrony in Fuzzy Automata.

Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa

Proceedings of the 14th Workshop on Logical and Semantic Frameworks with Applications, 2019

On the Generation of Equational Dynamic Logics for Weighted Imperative Programs.

Leandro Gomes, Alexandre Madeira, Manisha Jain, Luís Soares Barbosa

Proceedings of the Formal Methods and Software Engineering, 2019

Deep Learning Powered Question-Answering Framework for Organizations Digital Transformation.

Nuno Ramos Carvalho, Luís Soares Barbosa

Proceedings of the ICEGOV 2019: 12th International Conference on Theory and Practice of Electronic Governance, 2019

Combining Advantages from Parameters in Modeling and Control of Discrete Event Systems.

Luiz Fernando Puttow Southier, Muriel Mazzetto, Dalcimar Casanova, Marco A. C. Barbosa, Luís Soares Barbosa, Marcelo Teixeira

Proceedings of the 24th IEEE International Conference on Emerging Technologies and Factory Automation, 2019

2018

Languages and models for hybrid automata: A coalgebraic perspective.

Renato Neves, Luís Soares Barbosa

Theor. Comput. Sci., 2018

A logic for the stepwise development of reactive systems.

Alexandre Madeira, Luís Soares Barbosa, Rolf Hennicker, Manuel A. Martins

Theor. Comput. Sci., 2018

A taxonomy for planning and designing smart mobility services.

Guillermina Cledou, Elsa Estevez, Luís Soares Barbosa

Gov. Inf. Q., 2018

A Research Agenda on Quantum Algoritmics.

Luís Soares Barbosa, Alexandre Madeira

ERCIM News, 2018

Reactive Models for Biological Regulatory Networks.

Daniel Figueiredo, Luís Soares Barbosa

Proceedings of the Molecular Logic and Computational Synthetic Biology, 2018

Communities of Practice as a tool to support the GCIO function.

Luís Paulo Santos, Luís Nuno Barbosa, Diogo Aires Bessa, Lúcia Pereira Martins, Luís Soares Barbosa

Proceedings of the 11th International Conference on Theory and Practice of Electronic Governance, 2018

Transforming Legal Documents for Visualization and Analysis.

Nuno Ramos Carvalho, Luís Soares Barbosa

Proceedings of the 11th International Conference on Theory and Practice of Electronic Governance, 2018

A Note on Reactive Transitions and Reo Connectors.

Daniel Figueiredo, Manuel A. Martins, Luís Soares Barbosa

Proceedings of the It's All About Coordination, 2018

2017

Hierarchical Hybrid Logic.

Alexandre Madeira, Renato Neves, Manuel A. Martins, Luís Soares Barbosa

Proceedings of the 12th Workshop on Logical and Semantic Frameworks, with Applications, 2017

Layered Logics, Coalgebraically.

Luís Soares Barbosa

Proceedings of the Dynamic Logic. New Trends and Applications, 2017

On Kleene Algebras for Weighted Computation.

Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa

Proceedings of the Formal Methods: Foundations and Applications - 20th Brazilian Symposium, 2017

A Refinement Relation for Families of Timed Automata.

Guillermina Cledou, José Proença, Luís Soares Barbosa

Proceedings of the Formal Methods: Foundations and Applications - 20th Brazilian Symposium, 2017

Modeling Families of Public Licensing Services: A Case Study.

Guillermina Cledou, Luís Soares Barbosa

Proceedings of the 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering, 2017

Administrative Burden Reduction Over Time: Literature Review, Trends and Gap Analysis.

Morten Meyerhoff Nielsen, Nuno Ramos Carvalho, Linda Veiga, Luís Soares Barbosa

Proceedings of the 10th International Conference on Theory and Practice of Electronic Governance, 2017

Digital Governance for Sustainable Development.

Luís Soares Barbosa

Proceedings of the Digital Nations - Smart Cities, Innovation, and Sustainability, 2017

Composing Families of Timed Automata.

Guillermina Cledou, José Proença, Luís Soares Barbosa

Proceedings of the Fundamentals of Software Engineering - 7th International Conference, 2017

Certification of Workflows in a Component-Based Cloud of High Performance Computing Services.

Allberson Bruno de Oliveira Dantas, Francisco Heron de Carvalho Junior, Luís Soares Barbosa

Proceedings of the Formal Aspects of Component Software - 14th International Conference, 2017

Networks of Universities as a Tool for GCIO Education.

Luís Soares Barbosa, Luís Paulo Santos

Proceedings of the Electronic Government - 16th IFIP WG 8.5 International Conference, 2017

A Framework for Certification of Large-scale Component-based Parallel Computing Systems in a Cloud Computing Platform for HPC Services.

Allberson Bruno de Oliveira Dantas, Francisco Heron de Carvalho Junior, Luís Soares Barbosa

Proceedings of the CLOSER 2017, 2017

2016

Reuse and Integration of Specification Logics: The Hybridisation Perspective.

Luís Soares Barbosa, Manuel A. Martins, Alexandre Madeira, Renato Neves

Proceedings of the Theoretical Information Reuse and Integration, 2016

Proof theory for hybrid(ised) logics.

Renato Neves, Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa

Sci. Comput. Program., 2016

A method for rigorous design of reconfigurable systems.

Alexandre Madeira, Renato Neves, Luís Soares Barbosa, Manuel A. Martins

Sci. Comput. Program., 2016

Continuity as a computational effect.

Renato Neves, Luís Soares Barbosa, Dirk Hofmann, Manuel A. Martins

J. Log. Algebraic Methods Program., 2016

Quien sabe por Algebra, sabe scientificamente: A tribute to José Nuno Oliveira.

Luís Soares Barbosa, Alcino Cunha, Alexandra Silva

J. Log. Algebraic Methods Program., 2016

An Enhanced Model for Stochastic Coordination.

Nuno Oliveira, Luís Soares Barbosa

Proceedings of the First International Workshop on Formal Methods for and on the Cloud, 2016

Asymmetric Combination of Logics is Functorial: A Survey.

Renato Neves, Alexandre Madeira, Luís Soares Barbosa, Manuel A. Martins

Proceedings of the Recent Trends in Algebraic Development Techniques, 2016

Hybrid Automata as Coalgebras.

Renato Neves, Luís Soares Barbosa

Proceedings of the Theoretical Aspects of Computing - ICTAC 2016, 2016

Dynamic Logic with Binders and Its Application to the Development of Reactive Systems.

Alexandre Madeira, Luís Soares Barbosa, Rolf Hennicker, Manuel A. Martins

Proceedings of the Theoretical Aspects of Computing - ICTAC 2016, 2016

Digital Government and Administrative Burden Reduction.

Linda Veiga, Tomasz Janowski, Luís Soares Barbosa

Proceedings of the 9th International Conference on Theory and Practice of Electronic Governance, 2016

An Ontology for Licensing Public Transport Services.

Maria Guillermina Cledou, Luís Soares Barbosa

Proceedings of the 9th International Conference on Theory and Practice of Electronic Governance, 2016

Electronic governance in Portugal: a silent pioneer.

Sara Fernandes, Luís Soares Barbosa

Proceedings of the International Conference on Electronic Governance and Open Society, 2016

Applying the 3C Model to FLOSS Communities.

Sara Fernandes, Luís Soares Barbosa

Proceedings of the Collaboration and Technology - 22nd International Conference, 2016

2015

A perspective on architectural re-engineering.

Alejandro Sanchez, Nuno Oliveira, Luís Soares Barbosa, Pedro Rangel Henriques

Sci. Comput. Program., 2015

Reasoning about software reconfigurations: The behavioural and structural perspectives.

Nuno Oliveira, Luís Soares Barbosa

Sci. Comput. Program., 2015

Self-adaptation by coordination-targeted reconfigurations.

Nuno Oliveira, Luís Soares Barbosa

J. Softw. Eng. Res. Dev., 2015

IMC_Reo: interactive Markov chains for Stochastic Reo.

Nuno Oliveira, Alexandra Silva, Luís Soares Barbosa

J. Internet Serv. Inf. Secur., 2015

Refinement in hybridised institutions.

Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa, Rolf Hennicker

Formal Aspects Comput., 2015

A logic for n-dimensional hierarchical refinement.

Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa

Proceedings of the Proceedings 17th International Workshop on Refinement, 2015

Towards an engine for coordination-based architectural reconfigurations.

Flávio Rodrigues, Nuno Oliveira, Luís Soares Barbosa

Comput. Sci. Inf. Syst., 2015

On the verification of architectural reconfigurations.

Alejandro Sanchez, Alexandre Madeira, Luís Soares Barbosa

Comput. Lang. Syst. Struct., 2015

2014

Selected and extended papers of the Brazilian Symposium on Programming Languages 2012.

Francisco Heron de Carvalho Junior, Luís Soares Barbosa

Sci. Comput. Program., 2014

Selected contributions from the Open Source Software Certification (OpenCert) workshops.

Luís Soares Barbosa, Siraj Ahmed Shaikh

Sci. Comput. Program., 2014

Formal Aspects of Component Software (FACS 2010 selected and extended papers).

Luís Soares Barbosa, Markus Lumpe

Sci. Comput. Program., 2014

A Hilbert-Style Axiomatisation for Equational Hybrid Logic.

Luís Soares Barbosa, Manuel A. Martins, Marta Carreteiro

J. Log. Lang. Inf., 2014

The role of logical interpretations in program development.

Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa

Log. Methods Comput. Sci., 2014

ReCooPLa: a DSL for Coordination-based Reconfiguration of Software Architectures.

Flávio Rodrigues, Nuno Oliveira, Luís Soares Barbosa

Proceedings of the 3rd Symposium on Languages, Applications and Technologies, 2014

Modelling and Verifying Smell-Free Architectures with the Archery Language.

Alejandro Sanchez, Luís Soares Barbosa, Alexandre Madeira

Proceedings of the Software Engineering and Formal Methods, 2014

Completeness and Decidability Results for Hybrid(ised) Logics.

Renato Neves, Manuel A. Martins, Luís Soares Barbosa

Proceedings of the Formal Methods: Foundations and Applications - 17th Brazilian Symposium, 2014

A Dynamic Logic for Every Season.

Alexandre Madeira, Renato Neves, Manuel A. Martins, Luís Soares Barbosa

Proceedings of the Formal Methods: Foundations and Applications - 17th Brazilian Symposium, 2014

A Self-Adaptation Strategy for Service-Based Architectures.

Nuno Oliveira, Luís Soares Barbosa

Proceedings of the Eighth Brazilian Symposium on Software Components, 2014

Quantitative analysis of Reo-based service coordination.

Nuno Oliveira, Alexandra Silva, Luís Soares Barbosa

Proceedings of the Symposium on Applied Computing, 2014

Paradigm integration in a specification course.

Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa, Renato Neves

Proceedings of the 15th IEEE International Conference on Information Reuse and Integration, 2014

2013

A Coalgebraic Perspective on Logical Interpretations.

Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa

Stud Logica, 2013

Bisimilarity and refinement for hybrid(ised) logics

Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa

Proceedings of the Proceedings 16th International Refinement Workshop, 2013

Verifying Bigraphical Models of Architectural Reconfigurations.

Alejandro Sanchez, Luís Soares Barbosa, Daniel Riesco

Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013

When Even the Interface Evolves...

Alexandre Madeira, Renato Neves, Manuel A. Martins, Luís Soares Barbosa

Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013

Analysis of FLOSS Communities as Learning Contexts.

Sara Fernandes, Antonio Cerone, Luís Soares Barbosa

Proceedings of the Software Engineering and Formal Methods, 2013

Boilerplates for Reconfigurable Systems: A Language and Its Semantics.

Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa

Proceedings of the Programming Languages - 17th Brazilian Symposium, 2013

On the reconfiguration of software connectors.

Nuno Oliveira, Luís Soares Barbosa

Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

A pilot project on non-conventional learning.

Sara Fernandes, Antonio Cerone, Luís Soares Barbosa

Proceedings of the Innovation and Technology in Computer Science Education conference 2013, 2013

An Institution for Alloy and Its Translation to Second-Order Logic.

Renato Neves, Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa

Proceedings of the Integration of Reusable Systems [extended versions of the best papers which were presented at IEEE International Conference on Information Reuse and Integration and IEEE International Workshop on Formal Methods Integration, 2013

Giving Alloy a family.

Renato Neves, Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa

Proceedings of the IEEE 14th International Conference on Information Reuse & Integration, 2013

Integrating Formal and Informal Learning through a FLOSS-Based Innovative Approach.

Sara Fernandes, Maria Helena Martinho, Antonio Cerone, Luís Soares Barbosa

Proceedings of the Collaboration and Technology - 19th International Conference, 2013

Hybridisation at Work.

Renato Neves, Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa

Proceedings of the Algebra and Coalgebra in Computer Science, 2013

2012

A Calculus for Generic, QoS-Aware Component Composition.

Luís Soares Barbosa, Meng Sun

Math. Comput. Sci., 2012

Reconfiguration Mechanisms for Service Coordination.

Nuno Oliveira, Luís Soares Barbosa

Proceedings of the Web Services and Formal Methods - 9th International Workshop, 2012

Analysing Tactics in Architectural Patterns.

Alejandro Sanchez, Ademar Aguiar, Luís Soares Barbosa, Daniel Riesco

Proceedings of the 35th Annual IEEE Software Engineering Workshop, 2012

FLOSS in Technology-Enhanced Learning.

Sara Fernandes, Antonio Cerone, Luís Soares Barbosa, Pantelis M. Papadopoulos

Proceedings of the Information Technology and Open Source: Applications for Education, Innovation, and Sustainability, 2012

A Preliminary Analysis of Learning Awareness in FLOSS Projects.

Sara Fernandes, Antonio Cerone, Luís Soares Barbosa

Proceedings of the Information Technology and Open Source: Applications for Education, Innovation, and Sustainability, 2012

Mathematical Literacy as a Condition for Sustainable Development.

Luís Soares Barbosa, Maria Helena Martinho

Proceedings of the Information Technology and Open Source: Applications for Education, Innovation, and Sustainability, 2012

Software Components as Invariant-Typed Arrows - (Keynote Talk).

Luís Soares Barbosa

Proceedings of the Programming Languages - 16th Brazilian Symposium, 2012

Exploiting the FLOSS paradigm in collaborative e-learning: application to e-government.

Sara Fernandes, Antonio Cerone, Luís Soares Barbosa

Proceedings of the 6th International Conference on Theory and Practice of Electronic Governance, 2012

2011

Preface.

Luís Soares Barbosa, Dimitrios Settas

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

Refinement by interpretation in π-institutions

César Jesus Rodrigues, Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa

Proceedings of the Proceedings 15th International Refinement Workshop, 2011

Logic Training through Algorithmic Problem Solving.

João F. Ferreira, Alexandra Mendes, Alcino Cunha, Carlos Baquero, Paulo F. Silva, Luís Soares Barbosa, José Nuno Oliveira

Proceedings of the Tools for Teaching Logic - Third International Congress, 2011

Hybrid Specification of Reactive Systems: An Institutional Approach.

Alexandre Madeira, José M. Faria, Manuel A. Martins, Luís Soares Barbosa

Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011

The Role of Coordination Analysis in Software Integration Projects.

Nuno F. Rodrigues, Nuno Oliveira, Luís Soares Barbosa

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2011 Workshops, 2011

Bigraphical Modelling of Architectural Patterns.

Alejandro Sanchez, Luís Soares Barbosa, Daniel Riesco

Proceedings of the Formal Aspects of Component Software - 8th International Symposium, 2011

Hybridization of Institutions.

Manuel A. Martins, Alexandre Madeira, Razvan Diaconescu, Luís Soares Barbosa

Proceedings of the Algebra and Coalgebra in Computer Science, 2011

Shacc: A Functional Prototyper for a Component Calculus.

André Martins, Luís Soares Barbosa, Nuno F. Rodrigues

Proceedings of the Algebra and Coalgebra in Computer Science, 2011

A language for behavioural modelling of architectural patterns.

Alejandro Sanchez, Luís Soares Barbosa, Daniel Riesco

Proceedings of the Third Workshop on Behavioural Modelling, 2011

2010

Slicing for architectural analysis.

Nuno F. Rodrigues, Luís Soares Barbosa

Sci. Comput. Program., 2010

Bringing class diagrams to life.

Luís Soares Barbosa, Sun Meng

Innov. Syst. Softw. Eng., 2010

Preface.

Luís Soares Barbosa, Antonio Cerone, Siraj Ahmed Shaikh

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

Special issue: Open Source Certification.

Ernesto Damiani, Luís Soares Barbosa, Peter T. Breuer, Claudio A. Ardagna

Comput. Syst. Sci. Eng., 2010

Certification of open-source software: A role for formal methods?

Luís Soares Barbosa, Antonio Cerone, Alexander K. Petrenko, Siraj A. Shaikh

Comput. Syst. Sci. Eng., 2010

Revisiting Context-Aware Component Interconnection.

Luís Soares Barbosa, Marco Antonio Barbosa, César Jesus Rodrigues

Proceedings of the 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2010

Towards the introduction of QoS information in a component model.

Sun Meng, Luís Soares Barbosa

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

QoS-aware Component Composition.

Luís Soares Barbosa, Sun Meng

Proceedings of the CISIS 2010, 2010

2009

A perspective on service orchestration.

Marco Antonio Barbosa, Luís Soares Barbosa

Sci. Comput. Program., 2009

A Single Complete Relational Rule for Coalgebraic Refinement.

César Jesus Rodrigues, José Nuno Oliveira, Luís Soares Barbosa

Proceedings of the 14th BCS-FACS Refinement Workshop, 2009

Refinement by Interpretation in a General Setting.

Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa

Proceedings of the 14th BCS-FACS Refinement Workshop, 2009

Implementation of an Orchestration Language as a Haskell Domain Specific Language.

Marco Devesas Campos, Luís Soares Barbosa

Proceedings of the 8th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2009

Which Mathematics for the Information Society?

João F. Ferreira, Alexandra Mendes, Roland Carl Backhouse, Luís Soares Barbosa

Proceedings of the Teaching Formal Methods, Second International Conference, 2009

Refinement via Interpretation.

Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa

Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009

A Coordination Model for Interactive Components.

Marco Antonio Barbosa, Luís Soares Barbosa, José Creissac Campos

Proceedings of the Fundamentals of Software Engineering, 2009

Co-Algebraic Semantic Framework for Reasoning about Interaction Designs.

Sun Meng, Luís Soares Barbosa

Proceedings of the UML 2 Semantics and Applications, 2009

2008

A Relational Model for Confined Separation Logic.

Shuling Wang, Luís Soares Barbosa, José Nuno Oliveira

Proceedings of the Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, 2008

UML Model Refactoring as Refinement: A Coalgebraic Perspective.

Luís Soares Barbosa, Sun Meng

Proceedings of the SYNASC 2008, 2008

On the Discovery of Business Processes Orchestration Patterns.

Nuno F. Rodrigues, Luís Soares Barbosa

Proceedings of the 2008 IEEE Congress on Services, Part I, 2008

CoordInspector: A Tool for Extracting Coordination Data from Legacy Code.

Nuno F. Rodrigues, Luís Soares Barbosa

Proceedings of the Eighth IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2008), 2008

A Coalgebraic Semantic Framework for Reasoning about UML Sequence Diagrams.

Sun Meng, Luís Soares Barbosa

Proceedings of the Eighth International Conference on Quality Software, 2008

Calculating Invariants as Coreflexive Bisimulations.

Luís Soares Barbosa, José Nuno Oliveira, Alexandra Silva

Proceedings of the Algebraic Methodology and Software Technology, 2008

2007

Higher-Order Lazy Functional Slicing.

Nuno F. Rodrigues, Luís Soares Barbosa

J. Univers. Comput. Sci., 2007

An Exercise on Transition Systems.

Paula R. Ribeiro, Luís Soares Barbosa, Shuling Wang

Proceedings of the 1st International Workshop on Harnessing Theories for Tool Support in Software, 2007

A type-level approach to component prototyping.

Luís Soares Barbosa, Jácome Cunha, Joost Visser

Proceedings of the International Workshop on Synthesis and Analysis of Component Connectors: in conjunction with the 6th ESEC/FSE joint meeting, 2007

2006

Components as coalgebras: The refinement dimension.

Sun Meng, Luís Soares Barbosa

Theor. Comput. Sci., 2006

Transposing partial components - An exercise on coalgebraic refinement.

Luís Soares Barbosa, José Nuno Oliveira

Theor. Comput. Sci., 2006

Program Slicing by Calculation.

Nuno F. Rodrigues, Luís Soares Barbosa

J. Univers. Comput. Sci., 2006

Generic Process Algebra: A Programming Challenge.

Paula R. Ribeiro, Marco Antonio Barbosa, Luís Soares Barbosa

J. Univers. Comput. Sci., 2006

Towards a Coordination Model for Interactive Systems.

Marco Antonio Barbosa, Luís Soares Barbosa, José Creissac Campos

Proceedings of the First International Workshop on Formal Methods for Interactive Systems, 2006

An Orchestrator for Dynamic Interconnection of Software Components.

Marco Antonio Barbosa, Luís Soares Barbosa

Proceedings of the Combined Proceedings of the Second International Workshop on Coordination and Organization (CoOrg 2006) and the Second International Workshop on Methods and Tools for Coordinating Concurrent, 2006

Configurations of Web Services.

Marco Antonio Barbosa, Luís Soares Barbosa

Proceedings of the Fifth International Workshop on the Foundations of Coordination Languages and Software Architectures, 2006

2005

From Algebras to Objects: Generation and Composition.

A. Miguel Cruz, Luís Soares Barbosa, José Nuno Oliveira

J. Univers. Comput. Sci., 2005

Component Identification Through Program Slicing.

Nuno F. Rodrigues, Luís Soares Barbosa

Proceedings of the International Workshop on Formal Aspects of Component Software, 2005

Preface.

Zhiming Liu, Luís Soares Barbosa

Proceedings of the International Workshop on Formal Aspects of Component Software, 2005

On Refinement of Software Architectures.

Sun Meng, Luís Soares Barbosa, Zhang Naixiao

Proceedings of the Theoretical Aspects of Computing, 2005

Slicing Functional Programs by Calculation.

Nuno F. Rodrigues, Luís Soares Barbosa

Proceedings of the Beyond Program Slicing, 06.11. - 11.11.2005, 2005

2004

A Relational Model for Component Interconnection.

Marco Antonio Barbosa, Luís Soares Barbosa

J. Univers. Comput. Sci., 2004

Architectural Prototyping: From CCS to .Net.

Nuno F. Rodrigues, Luís Soares Barbosa

Proceedings of the Seventh Brazilian Symposium on Formal Methods, 2004

A Coalgebraic Semantic Framework for Component-based Development in UML.

Sun Meng, Bernhard K. Aichernig, Luís Soares Barbosa, Zhang Naixiao

Proceedings of the 10th Conference on Category Theory in Computer Science, 2004

On Semantics and Refinement of UML Statecharts: A Coalgebraic View.

Sun Meng, Zhang Naixiao, Luís Soares Barbosa

Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004

Specifying Software Connectors.

Marco Antonio Barbosa, Luís Soares Barbosa

Proceedings of the Theoretical Aspects of Computing, 2004

A Perspective on Component Refinement.

Luís Soares Barbosa

Proceedings of the Formal Methods for Components and Objects, 2004

On Refinement of Generic State-Based Software Components.

Sun Meng, Luís Soares Barbosa

Proceedings of the Algebraic Methodology and Software Technology, 2004

2003

Towards a Calculus of State-based Software Components.

Luís Soares Barbosa

J. Univers. Comput. Sci., 2003

State-based Components Made Generic.

Luís Soares Barbosa, José Nuno Oliveira

Proceedings of the 6th International Workshop on Coalgebraic Methods in Computer Science, 2003

2002

Coinductive Interpreters for Process Calculi.

Luís Soares Barbosa, José Nuno Oliveira

Proceedings of the Functional and Logic Programming, 6th International Symposium, 2002

2001

Components as coalgebras

Luís Soares Barbosa

PhD thesis, 2001

Process Calculià la Bird-Meertens.

Luís Soares Barbosa

Proceedings of the Coalgebraic Methods in Computer Science, 2001

2000

Components as Processes: An Exercise in Coalgebraic Modeling.

Luís Soares Barbosa

Proceedings of the Formal Methods for Open Object-Based Distributed Systems IV, 2000

1999

Prototyping Processes.

Luís Soares Barbosa

Proceedings of the 1999 Joint Conference on Declarative Programming, 1999

1997

CAMILA: Prototyping and Refinement of Constructive Specifications.

José João Almeida, Luís Soares Barbosa, F. Luis Neves, José Nuno Oliveira

Proceedings of the Algebraic Methodology and Software Technology, 1997