Hampa: Solver-Aided Recency-Aware Replication (Englisch)
Freier Zugriff
- Neue Suche nach: Li, Xiao
- Neue Suche nach: Houshmand, Farzin
- Neue Suche nach: Lesani, Mohsen
- Neue Suche nach: Lahiri, Shuvendu K.
- Neue Suche nach: Wang, Chao
- Neue Suche nach: Li, Xiao
- Neue Suche nach: Houshmand, Farzin
- Neue Suche nach: Lesani, Mohsen
In:
Computer Aided Verification
: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I
;
Kapitel: 16
;
324-349
;
2020
- Aufsatz/Kapitel (Buch) / Elektronische Ressource
-
Titel:Hampa: Solver-Aided Recency-Aware Replication
-
Weitere Titelangaben:Lect.Notes Computer
-
Beteiligte:Lahiri, Shuvendu K. ( Herausgeber:in ) / Wang, Chao ( Herausgeber:in ) / Li, Xiao ( Autor:in ) / Houshmand, Farzin ( Autor:in ) / Lesani, Mohsen ( Autor:in )
-
Kongress:International Conference on Computer Aided Verification ; 2020 ; Los Angeles, CA, USA
-
Erschienen in:Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I ; Kapitel: 16 ; 324-349Lecture Notes in Computer Science ; 12224 ; 324-349
-
Verlag:
- Neue Suche nach: Springer International Publishing
-
Erscheinungsort:Cham
-
Erscheinungsdatum:14.07.2020
-
Format / Umfang:26 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Medientyp:Aufsatz/Kapitel (Buch)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Schlagwörter:
-
Lizenzbestimmungen:
-
Datenquelle:
Inhaltsverzeichnis E-Book
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical SystemsTran, Hoang-Dung / Yang, Xiaodong / Manzanas Lopez, Diego / Musau, Patrick / Nguyen, Luan Viet / Xiang, Weiming / Bak, Stanley / Johnson, Taylor T. et al. | 2020
- 2
-
Verification of Deep Convolutional Neural Networks Using ImageStarsTran, Hoang-Dung / Bak, Stanley / Xiang, Weiming / Johnson, Taylor T. et al. | 2020
- 3
-
An Abstraction-Based Framework for Neural Network VerificationElboher, Yizhak Yisrael / Gottschlich, Justin / Katz, Guy et al. | 2020
- 4
-
Improved Geometric Path Enumeration for Verifying ReLU Neural NetworksBak, Stanley / Tran, Hoang-Dung / Hobbs, Kerianne / Johnson, Taylor T. et al. | 2020
- 5
-
Systematic Generation of Diverse Benchmarks for DNN VerificationXu, Dong / Shriver, David / Dwyer, Matthew B. / Elbaum, Sebastian et al. | 2020
- 6
-
Formal Analysis and Redesign of a Neural Network-Based Aircraft Taxiing System with VerifAIFremont, Daniel J. / Chiu, Johnathan / Margineantu, Dragos D. / Osipychev, Denis / Seshia, Sanjit A. et al. | 2020
- 7
-
The Move ProverZhong, Jingyi Emma / Cheang, Kevin / Qadeer, Shaz / Grieskamp, Wolfgang / Blackshear, Sam / Park, Junkil / Zohar, Yoni / Barrett, Clark / Dill, David L. et al. | 2020
- 8
-
End-to-End Formal Verification of Ethereum 2.0 Deposit Smart ContractPark, Daejun / Zhang, Yi / Rosu, Grigore et al. | 2020
- 9
-
Stratified Abstraction of Access Control PoliciesBackes, John / Berrueco, Ulises / Bray, Tyler / Brim, Daniel / Cook, Byron / Gacek, Andrew / Jhala, Ranjit / Luckow, Kasper / McLaughlin, Sean / Menon, Madhav et al. | 2020
- 10
-
Synthesis of Super-Optimized Smart Contracts Using Max-SMTAlbert, Elvira / Gordillo, Pablo / Rubio, Albert / Schett, Maria A. et al. | 2020
- 11
-
Verification of Quantitative Hyperproperties Using Trace Enumeration RelationsSahai, Shubham / Subramanyan, Pramod / Sinha, Rohit et al. | 2020
- 12
-
Validation of Abstract Side-Channel Models for Computer ArchitecturesNemati, Hamed / Buiras, Pablo / Lindner, Andreas / Guanciale, Roberto / Jacobs, Swen et al. | 2020
- 13
-
Semantics, Specification, and Bounded Verification of Concurrent Libraries in Replicated SystemsNagar, Kartik / Mukherjee, Prasita / Jagannathan, Suresh et al. | 2020
- 14
-
Refinement for Structured Concurrent ProgramsKragl, Bernhard / Qadeer, Shaz / Henzinger, Thomas A. et al. | 2020
- 15
-
Parameterized Verification of Systems with Global Synchronization and GuardsJaber, Nouraldin / Jacobs, Swen / Wagner, Christopher / Kulkarni, Milind / Samanta, Roopsha et al. | 2020
- 16
-
Hampa: Solver-Aided Recency-Aware ReplicationLi, Xiao / Houshmand, Farzin / Lesani, Mohsen et al. | 2020
- 17
-
Root Causing Linearizability ViolationsÇirisci, Berk / Enea, Constantin / Farzan, Azadeh / Mutluergil, Suha Orhun et al. | 2020
- 18
-
Symbolic Partial-Order Execution for Testing Multi-Threaded ProgramsSchemmel, Daniel / Büning, Julian / Rodríguez, César / Laprell, David / Wehrle, Klaus et al. | 2020
- 19
-
fault: A Python Embedded Domain-Specific Language for Metaprogramming Portable Hardware Verification ComponentsTruong, Lenny / Herbst, Steven / Setaluri, Rajsekhar / Mann, Makai / Daly, Ross / Zhang, Keyi / Donovick, Caleb / Stanley, Daniel / Horowitz, Mark / Barrett, Clark et al. | 2020
- 20
-
Nonlinear Craig Interpolant GenerationGan, Ting / Xia, Bican / Xue, Bai / Zhan, Naijun / Dai, Liyun et al. | 2020
- 21
-
Approximate Counting of Minimal Unsatisfiable SubsetsBendík, Jaroslav / Meel, Kuldeep S. et al. | 2020
- 22
-
Tinted, Detached, and Lazy CNF-XOR Solving and Its Applications to Counting and SamplingSoos, Mate / Gocht, Stephan / Meel, Kuldeep S. et al. | 2020
- 23
-
Automated and Scalable Verification of Integer MultipliersTemel, Mertcan / Slobodova, Anna / Hunt, Warren A. et al. | 2020
- 24
-
Interpolation-Based Semantic Gate Extraction and Its Applications to QBF PreprocessingSlivovsky, Friedrich et al. | 2020
- 25
-
TarTar: A Timed Automata Repair ToolKölbl, Martin / Leue, Stefan / Wies, Thomas et al. | 2020
- 26
-
SAW: A Tool for Safety Analysis of Weakly-Hard SystemsHuang, Chao / Chang, Kai-Chieh / Lin, Chung-Wei / Zhu, Qi et al. | 2020
- 27
-
PIRK: Scalable Interval Reachability Analysis for High-Dimensional Nonlinear SystemsDevonport, Alex / Khaled, Mahmoud / Arcak, Murat / Zamani, Majid et al. | 2020
- 28
-
AEON: Attractor Bifurcation Analysis of Parametrised Boolean NetworksBeneš, Nikola / Brim, Luboš / Kadlecaj, Jakub / Pastva, Samuel / Šafránek, David et al. | 2020
- 29
-
A Novel Approach for Solving the BMI Problem in Barrier Certificates GenerationChen, Xin / Peng, Chao / Lin, Wang / Yang, Zhengfeng / Zhang, Yifang / Li, Xuandong et al. | 2020
- 30
-
Reachability Analysis Using Message Passing over Tree DecompositionsSankaranarayanan, Sriram et al. | 2020
- 31
-
Fast and Guaranteed Safe Controller Synthesis for Nonlinear Vehicle ModelsFan, Chuchu / Miller, Kristina / Mitra, Sayan et al. | 2020
- 32
-
SeQuaiA: A Scalable Tool for Semi-Quantitative Analysis of Chemical Reaction NetworksČeška, Milan / Chau, Calvin / Křetínský, Jan et al. | 2020