Publications per year
Publications per year
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
-
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
-
Domain Science & Engineering. A Foundation for Software Development
Bjørner, D., 2020, Technical University of Denmark. 282 p.Research output: Book/Report › Doctoral thesis
Open AccessFile550 Downloads (Pure) -
Domain analysis and description principles, techniques, and modelling languages
Bjørner, D., 1 Apr 2019, In: ACM Transactions on Software Engineering and Methodology. 28, 2, 67 p., 8.Research output: Contribution to journal › Journal article › Research › peer-review
-
Domain analysis & description: The implicit and explicit semantics problem
Bjørner, D., 2018, Proceedings IMPEX 2017 and FM&MDD 2017. Vol. 271. p. 1-23 23 p. (Electronic Proceedings in Theoretical Computer Science, EPTCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Open AccessFile206 Downloads (Pure)
Projects
- 13 Finished
-
Geodata-Infrastruktur
Christensen, J. V., Frederiksen, P., Jacobi, O. I., Villadsen, J., Andreasen, T., Nilsson, J. F., Bjørner, D. & Östman, A.
01/02/2002 → 01/08/2007
Project: PhD
-
Design og Anvendelse af en byggeontologi - Design and Application of a civil engineering Ontology
Eir, A., Galle, P., Hansen, B. S., Pedersen, S. A., Turk, Z. & Bjørner, D.
01/02/2001 → 05/07/2004
Project: PhD
-
-
FMERail (ESPRIT Project EP26538)
Hansen, B. S., Bjørner, D. & Haxthausen, A. E.
01/01/1998 → 30/09/1999
Project: Research
-