Christian W. Probst

  1. 2017
  2. Published

    Architecturally Significant Requirements Identification, Classification and Change Management for Multi-tenant Cloud-Based Systems. / Chauhan, Muhammad Aufeef; Probst, Christian W.

    Requirements Engineering for Service and Cloud Computing. Springer, 2017. p. 181-205 (Requirements Engineering for Service and Cloud Computing).

    Publication: Research - peer-reviewBook chapter – Annual report year: 2017

  3. Published

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

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

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

  4. Published

    Modeling and Verification of Insider Threats Using Logical Analysis. / Kammuller, Florian; Probst, Christian W.

    In: I E E E Systems Journal, Vol. 11, No. 2, 2017, p. 534-545.

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

  5. 2016
  6. 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

  7. Published

    A Process Framework for Designing Software Reference Architectures for Providing Tools as a Service. / Chauhan, Muhammad Aufeef; Babar, Muhammad Ali; Probst, Christian W.

    Proceedings of the 17th International Conference on Product-Focused Software Process Improvement (PROFES 2016). Springer, 2016. p. 111-126 (Lecture Notes in Computer Science, Vol. 10027).

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

  8. 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

  9. 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

  10. 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

  11. 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

  12. 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

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