Sérgio Cavalcante

Publication Activity (10 Years)

Years Active: 1999-2020
Publications (10 Years): 1

Top Topics

Relational Databases

Top Venues

Publications

Sérgio Cavalcante, Bruno Gadelha, Edson César Cunha de Oliveira, Tayana Conte
How to Better Form Software Development Teams? An Analysis of Different Formation Criteria. ICEIS (2) (2020)
Augusto Sampaio, Carlos Albuquerque, João Vasconcelos, Luckerson Cruz, Luis Figueiredo, Sérgio Cavalcante
Software test program: a software residency experience. ICSE (2005)
Raimundo S. Barreto, Sérgio Cavalcante, Paulo Romero Martins Maciel
A Time Petri Net Approach for Finding Pre-Runtime Schedules in Embedded Hard Real-Time Systems. ICDCS Workshops (2004)
Fabio Campos, Sérgio Cavalcante
An Extended Approach for Dempster-Shafer Theory. IRI (2003)
Adnan Sherif, Augusto Sampaio, Sérgio Cavalcante
Specification and Validation of the SACI-1 On-Board Computer Using Timed-CSP-Z and Petri Nets. ICATPN (2003)
Raimundo S. Barreto, Paulo Romero Martins Maciel, Sérgio Cavalcante
A Modeling Methodology and Pre-Run-Time Scheduling for Embedded Real-Time Software. SBAC-PAD (2003)
Niels Vanspauwen, Edna Barros, Sérgio Cavalcante, Carlos Valderrama
On the Importance, Problems and Solutions of Pointer Synthesis. SBCCI (2002)
Adnan Sherif, Augusto Sampaio, Sérgio Cavalcante
An Integrated Approach to Specification and Validation of Real-Time Systems. FME (2001)
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
Cyber Rally: An experience of democratic use of the internet. HCI (2) (1999)