BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Campos:S=eacute=rgio_Vale_Aguiar

Contributed to:

PDP 20122012
SEKE 20052005
SEKE 20032003
CAV 19971997
CAV 19961996
LCT-RTS 19951995

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.