Fingerprint

The fingerprint consists of automatically generated concepts related to the associated persons. It is updated automatically, when new content is added.
  • 1 Similar Profiles

Collaborations from the last five years

Dive into details by clicking on the dots.
  • SMTQuery: Analysing SMT-LIB String Benchmarks

    Kulczynski, M., Lotz, K., Manea, F., Poulsen, D. B. & Sarnighausen-Cahn, P., 2025, Formal Methods: Foundations and Applications - 27th Brazilian Symposium, SBMF 2024, Proceedings. C. Nogueira, S. & Teodorov, C. (eds.). 1 ed. Springer, Vol. 15403. p. 22-34 13 p. (Lecture Notes in Computer Science, Vol. 15403).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

  • Leveraging Large Language Models for Actionable Course Evaluation Student Feedback to Lecturers

    Zhang, M., Lindsay, E., Thorbensen, F. B., Poulsen, D. B. & Bjerva, J., Sept 2024, Proceedings of the 52nd Annual Conference of the European Society for Engineering Education (SEFI). European Society for Engineering Education, p. 1-10

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
    File
  • Modelling and Analysis of DTLS: Power Consumption and Attacks

    Gehlert, L. B., Jørgensen, M. P. H., Koch, C. B., Møller, T., Rusbjerg, S. K., Bøgedal, T. W., Poulsen, D. B., Hansen, R. R. & Lux, D., 2024, Formal Methods for Industrial Critical Systems: 29th International Conference, FMICS 2024, Milan, Italy, September 9–11, 2024, Proceedings. Haxthausen, A. E. & Serwe, W. (eds.). Springer, p. 136-151 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 14952 LNCS).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

  • Statistical Analysis of the Impact of Bit-Flips in Security Critical Code

    Bøgedal, T. W., Hansen, R. R., Larsen, K. G., Legay, A. & Poulsen, D. B., Dec 2024, Bridging the Gap Between AI and Reality : Second International Conference, AISoLA 2024, Crete, Greece, October 30 – November 3, 2024, Proceedings. 1 ed. Springer, p. 379-397 (Lecture Notes in Computer Science, Vol. 15217).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

  • Refinement of Systems with an Attacker Focus

    Larsen, K. G., Legay, A. & Poulsen, D. B., 2023, Formal Methods for Industrial Critical Systems: 28th International Conference, FMICS 2023, Proceedings. Cimatti, A. & Titolo, L. (eds.). Springer Nature Switzerland AG, p. 96-112 17 p. (Lecture Notes in Computer Science; No. 14290).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    1 Citation (Scopus)