- \n
- P. Carreira, A. Miranda. Becoming Certified in Cybersecurity<\/a>. Manning International Publishing, 2025.<\/li>\n
- V. Simoes, J. Garcia, and P. Carreira. Privacy-aware video deanonymization: Configurable<\/em> pipeline for selective reversal and intelligibility preservation in video anonymization.<\/em>
\nInformation Security and Applications, Elsevier, 2026 (to appear)<\/li>\n- R. Pedro, M. E. Coimbra, D. Castro, P. Carreira, and N. Santos. Words become SQL: Securing<\/em> AI assistants that talk to databases<\/em>. IEEE Security & Privacy, 2026. (to appear)<\/li>\n
- R. Pedro, M. E. Coimbra, D. Castro, P. Carreira, and N. Santos. Prompt-to-SQL Injections in LLM- Integrated Web Applications: Risks and Defense<\/a>s<\/em>. In Proceedings of International Conference on Software Engineering (ICSE\u201925) [Core A*<\/strong>], 2025<\/li>\n<\/ul>\n
\n<\/h3>\n
PUBLICATION PROFILES <\/strong><\/h3>\n
- \n
- Google Scholar<\/span><\/a><\/li>\n
- Web of Science<\/span><\/a><\/li>\n
- Research Gate<\/span><\/a><\/li>\n
- DBLP<\/span><\/a><\/li>\n<\/ul>\n
EVENT ORGANIZATION<\/strong><\/h3>\n
- \n
- Co-organizer of the DS3 Summer School<\/a> 2014<\/li>\n
- Co-organizer of the DSM-TP Summer School 2012<\/a> and DSM-TP Summer School 2013<\/a><\/li>\n
- Organizer of IT4Energy 2012 <\/a> and IT4Energy 2015<\/a> International Workshops<\/li>\n<\/ul>\n
BOOKS<\/strong><\/h3>\n
- \n
- P. Carreira, A. Miranda. Becoming Certified in Cybersecurity<\/a>. Manning International Publishing, 2025.<\/li>\n
- P. Carreira, V. Amaral, and H. Vangheluwe. Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems<\/em>. Springer International Publishing, 2020. ISBN: 978-3-030-43946-0. DOI: 10.1007\/978-3-030-43946-0<\/a><\/li>\n
- B. Tekinerdogan, D. Blouin, H. Vangheluwe, M. Goul\u00e3o, P. Carreira, and V. Amaral. Multi- Paradigm Modelling Approaches for Cyber-Physical Systems<\/em>. Elsevier Academic Press, 2020. ISBN 978-0128191057. <\/span><\/span>DOI: 10.1016\/C2018-0-04990-7<\/a><\/li>\n<\/ul>\n
![\"\"](\"http:\/\/web.ist.utl.pt\/paulo.carreira\/homepage\/wp-content\/uploads\/2012\/04\/Captura-de-ecr\u00e3-2022-01-04-\u00e0s-21.38.48-1-227x300.png\")
<\/a>![\"\"](\"http:\/\/web.ist.utl.pt\/paulo.carreira\/homepage\/wp-content\/uploads\/2012\/04\/9780128191057.jpg\")
<\/a><\/p>\nEDITED PROCEEDINGS <\/strong><\/h3>\n
- \n
- P. Carreira and V. Amaral (eds) Procs. of the 1st Int\u2019l Workshop on Information Technology for Energy Applications (IT4ENERGY\u20192012)<\/em>, Lisbon, Portugal, September 2012. Number 923<\/a> of CEUR Workshop Proceedings<\/a>, CEUR-WS.org. ISSN 1613-073. ISBN: 978-989- 8152-07-7.<\/li>\n<\/ul>\n
![\"\"](\"http:\/\/web.ist.utl.pt\/paulo.carreira\/homepage\/wp-content\/uploads\/2012\/04\/Screenshot-2022-01-07-at-21.03.10-1.png\")
<\/a><\/p>\nBOOK CHAPTERS<\/strong><\/h3>\n
- \n
- P. Carreira, V. Amaral, and H. Vangheluwe. Multi-Paradigm Modelling for Cyber-Physical Systems: Foundations<\/em>, pages 1-14. Springer International Publishing, 2020. DOI: 10.1007\/978-3-030-43946-0_1 <\/span><\/a><\/li>\n
- R. Gomes, H. Pombeiro, C. Silva, P. Carreira, M. Carvalho, G. Almeida, P. Domingues, and P. Ferr\u00e3o. Towards a Smart Campus: Building-User Learning Interaction for Energy Efficiency, the Lisbon Case Study<\/em>, pages 381\u2013398. World Sustainability Series book series. Springer International Publishing, November 2017. DOI: 10.1007\/978-3-319-47868-5_24<\/a><\/li>\n
- P. Carreira and C. A. Silva. Chapter 8: Greening by IT. In Green Sustainable Data Centres. Published Online by Open University of Nederlands<\/em>, 2014.P. Carreira, H. Galhardas, J. Pereira, and A. Wichert. On Handling One-to-Many Transformations in Relational Systems<\/a><\/em>, volume 12 of Lecture Notes in Business Information Processing, pages 121\u2013134. Springer-Verlag, 2009. DOI: 10.1007\/978-3-540-88710-2_10<\/a> (pdf<\/a> bib<\/a>)<\/li>\n
- J. Neto, J. F. Costa, P. Carreira, and M. Rosa. A compiler and simulator for partial recursive functions over neural networks<\/a><\/em>, pages 39\u201346. Applications and Science in Soft Computing. Springer-Verlag, 2004. DOI: 10.1007\/978-3-540-45240-9_6<\/a> (pdf<\/a> bib<\/a>).<\/li>\n<\/ul>\n
INTERNATIONAL JOURNAL ARTICLES <\/span><\/strong><\/h3>\n
- \n
- R. Pedro, M. E. Coimbra, D. Castro, P. Carreira, and N. Santos. Words become SQL: Securing<\/em>
\nAI assistants that talk to databases<\/em>. IEEE Security & Privacy, 2026.<\/li>\n- V. Simoes, J. Garcia, and P. Carreira. Privacy-aware video deanonymization: Configurable<\/em>
\npipeline for selective reversal and intelligibility preservation in video anonymization.<\/em>
\nInformation Security and Applications, Elsevier, 2026.<\/li>\n- R. Vieira, P. Carreira, P. Domingues, and A. A. Costa. Supporting building automation systems in BIM\/IFC: reviewing the existing information gap<\/em>. Engineering, Construction and Architectural Management, 2020. DOI: 10.1108\/ECAM-07-2018-0294<\/a> <\/span><\/li>\n
- J. C. Vidal, P. Carreira, V. Amaral, J. Aguiam, and J. Sousa. Towards high-level fuzzy control specifications for building automation systems<\/em>. Software and Systems Modeling, pages 1\u201322, September 2019. DOI: 10.1007\/s10270-019-00755-8<\/a> <\/span><\/li>\n
- H. Pombeiro, J. Santos, P. Carreira, and C. Silva. Displaying data is not enough: Incorporating user behavior transformation in domestic reporting systems<\/em>. Sustainable Cities and Society, 2019. DOI: 10.1016\/j.scs.2019.101451<\/a> <\/span><\/li>\n
- V. Amaral, B. Norberto, M. Goul\u00e3o, M. Aldinucci, S. Benkner, A. Braccialid, P. Carreira, E. Celms, L. Correi, C. Grelckg, H. Karatzah, C. Kessleri, P. Kilpatrickj, H. Martiniano, I. Mavridish, S. Pllanak, A. Resp\u00edcio, J. Sim\u00e3o, L. Veiga, and A. Visa. Programming languages for data-intensive HPC applications: a systematic mapping study<\/em>. Parallel Computing, 2019. DOI: 10.1016\/j.parco.2019.102584<\/a> <\/span><\/li>\n
- P. Carreira, A. A. Costa, V. Mansur, and A. A. Ars\u00e9nio. Can HVAC really learn from users? A simulation- based study on the effectiveness of voting for comfort and en- ergy use optimisation<\/em>. Sustainable Cities and Society, 41:275\u2013285, August 2018. DOI: 10.1016\/j.scs.2018.05.043<\/a> <\/span><\/li>\n
- H. Pombeiro, R. Santos, P. Carreira, C. Silva, and J. M. C. Sousa. Comparative assessment of low- complexity models to predict electricity consumption in an institutional building: Linear regression vs. fuzzy modeling vs. neural networks<\/em>. Energy and Buildings, 146:141\u2013 151, 2017. DOI: 10.1016\/j.enbuild.2017.04.032 <\/span><\/a><\/li>\n
- P. Carreira, T. Castelo, C. C. Gomes, A. Ferreira, and A. Costa. Virtual Reality as Integration Environments for Facilities Management: Application and Users Perception.<\/em> Engineering, Construction and Architectural Management Journal, 2017. DOI: 10.1108\/ECAM-09- 2016-0198 <\/span><\/a><\/li>\n
- M. Alves, P. Carreira, and A. A. Costa. BIMSL: A generic approach to the integration of building information models with real-time sensor data<\/em>. Automation in Construction, 2017. DOI: 10.1016\/j.autcon.2017.09.005<\/a> <\/span><\/li>\n
- J. Cavalheiro and P. Carreira. A multidimensional data model design for building energy management.<\/em> Advanced Engineering Informatics, 30:619\u2013632, 2016. DOI: 10.1016\/j.aei.2016.08.001 <\/span><\/a><\/li>\n
- P. Domingues, P. Carreira, R. Vieira, and W. Kastner. Building automation: Concepts and technology review<\/em>. Computer Standards and Interfaces Journal, 45:1\u201312, March 2016. DOI: 10.1016\/j.csi.2015.11.005<\/a> <\/span><\/li>\n
- P. Fazenda, P. Lima, and P. Carreira. Context-based thermodynamic modeling of buildings spaces<\/em>. Energy and Buildings, 124:164\u2013177, 2016. DOI: 10.1016\/j.enbuild.2016.04.068<\/a> <\/span><\/li>\n
- P. Antunes, P. Carreira, and M. M. da Silva. Towards an Energy Management Maturity Model<\/a><\/em>. Energy Policy Journal 73, pp. 803-814, Elsevier, 2014. DOI: 10.1016\/j.enpol.2014.06.011<\/a> <\/span><\/li>\n
- P. Carreira, S. Resendes and A. Santos, Towards Automatic Conflict Detection and Resolution in Home and Building Automation Systems<\/a><\/em>, Pervasive and Mobile Computing Journal, 12:37\u201357, 2014. DOI: 10.1016\/j.pmcj.2013.06.001<\/a> (pdf<\/a> bib<\/a>)<\/li>\n
- R. Camacho, P. Carreira, I. Lynce, and S. Resendes. An Ontology-Based Approach to Conflict Resolution in Home and Building Automation Systems<\/a><\/em>. Expert Systems with Applications Journal, Elsevier, 41(14):6161\u20136173, May 2014. DOI: 10.1016\/j.eswa.2014.04.017 <\/span><\/a><\/li>\n
- S. Resendes, P. Carreira and A. Santos, Conflict Detection and Resolution in Home and Building Automation Systems: A literature review<\/a><\/em>, Journal of Ambient Intelligence and Humanized Computing (JAIHC), Springer, 2013. DOI: 10.1007\/s12652-013-0184-9<\/a> <\/span><\/li>\n
- A. Wichert, P. Carreira and J. Pereira, A Visual Searchlight Model for Mental Problem Solving<\/a><\/em>, Journal of Neurocomputing, Elsevier-Science, 71:2806\u20132822, 2008. DOI: 10.1016\/j.neucom.2007.08.019<\/a> (pdf<\/a> bib<\/a>)<\/li>\n
- P. Carreira, H. Galhardas, A. Lopes and J. Pereira, One-to-many Data Transformations through Data Mappers<\/a><\/em>, Data & Knowledge Engineering Journal (DKE), 62(3):483\u2013503, September 2007. DOI: 10.1016\/j.datak.2006.08.011<\/a> (pdf<\/a> bib<\/a>)<\/li>\n
- P. Carreira and M. Costa, Automatically Verifying an Object-Oriented Specification of the Steam-Boiler System<\/a><\/em>, Science of Computer Programming Journal, 46:197\u2013217, 2003. DOI: 10.1016\/S0167-6423(02)00092-8<\/a> (pdf<\/a> bib<\/a>)<\/li>\n<\/ul>\n
INTERNATIONAL CONFERENCE ARTICLES <\/span><\/strong><\/h3>\n
- \n
- R. Pedro, M. E. Coimbra, D. Castro, P. Carreira, and N. Santos. Prompt-to-SQL Injections in LLM- Integrated Web Applications: Risks and Defenses<\/em><\/a>. In Proceedings of International Conference on Software Engineering (ICSE\u201925) [Core A*<\/strong>], 2025<\/li>\n
- B. McAuley, A. Behan, P. McCormack, A. Hamilton, E. Rebelo, B. Neilson, G. Beckett, A. A. Costa, P. Carreira, D. Likar, A. Taneva-Veshoska, S. Lynch, W. Hynes, and T. Borkovic. Delivering energy savings for the supply chain through building information modelling as a result of the Horizon 2020 energy BIMCert project<\/em>. In Sustainable Ecological En- gineering Design, pages 157\u2013168, Springer, 2020. DOI: 10.1007\/978-3-030-44381-8_12<\/a> <\/span><\/li>\n
- B. McAuley, A. Behan, P. McCormack, A. Hamilton, E. Rebelo, B. Neilson, G. Beckett, A. A. Costa, P. Carreira, D. Likar, A. Taneva-Veshoska, S. Lynch, W. Hynes, and T. Borkovic. Improving the Sustainability of the Built Environment by Training its Workforce in More Efficient and Greener Ways of Designing and Constructing Through the Horizon 2020 BIMcert Project.<\/em> In Proceedings of the CitA BIM Gathering, pages 63\u201370, Galway, Ireland, 2019. DOI: 10.21427\/391f-zx44<\/a> <\/span><\/li>\n
- A. Zabasta, O. Nikiforova, N. Kunicina, U. Sukovskis, L. Ribickis, V. Amaral, P. Carreira, and M. Goul\u00e3o. Developing a mutually-recognized cross-domain study program in cyber- physical systems.<\/em> In Proceedings of 8th IEEE Global Engineering Education Conference (EDUCON 2017), Athens, Greece, April 2017. IEEE. DOI: 10.1109\/EDUCON.2017.7942937<\/a> <\/span><\/li>\n
- P. Carreira, G. Mendes, B. Barroca, V. Amaral, S. Honkapuro, and R. Prada. Energy behaviour engagement in smart urban environments<\/em>. In International Conference on Applied Energy, Cardiff, UK, Energy Procedia 2017. DOI: 10.1016\/j.egypro.2017.12.580<\/a> <\/span><\/li>\n
- H. Vangheluwe, V. Amaral, H. Giese, J. Broenink, B. Sch\u00e4tz, A. Norta, P. Carreira, I. Lukovic, T. Mayerhofer, M. Wimmer, and A. Vallecillo. MPM4CPS: Multi-paradigm modelling for cyber-physical systems.<\/em> In STAF Doctoral Symposium \/ Showcase 2016, CEUR Workshop Proceedings 1675, ISSN 1613-0073, pages 40\u201347, Vienna, Austria, 2016. CEUR-WS.org. <\/span><\/li>\n
- R. Santos and P. Carreira. Service-Oriented development of Building Energy Management Systems: An Architecture Blueprint.<\/em> In Proceedings of the 3rd International Conference on Smart Grids and IT Systems (SMARTGREENS), 2014. DOI: 10.5220\/0004974903150323<\/a> <\/span><\/li>\n
- H. Sequeira, P. Carreira, T. Goldschmidt, and P. Vorst. Energy cloud: real-time cloud-native energy management system to monitor and analyze energy consumption in multiple industrial sites.<\/em> In Proceedings of the 7th IEEE\/ACM International Conference on Utility and Cloud Computing (UCC), London, UK, 2014. DOI: 10.1109\/UCC.2014.79<\/a> <\/span><\/li>\n
- A. Manilal and P. Carreira. Analysis and requirements gathering of user interfaces for home automated systems.<\/em> In Proceedings of the 3rd International Conference on Smart Grids and IT Systems (SMARTGREENS), 2014. DOI: 10.5220\/0004975003240335<\/a> <\/span><\/li>\n
- V. Mansur, P. Carreira, and A. Ars\u00e9nio. A learning approach for energy efficiency optimization by occupancy detection.<\/em> In Proceedings of The First International Conference on Coginitive Internet of Things (COITE\u201914), volume 150 and 151 of LNICST, pages 9\u201315, Rome, Italy, October 2014. Springer. DOI: 10.1007\/978-3-319-19656-5_2 <\/span><\/a><\/li>\n
- D. Anjos, P. Carreira, and A. P. Francisco. Real-time integration of building energy data<\/em>. In Procs. of IEEE Congress on BigData (IEEE BigData), Anchorage, Alaska, July 2014. DOI: 10.1109\/BigData.Congress.2014.44<\/a> <\/span><\/li>\n
- P. Carreira, V. Amaral, and B. Barroca. The case for a systematic development of building automation systems<\/a>.<\/em> In Proceedings of the 2nd IEEE PES International Conference and Exhibition on Innovative Smart Grid Technologies (ISGT Europe<\/a>), Manchester, UK, December 2011. DOI: 10.1109\/ISGTEurope.2011.6162819<\/a> (pdf<\/a> bib<\/a>)<\/li>\n
- A. Thanopoulou, P. Carreira, and H. Galhardas. Benchmarking with TPC-H on Off-the- Shelf Hardware: An Experiments Report<\/em>. In Proc. of the 14th Int\u2019l Conference on Enterprise Information Systems (ICEIS\u20192012), Worclaw, Poland, 2012. <\/span>(pdf<\/a> bib<\/a>)<\/li>\n
- D. Aliakseyeu, J. Mason, B. Meerbeek, H. Essen, S. Offermans, A. Alessandrini, V. Sanesi, P. Carreira, C. Eby, R. Wichert, K. Laerhoven, and J. Gelissen. Results of the \u2018User interaction techniques for future lighting systems\u2019 workshop at interact 2011<\/a><\/em>. In Constructing Ambient Intelligence, volume 277 of Communications in Computer and Information Science, pages 29\u201334. Springer Berlin Heidelberg, 2012. DOI: 10.1007\/978-3-642-31479-7_6<\/a> <\/span>(pdf<\/a> bib<\/a>)<\/li>\n
- V. Amaral, B. Barroca, and P. Carreira. Towards a robust solution in building automation systems: Supporting rapid prototyping and analysis.<\/em> In Proceedings of QUATIC\u201912, IEEE, volume Thematic track on Quality in Model Driven Engineering, Lisbon, Portugal, December 2012. DOI: 10.1109\/QUATIC.2012.59<\/a> <\/span>(bib<\/a>)<\/li>\n
- P. Carreira and R. Nunes. Towards efficient illumination control for underground parking<\/em>. <\/span>Proceedings of the 1st Workshop on User Interaction Techniques for Future Lighting Systems<\/a>, pages 32\u201336, Lisbon, Portugal, September 2011. <\/span>(pdf<\/a> bib<\/a>)<\/li>\n
- P. Carreira, R. Nunes, and V. Amaral. Smartlink: A hierarchical approach for connecting smart buildings to smart grids<\/a><\/em>. In Proceedings of the 11th International Confer- ence on Electrical Power Quality and Utilisation (EPQU 11<\/a>),, pages 1 \u2013 6. IEEE, 2011. DOI: 10.1109\/EPQU.2011.6128857<\/a> <\/span>(pdf<\/a> bib<\/a>)<\/li>\n
- P. Carreira, H. Galhardas, J. Pereira, F. Martins, and M. J. Silva. On the Performance of One-to-many Data Transformations<\/em>. In Proc. of the 5th International Workshop on Quality in Databases at VLDB (QDB\u20192007), 2007. DOI: 10.1007\/11546849_14<\/a> <\/span>(pdf<\/a> bib<\/a>)<\/li>\n
- P. Carreira. One-to-many data transformations as relational operations.<\/em> In Proceedings of the 9th International Conference on Enterprise Information Systems (ICEIS\u20192007), volume Database and Information Systems Integration, 2007. <\/span>(pdf<\/a> bib<\/a>)<\/li>\n
- P. Carreira, H. Galhardas, J. Pereira, and A. Lopes. Data Mapper: An Operator for Expressing One-to-many Data Transformations.<\/em> In 7th International Conference on Data Warehousing and Knowledge Discovery, DaWaK ’05<\/a>, Vol. 3589 of LNCS<\/a>. Springer- Verlag, Aug. 2005. DOI: 10.1007\/11546849_14<\/a> (pdf<\/a> bib<\/a>)<\/li>\n
- P. Carreira, H. Galhardas, A. Lopes, and J. Pereira. Extending Relational Algebra to express one-to-many data transformations<\/a><\/em>. In Proceedings of the 20th Brazilian (pdf<\/a> bib<\/a>)<\/li>\n
- P. Carreira and H. Galhardas. Execution of Data Mappers<\/a>. International Workshop on Information Quality in Information Systems<\/a><\/em>, (IQIS’2004<\/a>). ACM, June 2004. (pdf<\/a> bib<\/a>) <\/span><\/li>\n
- P. Carreira and H. Galhardas.
- B. McAuley, A. Behan, P. McCormack, A. Hamilton, E. Rebelo, B. Neilson, G. Beckett, A. A. Costa, P. Carreira, D. Likar, A. Taneva-Veshoska, S. Lynch, W. Hynes, and T. Borkovic. Delivering energy savings for the supply chain through building information modelling as a result of the Horizon 2020 energy BIMCert project<\/em>. In Sustainable Ecological En- gineering Design, pages 157\u2013168, Springer, 2020. DOI: 10.1007\/978-3-030-44381-8_12<\/a> <\/span><\/li>\n
- V. Simoes, J. Garcia, and P. Carreira. Privacy-aware video deanonymization: Configurable<\/em>
- R. Gomes, H. Pombeiro, C. Silva, P. Carreira, M. Carvalho, G. Almeida, P. Domingues, and P. Ferr\u00e3o. Towards a Smart Campus: Building-User Learning Interaction for Energy Efficiency, the Lisbon Case Study<\/em>, pages 381\u2013398. World Sustainability Series book series. Springer International Publishing, November 2017. DOI: 10.1007\/978-3-319-47868-5_24<\/a><\/li>\n
- P. Carreira, V. Amaral, and H. Vangheluwe. Multi-Paradigm Modelling for Cyber-Physical Systems: Foundations<\/em>, pages 1-14. Springer International Publishing, 2020. DOI: 10.1007\/978-3-030-43946-0_1 <\/span><\/a><\/li>\n
- P. Carreira, V. Amaral, and H. Vangheluwe. Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems<\/em>. Springer International Publishing, 2020. ISBN: 978-3-030-43946-0. DOI: 10.1007\/978-3-030-43946-0<\/a><\/li>\n
- Co-organizer of the DSM-TP Summer School 2012<\/a> and DSM-TP Summer School 2013<\/a><\/li>\n
- Web of Science<\/span><\/a><\/li>\n
- V. Simoes, J. Garcia, and P. Carreira. Privacy-aware video deanonymization: Configurable<\/em> pipeline for selective reversal and intelligibility preservation in video anonymization.<\/em>