Paulo Carreira

According to our database, Paulo Carreira authored at least 34 papers between 2003 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Prompt-to-SQL Injections in LLM-Integrated Web Applications: Risks and Defenses.

Rodrigo Pedro, Miguel E. Coimbra, Daniel Castro, Paulo Carreira, Nuno Santos

Proceedings of the 47th IEEE/ACM International Conference on Software Engineering, 2025

2023

From Prompt Injections to SQL Injection Attacks: How Protected is Your LLM-Integrated Web Application?

Rodrigo Pedro, Daniel Castro, Paulo Carreira, Nuno Santos

CoRR, 2023

2020

Towards high-level fuzzy control specifications for building automation systems.

Juan Carlos Vidal, Paulo Carreira, Vasco Amaral, Joao Aguiam, João Miguel da Costa Sousa

Softw. Syst. Model., 2020

Programming languages for data-Intensive HPC applications: A systematic mapping study.

Vasco Amaral, Beatriz Norberto, Miguel Goulão, Marco Aldinucci, Siegfried Benkner, Andrea Bracciali, Paulo Carreira, Edgars Celms, Luís Correia, Clemens Grelck, Helen D. Karatza, Christoph W. Kessler, Peter Kilpatrick, Hugo F. M. C. Martiniano, Ilias Mavridis, Sabri Pllana, Ana Respício, José Simão, Luís Veiga, Ari Visa

Parallel Comput., 2020

2019

Companion data of a Systematic Mapping Study of Programming Languages for Data-Intensive HPC Applications.

Vasco Amaral, Beatriz Norberto, Miguel Goulão, Marco Aldinucci, Siegfried Benkner, Andrea Bracciali, Paulo Carreira, Edgars Celms, Luís Correia, Clemens Grelck, Helen D. Karatza, Christoph W. Kessler, Peter Kilpatrick, Hugo F. M. C. Martiniano, Ilias Mavridis, Sabri Pllana, Ana Respício, José Simão, Luís Veiga

Dataset, October, 2019

Companion data of a Systematic Mapping Study of Programming Languages for Data-Intensive HPC Applications.

Vasco Amaral, Beatriz Norberto, Miguel Goulão, Marco Aldinucci, Siegfried Benkner, Andrea Bracciali, Paulo Carreira, Edgars Celms, Luís Correia, Clemens Grelck, Helen D. Karatza, Christoph W. Kessler, Peter Kilpatrick, Hugo F. M. C. Martiniano, Ilias Mavridis, Sabri Pllana, Ana Respício, José Simão, Luís Veiga

Dataset, May, 2019

2017

Developing a mutually-recognized cross-domain study program in cyber-physical systems.

Anatolijs Zabasta, Paulo Carreira, Oksana Nikiforova, Vasco Amaral, Nadezhda Kunicina, Miguel Goulão, Uldis Sukovskis, Leonids Ribickis

Proceedings of the 2017 IEEE Global Engineering Education Conference, 2017

2016

Building automation systems: Concepts and technology review.

Pedro Domingues, Paulo Carreira, Renato Vieira, Wolfgang Kastner

Comput. Stand. Interfaces, 2016

A multidimensional data model design for building energy management.

José Cavalheiro, Paulo Carreira

Adv. Eng. Informatics, 2016

MPM4CPS: Multi-Paradigm Modelling for Cyber-Physical Systems.

Hans Vangheluwe, Vasco Amaral, Holger Giese, Jan F. Broenink, Bernhard Schätz, Alexander Norta, Paulo Carreira, Ivan Lukovic, Tanja Mayerhofer, Manuel Wimmer, Antonio Vallecillo

Proceedings of the Joint Proceedings of the Doctoral Symposium and Projects Showcase Held as Part of STAF 2016 co-located with Software Technologies: Applications and Foundations (STAF 2016), 2016

2014

Towards automatic conflict detection in home and building automation systems.

Paulo Carreira, Sílvia Resendes, André C. Santos

Pervasive Mob. Comput., 2014

Conflict detection and resolution in home and building automation systems: a literature review.

Sílvia Resendes, Paulo Carreira, André C. Santos

J. Ambient Intell. Humaniz. Comput., 2014

An ontology-based approach to conflict resolution in Home and Building Automation Systems.

Rui Camacho, Paulo Carreira, Inês Lynce, Sílvia Resendes

Expert Syst. Appl., 2014

Energy Cloud: Real-Time Cloud-Native Energy Management System to Monitor and Analyze Energy Consumption in Multiple Industrial Sites.

Hugo Sequeira, Paulo Carreira, Thomas Goldschmidt, Philipp Vorst

Proceedings of the 7th IEEE/ACM International Conference on Utility and Cloud Computing, 2014

Service Oriented Development of Building Energy Management Systems - An Architecture Blueprint.

Rodolfo Santos, Paulo Carreira

Proceedings of the SMARTGREENS 2014, 2014

Analysis and Requirements Gathering of User Interfaces for Home Automated Systems.

Akash Bhrat Manilal, Paulo Carreira

Proceedings of the SMARTGREENS 2014, 2014

A Learning Approach for Energy Efficiency Optimization by Occupancy Detection.

Vitor Mansur, Paulo Carreira, Artur M. Arsénio

Proceedings of the Internet of Things. User-Centric IoT, 2014

Real-Time Integration of Building Energy Data.

Diogo Anjos, Paulo Carreira, Alexandre P. Francisco

Proceedings of the 2014 IEEE International Congress on Big Data, Anchorage, AK, USA, June 27, 2014

2013

New Interaction Paradigms in Energy Management.

Paulo Carreira, Alfredo Ferreira

ERCIM News, 2013

2012

Towards a Robust Solution in Building Automation Systems: Supporting Rapid Prototyping and Analysis.

Vasco Amaral, Bruno Barroca, Paulo Carreira

Proceedings of the 8th International Conference on the Quality of Information and Communications Technology, 2012

Benchmarking with TPC-H on Off-the-Shelf Hardware - An Experiments Report.

Anna Thanopoulou, Paulo Carreira, Helena Galhardas

Proceedings of the ICEIS 2012 - Proceedings of the 14th International Conference on Enterprise Information Systems, Volume 1, Wroclaw, Poland, 28 June, 2012

2011

The case for a systematic development of Building Automation Systems.

Paulo Carreira, Vasco Amaral, Bruno Barroca

Proceedings of the 2nd IEEE PES International Conference and Exhibition on "Innovative Smart Grid Technologies", 2011

Results of the 'User Interaction Techniques for Future Lighting Systems' Workshop at INTERACT 2011.

Dzmitry Aliakseyeu, Jon Mason, Bernt Meerbeek, Harm van Essen, Serge Offermans, Andrea Alessandrini, Valentina Sanesi, Paulo Carreira, Chad Eby

Proceedings of the Constructing Ambient Intelligence, 2011

2008

Visual search light model for mental problem solving.

Andreas Wichert, João Dias Pereira, Paulo Carreira

Neurocomputing, 2008

2007

One-to-many data transformations through data mappers.

Paulo Carreira, Helena Galhardas, Antónia Lopes, João Pereira

Data Knowl. Eng., 2007

On the performance of one-to-many data transformations.

Paulo J. F. Carreira, Helena Galhardas, João Pereira, Fernando Martins, Mário J. Silva

Proceedings of the Fifth International Workshop on Quality in Databases, 2007

On Handling One-to-Many Transformations in Relational Systems.

Paulo Carreira, Helena Galhardas, João Pereira, Andrzej Wichert

Proceedings of the Enterprise Information Systems, 9th International Conference, 2007

One-to-many data transformation operations - optimization and execution on an RDBMS.

Paulo J. F. Carreira, Helena Galhardas, João Pereira, Andrzej Wichert

Proceedings of the ICEIS 2007, 2007

One-to-many data transformations - as relational operations.

Paulo J. F. Carreira

Proceedings of the ICEIS 2007, 2007

2005

Extending Relational Algebra to express one-to-many data transformations.

Paulo J. F. Carreira, Helena Galhardas, Antónia Lopes, João L. M. Pereira

Proceedings of the 20° Simpósio Brasileiro de Bancos de Dados, 2005

Data Mapper: An Operator for Expressing One-to-Many Data Transformations.

Paulo J. F. Carreira, Helena Galhardas, João Pereira, Antónia Lopes

Proceedings of the Data Warehousing and Knowledge Discovery, 2005

2004

Efficient Development of Data Migration Transformations.

Paulo J. F. Carreira, Helena Galhardas

Proceedings of the ACM SIGMOD International Conference on Management of Data, 2004

Execution of Data Mappers.

Paulo J. F. Carreira, Helena Galhardas

Proceedings of the IQIS 2004, 2004

2003

Automatically verifying an object-oriented specification of the Steam-Boiler system.

Paulo J. F. Carreira, Miguel E. F. Costa

Sci. Comput. Program., 2003