Computing Scores of Forwarding Schemes in Switched Networks with Probabilistic Faults (English)
- New search for: Avni, Guy
- New search for: Goel, Shubham
- New search for: Henzinger, Thomas A.
- New search for: Rodriguez-Navas, Guillermo
- New search for: Legay, Axel
- New search for: Margaria, Tiziana
- New search for: Avni, Guy
- New search for: Goel, Shubham
- New search for: Henzinger, Thomas A.
- New search for: Rodriguez-Navas, Guillermo
In:
Tools and Algorithms for the Construction and Analysis of Systems
: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II
;
Chapter: 10
;
169-187
;
2017
- Article/Chapter (Book) / Electronic Resource
-
Title:Computing Scores of Forwarding Schemes in Switched Networks with Probabilistic Faults
-
Additional title:Lect.Notes Computer
-
Contributors:Legay, Axel ( editor ) / Margaria, Tiziana ( editor ) / Avni, Guy ( author ) / Goel, Shubham ( author ) / Henzinger, Thomas A. ( author ) / Rodriguez-Navas, Guillermo ( author )
-
Conference:International Conference on Tools and Algorithms for the Construction and Analysis of Systems ; 2017 ; Uppsala, Sweden
-
Published in:Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II ; Chapter: 10 ; 169-187Lecture Notes in Computer Science ; 10206 ; 169-187
-
Publisher:
- New search for: Springer Berlin Heidelberg
-
Place of publication:Berlin, Heidelberg
-
Publication date:2017-03-31
-
Size:19 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Type of media:Article/Chapter (Book)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents eBook
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Static Detection of DoS Vulnerabilities in Programs that Use Regular ExpressionsWüstholz, Valentin / Olivo, Oswaldo / Heule, Marijn J. H. / Dillig, Isil et al. | 2017
- 2
-
Discriminating Traces with TimeTizpaz-Niari, Saeid / Černý, Pavol / Chang, Bor-Yuh Evan / Sankaranarayanan, Sriram / Trivedi, Ashutosh et al. | 2017
- 3
-
Directed Automated Memory Performance TestingChattopadhyay, Sudipta et al. | 2017
- 4
-
Context-Bounded Analysis for POWERAbdulla, Parosh Aziz / Atig, Mohamed Faouzi / Bouajjani, Ahmed / Ngo, Tuan Phong et al. | 2017
- 5
-
Rewriting-Based Runtime Verification for Alternation-Free HyperLTLBrett, Noel / Siddique, Umair / Bonakdarpour, Borzoo et al. | 2017
- 6
-
Almost Event-Rate Independent Monitoring of Metric Temporal LogicBasin, David / Bhatt, Bhargav Nagaraja / Traytel, Dmitriy et al. | 2017
- 7
-
Optimal Translation of LTL to Limit Deterministic AutomataKini, Dileep / Viswanathan, Mahesh et al. | 2017
- 8
-
Sequential Convex Programming for the Efficient Verification of Parametric MDPsCubuktepe, Murat / Jansen, Nils / Junges, Sebastian / Katoen, Joost-Pieter / Papusha, Ivan / Poonawala, Hasan A. / Topcu, Ufuk et al. | 2017
- 9
-
JANI: Quantitative Model and Tool InteractionBudde, Carlos E. / Dehnert, Christian / Hahn, Ernst Moritz / Hartmanns, Arnd / Junges, Sebastian / Turrini, Andrea et al. | 2017
- 10
-
Computing Scores of Forwarding Schemes in Switched Networks with Probabilistic FaultsAvni, Guy / Goel, Shubham / Henzinger, Thomas A. / Rodriguez-Navas, Guillermo et al. | 2017
- 11
-
Long-Run Rewards for Markov AutomataButkova, Yuliya / Wimmer, Ralf / Hermanns, Holger et al. | 2017
- 12
-
HiFrog: SMT-based Function Summarization for Software VerificationAlt, Leonardo / Asadi, Sepideh / Chockler, Hana / Even Mendoza, Karine / Fedyukovich, Grigory / Hyvärinen, Antti E. J. / Sharygina, Natasha et al. | 2017
- 13
-
Congruence Closure with Free VariablesBarbosa, Haniel / Fontaine, Pascal / Reynolds, Andrew et al. | 2017
- 14
-
On Optimization Modulo Theories, MaxSMT and Sorting NetworksSebastiani, Roberto / Trentin, Patrick et al. | 2017
- 15
-
The Automatic Detection of Token Structures and Invariants Using SAT CheckingAntonino, Pedro / Gibson-Robinson, Thomas / Roscoe, A. W. et al. | 2017
- 16
-
Maximizing the Conditional Expected Reward for Reaching the GoalBaier, Christel / Klein, Joachim / Klüppelholz, Sascha / Wunderlich, Sascha et al. | 2017
- 17
-
ARES: Adaptive Receding-Horizon Synthesis of Optimal PlansLukina, Anna / Esterle, Lukas / Hirsch, Christian / Bartocci, Ezio / Yang, Junxing / Tiwari, Ashish / Smolka, Scott A. / Grosu, Radu et al. | 2017
- 18
-
FlyFast: A Mean Field Model CheckerLatella, Diego / Loreti, Michele / Massink, Mieke et al. | 2017
- 19
-
ERODE: A Tool for the Evaluation and Reduction of Ordinary Differential EquationsCardelli, Luca / Tribastone, Mirco / Tschaikowski, Max / Vandin, Andrea et al. | 2017
- 20
-
Software Verification with Validation of ResultsBeyer, Dirk et al. | 2017
- 21
-
AProVE: Proving and Disproving Termination of Memory-Manipulating C ProgramsHensel, Jera / Emrich, Frank / Frohn, Florian / Ströder, Thomas / Giesl, Jürgen et al. | 2017
- 22
-
CPA-BAM-BnB: Block-Abstraction Memoization and Region-Based Memory Models for Predicate AbstractionsAndrianov, Pavel / Friedberger, Karlheinz / Mandrykin, Mikhail / Mutilin, Vadim / Volkov, Anton et al. | 2017
- 23
-
DepthK: A k-Induction Verifier Based on Invariant Inference for C ProgramsRocha, Williame / Rocha, Herbert / Ismail, Hussama / Cordeiro, Lucas / Fischer, Bernd et al. | 2017
- 24
-
Forester: From Heap Shapes to Automata PredicatesHolík, Lukáš / Hruška, Martin / Lengál, Ondřej / Rogalewicz, Adam / Šimáček, Jiří / Vojnar, Tomáš et al. | 2017
- 25
-
HipTNT+: A Termination and Non-termination Analyzer by Second-Order AbductionLe, Ton Chanh / Ta, Quang-Trung / Chin, Wei-Ngan et al. | 2017
- 26
-
Lazy-CSeq 2.0: Combining Lazy Sequentialization with Abstract InterpretationNguyen, Truc L. / Inverso, Omar / Fischer, Bernd / La Torre, Salvatore / Parlato, Gennaro et al. | 2017
- 27
-
Skink: Static Analysis of Programs in LLVM Intermediate RepresentationCassez, Franck / Sloane, Anthony M. / Roberts, Matthew / Pigram, Matthew / Suvanpong, Pongsak / de Aledo, Pablo Gonzalez et al. | 2017
- 28
-
Symbiotic 4: Beyond ReachabilityChalupa, Marek / Vitovská, Martina / Jonáš, Martin / Slaby, Jiri / Strejček, Jan et al. | 2017
- 29
-
Optimizing and Caching SMT Queries in SymDIVINEMrázek, Jan / Jonáš, Martin / Štill, Vladimír / Lauko, Henrich / Barnat, Jiří et al. | 2017
- 30
-
Ultimate Automizer with an On-Demand Construction of Floyd-Hoare AutomataHeizmann, Matthias / Chen, Yu-Wen / Dietsch, Daniel / Greitschus, Marius / Nutz, Alexander / Musa, Betim / Schätzle, Claus / Schilling, Christian / Schüssele, Frank / Podelski, Andreas et al. | 2017
- 31
-
Ultimate Taipan: Trace Abstraction and Abstract InterpretationGreitschus, Marius / Dietsch, Daniel / Heizmann, Matthias / Nutz, Alexander / Schätzle, Claus / Schilling, Christian / Schüssele, Frank / Podelski, Andreas et al. | 2017
- 32
-
VeriAbs: Verification by Abstraction (Competition Contribution)Chimdyalwar, Bharti / Darke, Priyanka / Chauhan, Avriti / Shah, Punit / Kumar, Shrawan / Venkatesh, R. et al. | 2017