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: Dashti:Mohammad_Torabi
Contributed to:
2014
2013
2013
2012
2011Wrote 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.