Luís Soares Barbosa

According to our database1, Luís Soares Barbosa authored at least 143 papers between 1997 and 2021.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
A semantics and a logic for Fuzzy Arden Syntax.
Soft Comput., 2021

2020
A component-based framework for certification of components in a cloud of HPC services.
Sci. Comput. Program., 2020

Data governance: Organizing data for trustworthy Artificial Intelligence.
Gov. Inf. Q., 2020

Quantum Bayesian decision-making.
CoRR, 2020

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

Towards a register-based census in Oman.
Proceedings of the ICEGOV 2020: 13th International Conference on Theory and Practice of Electronic Governance, 2020

2019
Generalising KAT to Verify Weighted Computations.
Sci. Ann. Comput. Sci., 2019

Introducing Synchrony in Fuzzy Automata.
Proceedings of the 14th Workshop on Logical and Semantic Frameworks with Applications, 2019

On the Generation of Equational Dynamic Logics for Weighted Imperative Programs.
Proceedings of the Formal Methods and Software Engineering, 2019

Deep Learning Powered Question-Answering Framework for Organizations Digital Transformation.
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.
Proceedings of the 24th IEEE International Conference on Emerging Technologies and Factory Automation, 2019

2018
Languages and models for hybrid automata: A coalgebraic perspective.
Theor. Comput. Sci., 2018

A logic for the stepwise development of reactive systems.
Theor. Comput. Sci., 2018

A taxonomy for planning and designing smart mobility services.
Gov. Inf. Q., 2018

A Research Agenda on Quantum Algoritmics.
ERCIM News, 2018

Reactive Models for Biological Regulatory Networks.
Proceedings of the Molecular Logic and Computational Synthetic Biology, 2018

Communities of Practice as a tool to support the GCIO function.
Proceedings of the 11th International Conference on Theory and Practice of Electronic Governance, 2018

Transforming Legal Documents for Visualization and Analysis.
Proceedings of the 11th International Conference on Theory and Practice of Electronic Governance, 2018

A Note on Reactive Transitions and Reo Connectors.
Proceedings of the It's All About Coordination, 2018

2017
Hierarchical Hybrid Logic.
Proceedings of the 12th Workshop on Logical and Semantic Frameworks, with Applications, 2017

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

On Kleene Algebras for Weighted Computation.
Proceedings of the Formal Methods: Foundations and Applications - 20th Brazilian Symposium, 2017

A Refinement Relation for Families of Timed Automata.
Proceedings of the Formal Methods: Foundations and Applications - 20th Brazilian Symposium, 2017

Modeling Families of Public Licensing Services: A Case Study.
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.
Proceedings of the 10th International Conference on Theory and Practice of Electronic Governance, 2017

Digital Governance for Sustainable Development.
Proceedings of the Digital Nations - Smart Cities, Innovation, and Sustainability, 2017

Composing Families of Timed Automata.
Proceedings of the Fundamentals of Software Engineering - 7th International Conference, 2017

Certification of Workflows in a Component-Based Cloud of High Performance Computing Services.
Proceedings of the Formal Aspects of Component Software - 14th International Conference, 2017

Networks of Universities as a Tool for GCIO Education.
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.
Proceedings of the CLOSER 2017, 2017

2016
Reuse and Integration of Specification Logics: The Hybridisation Perspective.
Proceedings of the Theoretical Information Reuse and Integration, 2016

Proof theory for hybrid(ised) logics.
Sci. Comput. Program., 2016

A method for rigorous design of reconfigurable systems.
Sci. Comput. Program., 2016

Continuity as a computational effect.
J. Log. Algebraic Methods Program., 2016

Quien sabe por Algebra, sabe scientificamente: A tribute to José Nuno Oliveira.
J. Log. Algebraic Methods Program., 2016

An Enhanced Model for Stochastic Coordination.
Proceedings of the First International Workshop on Formal Methods for and on the Cloud, 2016

Asymmetric Combination of Logics is Functorial: A Survey.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2016

Hybrid Automata as Coalgebras.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2016, 2016

Dynamic Logic with Binders and Its Application to the Development of Reactive Systems.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2016, 2016

Digital Government and Administrative Burden Reduction.
Proceedings of the 9th International Conference on Theory and Practice of Electronic Governance, 2016

An Ontology for Licensing Public Transport Services.
Proceedings of the 9th International Conference on Theory and Practice of Electronic Governance, 2016

Electronic governance in Portugal: a silent pioneer.
Proceedings of the International Conference on Electronic Governance and Open Society, 2016

Applying the 3C Model to FLOSS Communities.
Proceedings of the Collaboration and Technology - 22nd International Conference, 2016

2015
A perspective on architectural re-engineering.
Sci. Comput. Program., 2015

Reasoning about software reconfigurations: The behavioural and structural perspectives.
Sci. Comput. Program., 2015

Self-adaptation by coordination-targeted reconfigurations.
J. Softw. Eng. Res. Dev., 2015

IMC<sub>Reo</sub>: interactive Markov chains for Stochastic Reo.
J. Internet Serv. Inf. Secur., 2015

Refinement in hybridised institutions.
Formal Aspects Comput., 2015

A logic for n-dimensional hierarchical refinement.
Proceedings of the Proceedings 17th International Workshop on Refinement, 2015

Towards an engine for coordination-based architectural reconfigurations.
Comput. Sci. Inf. Syst., 2015

On the verification of architectural reconfigurations.
Comput. Lang. Syst. Struct., 2015

2014
Selected and extended papers of the Brazilian Symposium on Programming Languages 2012.
Sci. Comput. Program., 2014

Selected contributions from the Open Source Software Certification (OpenCert) workshops.
Sci. Comput. Program., 2014

Formal Aspects of Component Software (FACS 2010 selected and extended papers).
Sci. Comput. Program., 2014

A Hilbert-Style Axiomatisation for Equational Hybrid Logic.
J. Log. Lang. Inf., 2014

The role of logical interpretations in program development.
Log. Methods Comput. Sci., 2014

ReCooPLa: a DSL for Coordination-based Reconfiguration of Software Architectures.
Proceedings of the 3rd Symposium on Languages, Applications and Technologies, 2014

Modelling and Verifying Smell-Free Architectures with the Archery Language.
Proceedings of the Software Engineering and Formal Methods, 2014

Completeness and Decidability Results for Hybrid(ised) Logics.
Proceedings of the Formal Methods: Foundations and Applications - 17th Brazilian Symposium, 2014

A Dynamic Logic for Every Season.
Proceedings of the Formal Methods: Foundations and Applications - 17th Brazilian Symposium, 2014

A Self-Adaptation Strategy for Service-Based Architectures.
Proceedings of the Eighth Brazilian Symposium on Software Components, 2014

Quantitative analysis of Reo-based service coordination.
Proceedings of the Symposium on Applied Computing, 2014

Paradigm integration in a specification course.
Proceedings of the 15th IEEE International Conference on Information Reuse and Integration, 2014

2013
A Coalgebraic Perspective on Logical Interpretations.
Stud Logica, 2013

Bisimilarity and refinement for hybrid(ised) logics
Proceedings of the Proceedings 16th International Refinement Workshop, 2013

Verifying Bigraphical Models of Architectural Reconfigurations.
Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013

When Even the Interface Evolves...
Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013

Analysis of FLOSS Communities as Learning Contexts.
Proceedings of the Software Engineering and Formal Methods, 2013

Boilerplates for Reconfigurable Systems: A Language and Its Semantics.
Proceedings of the Programming Languages - 17th Brazilian Symposium, 2013

On the reconfiguration of software connectors.
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

A pilot project on non-conventional learning.
Proceedings of the Innovation and Technology in Computer Science Education conference 2013, 2013

An Institution for Alloy and Its Translation to Second-Order Logic.
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.
Proceedings of the IEEE 14th International Conference on Information Reuse & Integration, 2013

Integrating Formal and Informal Learning through a FLOSS-Based Innovative Approach.
Proceedings of the Collaboration and Technology - 19th International Conference, 2013

Hybridisation at Work.
Proceedings of the Algebra and Coalgebra in Computer Science, 2013

2012
A Calculus for Generic, QoS-Aware Component Composition.
Math. Comput. Sci., 2012

Reconfiguration Mechanisms for Service Coordination.
Proceedings of the Web Services and Formal Methods - 9th International Workshop, 2012

Analysing Tactics in Architectural Patterns.
Proceedings of the 35th Annual IEEE Software Engineering Workshop, 2012

FLOSS in Technology-Enhanced Learning.
Proceedings of the Information Technology and Open Source: Applications for Education, Innovation, and Sustainability, 2012

A Preliminary Analysis of Learning Awareness in FLOSS Projects.
Proceedings of the Information Technology and Open Source: Applications for Education, Innovation, and Sustainability, 2012

Mathematical Literacy as a Condition for Sustainable Development.
Proceedings of the Information Technology and Open Source: Applications for Education, Innovation, and Sustainability, 2012

Software Components as Invariant-Typed Arrows - (Keynote Talk).
Proceedings of the Programming Languages - 16th Brazilian Symposium, 2012

Exploiting the FLOSS paradigm in collaborative e-learning: application to e-government.
Proceedings of the 6th International Conference on Theory and Practice of Electronic Governance, 2012

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

Refinement by interpretation in π-institutions
Proceedings of the Proceedings 15th International Refinement Workshop, 2011

Logic Training through Algorithmic Problem Solving.
Proceedings of the Tools for Teaching Logic - Third International Congress, 2011

Hybrid Specification of Reactive Systems: An Institutional Approach.
Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011

The Role of Coordination Analysis in Software Integration Projects.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2011 Workshops, 2011

Bigraphical Modelling of Architectural Patterns.
Proceedings of the Formal Aspects of Component Software - 8th International Symposium, 2011

Hybridization of Institutions.
Proceedings of the Algebra and Coalgebra in Computer Science, 2011

Shacc: A Functional Prototyper for a Component Calculus.
Proceedings of the Algebra and Coalgebra in Computer Science, 2011

A language for behavioural modelling of architectural patterns.
Proceedings of the Third Workshop on Behavioural Modelling, 2011

2010
Slicing for architectural analysis.
Sci. Comput. Program., 2010

Bringing class diagrams to life.
Innov. Syst. Softw. Eng., 2010

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

Special issue: Open Source Certification.
Comput. Syst. Sci. Eng., 2010

Certification of open-source software: A role for formal methods?
Comput. Syst. Sci. Eng., 2010

Revisiting Context-Aware Component Interconnection.
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.
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

QoS-aware Component Composition.
Proceedings of the CISIS 2010, 2010

2009
A perspective on service orchestration.
Sci. Comput. Program., 2009

A Single Complete Relational Rule for Coalgebraic Refinement.
Electron. Notes Theor. Comput. Sci., 2009

Refinement by Interpretation in a General Setting.
Electron. Notes Theor. Comput. Sci., 2009

Implementation of an Orchestration Language as a Haskell Domain Specific Language.
Electron. Notes Theor. Comput. Sci., 2009

Which Mathematics for the Information Society?
Proceedings of the Teaching Formal Methods, Second International Conference, 2009

Refinement via Interpretation.
Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009

A Coordination Model for Interactive Components.
Proceedings of the Fundamentals of Software Engineering, 2009

Co-Algebraic Semantic Framework for Reasoning about Interaction Designs.
Proceedings of the UML 2 Semantics and Applications, 2009

2008
An Exercise on Transition Systems.
Electron. Notes Theor. Comput. Sci., 2008

A Relational Model for Confined Separation Logic.
Proceedings of the Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, 2008

UML Model Refactoring as Refinement: A Coalgebraic Perspective.
Proceedings of the SYNASC 2008, 2008

On the Discovery of Business Processes Orchestration Patterns.
Proceedings of the 2008 IEEE Congress on Services, Part I, 2008

CoordInspector: A Tool for Extracting Coordination Data from Legacy Code.
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.
Proceedings of the Eighth International Conference on Quality Software, 2008

Calculating Invariants as Coreflexive Bisimulations.
Proceedings of the Algebraic Methodology and Software Technology, 2008

2007
Higher-Order Lazy Functional Slicing.
J. Univers. Comput. Sci., 2007

Towards a Coordination Model for Interactive Systems.
Electron. Notes Theor. Comput. Sci., 2007

An Orchestrator for Dynamic Interconnection of Software Components.
Electron. Notes Theor. Comput. Sci., 2007

Configurations of Web Services.
Electron. Notes Theor. Comput. Sci., 2007

A type-level approach to component prototyping.
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.
Theor. Comput. Sci., 2006

Transposing partial components - An exercise on coalgebraic refinement.
Theor. Comput. Sci., 2006

Program Slicing by Calculation.
J. Univers. Comput. Sci., 2006

Generic Process Algebra: A Programming Challenge.
J. Univers. Comput. Sci., 2006

Component Identification Through Program Slicing.
Electron. Notes Theor. Comput. Sci., 2006

Preface.
Electron. Notes Theor. Comput. Sci., 2006

2005
From Algebras to Objects: Generation and Composition.
J. Univers. Comput. Sci., 2005

Architectural Prototyping: From CCS to .Net.
Electron. Notes Theor. Comput. Sci., 2005

On Refinement of Software Architectures.
Proceedings of the Theoretical Aspects of Computing, 2005

Slicing Functional Programs by Calculation.
Proceedings of the Beyond Program Slicing, 06.11. - 11.11.2005, 2005

2004
A Relational Model for Component Interconnection.
J. Univers. Comput. Sci., 2004

A Coalgebraic Semantic Framework for Component-based Development in UML.
Proceedings of the 10th Conference on Category Theory in Computer Science, 2004

On Semantics and Refinement of UML Statecharts: A Coalgebraic View.
Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004

Specifying Software Connectors.
Proceedings of the Theoretical Aspects of Computing, 2004

A Perspective on Component Refinement.
Proceedings of the Formal Methods for Components and Objects, 2004

On Refinement of Generic State-Based Software Components.
Proceedings of the Algebraic Methodology and Software Technology, 2004

2003
Towards a Calculus of State-based Software Components.
J. Univers. Comput. Sci., 2003

State-based Components Made Generic.
Proceedings of the 6th International Workshop on Coalgebraic Methods in Computer Science, 2003

2002
Coinductive Interpreters for Process Calculi.
Proceedings of the Functional and Logic Programming, 6th International Symposium, 2002

2001
Process Calculià la Bird-Meertens.
Proceedings of the Coalgebraic Methods in Computer Science, 2001

2000
Components as Processes: An Exercise in Coalgebraic Modeling.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems IV, 2000

1999
Prototyping Processes.
Proceedings of the 1999 Joint Conference on Declarative Programming, 1999

1997
CAMILA: Prototyping and Refinement of Constructive Specifications.
Proceedings of the Algebraic Methodology and Software Technology, 1997


  Loading...