Søren Enevoldsen

Publication Activity (10 Years)

Years Active: 2015-2022
Publications (10 Years): 10

Top Topics

Distributed Computation

Semantic Interoperability

Dependency Graphs

Top Venues

Int. J. Softw. Tools Technol. Transf.

Fundam. Informaticae

Publications

Amir Laadhar, Junior Dongo, Søren Enevoldsen, Frédéric Revaz, Dominique Gabioud, Torben Bach Pedersen, Martin Meyer, Brian Nielsen, Christian Thomsen
Web of Things Semantic Interoperability in Smart Buildings. KES (2022)
Søren Enevoldsen, Kim Guldstrand Larsen, Jirí Srba
Extended abstract dependency graphs. Int. J. Softw. Tools Technol. Transf. 24 (1) (2022)
Søren Enevoldsen, Mathias Claus Jensen, Kim Guldstrand Larsen, Anders Mariegaard, Jirí Srba
Verification of Multiplayer Stochastic Games via Abstract Dependency Graphs. LOPSTR (2020)
Søren Enevoldsen, Kim G. Larsen, Anders Mariegaard, Jirí Srba
Dependency graphs with applications to verification. Int. J. Softw. Tools Technol. Transf. 22 (5) (2020)
Søren Enevoldsen, Kim Guldstrand Larsen, Jirí Srba
Model Verification Through Dependency Graphs. SPIN (2019)
Søren Enevoldsen, Kim Guldstrand Larsen, Jirí Srba
Abstract Dependency Graphs and Their Application to Model Checking. TACAS (1) (2019)
Andreas Engelbredt Dalsgaard, Søren Enevoldsen, Peter Fogh, Lasse S. Jensen, Peter Gjøl Jensen, Tobias Skovgaard Jepsen, Isabella Kaufmann, Kim G. Larsen, Søren M. Nielsen, Mads Chr. Olesen, Samuel Pastva, Jirí Srba
A Distributed Fixed-Point Algorithm for Extended Dependency Graphs. Fundam. Informaticae 161 (4) (2018)
Mads Kronborg Agesen, Søren Enevoldsen, Thibaut Le Guilly, Anders Mariegaard, Petur Olsen, Arne Skou
Energy Consumption Forecast of Photo-Voltaic Comfort Cooling Using UPPAAL Stratego. Models, Algorithms, Logics and Tools (2017)
Andreas Engelbredt Dalsgaard, Søren Enevoldsen, Peter Fogh, Lasse S. Jensen, Tobias Skovgaard Jepsen, Isabella Kaufmann, Kim G. Larsen, Søren M. Nielsen, Mads Chr. Olesen, Samuel Pastva, Jirí Srba
Extended Dependency Graphs and Efficient Distributed Fixed-Point Computation. Petri Nets (2017)
Andreas Engelbredt Dalsgaard, Søren Enevoldsen, Kim Guldstrand Larsen, Jirí Srba
Distributed Computation of Fixed Points on Dependency Graphs. SETTA (2016)
Jesper Rank Andersen, Nicklas Andersen, Søren Enevoldsen, Mathias M. Hansen, Kim G. Larsen, Simon R. Olesen, Jirí Srba, Jacob K. Wortmann
CAAL: Concurrency Workbench, Aalborg Edition. ICTAC (2015)