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 × Italy
1 × Switzerland
1 × USA
Collaborated with:
C.Blundo P.Ciancarini C.Mascolo
Talks about:
algorithm (1) authent (1) analysi (1) requir (1) formal (1) simpl (1) secur (1) meter (1) engin (1) tool (1)

Person: Stelvio Cimato

DBLP DBLP: Cimato:Stelvio

Contributed to:

SAC 20102010
SEKE 20022002
SEKE 19961996

Wrote 3 papers:

SAC-2010-BlundoC #algorithm #mining
A simple role mining algorithm (CB, SC), pp. 1958–1962.
SEKE-2002-BlundoC #authentication #named #web
SAWM: a tool for secure and authenticated web metering (CB, SC), pp. 641–648.
SEKE-1996-CiancariniCM #analysis #requirements #testing
Engineering Formal Requirements: Analysis and Testing (PC, SC, CM), pp. 385–392.

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.