Strategic Term Rewriting and Its Application to a VDMSL to SQL Conversion. - Tiago L. Alves; Paulo F. Silva 001; Joost Visser 001; José Nuno Oliveira (FM, 2005)

A Case Study in Grammar Engineering. - Tiago L. Alves; Joost Visser 001 (SLE, 2008)

Constraint-aware Schema Transformation. - Tiago L. Alves; Paulo F. Silva 001; Joost Visser 001 (RULE, 2008)

Static Estimation of Test Coverage. - Tiago L. Alves; Joost Visser 001 (SCAM, 2009)

Assessment of product maintainability for two space domain simulators. - Tiago L. Alves (ICSM, 2010)

Deriving metric thresholds from benchmark data. - Tiago L. Alves; Christiaan Ypma; Joost Visser 001 (ICSM, 2010)

Categories of Source Code in Industrial Systems. - Tiago L. Alves (ESEM, 2011)

Type-Safe Evolution of Spreadsheets. - Jácome Cunha; Joost Visser 001; Tiago L. Alves; João Saraiva (FASE, 2011)

Benchmark-Based Aggregation of Metrics to Ratings. - Tiago L. Alves; José Pedro Correia; Joost Visser 001 (IWSM/Mensura, 2011)

A Comparative Study of Code Query Technologies. - Tiago L. Alves; Jurriaan Hage; Peter Rademaker (SCAM, 2011)

Foreword: Quality in ICT Evolution. - Tiago L. Alves (QUATIC, 2012)

Applying ISO/IEC 25010 Standard to Prioritize and Solve Quality Issues of Automatic ETL Processes. - Tiago L. Alves; Pedro Silva 002; Miguel Sales Dias (ICSME, 2014)