Sérgio Cavalcante

According to our database, Sérgio Cavalcante authored at least 10 papers between 1999 and 2022.

Collaborative distances:

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

2022

Joy to the Work: How Does Software Team Formation Strategy Influence Job Satisfaction?

Sérgio Ricardo De Oliveira Cavalcante, Bruno Gadelha, Edson Oliveira, Igor Steinmacher, Walter Takashi Nakamura, Tayana Conte

Proceedings of the XXI Brazilian Symposium on Software Quality, 2022

2020

How to Better Form Software Development Teams? An Analysis of Different Formation Criteria.

Sérgio Cavalcante, Bruno Gadelha, Edson César Cunha de Oliveira, Tayana Conte

Proceedings of the 22nd International Conference on Enterprise Information Systems, 2020

2005

Software test program: a software residency experience.

Augusto Sampaio, Carlos Albuquerque, João Vasconcelos, Luckerson Cruz, Luis Figueiredo, Sérgio Cavalcante

Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

2004

A Time Petri Net Approach for Finding Pre-Runtime Schedules in Embedded Hard Real-Time Systems.

Raimundo S. Barreto, Sérgio Cavalcante, Paulo Romero Martins Maciel

Proceedings of the 24th International Conference on Distributed Computing Systems Workshops (ICDCS 2004 Workshops), 2004

2003

A Modeling Methodology and Pre-Run-Time Scheduling for Embedded Real-Time Software.

Raimundo S. Barreto, Paulo Romero Martins Maciel, Sérgio Cavalcante

Proceedings of the 15th Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2003), 2003

An Extended Approach for Dempster-Shafer Theory.

Fabio Campos, Sérgio Cavalcante

Proceedings of the 2003 IEEE International Conference on Information Reuse and Integration, 2003

Specification and Validation of the SACI-1 On-Board Computer Using Timed-CSP-Z and Petri Nets.

Adnan Sherif, Augusto Sampaio, Sérgio Cavalcante

Proceedings of the Applications and Theory of Petri Nets 2003, 2003

2002

On the Importance, Problems and Solutions of Pointer Synthesis.

Niels Vanspauwen, Edna Barros, Sérgio Cavalcante, Carlos Valderrama

Proceedings of the 15th Annual Symposium on Integrated Circuits and Systems Design, 2002

2001

An Integrated Approach to Specification and Validation of Real-Time Systems.

Adnan Sherif, Augusto Sampaio, Sérgio Cavalcante

Proceedings of the FME 2001: Formal Methods for Increasing Software Productivity, 2001

1999

Cyber Rally: An experience of democratic use of the internet.

Geber L. Ramalho, Flávia A. Barros, Sérgio Cavalcante, Ana Cavalcanti, Manoel Lima, Silvio Romero de Lemos Meira, Hermano P. Moura, Alexandre M. L. de Vasconcelos

Proceedings of the Human-Computer Interaction: Communication, 1999