help

Você está em: Start > Publications > Special issue on selected papers from the 14th International Conference on Formal Aspects of Component Software (FACS 2017) > View related publications

Instalation Map

Publication

Publication Search

Publications with the same journal as the Special issue on selected papers from the 14th International Conference on Formal Aspects of Component Software (FACS 2017) publication

Group by: Order:

Article in International Scientific Journal

Typed connector families and their semantics

Proença, J (Author) (Other); Clarke, D (Author) (Other)

2017

Indexing

The CAOS framework for Scala: Computer-aided design of SOS

Proença, J (Author) (FCUP); Edixhoven, L (Author) (Other)

2025

Indexing

Ranking programming languages by energy efficiency

Rui Pereira (Author) (Other); Marco Couto (Author) (Other); Francisco Ribeiro (Author) (Other); Rui Rua (Author) (Other); Jácome Cunha (Author) (FEUP); João Paulo Fernandes (Author) (FEUP); João Saraiva (Author) (Other)

2021

Indexing

Multiple intermediate structure deforestation by shortcut fusion

Pardo, A (Author) (Other); Joao Paulo Fernandes (Author) (Other); Saraiva, J (Author) (Other)

2016

Indexing

Model-based programming environments for spreadsheets

Cunha, J (Author) (FCUP); Mendes, J (Author) (Other); Saraiva, J (Author) (Other); Visser, J (Author) (Other)

2014

Indexing

Memoized zipper-based attribute grammars and their higher order extension

Joao Paulo Fernandes (Author) (Other); Martins, P (Author) (Other); Pardo, A (Author) (Other); Saraiva, J (Author) (Other); Viera, M (Author) (Other)

2019

Indexing

Hubs for VirtuosoNext: Online verification of real-time coordinators

Cledou, G (Author) (Other); Proenca, J (Author) (Other); Sputh, BHC (Author) (Other); Verhulst, E (Author) (Other)

2021

Indexing

Formal verification of side-channel countermeasures using self-composition

Bacelar Almeida, JB (Author) (Other); Barbosa, M (Author) (FCUP); Pinto, JS (Author) (Other); Vieira, B (Author) (Other)

2013

Indexing

Experiences on teaching alloy with an automated assessment platform

Macedo, N (Author) (FEUP); Alcino Cunha (Author) (Other); Renato Carvalho (Author) (Other); Ricardo Silva (Author) (Other); Ana C. R. Paiva (Author) (FEUP); Miguel Sozinho Ramalho (Author) (Other); Daniel Silva (Author) (Other)

2021

Indexing

Embedding attribute grammars and their extensions using functional zippers

Martins, P (Author) (Other); Joao Paulo Fernandes (Author) (Other); Saraiva, J (Author) (Other); Van Wyk, E (Author) (Other); Sloane, A (Author) (Other)

2016

Indexing

Channel-based coordination via constraint satisfaction

Clarke, D (Author) (Other); Proença, J (Author) (Other); Lazovik, A (Author) (Other); Arbab, F (Author) (Other)

2011

Indexing

Certifying execution time in multicores

Rodrigues, V (Author) (Other); Akesson, B (Author) (Other); Florido, M (Author) (FCUP); De Sousa, SM (Author) (Other); Pedroso, JP (Author) (FCUP); Vasconcelos, P (Author) (FCUP)

2015

Indexing

CAOVerif: An open-source deductive verification platform for cryptographic software implementations

Almeida, JB (Author) (Other); Barbosa, M (Author) (FCUP); Filliatre, JC (Author) (Other); Pinto, JS (Author) (Other); Vieira, B (Author) (Other)

2014

Indexing