Skip to main navigation Skip to search Skip to main content
Dines Bjørner

View Scopus Profile

Dines Bjørner

  • Richard Petersens Plads, 321, 006

    2800 Kgs. Lyngby

    Denmark

Fingerprint

Dive into the research topics where Dines Bjørner is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles
View full fingerprint

  • Domain Analysis and Description: A Tutorial

    Bjørner, D., 2026, Proceedings of the 22nd International Colloquium on Theoretical Aspects of Computing – ICTAC 2025 . Springer, Vol. 16237. p. 39-66 (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • The 0'th PEPM Event: October 1987-And Andrei Petrovich Ershov: 1977-1988 (Invited Contribution)

    Bjørner, D. (Invited author), 2024, Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation. Association for Computing Machinery, p. 53-56

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Communication

  • Domain Modelling: A Foundation for Software Development

    Bjørner, D., 2023, Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday. Springer, Vol. 14080. p. 165-210 (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review

  • An Essence of Domain Engineering: A Basis for Trustworthy Aeronautics and Space Software

    Bjørner, D., 2022, NASA Formal Methods. Deshmukh, J. V., Havelund, K. & Perez, I. (eds.). Springer, p. 14-51 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13260 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Domain Analysis and Description – Sorts, Types, Intents

    Bjørner, D., 2021, Formal Methods in Outer Space. Springer, p. 35-60 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13065).

    Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review

View all 80 publications
View all 13 projects