Travelled to:1 × Israel
1 × Republic of China
3 × USA
Collaborated with:E.M.Clarke M.Minea O.Grumberg M.A.J.Song A.M.Pereira L.E.Zárate K.L.McMillan V.Hartonas-Garmhausen W.R.Marrero K.C.Gonçalves A.B.Vieira J.M.Almeida A.P.C.d.Silva H.T.M.Neto F.Lima G.Gorgulho W.M.Jr.
Talks about:system (5) quantit (3) analysi (2) verifi (2) formal (2) verus (2) verif (2) model (2) check (2) tool (2)
Person: Sérgio Vale Aguiar Campos
DBLP: Campos:S=eacute=rgio_Vale_Aguiar
Contributed to:
2012
20052003
19971996
1995Wrote 7 papers:
- PDP-2012-GoncalvesVASNC #network
- Characterizing Dynamic Properties of the SopCast Overlay Network (KCG, ABV, JMA, APCdS, HTMN, SVAC), pp. 319–326.
- SEKE-2005-SongPCZ #specification #transaction #uml #verification
- Formal Verification of Transactional Systems Based on UML Specifications (MAJS, AMP, SVAC, LEZ), pp. 199–204.
- SEKE-2003-SongPLGCM #e-commerce #uml #verification
- Extending UML to Specify and Verify E-commerce Systems (MAJS, AMP, FL, GG, SVAC, WMJ), pp. 306–313.
- CAV-1997-CamposCM #approach #realtime #verification
- The Verus Tool: A Quantitative Approach to the Formal Verification of Real-Time Systems (SVAC, EMC, MM), pp. 452–455.
- CAV-1996-CamposG #analysis #model checking #verification
- Selective Quantitative Analysis and Interval Model Checking: Verifying Different Facets of a System (SVAC, OG), pp. 257–268.
- CAV-1996-ClarkeMCH #model checking
- Symbolic Model Checking (EMC, KLM, SVAC, VHG), pp. 419–427.
- LCT-RTS-1995-CamposCMM #analysis #finite #named #realtime
- Verus: A Tool for Quantitative Analysis of Finite-State Real-Time Systems (SVAC, EMC, WRM, MM), pp. 70–78.