• Selma Lagerløfs Vej 300, 1-2-57

    9220 Aalborg Ø

    Denmark

20152018
If you made any changes in Pure these will be visible here soon.

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

  • 2 Similar Profiles
Model checking Engineering & Materials Science
Parallel algorithms Engineering & Materials Science
modeling Earth & Environmental Sciences
simulation Earth & Environmental Sciences
Petri nets Engineering & Materials Science
Backpropagation Engineering & Materials Science
Explosions Engineering & Materials Science
Experiments Engineering & Materials Science

Network Dive into details by clicking on the dots.

Research Output 2015 2018

  • 4 Article in proceeding
  • 1 Journal article

A Distributed Fixed-Point Algorithm for Extended Dependency Graphs

Dalsgaard, A. E., Enevoldsen, S., Fogh, P., Jensen, L. S., Jensen, P. G., Jepsen, T. S., Kaufmann, I., Larsen, K. G., Nielsen, S. M., Olesen, M. C., Pastva, S. & Srba, J., 2018, In : Fundamenta Informaticae. 161, 4, p. 351-381

Research output: Contribution to journalJournal articleResearchpeer-review

Energy Consumption Forecast of Photo-Voltaic Comfort Cooling using UPPAAL Stratego

Agesen, M. K., Enevoldsen, S., Le Guilly, T., Mariegaard, A., Olsen, P. & Skou, A. J., 19 Aug 2017, Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday. Springer Publishing Company, p. 603-622 (Lecture Notes in Computer Science, Vol. 10460).

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

7 Citations (Scopus)

Extended dependency graphs and efficient distributed fixed-point computation

Dalsgaard, A. E., Enevoldsen, S., Fogh, P., Jensen, L. S., Jepsen, T. S., Kaufmann, I., Larsen, K. G., Nielsen, S. M., Olesen, M. C., Pastva, S. & Srba, J., 2017, Application and Theory of Petri Nets and Concurrency - 38th International Conference, PETRI NETS 2017, Proceedings. Springer, Vol. 10258 LNCS. p. 139-158 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 10258 LNCS).

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

Model checking
Petri nets
Backpropagation
Explosions
6 Citations (Scopus)

Distributed computation of fixed points on dependency graphs

Dalsgaard, A. E., Enevoldsen, S., Larsen, K. G. & Srba, J., Nov 2016, Dependable Software Engineering: Theories, Tools, and Applications. Springer, p. 197-212 16 p. (Lecture Notes in Computer Science, Vol. 9984).

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

Model checking
Parallel algorithms
Experiments
Linux
13 Citations (Scopus)

CAAL: Concurrency Workbench, Aalborg Edition

Reimer Andersen, J., Andersen, N., Enevoldsen, S., Munk Hansen, M., Larsen, K. G., Reedtz Olesen, S., Srba, J. & Wortmann, J. K., 2015, Theoretical Aspects of Computing - ICTAC 2015: 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings. Leucker, M., Rueda, C. & Valencia, F. D. (eds.). Netherlands: Springer, p. 573-582 10 p. (Lecture Notes in Computer Science; No. 9399).

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

modeling
simulation
analysis