Christian W. Probst

  1. 2016
  2. Published

    An Adaptive Middleware for Improved Computational Performance. / Bonnichsen, Lars Frydendal; Probst, Christian W. (Supervisor); Karlsson, Sven (Supervisor).

    Kgs. Lyngby : Technical University of Denmark (DTU), 2016. 134 p. (DTU Compute PHD-2015; No. 390).

    Publication: ResearchPh.D. thesis – Annual report year: 2016

  3. Published

    Attack tree analysis for insider threats on the IoT using isabelle. / Kammüller, Florian; Nurse, Jason R. C.; Probst, Christian W.

    Human Aspects of Information Security, Privacy, and Trust: 4th International Conference, HAS 2016, Held as Part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016, Proceedings. ed. / Theo Tryfonas. Vol. 9750 Springer, 2016. p. 234-246 (Lecture Notes in Computer Science).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2016

  4. Submitted

    Formal Analysis of Graphical Security Models. / Aslanyan, Zaruhi; Nielson, Flemming (Supervisor); Probst, Christian W. (Supervisor).

    Kgs. Lyngby : Technical University of Denmark (DTU), 2016. 208 p. (DTU Compute PHD-2016; No. 421).

    Publication: ResearchPh.D. thesis – Annual report year: 2016

  5. Published

    Formal modelling and analysis of socio-technical systems. / Probst, Christian W.; Kammüller, Florian; Hansen, Rene Rydhof.

    Semantics, Logics, and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays. ed. / Christian W. Probst; Chris Hankin; René Rydhof Hansen. Springer, 2016. p. 54-73 (Lecture Notes in Computer Science, Vol. 9560).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2016

  6. Published

    Guaranteeing Privacy-Observing Data Exchange. / Probst, Christian W.

    Proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Foundational Techniques (ISoLA 2016): Part I. Springer, 2016. p. 958-969 (Lecture Notes in Computer Science, Vol. 9952).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2016

  7. Submitted

    High Performance with Prescriptive Optimization and Debugging. / Jensen, Nicklas Bo; Probst, Christian W. (Supervisor); Karlsson, Sven (Supervisor).

    Kgs. Lyngby : Technical University of Denmark (DTU), 2016. 186 p. (DTU Compute PHD-2016; No. 437).

    Publication: ResearchPh.D. thesis – Annual report year: 2016

  8. Published

    Model Based Analysis of Insider Threats. / Chen, Taolue ; Han, Tingting ; Kammueller, Florian ; Nemli, Ibrahim ; Probst, Christian W.

    Proceedings of the 2016 International Conference On Cyber Security And Protection Of Digital Services (Cyber Security) . IEEE, 2016.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2016

  9. Published

    Modelling Socio-Technical Aspects of Organisational Security. / Ivanova, Marieta Georgieva; Probst, Christian W. (Supervisor).

    Kgs. Lyngby : Technical University of Denmark (DTU), 2016. 133 p. (DTU Compute PHD-2016; No. 406).

    Publication: ResearchPh.D. thesis – Annual report year: 2016

  10. Published

    The attack navigator. / Probst, Christian W.; Willemson, Jan; Pieters, Wolter.

    Revised Selected Papers from the 2nd International Workshop on Graphical Models for Security (GraMSec 2015). Springer, 2016. (Lecture Notes in Computer Science, Vol. 9390).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2016

  11. Published

    The Navigation Metaphor in Security Economics. / Pieters, Wolter; Barendse, Jeroen; Ford, Margaret; Heath, Claude P. R.; Probst, Christian W.; Verbij, Ruud.

    In: I E E E Security & Privacy Magazine, Vol. 14, No. 3, 2016, p. 14-21.

    Publication: Research - peer-reviewJournal article – Annual report year: 2016

Previous 1 2 3 4 5 6 7 8 ...10 Next
Download list:
Download as PDF
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
Word