Výsledky vyhledávání - "Henning Günther"

Large-scale investigation of wave dampening characteristics of organic, artificial floating islands

Autor: Jannis Landmann, Tim C. Hammer, Henning Günther, Arndt Hildebrandt

Publikováno v: Ecological engineering : the journal of ecotechnology 181 (2022)
Ecological engineering : the journal of ecotechnology
Ecological Engineering, 181

The concept of floating vegetation-based islands for the bioremediation of aquatic ecosystems is well known. Less so, their hydrodynamic capabilities regarding the damping performance, positional stability and water-structure interactions. To this en

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5cc5c714dde2a895d9a306d519ed1b21
https://doi.org/10.1016/j.ecoleng.2022.106691

Zobrazit plný text záznamu

Dynamic Reductions for Model Checking Concurrent Software

Autor: Georg Weissenbacher, Ana Sokolova, Alfons Laarman, Henning Günther

Publikováno v: Lecture Notes in Computer Science ISBN: 9783319522333
VMCAI

Symbolic model checking of parallel programs stands and falls with effective methods of dealing with the explosion of interleavings. We propose a dynamic reduction technique to avoid unnecessary interleavings. By extending Lipton’s original work wi

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::b39a20f4744a3dee4bf1ab692654a511
https://doi.org/10.1007/978-3-319-52234-0_14

Zobrazit plný text záznamu

Vienna Verification Tool: IC3 for Parallel Software

Autor: Georg Weissenbacher, Henning Günther, Alfons Laarman

Publikováno v: Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783662496732
TACAS

Recently proposed extensions of the IC3 model checking algorithm offer a powerful new way to symbolically verify software. The Vienna Verification Tool VVT implements these techniques with the aim to tackle the problem of parallel software verificati

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::805ab18b80a46d8c7b7ca9a3c12ab64a
https://doi.org/10.1007/978-3-662-49674-9_69

Zobrazit plný text záznamu

Incremental bounded software model checking

Autor: Georg Weissenbacher, Henning Günther

Publikováno v: SPIN

Conventional Bounded Software Model Checking tools generate a symbolic representation of all feasible executions of a program up to a predetermined bound. An insufficiently large bound results in missed bugs, and a subsequent increase of the bound ne

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::94f6688ad32abbba46dd640463b81691
https://doi.org/10.1145/2632362.2632374

Zobrazit plný text záznamu

On the Formal Verification of Systems of Synchronous Software Components

Autor: Henning Günther, Oliver Möller, Stefan Milius

Publikováno v: Lecture Notes in Computer Science ISBN: 9783642336775
SAFECOMP

Large asynchronous systems composed from synchronous components (so called GALS--globally asynchronous, locally synchronous--systems) pose a challenge to formal verification. We present an approach which abstracts components with contracts capturing

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::b8df9cbc0e5e34ed6918037550588ad8
https://doi.org/10.1007/978-3-642-33678-2_25

Zobrazit plný text záznamu