publicações selecionadas
-
artigo académico
- Specification of paraconsistent transition systems, revisited. International Journal on Software Tools for Technology Transfer. 2025
- A semantics and a logic for Fuzzy Arden Syntax. Soft Computing. 2021
- 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
- Hierarchical Hybrid Logic. Electronic Notes in Theoretical Computer Science. 2018
- A method for rigorous design of reconfigurable systems. International Journal on Software Tools for Technology Transfer. 2016
- Proof theory for hybrid(ised) logics. International Journal on Software Tools for Technology Transfer. 2016
- On the verification of architectural reconfigurations. Computer Languages Systems & Structures. 2015
- Refinement in hybridised institutions. Formal Aspects of Computing. 2015
-
artigo de conferência
- Stepwise Development of Paraconsistent Processes 2023
- Structured Specification of Paraconsistent Transition Systems} 2023
- Capturing Qubit Decoherence through Paraconsistent Transition Systems 2023
- A logic for paraconsistent transition system. Electronic Proceedings in Theoretical Computer Science. 2022
- Towards a specification theory for fuzzy modal logic 2021
- On Kleene Algebras for Weighted Computation. International Journal on Software Tools for Technology Transfer. 2017
- Asymmetric Combination of Logics is Functorial: A Survey 2016
- Dynamic Logic with Binders and Its Application to the Development of Reactive Systems. International Journal on Software Tools for Technology Transfer. 2016
- A Logic for Robotics?. AIP Conference Proceedings. 2015
- A Dynamic Logic for Every Season. International Journal on Software Tools for Technology Transfer. 2014
- Modelling and Verifying Smell-Free Architectures with the ARCHERY Language. International Journal on Software Tools for Technology Transfer. 2014
- Paradigm integration in a specification course 2014
- An Institution for Alloy and Its Translation to Second-Order Logic. Advances in Intelligent Systems and Computing. 2013
- Bisimilarity and refinement for hybrid(ised) logics. Electronic Proceedings in Theoretical Computer Science. 2013
- Boilerplates for reconfigurable systems: A language and its semantics. International Journal on Software Tools for Technology Transfer. 2013
- Hybridisation at Work. International Journal on Software Tools for Technology Transfer. 2013
- When Even the Interface Evolves... 2013
-
capítulo de livro
- On the Generation of Equational Dynamic Logics for Weighted Imperative Programs. International Journal on Software Tools for Technology Transfer. 2019
- Reuse and Integration of Specification Logics: The Hybridisation Perspective. Advances in Intelligent Systems and Computing. 2016
-
documento
- Paraconsistent transition systems. Electronic Proceedings in Theoretical Computer Science. 2023
- Structured specification of paraconsistent transition systems. International Journal on Software Tools for Technology Transfer. 2023
- Weighted synchronous automata. Mathematical Structures in Computer Science. 2022
- Towards a specification theory for fuzzy modal logic 2021
- Generalising KAT to verify weighted computations. Scientific Annals of Computer Science. 2019
- On infinitary equational hybrid logic 2017
- Encoding hybridised institutions into first order logic. Mathematical Structures in Computer Science. 2016
- Introducing hierarquical hybrid logic 2014
- The role of logical interpretations on program development. Logical Methods in Computer Science. 2014
- Foundations and techniques for software reconfigurability 2013
- Applying abstract algebraic logic to classical automata theory : an exercise 2010