Billede af Danny Bøgsted Poulsen

Vis Scopus-profil

Danny Bøgsted Poulsen

Lektor

 https://orcid.org/0000-0001-9623-0748

  • A.C. Meyers Vænge 15, 1-2-36

    2450 København SV

    Danmark

20112025

Publikationer pr. år

Fingerprint

Fingerprint er automatisk genererede koncepter, som stammer fra personprofilernes indhold. Det opdateres løbende med nye registreringer.
  • 1 Lignende profiler
Vis fuldt fingerprint

Samarbejde i de sidste fem år

Klik på punkterne for at se detaljerne.
Udforsk netværk yderligere
  • 22 Konferenceartikel i proceeding
  • 8 Tidsskriftartikel
  • 4 Konferenceartikel i tidsskrift
  • 1 Ph.d.-afhandling

  • 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. (red.). 1 udg. Springer, Bind 15403. s. 22-34 13 s. (Lecture Notes in Computer Science, Bind 15403).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer 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., sep. 2024, Proceedings of the 52nd Annual Conference of the European Society for Engineering Education (SEFI). European Society for Engineering Education, s. 1-10

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil

  • 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. (red.). Springer, s. 136-151 16 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 14952 LNCS).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer 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 udg. Springer, s. 379-397 (Lecture Notes in Computer Science, Bind 15217).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer 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. (red.). Springer Nature Switzerland AG, s. 96-112 17 s. (Lecture Notes in Computer Science; Nr. 14290).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    1 Citationer (Scopus)
Se alle 35 publikationer