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 × Estonia
1 × Luxembourg
1 × Switzerland
1 × Taiwan
Collaborated with:
D.A.Basin J.Cederquist G.P.Maretic P.Tsankov A.Blome M.Ochoa K.Li M.Peroli A.Armando W.Arsac T.Avanesov M.Barletta A.Calvi A.Cappai R.Carbone Y.Chevalier L.Compagna J.Cuéllar G.Erzse S.Frau M.Minea S.Mödersheim D.v.Oheimb G.Pellegrino S.E.Ponta M.Rocchetto M.Rusinowitch M.Turuani L.Viganò
Talks about:
valid (2) model (2) test (2) architectur (1) constraint (1) avantssar (1) platform (1) flexibl (1) coverag (1) complex (1)

Person: Mohammad Torabi Dashti

DBLP DBLP: Dashti:Mohammad_Torabi

Contributed to:

CSL-LICS 20142014
ICST 20132013
ISSTA 20132013
TACAS 20122012
SAC 20112011

Wrote 5 papers:

LICS-CSL-2014-MareticDB #ltl
Anchored LTL separation (GPM, MTD, DAB), p. 9.
ICST-2013-BlomeOLPD #flexibility #modelling #named #testing
VERA: A Flexible Model-Based Vulnerability Testing Tool (AB, MO, KL, MP, MTD), pp. 471–478.
ISSTA-2013-TsankovDB #testing
Semi-valid input coverage for fuzz testing (PT, MTD, DAB), pp. 56–66.
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.
SAC-2011-CederquistD #complexity #constraints
Complexity of fairness constraints for the Dolev-Yao attacker model (JC, MTD), pp. 1502–1509.

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.