Søren Enevoldsen

11 papers B 2C 2Misc 1Journal 3Unranked 3
YearRankTypeTitle / Venue / Authors
2022 J jnl
Extended abstract dependency graphs.
Int. J. Softw. Tools Technol. Transf.
Søren Enevoldsen, Kim Guldstrand Larsen, Jirí Srba
2022 B conf
Web of Things Semantic Interoperability in Smart Buildings.
KES
Amir Laadhar, Junior Dongo, Søren Enevoldsen, Frédéric Revaz, Dominique Gabioud, Torben Bach Pedersen, Martin Meyer, Brian Nielsen, Christian Thomsen
2020 J jnl
Dependency graphs with applications to verification.
Int. J. Softw. Tools Technol. Transf.
Søren Enevoldsen, Kim G. Larsen, Anders Mariegaard, Jirí Srba
2020 C conf
Verification of Multiplayer Stochastic Games via Abstract Dependency Graphs.
LOPSTR
Søren Enevoldsen, Mathias Claus Jensen, Kim Guldstrand Larsen, Anders Mariegaard, Jirí Srba
2019 — conf
Abstract Dependency Graphs and Their Application to Model Checking.
TACAS (1)
Søren Enevoldsen, Kim Guldstrand Larsen, Jirí Srba
2019 — conf
Model Verification Through Dependency Graphs.
SPIN
Søren Enevoldsen, Kim Guldstrand Larsen, Jirí Srba
2018 J jnl
A Distributed Fixed-Point Algorithm for Extended Dependency Graphs.
Fundam. Informaticae
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
2017 — conf
Energy Consumption Forecast of Photo-Voltaic Comfort Cooling Using UPPAAL Stratego.
Models, Algorithms, Logics and Tools
Mads Kronborg Agesen, Søren Enevoldsen, Thibaut Le Guilly, Anders Mariegaard, Petur Olsen, Arne Skou
2017 B conf
Extended Dependency Graphs and Efficient Distributed Fixed-Point Computation.
Petri Nets
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
2016 Misc conf
Distributed Computation of Fixed Points on Dependency Graphs.
SETTA
Andreas Engelbredt Dalsgaard, Søren Enevoldsen, Kim Guldstrand Larsen, Jirí Srba
2015 C conf
CAAL: Concurrency Workbench, Aalborg Edition.
ICTAC
Jesper Rank Andersen, Nicklas Andersen, Søren Enevoldsen, Mathias M. Hansen, Kim G. Larsen, Simon R. Olesen, Jirí Srba, Jacob K. Wortmann