Search Results - "Jiří Srba"

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

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

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

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

Photometry and imaging of Comet 103P/Hartley in the 2010–2011 apparition by Milani, Giannantonio, Bryssinck, Erik, Nicolini, Martino, Mikuž, Herman, Sostero, Giovanni, Bacci, Paolo, Borghini, Walter, Castellano, Dario, Facchini, Mauro, Favero, Giancarlo, Galli, Gianni, Guido, Ernesto, Hausler, Bernhard, Hornoch, Kamil, Howes, Nick, Ligustri, Rolando, Perrella, Carmen, Prosperi, Enrico, Skvarč, Jure, Srba, Jiří, Trabatti, Roberto, Vinante, Carlo, Szabó, Gyula

“…► We performed a long term monitoring of the comet extending far before and after the EPOXI spacecraft encounter. ► The asymmetric photometric behavior is…”
Get full text

A Forward Reachability Algorithm for Bounded Timed-Arc Petri Nets by David, Alexandre, Jacobsen, Lasse, Jacobsen, Morten, Srba, Jiří

“…Timed-arc Petri nets (TAPN) are a well-known time extension of the Petri net model and several translations to networks of timed automata have been proposed…”
Get full text

Model-checking web services business activity protocols by Marques, Abinoam P., Ravn, Anders P., Srba, Jiří, Vighio, Saleem

“…Web services business activity (WS-BA) specification defines two coordination protocols BAwCC (Business Agreement with Coordination Completion) and BAwPC…”
Get full text

Time-Darts: A Data Structure for Verification of Closed Timed Automata by Jørgensen, Kenneth Y., Larsen, Kim G., Srba, Jiří

“…Symbolic data structures for model checking timed systems have been subject to a significant research, with Difference Bound Matrices (DBMs) still being the…”
Get full text

Decidability Issues for Extended Ping-Pong Protocols by Hüttel, Hans, Srba, Jiří

“…We use some recent techniques from process algebra to draw several conclusions about the well-studied class of ping-pong protocols introduced by Dolev and Yao…”
Get full text