Søren Enevoldsen

According to our database, Søren Enevoldsen authored at least 11 papers between 2015 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Extended abstract dependency graphs.

Søren Enevoldsen, Kim Guldstrand Larsen, Jirí Srba

Int. J. Softw. Tools Technol. Transf., 2022

Web of Things Semantic Interoperability in Smart Buildings.

Amir Laadhar, Junior Dongo, Søren Enevoldsen, Frédéric Revaz, Dominique Gabioud, Torben Bach Pedersen, Martin Meyer, Brian Nielsen, Christian Thomsen

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 26th International Conference KES-2022, 2022

2020

Dependency graphs with applications to verification.

Søren Enevoldsen, Kim G. Larsen, Anders Mariegaard, Jirí Srba

Int. J. Softw. Tools Technol. Transf., 2020

Verification of Multiplayer Stochastic Games via Abstract Dependency Graphs.

Søren Enevoldsen, Mathias Claus Jensen, Kim Guldstrand Larsen, Anders Mariegaard, Jirí Srba

Proceedings of the Logic-Based Program Synthesis and Transformation, 2020

2019

Abstract Dependency Graphs and Their Application to Model Checking.

Søren Enevoldsen, Kim Guldstrand Larsen, Jirí Srba

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Model Verification Through Dependency Graphs.

Søren Enevoldsen, Kim Guldstrand Larsen, Jirí Srba

Proceedings of the Model Checking Software - 26th International Symposium, 2019

2018

A Distributed Fixed-Point Algorithm for Extended Dependency Graphs.

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

Fundam. Informaticae, 2018

2017

Energy Consumption Forecast of Photo-Voltaic Comfort Cooling Using UPPAAL Stratego.

Mads Kronborg Agesen, Søren Enevoldsen, Thibaut Le Guilly, Anders Mariegaard, Petur Olsen, Arne Skou

Proceedings of the Models, Algorithms, Logics and Tools, 2017

Extended Dependency Graphs and Efficient Distributed Fixed-Point Computation.

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

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2017

2016

Distributed Computation of Fixed Points on Dependency Graphs.

Andreas Engelbredt Dalsgaard, Søren Enevoldsen, Kim Guldstrand Larsen, Jirí Srba

Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2016

2015

CAAL: Concurrency Workbench, Aalborg Edition.

Jesper Rank Andersen, Nicklas Andersen, Søren Enevoldsen, Mathias M. Hansen, Kim G. Larsen, Simon R. Olesen, Jirí Srba, Jacob K. Wortmann

Proceedings of the Theoretical Aspects of Computing - ICTAC 2015, 2015