???global.info.a_carregar???
Identification

Personal identification

Full name
Tiago Diogo Ribeiro de Carvalho

Citation names

  • Carvalho, Tiago

Author identifiers

Ciência ID
751A-40A5-7610
ORCID iD
0000-0002-5826-7643
Google Scholar ID
KKiOUWoAAAAJ&hl
Education
Degree Classification
2019/07/12
Concluded
 Engenharia Informática (Doutoramento)
Major in Sem especialidade
Universidade do Porto Faculdade de Engenharia, Portugal
"Programming and mapping strategies for embedded computing runtime adaptability" (THESIS/DISSERTATION)
 Aprovado
2011
Concluded
 Integrated Master in Informatics and Computing Engineering (Mestrado)
Universidade do Porto Faculdade de Engenharia, Portugal
"A Meta-Language and Framework for Aspect-Oriented Programming" (THESIS/DISSERTATION)
 14 (out of 20)
Affiliation

Science

Category
Host institution 		Employer
2021/01/18 - Current Auxiliary Researcher (Research) Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal
Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal

Teaching in Higher Education

Category
Host institution 		Employer
2017/02 - Current Invited Assistant (University Teacher) Universidade do Porto, Portugal

Positions / Appointments

Category
Host institution 		Employer
2019/09/02 - 2021/01/15 Investigador Sénior Jscrambler, Portugal
Jscrambler, Portugal

Others

Category
Host institution 		Employer
2019/12 - 2021/01 Research Fellow for the project "AppOwl" (funded by the 2014-2020 North Portugal Regional Operational Programme (NORTE 2020) within project NORTE-01-0247-FEDER-045337) Jscrambler, Portugal
2018/09/02 - 2019/09/01 Research Fellow for the project "AppSeal" (funded by the 2014-2020 North Portugal Regional Operational Programme (NORTE 2020) within project NORTE-01-0247-FEDER-024146) Jscrambler, Portugal
Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal
2018/01/31 - 2018/08/31 Research Fellow for the project "SMILES" (funded by the 2014–2020 North Portugal Regional Opera-tional Programme (NORTE 2020) within project NORTE-01-0145-FEDER-000020(AE2017-0326 SMILES-5 - CSIG) Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
2017/01/01 - 2017/12/31 Research fellow for the project "CONTEXTWA" (partially funded by the ERDF - COMPETE 2020 Programme and by National Funds through FCT, withinproject POCI- 01-0145-FEDER-016883) Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
2011/09/01 - 2012/12/31 Research fellow for the project “REFLECT: Rendering FPGAs to Multi-Core Embedded Computing” (partially supported by the European Community under the Framework Programme 7 (FP7) under contract No. 2489 Universidade do Porto Faculdade de Engenharia, Portugal
2011/09/01 - 2011/11/30 Research fellow for the project “AMADEUS: Aspects and Compiler Optimizations for Matlab System Development” (PTDC/EIA/70271/2006) Universidade do Porto Faculdade de Engenharia, Portugal
2011/02/01 - 2011/07/31 Research fellow for the project “AMADEUS: Aspects and Compiler Optimizations for Matlab System Development” (PTDC/EIA/70271/2006) Universidade do Porto Faculdade de Engenharia, Portugal
2006/09/01 - 2011/07/14 Integrated Masters in Computing Engineering Universidade do Porto Faculdade de Engenharia, Portugal
2010/09/01 - 2010/11/30 Research fellow for the project “AMADEUS: Aspects and Compiler Optimizations for Matlab System Development” (PTDC/EIA/70271/2006) Universidade do Porto Faculdade de Engenharia, Portugal
2009/08/01 - 2009/10/31 Research fellow for the project “AMADEUS: Aspects and Compiler Optimizations for Matlab System Development” (PTDC/EIA/70271/2006) Universidade do Porto Faculdade de Engenharia, Portugal
Projects

Contract

Designation Funders
2020/01/01 - 2023/06/30 A Model-driven development framework for highly Parallel and EneRgy-Efficient computation supporting multi-criteria optimisation
871669
10.3030/871669
Post-doc
European Commission
Concluded
2019/12 - 2021/01 AppOwl
NORTE-01-0247-FEDER-045337
Researcher
Jscrambler, Portugal

Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
Associação para a Inovação e Desenvolvimento da FCT
Ongoing
2018/10/02 - 2019/09/01 AppSeal
NORTE-01-0247-FEDER-024146
Research Fellow
Jscrambler, Portugal

Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal
Associação para a Inovação e Desenvolvimento da FCT
Concluded
2018/01 - 2018/08 SMILES
NORTE-01-0145-FEDER-000020(AE2017-0326 SMILES-5 - CSIG)
Research Fellow
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
 Associação para a Inovação e Desenvolvimento da FCT
Concluded
2017/01 - 2017/12 CONTEXTWA
POCI-01-0145-FEDER-016883
Research Fellow
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
 Associação para a Inovação e Desenvolvimento da FCT
Concluded
2013/01/01 - 2016/12/31 PROGRAMMING AND MAPPING STRATEGIES FOR EMBEDDED COMPUTING RUNTIME ADAPTABILITY
SFRH/BD/90507/2012
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal

Universidade do Porto Faculdade de Ciências, Portugal
Fundação para a Ciência e a Tecnologia
Concluded
2011/09 - 2012/12 REFLECT
248976
Research Fellow
Universidade do Porto Faculdade de Engenharia, Portugal
 EU Framework Programme for Research and Innovation Excellent Science
Concluded
2009/08 - 2011/11 AMADEUS: ASPECTS AND COMPILER OPTIMIZATIONS FOR MATLAB SYSTEM DEVELOPMENT
PTDC/EIA/70271/2006
Research Fellow
Universidade do Porto Faculdade de Engenharia, Portugal
 Associação para a Inovação e Desenvolvimento da FCT
Concluded
Outputs

Publications

Book chapter
  1. Cardoso, João M. P.; de F. Coutinho, José Gabriel; Carvalho, Tiago; Diniz, Pedro C.. "The LARA Language". In Compilation and Synthesis for Embedded Reconfigurable Systems, 35-70. Springer New York, 2013.
    Published • 10.1007/978-1-4614-4894-5_3
  2. Cardoso, João M. P.; de F. Coutinho, José Gabriel; Nane, Razvan; Sima, Vlad-Mihai; Olivier, Bryan; Carvalho, Tiago; Nobre, Ricardo; et al. "The REFLECT Design-Flow". In Compilation and Synthesis for Embedded Reconfigurable Systems, 13-34. Springer New York, 2013.
    10.1007/978-1-4614-4894-5_2
  3. de F. Coutinho, José Gabriel; Cardoso, João M. P.; Carvalho, Tiago; Bhattacharya, Sujit; Luk, Wayne; Constantinides, George; Diniz, Pedro C.; Petrov, Zlatko. "Aspect-Based Source to Source Transformations". In Compilation and Synthesis for Embedded Reconfigurable Systems, 71-103. Springer New York, 2013.
    Published • 10.1007/978-1-4614-4894-5_4
  4. Coutinho, José G. F.; Cardoso, João M. P.; Carvalho, Tiago; Nobre, Ricardo; Bhattacharya, Sujit; Diniz, Pedro C.; Fitzpatrick, Liam; Nane, Razvan. "Deriving Resource Efficient Designs Using the REFLECT Aspect-Oriented Approach". In Reconfigurable Computing: Architectures, Tools and Applications, 226-228. Springer Berlin Heidelberg, 2013.
    10.1007/978-3-642-36812-7_29
  5. Gonçalves, F.; Petrov, Z.; De F. Coutinho, J.G.; Nane, R.; Sima, V.-M.; Cardoso, J.M.P.; Werner, S.; et al. "LARA experiments". 135-179. 2013.
Conference paper
  1. Tiago Silva; BISPO, JOÃO; Carvalho, Tiago. Corresponding author: BISPO, JOÃO. "Foundations for a Rust-Like Borrow Checker for C". Paper presented in Languages, Compilers, Tools and Theory of Embedded Systems (LCTES), Copenhagen, 2024.
    Accepted
  2. Tiago Carvalho and Luís Miguel Pinho and Mohammad Samadi and Sara. "Framework for the Analysis and Configuration of Real-Time OpenMP Applications". 2023.
    10.1109/INDIN51400.2023.10218276
  3. Mohammad Samadi Gharajeh and Tiago Carvalho and Luís Miguel Pinho. "Configuration of Parallel Real-Time Applications on Multi-Core Processors". 2022.
    10.1109/INDIN51773.2022.9976163
  4. Mohammad Samadi Gharajeh and Sara Royuela and Luís Miguel Pinho and. "Heuristic-based Task-to-Thread Mapping in Multi-Core Processors". 2022.
    10.1109/ETFA52439.2022.9921453
  5. Ricardo Gomes and Tiago Carvalho and António Barros and Luís Migue. "A Model Annotation Approach for the Support of Software Energy Properties Management using AMALTHEA". 2022.
    10.1109/ICPS51978.2022.9816987
  6. Garcia, K.D.; Carvalho, T.; Mendes-Moreira, J.; Cardoso, J.M.P.; de Carvalho, A.C.P.L.F.. "A Study on Hyperparameter Configuration for Human Activity Recognition". 2020.
    10.1007/978-3-030-20055-8_5
  7. Kemilly Dearo Garcia and Tiago Carvalho and João Mendes-Moreira and ; Francisco Martínez-Álvarez and Alicia Troncoso Lora and José António Sáez Muñoz and. "A Study on Hyperparameter Configuration for Human Activity Recognition". 2019.
    10.1007/978-3-030-20055-8\_5
  8. Carvalho, Tiago; Cardoso, João M. P.. "An approach based on a DSL + API for programming runtime adaptivity and autotuning concerns". Paper presented in ACM Symposium on Applied Computing, Pau, 2018.
    Published • 10.1145/3167132.3167263
  9. Nobre, Ricardo; Reis, Luís; Bispo, João; Carvalho, Tiago; Cardoso, João M.P.; Cherubin, Stefano; Agosta, Giovanni. "Aspect-Driven Mixed-Precision Tuning Targeting GPUs". Nova Iorque, 2018.
    Published • 10.1145/3183767.3183776
  10. Pinto, Pedro; Carvalho, Tiago; Bispo, João; Cardoso, João M. P.. "LARA as a language-independent aspect-oriented programming approach". Paper presented in ACM Symposium on Applied Computing, Marrakech, 2017.
    Published • 10.1145/3019612.3019749
  11. Carvalho, Tiago; Pinto, Pedro; Cardoso, João M. P.. "Programming Strategies for Contextual Runtime Specialization". Sankt Goard, 2015.
    10.1145/2764967.2764973
  12. Nobre, Ricardo; Pinto, Pedro; Carvalho, Tiago; Cardoso, João M. P.; Diniz, Pedro C.. "On Expressing Strategies for Directive-Driven Multicore Programing Models". Paper presented in Workshop on Parallel Programming and Run-Time Management Techniques for Many-core Architectures and Design Tools and Architectures for Multicore Embedded Computing Platforms, Vienna, 2014.
    10.1145/2556863.2556870
  13. Bispo, Joao; Pinto, Pedro; Nobre, Ricardo; Carvalho, Tiago; Cardoso, Joao M. P.; Diniz, Pedro C.. "The MATISSE MATLAB compiler". Paper presented in IEEE International Conference on Industrial Informatics (INDIN), Bochum, 2013.
    10.1109/indin.2013.6622952
  14. José Gabriel F. Coutinho and João M. P. Cardoso and Tiago Carvalho and ; Philip Brisk and José Gabriel F. Coutinho and Pedro C. Diniz. "Deriving Resource Efficient Designs Using the REFLECT Aspect-Oriented Approach - (Extended Abstract)". 2013.
    10.1007/978-3-642-36812-7\_29
  15. Cardoso, Joao M.P.; Carvalho, Tiago; Coutinho, Jose G.F.; Diniz, Pedro C.; Petrov, Zlatko; Luk, Wayne. "Controlling Hardware Synthesis with Aspects". Paper presented in Euromicro Conference on Digital System Design, Cesme, 2012.
    10.1109/dsd.2012.33
  16. Cardoso, Joao M. P.; Carvalho, Tiago; Teixeira, Joao; Diniz, Pedro C.; Goncalves, Fernando; Petrov, Zlatko. "Hardware/software specialization through aspects: The LARA approach". Paper presented in International Conference on Embedded Computer Systems (SAMOS), Samos, 2012.
    Published • 10.1109/samos.2012.6404183
  17. Cardoso, João M.P.; Carvalho, Tiago; Coutinho, José G.F.; Luk, Wayne; Nobre, Ricardo; Diniz, Pedro; Petrov, Zlatko. "LARA: an aspect-oriented programming language for embedded systems". Paper presented in International Conference on Aspect-oriented Software Development, Potsdam, 2012.
    Published • 10.1145/2162049.2162071
  18. Coutinho, José G.F.; Carvalho, Tiago; Durand, Sérgio; Cardoso, João M.P.; Nobre, Ricardo; Diniz, Pedro C.; Luk, Wayne. "Experiments with the LARA aspect-oriented approach". Paper presented in International Conference on Aspect-oriented Software Development Companion, Potsdam, 2012.
    Published • 10.1145/2162110.2162129
  19. "Resource-efficient designs using an aspect-oriented approach". 2012.
    10.1109/ICCSE.2012.62
Conference poster
  1. Carvalho, Tiago; Bispo, João. "The LARA-based Compiler Toolsuite". Paper presented in ACM SIGPLAN conference on Programming Language Design and Implementation, 2016.
  2. Carvalho, Tiago; Cardoso, Joao M.P.. "Programming Strategies for Con-textual Runtime Specialization". Paper presented in Student Poster Session on the 10th HiPEAC Conference, 2015.
  3. Carvalho, Tiago; Cardoso, Joao M. P.. "Programming and Mapping Strategies for Embedded Computing Runtime Adaptability". Paper presented in Proceedings of HiPEAC’sACACES Poster Abstracts: Advanced Computer Architecture and Compilation forHigh-Performance and Embedded Systems (ACACES 2014), 2014.
  4. Pinto, Pedro; Carvalho, Tiago (751A-40A5-7610); Cardoso, Joao M. P.. "A LARA-controlled C-to-C Compiler for Code Transformations and Instrumentation". Paper presented in Proceedings of HiPEAC’sACACES Poster Abstracts: Advanced Computer Architecture and Compilation forHigh-Performance and Embedded Systems (ACACES 2014), 2014.
  5. Nobre, Ricardo; Pinto, Pedro; Carvalho, Tiago; Cardoso, Joao M. P.; Diniz, Pedro C.. "LARA-based Strategies for Source-to-Source Transformations TargetingMulticore Architectures". Paper presented in Workshop on Research Projects Focusing on HighPerformance Computing (HPCW’2013), 2013.
  6. Bispo, João; Pinto, Pedro; Nobre, Ricardo; Carvalho, Tiago; Cardoso, Joao M. P.; Diniz, Pedro C.. "The MATISSE MATLAB Compiler". Paper presented in University Booth at DATE2013 – EDA Prototypes Session, 16th Design, Automation and Test in EuropeConference and Exhibition (DATE’13), 2013.
  7. REFLECT Consortium. "REFLECT: Rendering Field Programmable Gate Ar-rays (FPGAs) to Multi-Core Embedded Computing". Paper presented in Workshop on De-sign Tools and Architectures for Multi-Core Embedded Computing Platforms (DI-TAM’2013), part of the 8th International Conference on High-Performance andEmbedded Architectures and Compilers (HiPEAC), 2013.
  8. Bispo, João; Pinto, Pedro; Nobre, Ricardo; Carvalho, Tiago; Fradet, Remi; Cardoso, João M. P.; Diniz, Pedro C.. "MATISSE: A MATrix(MATLAB)-aware compilerInfraStructure for embedded computing SystEms". Paper presented in HiPEAC Poster Session,8th International Conference on High-Performance and Embedded Architecturesand Compilers(HiPEAC), 2013.
  9. Carvalho, Tiago; Cardoso, Joao M. P.; Durand, Sérgio; Coutinho, José G. F.; Nobre, Ricardo; Diniz, Pedro; Luk, Wayne; Petrov, Zlatko. "LARA: An Aspect-Oriented Approach for Developing and Designing Embedded Systems". Paper presented in DITAM2012:Workshop on Design Tools and Architectures for Multi-Core Embedded ComputingPlatforms, part of the International Conference on High-Performance and Embed-ded Architectures and Compilers (HiPEAC’2012), 2012.
  10. Carvalho, Tiago; Durand, Sérgio; Nobre, Ricardo; Coutinho, José G.F.; Cardoso, Joao M. P.; Diniz, Pedro. "Design Space Exploration for FPGA-based Systems usingLARA". Paper presented in Workshop on Designing for Embedded Parallel Computing Platforms:Architectures, Design Tools, and Applications, DATE’2012, 2012.
  11. Nobre, Ricardo; Carvalho, Tiago; Cardoso, João M. P.; Diniz. Pedro C.. "A Domain-Specific Aspect Language for MATLAB and its Strategic ProgrammingWeaver". Paper presented in Workshop on Designing for Embedded Parallel Computing Platforms:Architectures, Design Tools, and Applications, DATE’2012, 2012.
  12. Carvalho, Tiago; Cardoso, João M. P.. "A Meta-Language and Framework forAspect-Oriented Programming". Paper presented in International Summer School of Generativeand Transformational Techniques in Software Engineering III (GTTSE 2011), 2011.
Journal article
  1. Samadi, M.; Royuela, S.; Pinho, L.M.; Carvalho, T.; Quiñones, E.. "Time-predictable task-to-thread mapping in multi-core processors". Journal of Systems Architecture 148 (2024): http://www.scopus.com/inward/record.url?eid=2-s2.0-85185008119&partnerID=MN8TOARS.
    10.1016/j.sysarc.2024.103068
  2. Tiago Carvalho and João Bispo and Pedro Pinto and João M. P. Cardo. "A DSL-based runtime adaptivity framework for Java". SoftwareX 23 (2023): 101496-101496. https://doi.org/10.1016/j.softx.2023.101496.
    10.1016/J.SOFTX.2023.101496
  3. Carvalho, T.; Pinho, L.M.. "Tracing and Measuring GPU Execution in Automotive Software Systems". Ada User Journal 43 3 (2022): 160-164. http://www.scopus.com/inward/record.url?eid=2-s2.0-85158926253&partnerID=MN8TOARS.
  4. Kemilly Dearo Garcia and Cláudio Rebelo de Sá and Mannes Poel and. "An ensemble of autonomous auto-encoders for human activity recognition". Neurocomputing 439 (2021): 271-280. https://doi.org/10.1016/j.neucom.2020.01.125.
    10.1016/J.NEUCOM.2020.01.125
  5. Ricardo Nobre and João Bispo and Tiago Carvalho and João M. P. Car. "Nonio - modular automatic compiler phase selection and ordering specialization framework for modern compilers". SoftwareX 10 (2019): 100238-100238. https://doi.org/10.1016/j.softx.2019.100238.
    10.1016/J.SOFTX.2019.100238
  6. Pinto, Pedro; Carvalho, Tiago; Bispo, João; Ramalho, Miguel António; Cardoso, João M.P.. "Aspect composition for multiple target languages using LARA". Computer Languages, Systems & Structures 53 (2018): 1-26. http://dx.doi.org/10.1016/j.cl.2017.12.003.
    Published • 10.1016/j.cl.2017.12.003
  7. Pedro Pinto and Tiago Carvalho and João Bispo and Miguel António R. "Aspect composition for multiple target languages using LARA". Comput. Lang. Syst. Struct. 53 (2018): 1-26. https://doi.org/10.1016/j.cl.2017.12.003.
    10.1016/J.CL.2017.12.003
  8. Kemilly Dearo Garcia and Tiago Carvalho and João Mendes-Moreira and. "A Preliminary Study on Hyperparameter Configuration for Human Activity Recognition". CoRR abs/1810.1 (2018): http://arxiv.org/abs/1810.10956.
  9. "Performance-driven instrumentation and mapping strategies using the LARA aspect-oriented programming approach". Software: Practice and Experience 46 2 (2016): 251-287.
    10.1002/SPE.2301
  10. Cardoso, João M. P.; Coutinho, José G. F.; Carvalho, Tiago; Diniz, Pedro C.; Petrov, Zlatko; Luk, Wayne; Gonçalves, Fernando. "Performance-driven instrumentation and mapping strategies using the LARA aspect-oriented programming approach". Software: Practice and Experience 46 2 (2014): 251-287. http://dx.doi.org/10.1002/spe.2301.
    Published • 10.1002/spe.2301
  11. Cardoso, João M.P.; Carvalho, Tiago; Coutinho, José G.F.; Nobre, Ricardo; Nane, Razvan; Diniz, Pedro C.; Petrov, Zlatko; Luk, Wayne; Bertels, Koen. "Controlling a complete hardware synthesis toolchain with LARA aspects". Microprocessors and Microsystems 37 8 (2013): 1073-1089. http://dx.doi.org/10.1016/j.micpro.2013.06.001.
    Published • 10.1016/j.micpro.2013.06.001
  12. Cardoso, João M.P.; Fernandes, João M.; Monteiro, Miguel P.; Carvalho, Tiago; Nobre, Ricardo. "Enriching MATLAB with aspect-oriented features for developing embedded systems". Journal of Systems Architecture 59 7 (2013): 412-428. http://dx.doi.org/10.1016/j.sysarc.2013.04.003.
    Published • 10.1016/j.sysarc.2013.04.003
  13. Cardoso, João M. P.; Fernandes, João M.; Monteiro, Miguel Pessoa; Carvalho, Tiago; Nobre, Ricardo. "Enriching MATLAB with aspect-oriented features for developing embedded systems". (2013): http://hdl.handle.net/1822/25940.
    10.1016/j.sysarc.2013.04.003
  14. "Controlling a complete hardware synthesis toolchain with LARA aspects". Microprocessors and Microsystems 37 8 (2013): 1073-1089.
    10.1016/J.MICPRO.2013.06.001

Other

Other output
  1. A Preliminary Study on Hyperparameter Configuration for Human Activity Recognition. 2018. Garcia, K.D.; Carvalho, T.; Mendes-Moreira, J.; Cardoso, J.M.P.; de Carvalho, A.C.P.L.F.. http://www.scopus.com/inward/record.url?eid=2-s2.0-85171089183&partnerID=MN8TOARS.
    10.48550/arxiv.1810.10956
Activities

Event organisation

Event name
Type of event (Role) 		Institution / Organization
2016/04/20 - 2016/04/22 Conference assistant ofthe 2016 Spring edition of the Computing System Week(CSW) (2016/04/20 - 2016/04/22)
Conference (Member of the Organising Committee)
 Universidade do Porto Faculdade de Engenharia, Portugal
2015/10/21 - 2015/10/23 Conference assistant ofthe 18th IEEE International Conference on ComputationalScience and Engineering (CSE)andthe 13th IEEE International Conference onEmbedded and Ubiquous Computing (EUC) (2015/10/21 - 2015/10/23)
Conference (Member of the Organising Committee)
 Universidade do Porto Faculdade de Engenharia, Portugal
2013/09/02 - 2013/09/04 Conference assistant ofthe 23rd International Conference on Field Programmable Logic and Applications (FPL), (2013/09/02 - 2013/09/04)
Conference (Member of the Organising Committee)
 Universidade do Porto Faculdade de Engenharia, Portugal

Event participation

Activity description
Type of event 		Event name
Institution / Organization
2014/07/13 - 2014/07/19 ACACES 2014, tenth International Summer School on Advanced Computer Architecture and Compilation for High-Performance and Embedded Systems
Congress
 International Summer School on Advanced Computer Architecture and Compilation for High-Performance and Embedded Systems
HiPEAC, European Network on High-performance Embedded Architecture and Compilation, Belgium
2012/10/02 - 2012/10/05 REFLECT and 2PARMA Fall 2012 School, Programming Paradigms for Multi-Core Embedded Systems
Congress
 Programming Paradigms for Multi-Core Embedded Systems
Universidade do Porto Faculdade de Engenharia, Portugal
2011/07/03 - 2011/07/09 GTTSE 2011, 4th Summer School on Generative and Transformational Techniquesin Software Engineering
Congress
 Summer School on Generative and Transformational Techniquesin Software Engineering
Universidade do Minho, Portugal