publicações selecionadas
-
artigo académico
- On the reconfiguration of software connectors. Proceedings of the ACM Symposium on Applied Computing. 2013
- Refinement via interpretation. SEFM 2009 - 7th IEEE International Conference on Software Engineering and Formal Methods. 2009
- A relational model for confined separation logic. Proceedings - 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2008. 2008
- On the discovery of business processes orchestration patterns. Proceedings - 2008 IEEE Congress on Services, SERVICES 2008. 2008
- UML model refactoring as refinement: A coalgebraic perspective. Proceedings of the 2008 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2008. 2008
-
artigo de conferência
- Towards a specification theory for fuzzy modal logic 2021
- Generalised quantum tree search 2021
- Towards a register-based census in Oman 2020
- A framework for intelligent policy decision making based on a government data hub 2020
- Software engineering for 'quantum advantage' 2020
- Combining Advantages from Parameters in Modeling and Control of Discrete Event Systems. IEEE International Conference on Emerging Technologies and Factory Automation - ETFA. 2019
- Deep learning powered question-answering framework for organizations digital transformation 2019
- Communities of Practice as a tool to support the GCIO function 2018
- Transforming Legal Documents for Visualization and Analysis 2018
- Layered logics, coalgebraically 2017
- A Refinement Relation for Families of Timed Automata. Computational Methods in Applied Sciences. 2017
- A framework for certification of large-scale component-based parallel computing systems in a cloud computing platform for HPC services 2017
- Administrative Burden Reduction Over Time: Literature Review, Trends and Gap Analysis 2017
- Certification of Workflows in a Component-Based Cloud of High Performance Computing Services. Computational Methods in Applied Sciences. 2017
- Composing Families of Timed Automata. Computational Methods in Applied Sciences. 2017
- Digital Governance for Sustainable Development 2017
- Modeling Families of Public Licensing Services: A Case Study. FME Workshop on Formal Methods in Software Engineering. 2017
- On Kleene Algebras for Weighted Computation. Computational Methods in Applied Sciences. 2017
- An enhanced model for stochastic coordination. Electronic Proceedings in Theoretical Computer Science. 2016
- Applying the 3C Model to FLOSS Communities. Computational Methods in Applied Sciences. 2016
- Dynamic Logic with Binders and Its Application to the Development of Reactive Systems. Computational Methods in Applied Sciences. 2016
- Electronic governance in Portugal: A silent pioneer 2016
- Hybrid Automata as Coalgebras. Computational Methods in Applied Sciences. 2016
- A Logic for Robotics?. AIP Conference Proceedings. 2015
- A Dynamic Logic for Every Season. Computational Methods in Applied Sciences. 2014
- Introducing hierarquical hybrid logic 2014
- Modelling and Verifying Smell-Free Architectures with the ARCHERY Language. Computational Methods in Applied Sciences. 2014
- Quantitative analysis of Reo-based service coordination 2014
- ReCooPla: a DSL for coordination-based reconfiguration of software architectures. OASIcs: OpenAccess Series in Informatics. 2014
- A pilot project on non-conventional learning. Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE. 2013
- Bisimilarity and refinement for hybrid(ised) logics. Electronic Proceedings in Theoretical Computer Science. 2013
- Boilerplates for reconfigurable systems: A language and its semantics. Computational Methods in Applied Sciences. 2013
- Giving Alloy a family 2013
- Hybridisation at Work. Computational Methods in Applied Sciences. 2013
- Verifying bigraphical models of architectural reconfigurations 2013
- When Even the Interface Evolves... 2013
- A Preliminary Analysis of Learning Awareness in FLOSS Projects. Computational Methods in Applied Sciences. 2012
- Analysing tactics in architectural patterns. IEEE Annual IEEE Software Engineering Workshop. 2012
- Exploiting the FLOSS paradigm in collaborative e-learning-application to e-Government 2012
- Reconfiguration mechanisms for service coordination. Computational Methods in Applied Sciences. 2012
- Software components as invariant-typed arrows (Keynote Talk). Computational Methods in Applied Sciences. 2012
- A language for behavioural modelling of architectural patterns 2011
- Bigraphical modelling of architectural patterns. Computational Methods in Applied Sciences. 2011
- Hybrid specification of reactive systems: An institutional approach. Computational Methods in Applied Sciences. 2011
- Hybridization of institutions. Computational Methods in Applied Sciences. 2011
- Logic training through algorithmic problem solving. Computational Methods in Applied Sciences. 2011
- Models as arrows: the role of dialgebras 2011
- On requirements engineering for reactive systems: a formal methodology 2011
- Reasoning about complex requirements in a uniform setting 2011
- Refinement by interpretation in pi-institutions. Electronic Proceedings in Theoretical Computer Science. 2011
- Revisiting context-aware component interconnection. International Symposium on Symbolic and Numeric Algorithms for Scientific Computing. 2011
- Shacc: A functional prototyper for a component calculus. Computational Methods in Applied Sciences. 2011
- The role of coordination analysis in software integration projects. Computational Methods in Applied Sciences. 2011
- Towards rigorous analysis of open source software 2011
- QoS-aware component composition 2010
- Should mathematics remain invisible? 2010
- Towards the introduction of QoS information in a component model 2010
- A coordination model for interactive components. Computational Methods in Applied Sciences. 2009
- Which mathematics for the Information Society?. Computational Methods in Applied Sciences. 2009
- A coalgebraic semantic framework for reasoning about UML: sequence diagrams. International Conference on Quality Software. 2008
- COORDINSPECTOR : a tool for extracting coordination data from legacy code 2008
- Extracting and verifying coordination models from source code 2008
- A type-level approach to component prototyping 2007
- Camila Revival: VDM meets Haskell 2005
- On refinement of software architectures. Computational Methods in Applied Sciences. 2005
- Specifying software connectors. Computational Methods in Applied Sciences. 2005
- On semantics and refinement of UML statecharts: a coalgebraic view 2004
- Prototyping behavioural specifications in the net framework 2004
- Towards a relational model for component interconnection 2004
- On the specification of a component repository 2003
- Coinductive interpreters for process calculi. Computational Methods in Applied Sciences. 2002
- Components as processes: An exercise in coalgebraic modeling. IFIP Advances in Information and Communication Technology. 2000
- Polytipic recursion patterns 2000
- Prototyping processes 1999
- CAMILA: Prototyping and Refinement of Constructive Specifications. Computational Methods in Applied Sciences. 1997
- CAMILA: formal software engineering supported by functional programming 1997
-
artigo de revista
- Coalgebra for the working software engineer. Journal of Applied Logics. 2022
- A semantics and a logic for Fuzzy Arden Syntax. Soft Computing. 2021
- Fuzzy Automata as Coalgebras. Biology. 2021
- Quantum Tree-Based Planning. IEEE Access. 2021
- Quantum bayesian decision‑making. Foundations of Science. 2021
- Simulation of Nonradiative Energy Transfer in Photosynthetic Systems Using a Quantum Computer. Complexity. 2020
- Data governance: Organizing data for trustworthy Artificial Intelligence. Government Information Quarterly. 2020
- A component-based framework for certification of components in a cloud of HPC services. Computational Methods in Applied Sciences. 2020
- Introducing Synchrony in Fuzzy Automata. Electronic Notes in Theoretical Computer Science. 2020
- Generalising KAT to verify weighted computations. Scientific Annals of Computer Science. 2019
- A logic for the stepwise development of reactive systems. Theoretical Computer Science. 2018
- Languages and models for hybrid automata: A coalgebraic perspective. Theoretical Computer Science. 2018
- A taxonomy for planning and designing smart mobility services. Government Information Quarterly. 2018
- Hierarchical Hybrid Logic. Electronic Notes in Theoretical Computer Science. 2018
- A method for rigorous design of reconfigurable systems. Computational Methods in Applied Sciences. 2016
- Continuity as a computational effect. Journal of Logical and Algebraic Methods in Programming. 2016
- Proof theory for hybrid(ised) logics. Computational Methods in Applied Sciences. 2016
- A perspective on architectural re-engineering. Computational Methods in Applied Sciences. 2015
- On the verification of architectural reconfigurations. Computer Languages Systems & Structures. 2015
- Refinement in hybridised institutions. Formal Aspects of Computing. 2015
- Towards an engine for coordination-based architectural reconfigurations. Computer Science and Information Systems. 2015
- A Hilbert-Style Axiomatisation for Equational Hybrid Logic. Journal of Logic Language and Information. 2014
- The role of logical interpretations on program development. Logical Methods in Computer Science. 2014
- A Coalgebraic Perspective on Logical Interpretations. Studia Logica. 2013
- FLOSS communities as learning networks. International Journal of Information and Education Technology. 2013
- A Calculus for Generic, QoS-Aware Component Composition. Mathematics in Computer Science. 2012
- Bringing class diagrams to life. Innovations in Systems and Software Engineering. 2010
- Certification of open-source software : a role for formal methods?. Computer Systems Science and Engineering. 2010
- Slicing for architectural analysis. Computational Methods in Applied Sciences. 2010
- A Single Complete Relational Rule for Coalgebraic Refinement. Electronic Notes in Theoretical Computer Science. 2009
- A perspective on service orchestration. Computational Methods in Applied Sciences. 2009
- Implementation of an Orchestration Language as a Haskell Domain Specific Language. Electronic Notes in Theoretical Computer Science. 2009
- Refinement by Interpretation in a General Setting. Electronic Notes in Theoretical Computer Science. 2009
- An Exercise on Transition Systems. Electronic Notes in Theoretical Computer Science. 2008
- Towards a Coordination Model for Interactive Systems. Electronic Notes in Theorectical Computer Science. 2008
- An Orchestrator for Dynamic Interconnection of Software Components. Electronic Notes in Theoretical Computer Science. 2007
- Configurations of Web Services. Electronic Notes in Theoretical Computer Science. 2007
- Higher-order lazy functional slicing. Journal of Universal Computer Science. 2007
- Component Identification Through Program Slicing. Electronic Notes in Theoretical Computer Science. 2006
- Components as coalgebras: The refinement dimension. Theoretical Computer Science. 2006
- Generic process algebra: a programming challenge. Journal of Universal Computer Science. 2006
- Program slicing by calculation. Journal of Universal Computer Science. 2006
- Transposing partial components-An exercise on coalgebraic refinement. Theoretical Computer Science. 2006
- A coalgebraic semantic framework for component-based development in UML. Electronic Notes in Theoretical Computer Science. 2005
- Architectural prototyping: From CCS to. Net. Electronic Notes in Theoretical Computer Science. 2005
- From algebras to objects: generation and composition. Journal of Universal Computer Science. 2005
- State-based components made generic. Electronic Notes in Theoretical Computer Science. 2003
- Towards a calculus of state-based software components. Journal of Universal Computer Science. 2003
- Process calculi à la bird-meertens. Electronic Notes in Theoretical Computer Science. 2001
-
capítulo de livro
- On the Generation of Equational Dynamic Logics for Weighted Imperative Programs. Computational Methods in Applied Sciences. 2019
- Reactive Models for Biological Regulatory Networks. Computational Methods in Applied Sciences. 2019
- A Note on Reactive Transitions and Reo Connectors. Computational Methods in Applied Sciences. 2018
- Networks of Universities as a Tool for GCIO Education. Computational Methods in Applied Sciences. 2017
- On infinitary equational hybrid logic 2017
- Reuse and Integration of Specification Logics: The Hybridisation Perspective. AI Communications. 2016
- An Institution for Alloy and Its Translation to Second-Order Logic. AI Communications. 2013
- Integrating formal and informal learning through a FLOSS-based innovative approach. Computational Methods in Applied Sciences. 2013
- A coalgebraic semantic framework for reasoning about interaction designs 2009
- Calculating invariants as coreflexive bisimulations. Computational Methods in Applied Sciences. 2008
- Modelling is for reasoning 2007
- On refinement of generic state-based software components. Computational Methods in Applied Sciences. 2004
-
documento
- Formal aspects of component software (FACS 2010 selected and extended papers). Computational Methods in Applied Sciences. 2014
- Selected and extended papers of the Brazilian Symposium on Programming Languages 2012 Preface. Computational Methods in Applied Sciences. 2014
- Selected contributions from the Open Source Software Certification (OpenCert) workshops Preface. Computational Methods in Applied Sciences. 2014
-
teses