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 × Hungary
1 × Italy
Collaborated with:
C.Mann E.Alkassar N.Schirmer
Talks about:
framework (1) privaci (1) android (1) static (1) pervas (1) mechan (1) formal (1) detect (1) applic (1) verif (1)

Person: Artem Starostin

DBLP DBLP: Starostin:Artem

Contributed to:

SAC 20122012
TACAS 20082008

Wrote 2 papers:

SAC-2012-MannS #android #detection #framework #privacy #static analysis
A framework for static detection of privacy leaks in android applications (CM, AS), pp. 1457–1462.
TACAS-2008-AlkassarSS #pervasive #verification
Formal Pervasive Verification of a Paging Mechanism (EA, NS, AS), pp. 109–123.

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.