Marieta Georgieva Ivanova

Publication Activity (10 Years)

Years Active: 2013-2015
Publications (10 Years): 3

Top Topics

Spatio Temporal

Tree Construction

Higher Order Logic

Top Venues

Publications

Marieta Georgieva Ivanova, Christian W. Probst, René Rydhof Hansen, Florian Kammüller
Transforming Graphical System Models to Graphical Attack Models. GraMSec@CSF (2015)
Marieta Georgieva Ivanova, Christian W. Probst, René Rydhof Hansen, Florian Kammüller
Attack Tree Generation by Policy Invalidation. WISTP (2015)
Zaruhi Aslanyan, Marieta Georgieva Ivanova, Flemming Nielson, Christian W. Probst
Modelling and Analysing Socio-Technical Systems. STPIS@CAiSE (2015)
Jaap Boender, Marieta Georgieva Ivanova, Florian Kammüller, Giuseppe Primiero
Modeling Human Behaviour with Higher Order Logic: Insider Threats. STAST (2014)
Camilla Birgitte Falk Jensen, Michael Kai Petersen, Jakob Eg Larsen, Arkadiusz Stopczynski, Carsten Stahlhut, Marieta Georgieva Ivanova, Tobias Andersen, Lars Kai Hansen
Spatio temporal media components for neurofeedback. ICME Workshops (2013)
Marieta Georgieva Ivanova, Christian W. Probst, René Rydhof Hansen, Florian Kammüller
Externalizing Behaviour for Analysing System Models. J. Internet Serv. Inf. Secur. 3 (3/4) (2013)