Billede af Søren Enevoldsen

Vis Scopus-profil

Søren Enevoldsen

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

    9220 Aalborg Ø

    Danmark

20152022

Publikationer pr. år

  • 7 Konferenceartikel i proceeding
  • 2 Tidsskriftartikel
  • 2 Konferenceartikel i tidsskrift
  • 1 Ph.d.-afhandling
Filter
Konferenceartikel i proceeding

Søgeresultater

  • 2020

    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, s. 249-268 20 s. (Lecture Notes in Computer Science).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    1 Citationer (Scopus)
  • 2019

    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 proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    6 Citationer (Scopus)
    158 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 proceeding › Konferenceartikel i proceeding › Forskning

    2 Citationer (Scopus)
  • 2017

    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 proceeding › Konferenceartikel i proceeding › Forskning › peer 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 proceeding › Konferenceartikel i proceeding › Forskning › peer review

    13 Citationer (Scopus)
  • 2016

    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, s. 197-212 16 s. (Lecture Notes in Computer Science, Bind 9984).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    9 Citationer (Scopus)
  • 2015

    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. (red.). Netherlands: Springer, s. 573-582 10 s. (Lecture Notes in Computer Science; Nr. 9399).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    30 Citationer (Scopus)