Conference Paper

Kapitel eines Bandes, dessen Inhalt auf einer Konferenz oder einem Workshop präsentiert und anschließend in einem Proceedings-Band publiziert wurde. Hier finden Sie (selbständige) Kapitel, Vorworte, Keynote-Beiträge, Beiträge in Abstract Books und Beiträge in künstlerischen Druckwerken.

Chapter of a volume whose content was presented at a conference or workshop and subsequently published in conference proceedings. Here you will find individual chapters of edited volumes, editorials, keynote contributions, contributions in Abstract Books and contributions in artistic books.

Collection's Items (Sorted by Submit Date in descending order): 1 to 20 of 521
PreviewAuthors / EditorsTitleTypeIssue Date
Durand-2021-Model Checking AUTOSAR Components with CBMC-vor.pdf.jpgDurand, Timothee ; Fazekas, Katalin ; Weissenbacher, Georg ; Zwirchmayr, Jakob Model Checking AUTOSAR Components with CBMCInproceedings Konferenzbeitrag Oct-2021
Tsiskaridze-2021-Automating System Configuration-vor.pdf.jpgTsiskaridze, Nestan ; Strange, Maxwell ; Mann, Makai ; Sreedhar, Kavya ; Liu, Qiaoyi ; Horowitz, Mark ; Barrett, Clark Automating System ConfigurationInproceedings Oct-2021
Goel-2021-Towards an Automatic Proof of Lamports Paxos-vor.pdf.jpgGoel, Aman ; Sakallah, Karem Towards an Automatic Proof of Lamport's PaxosInproceedings Oct-2021
Dong-2021-Refinement-Based Verification of Device-to-Device Information Flow-vor.pdf.jpgDong, Ning ; Guanciale, Roberto ; Dam, Mads Refinement-Based Verification of Device-to-Device Information FlowInproceedings Oct-2021
Dharanikota-2021-Celestial A Smart Contracts Verification Framework-vor.pdf.jpgDharanikota, Samvid ; Mukherjee, Suvam ; Bhardwaj, Chandrika ; Rastogi, Aseem ; Lal, Akash Celestial: A Smart Contracts Verification FrameworkInproceedings Oct-2021
Kragl-2021-The Civl Verifier-vor.pdf.jpgKragl, Bernhard ; Qadeer, Shaz The Civl VerifierInproceedings Oct-2021
Torfah-2021-Synthesizing Pareto-Optimal Interpretations for Black-Box Models-vor.pdf.jpgTorfah, Hazem ; Shah, Shetal ; Chakraborty, Supratik ; Akshay, S. ; Seshia, Sanjit A. Synthesizing Pareto-Optimal Interpretations for Black-Box ModelsInproceedings Sep-2021
Le-2021-Data-driven Optimization of Inductive Generalization-vor.pdf.jpgLe, Nham ; Si, Xujie ; Gurfinkel, Arie  Data-driven Optimization of Inductive GeneralizationInproceedings Konferenzbeitrag Oct-2021
Govind V K-2021-Logical Characterization of Coherent Uninterpreted Programs-vor.pdf.jpgGovind V K, Hari ; Shoham, Sharon ; Gurfinkel, Arie  Logical Characterization of Coherent Uninterpreted ProgramsInproceedings Konferenzbeitrag Oct-2021
Froleyks-2021-Single Clause Assumption without Activation Literals to Spe...-vor.pdf.jpgFroleyks, Nils  ; Biere, Armin  Single Clause Assumption without Activation Literals to Speed-up IC3Inproceedings Konferenzbeitrag Oct-2021
Kokologiannakis-2021-Dynamic Partial Order Reductions for Spinloops-vor.pdf.jpgKokologiannakis, Michalis ; Ren, Xiaowei ; Vafeiadis, Viktor Dynamic Partial Order Reductions for SpinloopsInproceedings Oct-2021
Chakraborty-2021-Robustness between Weak Memory Models-vor.pdf.jpgChakraborty, Soham Robustness between Weak Memory ModelsInproceedings Oct-2021
Lahav-2021-Pruning and Slicing Neural Networks using Formal Verification-vor.pdf.jpgLahav, Ori ; Katz, Guy Pruning and Slicing Neural Networks using Formal VerificationInproceedings Oct-2021
Maier, Jürgen  Gain and Pain of a Reliable Delay ModelInproceedings Konferenzbeitrag 11-Oct-2021
Dureja-2021-IC3 with Internal Signals-vor.pdf.jpgDureja, Rohit ; Gurfinkel, Arie  ; Ivrii, Alexander ; Vizel, Yakir IC3 with Internal SignalsInproceedings Konferenzbeitrag Oct-2021
Temel-2021-Sound and Automated Verification of Real-World RTL Multipliers-vor.pdf.jpgTemel, Mertcan ; Hunt, Warren A., Jr. Sound and Automated Verification of Real-World RTL MultipliersInproceedings Konferenzbeitrag Oct-2021
Amir-2021-Towards Scalable Verification of Deep Reinforcement Learning-vor.pdf.jpgAmir, Guy ; Schapira, Michael ; Katz, Guy Towards Scalable Verification of Deep Reinforcement LearningInproceedings Oct-2021
Ivrii-2021-Exploiting Isomorphic Subgraphs in SAT-vor.pdf.jpgIvrii, Alexander ; Strichman, Ofer Exploiting Isomorphic Subgraphs in SATInproceedings Oct-2021
Chattopadhyay-2021-Scaling Up Hardware Accelerator Verification using A-Q...-vor.pdf.jpgChattopadhyay, Saranyu ; Lonsing, Florian ; Piccolboni, Luca ; Soni, Deepraj ; Wei, Peng ; Zhang, Xiaofan ; Zhou, Yuan ; Carloni, Luca ; Chen, Deming ; Cong, Jason ; Karri, Ramesh ; Zhang, Zhiru ; Trippel, Caroline ; Barrett, Clark ; Mitra, Subhasish Scaling Up Hardware Accelerator Verification using A-QED with Functional DecompositionInproceedings Konferenzbeitrag Oct-2021
Ozdemir-2021-SAT Solving in the Serverless Cloud-vor.pdf.jpgOzdemir, Alex ; Wu, Haoze ; Barrett, Clark SAT Solving in the Serverless CloudInproceedings Oct-2021
Collection's Items (Sorted by Submit Date in descending order): 1 to 20 of 521
Subscribe to this collection to receive daily e-mail notification of new additions.