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
2131997
Symbolic model checking
E Clarke, K McMillan, S Campos, V Hartonas-Garmhausen
International conference on computer aided verification, 419-422, 1996
1711996
Computing quantitative characteristics of finite-state real-time systems
S Campos, E Clarke, W Marrero, M Minea, H Hiraishi
RTSS, 266-270, 1994
1131994
Real-time symbolic model checking for discrete time models
SV Campos, EM Clarke
CARNEGIE-MELLON UNIV PITTSBURGH PA DEPT OF COMPUTER SCIENCE, 1994
1091994
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
851995
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
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
672000
ProbVerus: Probabilistic symbolic model checking
V Hartonas-Garmhausen, S Campos, E Clarke
International AMAST Workshop on Aspects of Real-Time Systems and Concurrent …, 1999
611999
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
481997
Sistemas de comércio eletrônico: projeto e desenvolvimento
W Meira, CD Murta, SVA Campos, DOG Neto
Campus, 2002
432002
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
Characterizing sopcast client behavior
A Borges, P Gomes, J Nacif, R Mantini, JM Almeida, S Campos
Computer Communications 35 (8), 1004-1016, 2012
382012
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
381995
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
321996
SIGLa: an adaptable LIMS for multiple laboratories
A Melo, A Faria-Campos, DM DeLaat, R Keller, V Abreu, S Campos
BMC genomics 11 (5), 1-8, 2010
302010
Can peer-to-peer live streaming systems coexist with free riders?
JFA e Oliveira, Í Cunha, EC Miguel, MVM Rocha, AB Vieira, SVA Campos
IEEE P2P 2013 Proceedings, 1-5, 2013
242013
Deadlock prevention in flexible manufacturing systems using symbolic model checking
V Hartonas-Garmhausen, EM Clarke, S Campos
Proceedings of IEEE International Conference on Robotics and Automation 1 …, 1996
241996
The system can't perform the operation now. Try again later.
Articles 1–20