Sérgio Campos
Sérgio Campos
Verified email at dcc.ufmg.br
Title
Cited by
Cited by
Year
Compositional reasoning in model checking
S Berezin, S Campos, EM Clarke
International Symposium on Compositionality, 81-102, 1997
2101997
Symbolic model checking
E Clarke, K McMillan, S Campos, V Hartonas-Garmhausen
International conference on computer aided verification, 419-422, 1996
1601996
Real-time symbolic model checking for discrete time models
SV Campos, EM Clarke
CARNEGIE-MELLON UNIV PITTSBURGH PA DEPT OF COMPUTER SCIENCE, 1994
1061994
Computing quantitative characteristics of finite-state real-time systems
S Campos, E Clarke, W Marrero, M Minea, H Hiraishi
RTSS, 266-270, 1994
1021994
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
831995
Scalable media streaming to interactive users
M Rocha, M Maia, Í Cunha, J Almeida, S Campos
Proceedings of the 13th annual ACM international conference on Multimedia …, 2005
732005
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
721995
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
721995
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
652000
ProbVerus: Probabilistic symbolic model checking
V Hartonas-Garmhausen, S Campos, E Clarke
International AMAST Workshop on Aspects of Real-Time Systems and Concurrent …, 1999
591999
A Quantitative Approach to the Formal Verification of Real-Time Systems.
SV Campos
CARNEGIE-MELLON UNIV PITTSBURGH PA DEPT OF COMPUTER SCIENCE, 1996
511996
The Verus tool: A quantitative approach to the formal verification of real-time systems
S Campos, E Clarke, M Minea
International Conference on Computer Aided Verification, 452-455, 1997
471997
Sistemas de comércio eletrônico: projeto e desenvolvimento
W Meira, CD Murta, SVA Campos, DOG Neto
Campus, 2002
452002
Fighting pollution in p2p live streaming systems
A Borges, J Almeida, S Campos
2008 IEEE International Conference on Multimedia and Expo, 481-484, 2008
402008
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
371995
Characterizing sopcast client behavior
A Borges, P Gomes, J Nacif, R Mantini, JM Almeida, S Campos
Computer Communications 35 (8), 1004-1016, 2012
362012
Selective quantitative analysis and interval model checking: Verifying different facets of a system
S Campos, O Grumberg
International Conference on Computer Aided Verification, 257-268, 1996
301996
SIGLa: an adaptable LIMS for multiple laboratories
A Melo, A Faria-Campos, DM DeLaat, R Keller, V Abreu, S Campos
BMC genomics 11 (S5), S8, 2010
282010
Real-time symbolic model checking for discrete time models, Theories and experiences for real-time system development
SV Campos, EM Clarke
World Scientific Publishing Co., Inc., River Edge, NJ, 1994
281994
Fighting attacks in p2p live streaming. simpler is better
AB Vieira, S Campos, J Almeida
IEEE INFOCOM Workshops 2009, 1-2, 2009
222009
The system can't perform the operation now. Try again later.
Articles 1–20