Sérgio Campos

Sérgio Campos

Universidade Federal de Minas Gerais UFMG - Belo Horizonte / Brazil
Engineering & Technology / Computer Science
AD Scientific Index ID: 897539
Federal University of Minas Gerais
person_outline Sérgio Campos's MOST POPULAR ARTICLES
1-) Compositional reasoning in model checkingS Berezin, S Campos, EM ClarkeInternational Symposium on Compositionality, 81-102, 19972231997
2-) Symbolic model checkingE Clarke, K McMillan, S Campos, V Hartonas-GarmhausenInternational conference on computer aided verification, 419-422, 19961841996
3-) Computing quantitative characteristics of finite-state real-time systemsS Campos, E Clarke, W Marrero, M Minea, H HiraishiRTSS, 266-270, 19941141994
4-) Real-time symbolic model checking for discrete time modelsSV Campos, EM ClarkeCarnegie Mellon University, 19941111994
5-) Verus: a tool for quantitative analysis of finite-state real-time systemsS Campos, E Clarke, W Marrero, M MineaProceedings of the ACM SIGPLAN 1995 workshop on Languages, compilers …, 1995861995