742 citations
- Universidade do PortoPT149 papers
- University of MinhoPT47 papers
- University of LisbonPT20 papers
- University of AveiroPT18 papers
- Polytechnic Institute of PortoPT17 papers
- Instituto de Engenharia de Sistemas e Computadores Investigação e DesenvolvimentoPT16 papers
- University of Beira InteriorPT16 papers
- Institute for Systems Engineering and ComputersPT13 papers
- University of CoimbraPT13 papers
- Carnegie Mellon UniversityUS12 papers
- Universidade PortucalensePT10 papers
- Instituto Superior TécnicoPT9 papers
22 papers · 1 filter
Integrating User Design and Formal Models within PVSio-Web
Nathaniel Watson, Steve Reeves, Paolo Masci
Creating formal models of interactive systems has wide reaching benefits, not only for verifying low-level correctness, but also as a tool for ensuring user interfaces behave logic…
Improving the Visualization of Alloy Instances
Rui Couto, José C. Campos, Nuno Macedo +1
Alloy is a lightweight formal specification language, supported by an IDE, which has proven well-suited for reasoning about software design in early development stages. The IDE pro…
Proceedings 4th Workshop on Formal Integrated Development Environment
Paolo Masci, Rosemary Monahan, Virgile Prevosto
This volume contains the proceedings of F-IDE 2018, the fourth international workshop on Formal Integrated Development Environment, which was held as a FLoC 2018 satellite event, o…
Estimation of atmospheric turbulence parameters from Shack-Hartmann wavefront sensor measurements
Paulo P. Andrade, Paulo J. V. Garcia, Carlos M. Correia +2
The estimation of atmospheric turbulence parameters is of relevance for: a) site evaluation & characterisation; b) prediction of the point spread function; c) live assessment of er…
UOLO - automatic object detection and segmentation in biomedical images
Teresa Araújo, Guilherme Aresta, Adrian Galdran +3
We propose UOLO, a novel framework for the simultaneous detection and segmentation of structures of interest in medical images. UOLO consists of an object segmentation module which…
Peer-to-peer and community-based markets: A comprehensive review
Tiago Sousa, Tiago Soares, Pierre Pinson +3
The advent of more proactive consumers, the so-called "prosumers", with production and storage capabilities, is empowering the consumers and bringing new opportunities and challeng…