Home
|
Publications
|
Software
|
Personal
|
CV
Publications
Forthcoming
Barbara Fila, WW, Attack-defense trees for abusing optical power meters: A case study and the OSEAD tool experience report, GraMSec 2019
Wei Zheng, WW, Ligong Wang, On implicit
heavy subgraphs and hamiltonicity of 2-connected graphs, Discussiones Mathematicae Graph Theory [PDF]
WW, On implicit
degree-type conditions for hamiltonicity in implicit claw-f-heavy graphs,
Ars Combinatoria
2019
Barbara Fila, WW, Efficient attack-defense tree analysis using Pareto attribute domains, CSF 2019: 200-215 [PDF]
WW, Maxime Audinot,
Barbara Fila,
Sophie Pinchinat,
Beyond 2014: Formal methods for attack tree-based security modeling,
ACM Computing Surveys 52 (4):
75:1-75:36 [preprint | final]
2018
Barbara Kordy, WW, On
quantitative analysis of attack-defense trees with repeated labels,
POST 2018: 325-346 [Errata
| PDF]
2017
Barbara Kordy, WW, How well
can I secure my system?,
IFM 2017: 332-347 [Errata | PDF]
WW, Fan's
condition on induced subgraphs for circumference and pancyclicity,
Opuscula Mathematica 37 (4):
617-639 [PDF]
WW, A Fan-type
heavy triple of subgraphs for pancyclicity of
2-connected graphs, Discrete Mathematics 340 (7):
1639-1644 [PDF]
WW, A triple of
heavy
subgraphs ensuring pancyclicity
of
2-connected graphs, Discussiones Mathematicae Graph Theory
37 (2): 477-500
[PDF]
WW, Clique-heavy
subgraphs and pancyclicity
of
2-connected graphs, Information Processing
Letters 117:
6-9 [PDF]
2016
WW, A Fan-type
heavy pair of subgraphs for pancyclicity
of
2-connected graphs, Discussiones Mathematicae Graph Theory
36 (1):
173-184 [PDF]
Ph.D. theses
WW, Formal modeling and quantitative analysis of security using attack-defense trees, INSA Rennes, 2019; in preparation
WW, Heavy subgraphs and pancyclicity, AGH UST, 2017 [PDF]