| Compositional reasoning in model checking S Berezin, S Campos, EM Clarke International Symposium on Compositionality, 81-102, 1997 | 243 | 1997 |
| Symbolic model checking E Clarke, K McMillan, S Campos, V Hartonas-Garmhausen Computer Aided Verification: 8th International Conference, CAV'96 New …, 1996 | 214 | 1996 |
| Computing quantitative characteristics of finite-state real-time systems Campos, Marrero, Minea, Hiraishi 1994 Proceedings Real-Time Systems Symposium, 266-270, 1994 | 120 | 1994 |
| Real-time symbolic model checking for discrete time models SV Campos, EM Clarke Carnegie Mellon University, 1994 | 111 | 1994 |
| 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 | 86 | 1995 |
| 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 | 79 | 1995 |
| 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 | 78 | 2005 |
| 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 | 73 | 2020 |
| 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 | 72 | 2019 |
| 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 | 71 | 2000 |
| ProbVerus: Probabilistic symbolic model checking V Hartonas-Garmhausen, S Campos, E Clarke Formal Methods for Real-Time and Probabilistic Systems: 5th International …, 1999 | 63 | 1999 |
| A quantitative approach to the formal verification of real-time systems SVA Campos Carnegie Mellon University, 1996 | 51 | 1996 |
| 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 | 47 | 1997 |
| Sistemas de comércio eletrônico: projeto e desenvolvimento W Meira, CD Murta, SVA Campos, DOG Neto Campus, 2002 | 45 | 2002 |
| 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 | 44 | 2015 |
| Characterizing sopcast client behavior A Borges, P Gomes, J Nacif, R Mantini, JM Almeida, S Campos Computer Communications 35 (8), 1004-1016, 2012 | 42 | 2012 |
| Fighting pollution in p2p live streaming systems A Borges, J Almeida, S Campos 2008 IEEE International Conference on Multimedia and Expo, 481-484, 2008 | 39 | 2008 |
| 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 | 39 | 1995 |
| 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 | 35 | 2010 |
| Selective quantitative analysis and interval model checking: Verifying different facets of a system S Campos, O Grumberg Computer Aided Verification: 8th International Conference, CAV'96 New …, 1996 | 32 | 1996 |
