Search Results - "Srba, Jiri"

Determine stormwater pond geometrics and hydraulics using remote sensing technologies: A comparison between airborne-LiDAR and UAV-photogrammetry field validation against RTK-GNSS by Zhao, Guohan, Rasmussen, Michael R., Larsen, Kim G., Srba, Jiri, Nielsen, Thomas D., Goorden, Martijn A., Qian, Weizhu, Nielsen, Jesper E.

“…Abstract Flow-regulated stormwater ponds providing safe outflow discharges prevail as the primary stormwater management tool for stream protections. Detailed…”
Get full text

Extended abstract dependency graphs by Enevoldsen, Søren, Larsen, Kim Guldstrand, Srba, Jiří

“…Dependency graphs, invented by Liu and Smolka in 1998, are oriented graphs with hyperedges that represent dependencies among the values of the vertices…”
Get full text

AllSynth: A BDD-based approach for network update synthesis by Larsen, Kim G., Mariegaard, Anders, Schmid, Stefan, Srba, Jiří

“…The increasingly stringent dependability requirements on communication networks as well as the need to render these networks more adaptive to improve…”
Get full text

A toolchain for domestic heat-pump control using Uppaal Stratego by Hasrat, Imran Riaz, Jensen, Peter Gjøl, Larsen, Kim Guldstrand, Srba, Jiří

“…Heatpump-based floor-heating systems for domestic heating offer flexibility in energy consumption patterns, which can be utilized for reducing heating costs—in…”
Get full text

The Hazard Value: A Quantitative Network Connectivity Measure Accounting for Failures by Cuijpers, Pieter, Schmid, Stefan, Schnepf, Nicolas, Srba, Jiri

“…To meet their stringent requirements in terms of performance and dependability, communication networks should be "well connected". While classic connectivity…”
Get full text

Optimal control strategies for stormwater detention ponds by Goorden, Martijn A., Larsen, Kim G., Nielsen, Jesper E., Nielsen, Thomas D., Qian, Weizhu, Rasmussen, Michael R., Srba, Jiří, Zhao, Guohan

“…Stormwater detention ponds are essential stormwater management solutions that regulate the urban catchment discharge towards streams. Their purposes are to…”
Get full text

Efficient model-checking of weighted CTL with upper-bound constraints by Jensen, Jonas Finnemann, Larsen, Kim Guldstrand, Srba, Jiří, Oestergaard, Lars Kaerlund

“…We present a symbolic extension of dependency graphs by Liu and Smolka in to model-check weighted Kripke structures against the computation tree logic with…”
Get full text

Dependency graphs with applications to verification by Enevoldsen, Søren, Larsen, Kim G., Mariegaard, Anders, Srba, Jiří

“…Dependency graphs, as introduced more than 20 years ago by Liu and Smolka, are oriented graphs with hyperedges that connect nodes with sets of target nodes in…”
Get full text

Measurement-Noise Filtering for Automatic Discovery of Flow Splitting Ratios in ISP Networks by Schou, Morten Konggaard, Poese, Ingmar, Srba, Jiri

“…Network telemetry and analytics is essential for providing highly dependable services in modern computer networks. In particular, network flow analytics for…”
Get full text

Discrete and continuous strategies for timed-arc Petri net games by Jensen, Peter Gjøl, Larsen, Kim Guldstrand, Srba, Jiří

“…Automatic strategy synthesis for a given control objective can be used to generate correct-by-construction controllers of real-time reactive systems. The…”
Get full text

Elemental composition, mineralogy and orbital parameters of the Porangaba meteorite by Ferus, Martin, Petera, Lukáš, Koukal, Jakub, Lenža, Libor, Drtinová, Barbora, Haloda, Jakub, Matýsek, Dalibor, Pastorek, Adam, Laitl, Vojtěch, Poltronieri, Renato Cassio, Domingues, Marcelo Wagner, Gonçalves, Gabriel, del Olmo Sato, Rodrigo, Knížek, Antonín, Kubelík, Petr, Křivková, Anna, Srba, Jiří, di Pietro, Carlos Augusto, Bouša, Milan, Vaculovič, Tomáš, Civiš, Svatopluk

“…The main objective of this study is to provide data on the bulk elemental composition, mineralogy and the possible origin of the Porangaba meteorite, whose…”
Get full text

Kaki: Efficient Concurrent Update Synthesis for SDN by Johansen, Nicklas S., Kær, Lasse B., Madsen, Andreas L., Nielsen, Kristian Ø., Srba, Jiří, Tollund, Rasmus G.

“…Modern computer networks based on the software-defined networking (SDN) paradigm are becoming increasingly complex and often require frequent configuration…”
Get full text

Stubborn Set Reduction for Two-Player Reachability Games by Frederik Meyer Bønneland, Peter Gjøl Jensen, Kim Guldstrand Larsen, Marco Muñiz, Jiří Srba

“…Partial order reductions have been successfully applied to model checking of concurrent systems and practical applications of the technique show nontrivial…”
Get full text

Polynomial-Time What-If Analysis for Prefix-Manipulating MPLS Networks by Schmid, Stefan, Srba, Jiri

“…While automated network verification is emerging as a critical enabler to manage large complex networks, current approaches come with a high computational…”
Get full text

Discovery of Flow Splitting Ratios in ISP Networks with Measurement Noise by Schou, Morten Konggaard, Poese, Ingmar, Srba, Jiri

“…Network telemetry and analytics is essential for providing highly dependable services in modern computer networks. In particular, network flow analytics for…”
Get full text

Beyond Language Equivalence on Visibly Pushdown Automata by Srba, Jiří

“…We study (bi)simulation-like preorder/equivalence checking on the class of visibly pushdown automata and its natural subclasses visibly BPA (Basic Process…”
Get full text

SyRep: Efficient Synthesis and Repair of Fast Re-Route Forwarding Tables for Resilient Networks by Gyorgyi, Csaba, Larsen, Kim G., Schmid, Stefan, Srba, Jiri

“…In modern communication networks with stringent dependability requirements, local fast re-routing (FRR) is essential for a quick response to link failures…”
Get full text

TCTL-preserving translations from timed-arc Petri nets to networks of timed automata by Byg, Joakim, Jacobsen, Morten, Jacobsen, Lasse, Jørgensen, Kenneth Yrke, Møller, Mikael Harkjær, Srba, Jiří

“…We present a framework for TCTL-preserving translations between time-dependent modeling formalisms. The framework guarantees that once the original and the…”
Get full text

Refinement checking on parametric modal transition systems by Beneš, Nikola, Křetínský, Jan, Larsen, Kim G., Møller, Mikael H., Sickert, Salomon, Srba, Jiří

“…Modal transition systems (MTS) is a well-studied specification formalism of reactive systems supporting a step-wise refinement methodology. Despite its many…”
Get full text

EXPTIME-completeness of thorough refinement on modal transition systems by Beneš, Nikola, Křetínský, Jan, Larsen, Kim G., Srba, Jiří

“…Modal transition systems (MTS), a specification formalism introduced more than 20 years ago, has recently received a considerable attention in several…”
Get full text