The SCEAS System
Navigation Menu

Search the dblp DataBase


Sérgio Cavalcante: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Adnan Sherif, Augusto Sampaio, Sérgio Cavalcante
    Specification and Validation of the SACI-1 On-Board Computer Using Timed-CSP-Z and Petri Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2003, pp:161-180 [Conf]
  2. Adnan Sherif, Augusto Sampaio, Sérgio Cavalcante
    An Integrated Approach to Specification and Validation of Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    FME, 2001, pp:278-299 [Conf]
  3. Geber Ramalho, Flávia A. Barros, Sérgio Cavalcante, Ana Cavalcanti, Manoel Lima, Silvio Romero de Lemos Meira, Hermano Moura, Alexandre Vasconcelos
    Cyber Rally: An experience of democratic use of the internet. [Citation Graph (0, 0)][DBLP]
    HCI (2), 1999, pp:402-406 [Conf]
  4. 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. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshops, 2004, pp:846-851 [Conf]
  5. Augusto Sampaio, Carlos Albuquerque, Joåo Vasconcelos, Luckerson Cruz, Luis Figueiredo, Sérgio Cavalcante
    Software test program: a software residency experience. [Citation Graph (0, 0)][DBLP]
    ICSE, 2005, pp:611-612 [Conf]
  6. Fabio Campos, Sérgio Cavalcante
    An Extended Approach for Dempster-Shafer Theory. [Citation Graph (0, 0)][DBLP]
    IRI, 2003, pp:338-344 [Conf]
  7. Raimundo S. Barreto, Paulo Romero Martins Maciel, Sérgio Cavalcante
    A Modeling Methodology and Pre-Run-Time Scheduling for Embedded Real-Time Software. [Citation Graph (0, 0)][DBLP]
    SBAC-PAD, 2003, pp:72-81 [Conf]

Search in 0.004secs, Finished in 0.004secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002