Paulo S. C. Alencar

Affiliations:
  • University of Waterloo, David R. Cheriton School of Computer Science, Canada


According to our database1, Paulo S. C. Alencar authored at least 176 papers between 1991 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
On the Effectiveness of LLMs for Manual Test Verifications.
CoRR, 2024

Assessing ML Classification Algorithms and NLP Techniques for Depression Detection: An Experimental Case Study.
CoRR, 2024

2023
Comparing Generative Chatbots Based on Process Requirements.
CoRR, 2023

GPT-in-the-Loop: Adaptive Decision-Making for Multiagent Systems.
CoRR, 2023

Comparing Software Developers with ChatGPT: An Empirical Investigation.
CoRR, 2023

Identifying Factors That Impact Levels of Automation in Autonomous Systems.
IEEE Access, 2023

Supporting the Automated Generation of Acceptance Tests of Process-Aware Information Systems.
Proceedings of the 19th International Conference on Web Information Systems and Technologies, 2023

Artificial Intelligence vs. Software Engineers: An Empirical Study on Performance and Efficiency using ChatGPT.
Proceedings of the 33rd Annual International Conference on Computer Science and Software Engineering, 2023

Supporting Contextual Conversational Agent-Based Software Development.
Proceedings of the 5th IEEE/ACM International Workshop on Bots in Software Engineering, 2023

Extending Variability-Aware Model Selection with Bias Detection in Machine Learning Projects.
Proceedings of the IEEE International Conference on Big Data, 2023

Knowledge Graphs in Spatial-Temporal Cluster Evolution Analysis.
Proceedings of the IEEE International Conference on Big Data, 2023

Identifying Regions of High Demand for Transportation Services based on Cluster Evolution and Graph Analysis.
Proceedings of the IEEE International Conference on Big Data, 2023

GPT in Data Science: A Practical Exploration of Model Selection.
Proceedings of the IEEE International Conference on Big Data, 2023

GPT-in-the-Loop: Supporting Adaptation in Multiagent Systems.
Proceedings of the IEEE International Conference on Big Data, 2023

Comparing Generative Chatbots Based on Process Requirements: A Case Study.
Proceedings of the IEEE International Conference on Big Data, 2023

Self-Adaptive Large Language Model (LLM)-Based Multiagent Systems.
Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2023

Variability-Aware Architecture for Human-Chatbot Interactions: Taming Levels of Automation.
Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2023

2022
A conceptual IoT-based early-warning architecture for remote monitoring of COVID-19 patients in wards and at home.
Internet Things, 2022

Using apple watch ECG data for heart rate variability monitoring and stress prediction: A pilot study.
Frontiers Digit. Health, 2022

Agile Assessment Methods: Current State of the Art.
CoRR, 2022

Creating a Modeling Language Based on a New Metamodel for Adaptive Normative Software Agents.
IEEE Access, 2022

Scaffolding Process-Aware Information Systems with the AKIP Platform.
Proceedings of the Web Information Systems and Technologies, 2022

AKIP Process Automation Platform: A Framework for the Development of Process-Aware Web Applications.
Proceedings of the 18th International Conference on Web Information Systems and Technologies, 2022

A Systematic Review of the Use of Multiple Criteria Decision Aiding Methods in Recommender Systems: Preliminary Results.
Proceedings of the 2nd Workshop on Multi-Objective Recommender Systems co-located with 16th ACM Conference on Recommender Systems (RecSys 2022), 2022

The Use of Multiple Criteria Decision Aiding Methods in Recommender Systems: A Literature Review.
Proceedings of the Intelligent Systems - 11th Brazilian Conference, 2022

Adaptive Method for Machine Learning Model Selection in Data Science Projects.
Proceedings of the IEEE International Conference on Big Data, 2022

Understanding Levels of Automation in Human-Machine Collaboration.
Proceedings of the IEEE International Conference on Big Data, 2022

A Graph-based Analysis Approach to Cluster Lifetime Dynamics.
Proceedings of the IEEE International Conference on Big Data, 2022

A novel self-adaptive method for improving patient monitoring with composite early-warning scores.
Proceedings of the IEEE International Conference on Big Data, 2022

Assessing Energy Consumption in Data Acquisition from Smart Wearable Sensors in IoT-Based Health Applications.
Proceedings of the IEEE International Conference on Big Data, 2022

2021
Towards an Adaptive and Normative Multi-Agent System Metamodel and Language: Existing Approaches and Research Opportunities.
CoRR, 2021

Machine Learning Model Development from a Software Engineering Perspective: A Systematic Literature Review.
CoRR, 2021

A Cognitive and Machine Learning-Based Software Development Paradigm Supported by Context.
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Results, 2021

Tanning-Elicited Variations in the Ultraviolet Absorption Spectra of the Cutaneous Tissues: Skin Photobiology and Photomedicine Implications.
Proceedings of the 43rd Annual International Conference of the IEEE Engineering in Medicine & Biology Society, 2021

PACAs: Process-Aware Conversational Agents.
Proceedings of the Business Process Management Workshops, 2021

Towards Real-Time Public Health: A Novel Mobile Health Monitoring System.
Proceedings of the 2021 IEEE International Conference on Big Data (Big Data), 2021

Towards Automated Variability-Aware Machine-Learning-Based Modeling Analysis.
Proceedings of the 2021 IEEE International Conference on Big Data (Big Data), 2021

Computational Analysis to Capture Cluster Lifetime Dynamics.
Proceedings of the 2021 IEEE International Conference on Big Data (Big Data), 2021

IoT-Based COVID-19 Health Monitoring System: Context, Early Warning and Self-Adaptation.
Proceedings of the 2021 IEEE International Conference on Big Data (Big Data), 2021

Context-Aware Data Analytics Variability in IoT Neural Network-Based Systems.
Proceedings of the 2021 IEEE International Conference on Big Data (Big Data), 2021

A Lifecycle for Engineering IoT Neural Network-based Systems.
Proceedings of the 2021 IEEE International Conference on Big Data (Big Data), 2021

An Approach to Support Human-in-the-Loop Big Data Software Development Projects.
Proceedings of the 2021 IEEE International Conference on Big Data (Big Data), 2021

Knowledge-Oriented Graph-Based Approach to Capture the Evolution of Developers' Knowledge.
Proceedings of the 2021 IEEE International Conference on Big Data (Big Data), 2021

2020
MylynSDP - Process - aware artifact filtering based on interest.
J. Braz. Comput. Soc., 2020

Exploring Context-Aware Conversational Agents in Software Development.
CoRR, 2020

A Catalogue of Agile Smells for Agility Assessment.
IEEE Access, 2020

A Framework for Spatial-Temporal Trajectory Cluster Analysis Based on Dynamic Relationships.
IEEE Access, 2020

A Metadata-Driven Approach for Testing Self-Organizing Multiagent Systems.
IEEE Access, 2020

Knowledge-Oriented Models Based on Developer-Artifact and Developer-Developer Interactions.
IEEE Access, 2020

Understanding User Understanding: What do Developers Expect from a Cognitive Assistant?
Proceedings of the 2020 IEEE International Conference on Big Data (IEEE BigData 2020), 2020

From Spatial-Temporal Cluster Relationships to Lifecycles: Framework and Mobility Applications.
Proceedings of the 2020 IEEE International Conference on Big Data (IEEE BigData 2020), 2020

A Reference Model for IoT Embodied Agents Controlled by Neural Networks.
Proceedings of the 2020 IEEE International Conference on Big Data (IEEE BigData 2020), 2020

2019
Spatial-Temporal Cluster Relations - A Foundation for Trajectory Cluster Lifetime Analysis.
CoRR, 2019

Context-Augmented Software Development Projects: Literature Review and Preliminary Framework.
CoRR, 2019

Testing Self-Organizing Multiagent Systems.
CoRR, 2019

Cluster Lifecycle Analysis: Challenges, Techniques, and Framework.
CoRR, 2019

AgileCritPath: Identifying Critical Tasks in Agile Environments.
Proceedings of the 31st International Conference on Software Engineering and Knowledge Engineering, 2019

Retrieving Curated Stack Overflow Posts from Project Task Similarities (S).
Proceedings of the 31st International Conference on Software Engineering and Knowledge Engineering, 2019

A Method to Recommend Artifacts to New Tasks in Software Projects (S).
Proceedings of the 31st International Conference on Software Engineering and Knowledge Engineering, 2019

A Metamodel to represent Agile Software Development Projects.
Proceedings of the XXII Iberoamerican Conference on Software Engineering, 2019

A Catalog of Bad Agile Smells for Agility Assessment.
Proceedings of the XXII Iberoamerican Conference on Software Engineering, 2019

Context-Augmented Software Development in Traditional and Big Data Projects: Literature Review and Preliminary Framework.
Proceedings of the 2019 IEEE International Conference on Big Data (IEEE BigData), 2019

Modeling Dynamic Spatial-Temporal Cluster Relationships.
Proceedings of the 2019 IEEE International Conference on Big Data (IEEE BigData), 2019

iEnvironment: Perspectives on Metadata-Oriented Testing of Research Software.
Proceedings of the 2019 IEEE International Conference on Big Data (IEEE BigData), 2019

KryptoOracle: A Real-Time Cryptocurrency Price Prediction Platform Using Twitter Sentiments.
Proceedings of the 2019 IEEE International Conference on Big Data (IEEE BigData), 2019

Using Governance and Adaptive Normative Multiagent Systems for Dynamic Vehicle Platoon Formation.
Proceedings of the 2019 IEEE International Conference on Big Data (IEEE BigData), 2019

Open-Source Innovation in Practice: A Lean-Based Development Process Leveraging Open-Source Big Data Tools.
Proceedings of the 2019 IEEE International Conference on Big Data (IEEE BigData), 2019

2018
The use of machine learning algorithms in recommender systems: A systematic review.
Expert Syst. Appl., 2018

The Next Generation of Metadata-Oriented Testing of Research Software.
CoRR, 2018

Machine Learning-based Variability Handling in IoT Agents.
CoRR, 2018

Software Engineers vs. Machine Learning Algorithms: An Empirical Study Assessing Performance and Reuse Tasks.
CoRR, 2018

Towards using task similarity to recommend Stack Overflow posts.
Proceedings of the XXI Iberoamerican Conference on Software Engineering, 2018

A context-aware machine learning-based approach.
Proceedings of the 28th Annual International Conference on Computer Science and Software Engineering, 2018

Governance in Adaptive Normative Multiagent Systems for the Internet of Smart Things: Challenges and Future Directions.
Proceedings of the IEEE International Conference on Big Data (IEEE BigData 2018), 2018

A Variability-Aware Design Approach to the Data Analysis Modeling Process.
Proceedings of the IEEE International Conference on Big Data (IEEE BigData 2018), 2018

A Software Framework for Cluster Lifecycle Analysis in Transportation.
Proceedings of the IEEE International Conference on Big Data (IEEE BigData 2018), 2018

Trajectory Cluster Lifecycle Analysis: An Evolutionary Perspective.
Proceedings of the IEEE International Conference on Big Data (IEEE BigData 2018), 2018

An IoT Analytics Embodied Agent Model based on Context-Aware Machine Learning.
Proceedings of the IEEE International Conference on Big Data (IEEE BigData 2018), 2018

Toward Human-in-the-Loop Collaboration Between Software Engineers and Machine Learning Algorithms.
Proceedings of the IEEE International Conference on Big Data (IEEE BigData 2018), 2018

The iEnvironment Platform: Developing an Open Science Software Platform for Integrated Environmental Monitoring and Modeling of Surface Water.
Proceedings of the IEEE International Conference on Big Data (IEEE BigData 2018), 2018

2017
CollabRDL: A language to coordinate collaborative reuse.
J. Syst. Softw., 2017

A formal modeling and analysis approach for access control rules, policies, and their combinations.
Int. J. Inf. Sec., 2017

Developing a Spatial-Temporal Contextual and Semantic Trajectory Clustering Framework.
CoRR, 2017

A model for the socially smart city practical uses of city-level socio-economic indicators.
Proceedings of the 2017 IEEE International Conference on Big Data (IEEE BigData 2017), 2017

iEnvironment: A software platform for integrated environmental monitoring and modeling of surface water.
Proceedings of the 2017 IEEE International Conference on Big Data (IEEE BigData 2017), 2017

2016
A uniform approach for access control and business models with explicit rule realization.
Int. J. Inf. Sec., 2016

A Survey on Domain-Specific Languages for Machine Learning in Big Data.
CoRR, 2016

A Preliminary Survey on Domain-Specific Languages for Machine Learning in Big Data.
Proceedings of the 2016 IEEE International Conference on Software Science, 2016

A Software Framework for PCa-Based Face Recognition.
Proceedings of the 2016 IEEE International Conference on Software Science, 2016

A Modeling Language for Adaptive Normative Agents.
Proceedings of the Multi-Agent Systems and Agreement Technologies, 2016

Towards a provenance-aware spatial-temporal architectural framework for massive data integration and analysis.
Proceedings of the 2016 IEEE International Conference on Big Data (IEEE BigData 2016), 2016

Software engineering for big data projects: Domains, methodologies and gaps.
Proceedings of the 2016 IEEE International Conference on Big Data (IEEE BigData 2016), 2016

2015
BPMNt: A BPMN extension for specifying software process tailoring.
Inf. Softw. Technol., 2015

Requirements Engineering for General Recommender Systems.
CoRR, 2015

A Metamodel Approach to Developing Adaptive Normative Agents.
Proceedings of the IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology, 2015

The Development of Normative Autonomous Agents: An Approach.
Proceedings of the IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology, 2015

JSAN: A Framework to Implement Normative Agents.
Proceedings of the 27th International Conference on Software Engineering and Knowledge Engineering, 2015

Adapting to Climate Change - An Open Data Platform for Cumulative Environmental Analysis and Management.
Proceedings of the Computational Science and Its Applications - ICCSA 2015, 2015

An Open and Big Data Platform for Cumulative Environmental Analysis and Management.
Proceedings of the 3rd International Conference on Future Internet of Things and Cloud, 2015

2014
Business Modeling to Improve Auditor Risk Assessment: An Investigation of Alternative Representations.
J. Inf. Syst., 2014

An approach to correctness of security and operational business policies.
Int. J. Account. Inf. Syst., 2014

Perspectives on Open Data: Issues and Opportunties.
Proceedings of the 2014 IEEE International Conference on Software Science, 2014

Developing a collaborative cloud-based platform for watershed analysis and management.
Proceedings of the 10th IEEE International Conference on Collaborative Computing: Networking, 2014

Multi-sectoral collaborative open data applications.
Proceedings of the 10th IEEE International Conference on Collaborative Computing: Networking, 2014

Mining Reuse Processes.
Proceedings of the XVII Iberoamerican Conference on Software Engineering, 2014

2013
Configurable Software Product Lines - Supporting Heterogeneous Configuration Knowledge.
Proceedings of the Safe and Secure Software Reuse, 2013

2011
An Adaptive Context-Aware and Event-Based Framework Design Model.
Proceedings of the 2nd International Conference on Ambient Systems, 2011

ReuseTool - An extensible tool support for object-oriented framework reuse.
J. Syst. Softw., 2011

Developing multi-agent system product lines: from requirements to code.
Int. J. Agent Oriented Softw. Eng., 2011

Model Human Behavior: Don't Constrain It!
Proceedings of the International Perspectives in Health Informatics, 2011

2010
Asset-Mapping Approaches to Web-Based Collaborative Innovation.
Proceedings of the 2010 IEEE/WIC/ACM International Conference on Web Intelligence, 2010

Distributed Event-Based System Features: Representation and Reasoning.
Proceedings of the IEEE International Conference on Software Science, 2010

A Web-Based Framework for Collaborative Innovation.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Dynamic user-centric mobile context model.
Proceedings of the Fifth IEEE International Conference on Digital Information Management, 2010

Event Models in Distributed Event Based Systems.
Proceedings of the Principles and Applications of Distributed Event-Based Systems, 2010

2009
Lightweight query-based analysis of workflow process dependencies.
J. Syst. Softw., 2009

Building Service-Oriented User Agents Using a Software Product Line Approach.
Proceedings of the Formal Foundations of Reuse and Domain Engineering, 2009

2008
Abstract Data Types.
Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

A Service-oriented Process to Develop Web Applications.
J. Univers. Comput. Sci., 2008

Uma Abordagem Flexível para Comparação de Modelos UML.
Proceedings of the Second Brazilian Symposium on Software Components, 2008

A Hybrid Diagnostic-Recommendation System for Agent Execution in Multi-Agent Systems.
Proceedings of the ICSOFT 2008, 2008

A metamodel for distributed event based systems.
Proceedings of the Second International Conference on Distributed Event-Based Systems, 2008

2007
Informal description and analysis of geographic requirements: an approach based on problems.
Softw. Syst. Model., 2007

RDL: A language for framework instantiation representation.
J. Syst. Softw., 2007

Composing pattern-based components and verifying correctness.
J. Syst. Softw., 2007

Um Processo de Desenvolvimento de Aplicações Web baseado em Serviços.
Proceedings of the First Brazilian Symposium on Software Components, 2007

2006
Automating the analysis of design component contracts.
Softw. Pract. Exp., 2006

Customizing Aspect-Oriented Variabilities using Generative Techniques.
Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2006), 2006

Extension Morphisms for CommUnity.
Proceedings of the Algebra, Meaning, and Computation, 2006

2005
xTAO: enabling a declarative approach to the specification of multi-agent systems.
ACM SIGSOFT Softw. Eng. Notes, 2005

A COTS architectural component specification stencil for selection and reasoning.
ACM SIGSOFT Softw. Eng. Notes, 2005

An approach to formal automated analysis of problem-frame concerns.
Inf. Softw. Technol., 2005

Assisting aspect-oriented framework instantiation: towards modeling, transformation and tool support.
Proceedings of the Companion to the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005

Increasing Software Infrastructure Dependability through a Law Enforcement Approach.
Proceedings of the Symposium on Normative Multi-Agent Systems, 2005

2004
Response to Jiau et al.'s Comments.
IEEE Trans. Software Eng., 2004

Software Process Representation and Analysis for Framework Instantiation.
IEEE Trans. Software Eng., 2004

A behavioral analysis and verification approach to pattern-based design composition.
Softw. Syst. Model., 2004

A Generative Approach for Multi-agent System Development.
Proceedings of the Software Engineering for Multi-Agent Systems III, 2004

Extending (Object-)Z for multi-agent systems specification.
Proceedings of the CAiSE'04 Workshops in connection with The 16th Conference on Advanced Information Systems Engineering, 2004

AgentZ: Extending Object-Z for Multi-agent Systems Specification.
Proceedings of the Agent-Oriented Information Systems II, 2004

2003
On Analysis of Design Component Contracts: A Case Study.
Proceedings of the 11th International Workshop on Software Technology and Engineering Practice (STEP 2003), 2003

A Formal Framework for Design Component Contracts.
Proceedings of the 2003 IEEE International Conference on Information Reuse and Integration, 2003

Software Engineering for Large-Scale Multi-Agent Systems - SELMAS'2003.
Proceedings of the 25th International Conference on Software Engineering, 2003

A service-oriented monitoring registry.
Proceedings of the 2003 conference of the Centre for Advanced Studies on Collaborative Research, 2003

2002
A Logical Theory of Interfaces and Objects.
IEEE Trans. Software Eng., 2002

Views and Patterns in E-Commerce Application Design.
Ann. Softw. Eng., 2002

A Framework for Community Information Systems.
Ann. Softw. Eng., 2002

Taming Agents and Objects in Software Engineering.
Proceedings of the Software Engineering for Large-Scale Multi-Agent Systems, 2002

Towards Monitored Data Consistency and Business Processing Based on Declarative Software Agents.
Proceedings of the Software Engineering for Large-Scale Multi-Agent Systems, 2002

NSPF: Designing a Notification Service Provider Framework for Web Services.
Proceedings of the Web, 2002

2001
An approach to formal specification and verification of map-centered applications.
Environ. Model. Softw., 2001

Supporting Formal Verification of Crosscutting Concerns.
Proceedings of the Metalevel Architectures and Separation of Crosscutting Concerns, 2001

Geographic Problem Frames.
Proceedings of the 5th IEEE International Symposium on Requirements Engineering (RE 2001), 2001

A Behavioral Analysis Approach to Pattern-Based Composition.
Proceedings of the 7th International Conference on Object Oriented Information Systems, 2001

2000
Using viewpoints to derive object-oriented frameworks: a case study in the web-based education domain.
J. Syst. Softw., 2000

An Extensible Model of Architecture Description.
Proceedings of the Applied Computing 2000, 2000

A Model for Describing Object-Oriented Systems from Multiple Perspectives.
Proceedings of the Fundamental Approaches to Software Engineering, 2000

Ensuring Structure and Behavior Correctness in Design Composition.
Proceedings of the 7th IEEE International Symposium on Engineering of Computer-Based Systems (ECBS 2000), 2000

A Framework for Software Architecture Verification.
Proceedings of the 12th Australian Software Engineering Conference (ASWEC 2000), 2000

1999
Dynamic views of SGML tagged documents.
Proceedings of the 17th annual international conference on Documentation, 1999

Correct Composition of Design Components.
Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

A Pattern-Based Approach to Structural Design Composition.
Proceedings of the 23rd International Computer Software and Applications Conference (COMPSAC '99), 1999

1998
Using view-based models to formalize architecture description.
Proceedings of the Third International Workshop on Software Architecture, 1998

A Model for Gluing Together.
Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998

A Transformational Approach to Structural Design Assessment and Change.
Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998

1997
Viewpoints as an evolutionary approach to software system maintenance.
Proceedings of the 1997 International Conference on Software Maintenance (ICSM '97), 1997

1996
A Logical Framework for Evolving Software Systems.
Formal Aspects Comput., 1996

A Formal Architectural Design Patterns-Based Approach to Software Understanding.
Proceedings of the 4th International Workshop on Program Comprehension (WPC '96), 1996

A Formal Approach to Architectural Design Patterns.
Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996

Validating Properties of Component-based Graphical User Interfaces.
Proceedings of the Design, 1996

1995
A Formal Description of Evolving Software Systems Architectures.
Sci. Comput. Program., 1995

Formal Specification of Reusable Interface Objects.
Proceedings of the ACM SIGSOFT Symposium on Software Reusability, 1995

Combining Formal Techniques and Prototyping in User Interface Construction and Verification.
Proceedings of the Design, 1995

A Framework for Machine-Assisted User Interface Verification.
Proceedings of the Algebraic Methodology and Software Technology, 1995

1994
The Semantics of Abstract Data Views: A Design Concept to Support Reuse-in-the-Large.
Proceedings of the Object-Oriented Technology for Database and Software Systems, 1994

1991
Formalização de Conceitos em Gerência de Configurações.
Proceedings of the 5th Brazilian Symposium on Software Engineering, 1991


  Loading...