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 × Austria
1 × Czech Republic
1 × Estonia
1 × France
Collaborated with:
L.Compagna A.Armando S.E.Ponta A.Panichella G.Pellegrino A.Merlo D.Balzarotti W.Arsac T.Avanesov M.Barletta A.Calvi A.Cappai Y.Chevalier J.Cuéllar G.Erzse S.Frau M.Minea S.Mödersheim D.v.Oheimb M.Rocchetto M.Rusinowitch M.T.Dashti M.Turuani L.Viganò
Talks about:
secur (4) model (2) autom (2) test (2) architectur (1) avantssar (1) protocol (1) platform (1) identif (1) checker (1)

Person: Roberto Carbone

DBLP DBLP: Carbone:Roberto

Contributed to:

ICST 20152015
TACAS 20142014
TACAS 20122012
TAP 20122012

Wrote 4 papers:

ICST-2015-CarboneCPP #identification #security #testing
Security Threat Identification and Testing (RC, LC, AP, SEP), pp. 1–8.
TACAS-2014-ArmandoCC #model checking #named #satisfiability
SATMC: A SAT-Based Model Checker for Security-Critical Systems (AA, RC, LC), pp. 31–45.
TACAS-2012-ArmandoAABCCCCCCEFMMOPPRRDTV #architecture #automation #framework #platform #security #trust #validation
The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures (AA, WA, TA, MB, AC, AC, RC, YC, LC, JC, GE, SF, MM, SM, DvO, GP, SEP, MR, MR, MTD, MT, LV), pp. 267–282.
TAP-2012-ArmandoPCMB #automation #model checking #protocol #security #testing
From Model-Checking to Automated Testing of Security Protocols: Bridging the Gap (AA, GP, RC, AM, DB), pp. 3–18.

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.