Reserved Area
Announcements
Blog
Images
Links
Opportunities
Presentations
Research Projects
Software
Talk at the Joint SSaaPP/FATBIT 2012 Workshop: Model-based Spreadsheet Engineering (Slides in PDF)
http://www.slideshare.net/JcomeCunha/talk-at-the-joint-ssaappfatbit-2012-worksho...
Recent Presentations
Measuring Icebergs: Using Different Methods to Estimate the Number of COVID-19 Cases in Portugal and Spain
Simplifying the analysis of software design variants with a colorful Alloy
HPC enabled ML-based approaches for Veteran Suicide Prevention
Authenticated, Partial Data Structures for Blockchain Scalability, Sustainability and Security
SSQSA: Set of Software Quality Static Analyzers
more