„Verification algorithms“

Suchergebnisse

218 Treffer

• Verification of Randomized Consensus Algorithms Under Round-Rigid Adversaries
  Bertrand, Nathalie ; Konnov, Igor ; Lazić, Marijana ; Widder, Josef 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• On Nondeterministic Derandomization of Freivalds' Algorithm: Consequences, Avenues and Algorithmic Progress
  Künnemann, Marvin 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Verification of randomized consensus algorithms under round-rigid adversaries
  Bertrand, Nathalie ; Konnov, Igor ; Lazić, Marijana ; Widder, Josef
• Ideal-Based Algorithms for the Symbolic Verification of Well-Structured Systems (Invited Talk)
  Schnoebelen, Philippe 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Improved Algorithms for Computing the Cycle of Minimum Cost-to-Time Ratio in Directed Graphs
  Bringmann, Karl ; Dueholm Hansen, Thomas ; Krinninger, Sebastian 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Efficient Algorithms for Graph-Related Problems in Computer-Aided Verification (Invited Talk)
  Henzinger, Monika 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Verified Analysis of List Update Algorithms
  Haslbeck, Maximilian P. L. ; Nipkow, Tobias 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Streaming Verification of Graph Properties
  Abdullah, Amirali ; Daruki, Samira ; Roy, Chitradeep Dutta ; Venkatasubramanian, Suresh 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Decentralized Asynchronous Crash-Resilient Runtime Verification
  Bonakdarpour, Borzoo ; Fraigniaud, Pierre ; Rajsbaum, Sergio ; Rosenblueth, David A. ; Travers, Corentin 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Conditionally Optimal Algorithms for Generalized Büchi Games
  Chatterjee, Krishnendu ; Dvorák, Wolfgang ; Henzinger, Monika ; Loitzenbauer, Veronika 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Semi-Streaming Algorithms for Annotated Graph Streams
  Thaler, Justin 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• An Automata-Theoretic Approach to the Verification of Distributed Algorithms
  Aiswarya, Cyriac ; Bollig, Benedikt ; Gastin, Paul 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Theory AB Toolbox
  Gaboardi, Marco ; Hsu, Justin 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Need for Language Support for Fault-Tolerant Distributed Systems
  Dragoi, Cezara ; Henzinger, Thomas A. ; Zufferey, Damien 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Tight Bounds For Distributed MST Verification
  Kor, Liah ; Korman, Amos ; Peleg, David 2011 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Analyzing Asynchronous Programs with Preemption
  Atig, Mohamed Faouzi ; Bouajjani, Ahmed ; Touili, Tayssir 2008 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Unifying Formal Methods for Trustworthy Distributed Systems (Dagstuhl Seminar 23112)
  Jacobs, Swen ; McMillan, Kenneth ; Samanta, Roopsha ; Sergey, Ilya
• Exact Quantum Query Algorithm for Error Detection Code Verification
  Vasilieva, Alina 2009 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Verification of Attitude Determination and Control Algorithms Using Air-Bearing Test Table
  Cilden-Guler, D. ; Kutlu, A. ; Hajiyev, Ch
• Formal Verification of Distributed Algorithms (Dagstuhl Seminar 13141)
  Charron-Bost, Bernadette ; Merz, Stephan ; Rybalchenko, Andrey ; Widder, Josef