Get started
Author

Sérgio Cavalcante

Observed names: S. Cavalcante, Sergio Cavalcante, Sergio Ricardo De Oliveira Cavalcante
ORCID: 0000-0002-5502-7070
Observed ORCID: 0000-0002-5502-7070
OpenAlex ID: A5031270425
A time Petri net approach for finding preruntime schedules in embedded hard real-time systems
2004 · R. Barreto, S. Cavalcante, et al. · IEEE International Conference on Distributed Computing Systems Workshops (ICDCSW) · 15
Software test program: a software residency experience
2005 · Augusto Sampaio, Carlos Albuquerque, et al. · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · 13
The Impact of AI Tools on Software Development: A Case Study with GitHub Copilot and Other AI Assistants
2025 · Sergio Cavalcante, Erick Ribeiro, et al. · International Conference on Enterprise Information Systems · 7
Specification and Validation of the SACI-1 On-Board Computer Using Timed-CSP-Z and Petri Nets
2003 · Adnan Sherif, Augusto Sampaio, et al. · Lecture notes in computer science · 5
An Integrated Approach to Specification and Validation of Real-Time Systems
2001 · Adnan Sherif, Augusto Sampaio, et al. · Lecture notes in computer science · 5
Joy to the Work: How Does Software Team Formation Strategy Influence Job Satisfaction?
2022 · Sergio Ricardo De Oliveira Cavalcante, Bruno Gadelha, et al. · Brazilian Symposium on Software Quality (SBQS) · 3
PDF
How to Better Form Software Development Teams? An Analysis of Different Formation Criteria
2020 · Sérgio Cavalcante, Bruno Gadelha, et al. · International Conference on Enterprise Information Systems · 2
CDFG-Petri net temporal partitioning for switching context applications
2002 · Pedro Nascimento, M.E. Lima, et al. · 1
Next Level: a maturity model in construction for the evolution of software teams based on performance indicators
2026 · Sergio Cavalcante · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)
A modeling methodology and pre-run-time scheduling for embedded real-time software
2004 · R. Barreto, P. Maciel, et al. · International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD)
Works count: 10
Citation count: 51
H-index: 5
I10-index: 2
Year
Topic
Type