Søren Enevoldsen

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

    9220 Aalborg Ø

    Danmark

20152019

Publikationer pr. år

Hvis du har foretaget ændringer i Pure, vil de snart blive vist her.

Fingerprint Fingerprint er automatisk genererede koncepter, som stammer fra personprofilernes indhold. Det opdateres løbende med nye registreringer.

  • 3 Lignende profiler

Netværk Klik på punkterne for at se detaljerne.

Publikationer

  • 6 Konferenceartikel i proceeding
  • 1 Tidsskriftartikel

Abstract Dependency Graphs and Their Application to Model Checking

Enevoldsen, S., Larsen, K. G. & Srba, J., 2019, Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'19). Zhang, L. & Vojnar, T. (red.). Springer, s. 316-333 18 s. (Lecture Notes in Computer Science, Bind 11427).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Åben adgang
Fil
  • 3 Citationer (Scopus)
    10 Downloads (Pure)

    Model Verification Through Dependency Graphs

    Enevoldsen, S., Larsen, K. G. & Srba, J., 2019, Proceedings of the 26th International SPIN Symposium on Model Checking of Software (SPIN'19). Biondi, F., Given-Wilson, T. & Legay, A. (red.). Springer, s. 1-19 19 s. (Lecture Notes in Computer Science, Bind 11636).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

    1 Citationer (Scopus)

    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, I : Fundamenta Informaticae. 161, 4, s. 351-381

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer 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, s. 603-622 (Lecture Notes in Computer Science, Bind 10460).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    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, Bind 10258 LNCS. s. 139-158 20 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 10258 LNCS).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

  • 9 Citationer (Scopus)