2023
ARAUJO, GUILHERME JOSÉ FERREIRA DE; GOMES, A. S.
2023
ARAUJO, GUILHERME JOSÉ FERREIRA DE; GOMES, A. S.
2023
ARAUJO, GUILHERME JOSÉ FERREIRA DE; GOMES, A. S.
2023
ARAUJO, GUILHERME JOSÉ FERREIRA DE; GOMES, A. S.
2023
ARAUJO, GUILHERME JOSÉ FERREIRA DE; GOMES, A. S.
Publicações
2013
How do I check if Nielsen is right?
CAMPOS, F.; FIGUEIRÔA, Dino; NEVES, M. A. V. B. W.; CAVALCANTE, S.; CORREIA, Walter
5th International Congress of International Association of Societies of Design Research
2013
The Role of Scales in Knowledge Elicitation
CAMPOS, F.; BELFORT, R. M; NEVES, M. A. V. B. W.; CAVALCANTE, S.
PSAM Topical Conference
2010
Modelo de Arquitetura para Construção de Plataformas de Software Embarcado
MELO, G.; CAVALCANTE, S.
12th Brazilian Workshop on Real-Time and Embedded Systems (WTR 2010)
2009
Hybrid Real-Time System Scheduling with Safe Interrupt Handling
MELO, G.; CAVALCANTE, S.
11th Brazilian Workshop on Real-Time and Embedded Systems (WTR 2009)
2007
The Lateo approach: a way to model the premises of the subjective uncertainty
CAMPOS, F.; Neves, A.; Campello de Souza, F.; CAVALCANTE, S.
International Journal of Information Technology and Intelligent Computing
2004
A Time Petri Net Approach for Finding Pre-Runtime Schedules in Embedded Hard Real-Time Systems
BARRETO, R. S.; MACIEL, P. R. M.; CAVALCANTE, S.
24th International Conference on Distributed Computing Systems Workshops
2003
Um Novo Modelo de Conexão Bluetooth
ADEODATO, Paulo J. L.; TAKAHASI, Claudio K.; CAVALCANTE, S.
5o Workshop de Comunicação sem Fio e Computação Móvel - WCSF2003
2003
A Modeling Methodology and Pre-Runtime Scheduling for Embedded Real-Time Software
BARRETO, R. S.; MACIEL, P. R. M.; CAVALCANTE, S.
The 15th Symposium on Computer Architecture and High Performance Computing
2003
On the Design of an Extensible Platform for Flow Analysis of Java using Abstract Interpretation
GUEDES, Paulo Abadie; CAVALCANTE, S.
3rd International Workshop on Worst-Case Execution Time Analysis (WCET2003)
2003
Specification and Validation of the SACI-1 On-Board Computer Using Timed-CSP-Z and Petri Nets
SHERIF, A. M.; SAMPAIO, A. C. A.; CAVALCANTE, S.
24th International Conference on Application and Theory of Petri Nets
2003
An Extended Approach for Dempster-Shafer Theory
CAMPOS, F.; CAVALCANTE, S.
The International Conference on Information Reuse and Integration
2003
A CORBA-based surrogate model on IP networks
RODRIGUES, G. N.; FERRAZ, C. A. G.; CAVALCANTE, S.
XXI Simposio Brasileiro de Redes de Computadores
2003
A Method for Knowledge Representation with Automatic Uncertainty Embodiment
CAMPOS, F.; CAVALCANTE, S.
2003 International Conference on Natural Language Processing and Knowledge Engineering
2002
Integrando Aspectos de Tempo Real em uma Aplicação Distribuída Legada
FERRAZ, C. A. G.; BARROS, J. R. B. D.; CAVALCANTE, S.
[CLEI]
Latin-American Conference on Informatics - CLEI
2002
Inserção automática de técnicas de tolerância a falhas em descrições VHDL
Santos, A. C. O.; CAVALCANTE, S.
WTF2002 - III Workshop de Testes e Tolerância a Falhas
2002
On the importance, problems and solutions of pointer synthesis
VANSPAUWEN, N.; BARROS, E.; CAVALCANTE, S.; VALDERRAMA, C.
15th Symposium On Integrated Circuits and System Design
2002
CDFG - Petri net temporal partitioning for switching context applications
NASCIMENTO, P. S. B.; LIMA, M. E.; MACIEL, P. R. M.; S. FILHO, A. G.; BARROS, E.; CAVALCANTE, S.
15th Symposium on Integrated Circuits and System Design
2001
An Integrated Approach to Specification and Validation of Real-Time Systems
SHERIF, A. M.; SAMPAIO, A. C. A.; CAVALCANTE, S.
FME 2001: Formal Methods for Increasing Software Productivity
2001
Bluetooth Mobility Framework
TAKAHASI, Claudio K.; CAVALCANTE, S.
Infonordeste2001
2000
Benchmarking Wave-to-MIDI Transcription Tools
CAVALCANTE, S.; LEAO, H. B. S.; GUIMARAES, G. F.; RAMALHO, G. L.
VII Brazilian Symposium on Computer Music
2000
Music Bench - A Benchmark for Wave-to-MIDI Transcription Tools
CAVALCANTE, S.; LEAO, H. B. S.; GUIMARAES, G. F.; RAMALHO, G. L.
AAAI Workshop on Artificial Intelligence and Music
1999
Cyber Rally: An Experience of Democratic Use of the Internet
CAVALCANTE, S.; RAMALHO, G. L.
8th International Conference on Human-Computer Interaction
1998
Chameleon: A Prototyping Platform For Digital System Design
LIMA, M. E.; CAVALCANTE, S.; ARAUJO, C. C.; LEAO, H. B. S.
International Conference on Microelectronics and Packaging - ICMP'98
1998
Introdução a hardware-software co-design
CAVALCANTE, S.; BARROS, E.
XVIII Congresso da Sociedade Brasileira de Computação / XVII Jornada de Atualização em Informática
1996
Time Wizard: A Design And Assessment Tool For Real-Time Applications
CAVALCANTE, S.; KINNIMENT, D. J.
EUROMICRO WORKSHOP ON REAL-TIME SYSTEMS
1995
Petri-Net Based Codesign System For Real-Time Applications
CAVALCANTE, S.; KINNIMENT, D. J.
IEE Computing and Control Division Colloquium on Partitioning in Hardware-Software Codesigns
1990
Controlador de Temperatura Microprocessado
CAVALCANTE, S.; CARVALHO, E. M.
13o. Encontro Nacional de Fisica da Materia Condensada
1990
Sistema de Automacao de Um Espectrometro de Rmnp
CORDEIRO, V. A. O.; CAVALCANTE, S.; AGUIAR, J. A. O.
XIII ENCONTRO NACIONAL DE FISICA DA MATERIA CONDENSADA
1990
Um metodo para aumentar a conectividade de processos em redes de Transputers
CAVALCANTE, S.; CORREIA, M. B.
III Simposio Brasileiro de Arquitetura de Computadores e Processamento Paralelo
1990
Programador de Eproms Controlado Por Software Com Modulo de Desenvolvimento de Projetos
GOMES, A. S.; CAVALCANTE, S.
13o. Encontro Nacional de Fisica da Materia Condensada
1987
Propriedades Eletricas de Resistores Fractais
CAVALCANTE, S.; GOMES, M. A. F.; VASCONCELOS, G. L.
X ENCONTRO NACIONAL DE FISICA DA MATERIA CONDENSADA
1986
Servidor de Impressoras Para Rede Local
CAVALCANTE, S.
VI Congresso da Sociedade Brasileira de Computacao
Publicações
2013
How do I check if Nielsen is right?
CAMPOS, F.; FIGUEIRÔA, Dino; NEVES, M. A. V. B. W.; CAVALCANTE, S.; CORREIA, Walter
5th International Congress of International Association of Societies of Design Research
2013
The Role of Scales in Knowledge Elicitation
CAMPOS, F.; BELFORT, R. M; NEVES, M. A. V. B. W.; CAVALCANTE, S.
PSAM Topical Conference
2010
Modelo de Arquitetura para Construção de Plataformas de Software Embarcado
MELO, G.; CAVALCANTE, S.
12th Brazilian Workshop on Real-Time and Embedded Systems (WTR 2010)
2009
Hybrid Real-Time System Scheduling with Safe Interrupt Handling
MELO, G.; CAVALCANTE, S.
11th Brazilian Workshop on Real-Time and Embedded Systems (WTR 2009)
2007
The Lateo approach: a way to model the premises of the subjective uncertainty
CAMPOS, F.; Neves, A.; Campello de Souza, F.; CAVALCANTE, S.
International Journal of Information Technology and Intelligent Computing
2004
A Time Petri Net Approach for Finding Pre-Runtime Schedules in Embedded Hard Real-Time Systems
BARRETO, R. S.; MACIEL, P. R. M.; CAVALCANTE, S.
24th International Conference on Distributed Computing Systems Workshops
2003
Um Novo Modelo de Conexão Bluetooth
ADEODATO, Paulo J. L.; TAKAHASI, Claudio K.; CAVALCANTE, S.
5o Workshop de Comunicação sem Fio e Computação Móvel - WCSF2003
2003
A Modeling Methodology and Pre-Runtime Scheduling for Embedded Real-Time Software
BARRETO, R. S.; MACIEL, P. R. M.; CAVALCANTE, S.
The 15th Symposium on Computer Architecture and High Performance Computing
2003
On the Design of an Extensible Platform for Flow Analysis of Java using Abstract Interpretation
GUEDES, Paulo Abadie; CAVALCANTE, S.
3rd International Workshop on Worst-Case Execution Time Analysis (WCET2003)
2003
Specification and Validation of the SACI-1 On-Board Computer Using Timed-CSP-Z and Petri Nets
SHERIF, A. M.; SAMPAIO, A. C. A.; CAVALCANTE, S.
24th International Conference on Application and Theory of Petri Nets
2003
An Extended Approach for Dempster-Shafer Theory
CAMPOS, F.; CAVALCANTE, S.
The International Conference on Information Reuse and Integration
2003
A CORBA-based surrogate model on IP networks
RODRIGUES, G. N.; FERRAZ, C. A. G.; CAVALCANTE, S.
XXI Simposio Brasileiro de Redes de Computadores
2003
A Method for Knowledge Representation with Automatic Uncertainty Embodiment
CAMPOS, F.; CAVALCANTE, S.
2003 International Conference on Natural Language Processing and Knowledge Engineering
2002
Integrando Aspectos de Tempo Real em uma Aplicação Distribuída Legada
FERRAZ, C. A. G.; BARROS, J. R. B. D.; CAVALCANTE, S.
[CLEI]
Latin-American Conference on Informatics - CLEI
2002
Inserção automática de técnicas de tolerância a falhas em descrições VHDL
Santos, A. C. O.; CAVALCANTE, S.
WTF2002 - III Workshop de Testes e Tolerância a Falhas
2002
On the importance, problems and solutions of pointer synthesis
VANSPAUWEN, N.; BARROS, E.; CAVALCANTE, S.; VALDERRAMA, C.
15th Symposium On Integrated Circuits and System Design
2002
CDFG - Petri net temporal partitioning for switching context applications
NASCIMENTO, P. S. B.; LIMA, M. E.; MACIEL, P. R. M.; S. FILHO, A. G.; BARROS, E.; CAVALCANTE, S.
15th Symposium on Integrated Circuits and System Design
2001
An Integrated Approach to Specification and Validation of Real-Time Systems
SHERIF, A. M.; SAMPAIO, A. C. A.; CAVALCANTE, S.
FME 2001: Formal Methods for Increasing Software Productivity
2001
Bluetooth Mobility Framework
TAKAHASI, Claudio K.; CAVALCANTE, S.
Infonordeste2001
2000
Benchmarking Wave-to-MIDI Transcription Tools
CAVALCANTE, S.; LEAO, H. B. S.; GUIMARAES, G. F.; RAMALHO, G. L.
VII Brazilian Symposium on Computer Music
2000
Music Bench - A Benchmark for Wave-to-MIDI Transcription Tools
CAVALCANTE, S.; LEAO, H. B. S.; GUIMARAES, G. F.; RAMALHO, G. L.
AAAI Workshop on Artificial Intelligence and Music
1999
Cyber Rally: An Experience of Democratic Use of the Internet
CAVALCANTE, S.; RAMALHO, G. L.
8th International Conference on Human-Computer Interaction
1998
Chameleon: A Prototyping Platform For Digital System Design
LIMA, M. E.; CAVALCANTE, S.; ARAUJO, C. C.; LEAO, H. B. S.
International Conference on Microelectronics and Packaging - ICMP'98
1998
Introdução a hardware-software co-design
CAVALCANTE, S.; BARROS, E.
XVIII Congresso da Sociedade Brasileira de Computação / XVII Jornada de Atualização em Informática
1996
Time Wizard: A Design And Assessment Tool For Real-Time Applications
CAVALCANTE, S.; KINNIMENT, D. J.
EUROMICRO WORKSHOP ON REAL-TIME SYSTEMS
1995
Petri-Net Based Codesign System For Real-Time Applications
CAVALCANTE, S.; KINNIMENT, D. J.
IEE Computing and Control Division Colloquium on Partitioning in Hardware-Software Codesigns
1990
Controlador de Temperatura Microprocessado
CAVALCANTE, S.; CARVALHO, E. M.
13o. Encontro Nacional de Fisica da Materia Condensada
1990
Sistema de Automacao de Um Espectrometro de Rmnp
CORDEIRO, V. A. O.; CAVALCANTE, S.; AGUIAR, J. A. O.
XIII ENCONTRO NACIONAL DE FISICA DA MATERIA CONDENSADA
1990
Um metodo para aumentar a conectividade de processos em redes de Transputers
CAVALCANTE, S.; CORREIA, M. B.
III Simposio Brasileiro de Arquitetura de Computadores e Processamento Paralelo
1990
Programador de Eproms Controlado Por Software Com Modulo de Desenvolvimento de Projetos
GOMES, A. S.; CAVALCANTE, S.
13o. Encontro Nacional de Fisica da Materia Condensada
1987
Propriedades Eletricas de Resistores Fractais
CAVALCANTE, S.; GOMES, M. A. F.; VASCONCELOS, G. L.
X ENCONTRO NACIONAL DE FISICA DA MATERIA CONDENSADA
1986
Servidor de Impressoras Para Rede Local
CAVALCANTE, S.
VI Congresso da Sociedade Brasileira de Computacao
svc
Sérgio Vanderlei Cavalcante
Professor Adjunto I
Processamento e Sintese de midias digitais
Design Thinking
E-mail
svc@cin.ufpe.br
Telefone
+55 81 2126-8430
R:
4769
Sala
A115
•
Publicações
Publicações
•
Orientações Acadêmicas
Orientações
svc
Sérgio Vanderlei Cavalcante
Professor Adjunto I
Processamento e Sintese de midias digitais
Design Thinking
E-mail
svc@cin.ufpe.br
Telefone
+55 81 2126-8430
R:
4769
Sala
A115
•
Publicações
Publicações
•
Orientações Acadêmicas
Orientações
