Research output per year
Research output per year
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.
Research output
-
Abstract Dependency Graphs for Model Verification
Enevoldsen, S., 2022, Aalborg Universitetsforlag. 191 p.Research output: PhD thesis
Open AccessFile216 Downloads (Pure) -
Extended Abstract Dependency Graphs
Enevoldsen, S., Larsen, K. G. & Srba, J., Feb 2022, In: International Journal on Software Tools for Technology Transfer. 24, 1, p. 49-65 17 p.Research output: Contribution to journal › Conference article in Journal › Research › peer-review
Open Access2 Citations (Scopus) -
Web of Things Semantic Interoperability in Smart Buildings
Laadhar, A., Dongo, J., Enevoldsen, S., Revaz, F., Gabioud, D., Pedersen, T. B., Meyer, M., Nielsen, B. & Thomsen, C., 2022, In: Procedia Computer Science. 207, p. 997-1006 10 p.Research output: Contribution to journal › Conference article in Journal › Research › peer-review
Open AccessFile47 Downloads (Pure) -
Dependency graphs with applications to verification
Enevoldsen, S., Larsen, K. G., Mariegaard, A. & Srba, J., 1 Oct 2020, In: International Journal on Software Tools for Technology Transfer. 22, 5, p. 635-654 20 p.Research output: Contribution to journal › Journal article › Research › peer-review
3 Citations (Scopus) -
Verification of Multiplayer Stochastic Games via Abstract Dependency Graphs
Enevoldsen, S., Jensen, M. C., Larsen, K. G., Mariegaard, A. & Srba, J., 2020, 30th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR'20). Springer, p. 249-268 20 p. (Lecture Notes in Computer Science).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
1 Citation (Scopus)
Datasets
-
Reproducibility Package for Extended Abstract Dependency Graphs.
Enevoldsen, S. (Contributor), Larsen, K. G. (Contributor) & Srba, J. (Contributor), Zenodo, 2020
DOI: 10.5281/zenodo.3691837, https://zenodo.org/record/3691837
Dataset