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 × Czech Republic
1 × Luxembourg
1 × USA
1 × United Kingdom
2 × Italy
Collaborated with:
J.Jürjens J.Cuéllar L.Marchal H.Schmidt B.Köpf L.Mauborgne R.Rios S.Ognawala A.Pretschner T.Limmer A.Blome K.Li M.Peroli M.T.Dashti S.H.Houmb S.Islam
Talks about:
model (3) vulner (2) secur (2) indistinguish (1) increment (1) interfer (1) geograph (1) composit (1) abstract (1) quantif (1)

Person: Martín Ochoa

DBLP DBLP: Ochoa:Mart=iacute=n

Contributed to:

ICST 20132013
CAV 20122012
SAC 20122012
TOOLS Europe 20122012
ECMFA 20112011
SFM 20112011
ASE 20162016

Wrote 7 papers:

ICST-2013-BlomeOLPD #flexibility #modelling #named #testing
VERA: A Flexible Model-Based Vulnerability Testing Tool (AB, MO, KL, MP, MTD), pp. 471–478.
CAV-2012-KopfMO #automation #quantifier
Automatic Quantification of Cache Side-Channels (BK, LM, MO), pp. 564–580.
SAC-2012-CuellarOR #privacy
Indistinguishable regions in geographic privacy (JC, MO, RR), pp. 1463–1469.
TOOLS-EUROPE-2012-OchoaJC #uml
Non-interference on UML State-Charts (MO, JJ, JC), pp. 219–235.
ECMFA-2011-JurjensMOS #evolution #incremental #modelling #security #verification
Incremental Security Verification for Evolving UMLsec models (JJ, LM, MO, HS), pp. 52–68.
SFM-2011-JurjensOSMHI #evolution #modelling #specification
Modelling Secure Systems Evolution: Abstract and Concrete Change Specifications (JJ, MO, HS, LM, SHH, SI), pp. 504–526.
ASE-2016-OgnawalaOPL #analysis #composition #execution #low level #named #symbolic computation
MACKE: compositional analysis of low-level vulnerabilities with symbolic execution (SO, MO, AP, TL), pp. 780–785.

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.