publicações selecionadas
-
artigo académico
- 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
- Continuity as a computational effect. Journal of Logical and Algebraic Methods in Programming. 2016
- Proof theory for hybrid(ised) logics. International Journal on Software Tools for Technology Transfer. 2016
- Refinement in hybridised institutions. Formal Aspects of Computing. 2015
- Refinement by Interpretation in a General Setting. Electronic Notes in Theoretical Computer Science. 2009
- Refinement via interpretation. SEFM 2009 - 7th IEEE International Conference on Software Engineering and Formal Methods. 2009
-
artigo de conferência
- Completeness and Decidability Results for Hybrid(ised) Logics 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
- 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
- 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
- Hybrid specification of reactive systems: An institutional approach. International Journal on Software Tools for Technology Transfer. 2011
- Hybridization of institutions. International Journal on Software Tools for Technology Transfer. 2011
- Refinement by interpretation in pi-institutions. Electronic Proceedings in Theoretical Computer Science. 2011
-
capítulo de livro
- A Note on Reactive Transitions and Reo Connectors. International Journal on Software Tools for Technology Transfer. 2018
- Reuse and Integration of Specification Logics: The Hybridisation Perspective. Advances in Intelligent Systems and Computing. 2016
-
documento
- Allocation in fashion retail 2018
- Introducing hierarquical hybrid logic 2014
- The role of logical interpretations on program development. Logical Methods in Computer Science. 2014
- 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
- Applying abstract algebraic logic to classical automata theory : an exercise 2010