Seguir
Sérgio Campos
Sérgio Campos
E-mail confirmado em dcc.ufmg.br
Título
Citado por
Citado por
Ano
Compositional reasoning in model checking
S Berezin, S Campos, EM Clarke
International Symposium on Compositionality, 81-102, 1997
2381997
Symbolic model checking
E Clarke, K McMillan, S Campos, V Hartonas-Garmhausen
Computer Aided Verification: 8th International Conference, CAV'96 New …, 1996
2091996
Computing quantitative characteristics of finite-state real-time systems
Campos, Marrero, Minea, Hiraishi
1994 Proceedings Real-Time Systems Symposium, 266-270, 1994
1181994
Real-time symbolic model checking for discrete time models
SV Campos, EM Clarke
Carnegie-Mellon University. Department of Computer Science, 1994
1101994
Verus: a tool for quantitative analysis of finite-state real-time systems
S Campos, E Clarke, W Marrero, M Minea
Proceedings of the ACM SIGPLAN 1995 workshop on Languages, compilers …, 1995
861995
Scalable media streaming to interactive users
M Rocha, M Maia, I Cunha, J Almeida, S Campos
Proceedings of the 13th annual ACM international conference on Multimedia …, 2005
782005
Verifying the performance of the PCI local bus using symbolic techniques
S Campos, E Clarke, W Marrero, M Minea
Proceedings of ICCD'95 International Conference on Computer Design. VLSI in …, 1995
771995
Verifying the performance of the PCI local bus using symbolic techniques
S Campos, E Clarke, W Marrero, M Minea
Proceedings of ICCD'95 International Conference on Computer Design. VLSI in …, 1995
771995
Verification of a safety-critical railway interlocking system with real-time constraints
V Hartonas-Garmhausen, S Campos, A Cimatti, E Clarke, F Giunchiglia
Science of computer programming 36 (1), 53-64, 2000
712000
ProbVerus: Probabilistic symbolic model checking
V Hartonas-Garmhausen, S Campos, E Clarke
Formal Methods for Real-Time and Probabilistic Systems: 5th International …, 1999
631999
On the utilization of deep and ensemble learning to detect milk adulteration
HA Neto, WLF Tavares, DCSZ Ribeiro, RCO Alves, LM Fonseca, ...
BioData mining 12, 1-13, 2019
592019
Different neighborhood walkability indexes for active commuting to school are necessary for urban and rural children and adolescents
J Molina-García, S Campos, X García-Massó, M Herrador-Colmenero, ...
International journal of behavioral nutrition and physical activity 17, 1-11, 2020
562020
A quantitative approach to the formal verification of real-time systems
SVA Campos
Carnegie Mellon University, 1996
501996
The Verus tool: A quantitative approach to the formal verification of real-time systems
S Campos, E Clarke, M Minea
Computer Aided Verification: 9th International Conference, CAV'97 Haifa …, 1997
481997
Sistemas de comércio eletrônico: projeto e desenvolvimento
W Meira, CD Murta, SVA Campos, DOG Neto
Campus, 2002
472002
Characterizing sopcast client behavior
A Borges, P Gomes, J Nacif, R Mantini, JM Almeida, S Campos
Computer Communications 35 (8), 1004-1016, 2012
412012
Fighting pollution in p2p live streaming systems
A Borges, J Almeida, S Campos
2008 IEEE International Conference on Multimedia and Expo, 481-484, 2008
392008
Timing analysis of industrial real-time systems
S Campos, E Clarke, W Marrero, M Minea
Proceedings of 1995 IEEE Workshop on Industrial-Strength Formal …, 1995
391995
Evaluating imputation techniques for missing data in ADNI: a patient classification study
S Campos, L Pizarro, C Valle, KR Gray, D Rueckert, H Allende
Progress in Pattern Recognition, Image Analysis, Computer Vision, and …, 2015
362015
SIGLa: an adaptable LIMS for multiple laboratories
A Melo, A Faria-Campos, DM DeLaat, R Keller, V Abreu, S Campos
BMC genomics 11, 1-8, 2010
352010
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20