Institut für Logic and Computation

View Statistics Email Alert RSS Feed

Details

Organization Name (de) Name der Organisation (de)
E192 - Institut für Logic and Computation
 
Code Kennzahl
E192
 
Type of Organization Organisationstyp
Institute
Parent OrgUnit Übergeordnete Organisation
 
Active Aktiv
 

OrgUnit's Publications


Results 501-520 of 5004 (Search time: 0.007 seconds).

PreviewAuthor(s)TitleTypeIssue Date
501Noetzli-2022-Reconstructing Fine-Grained Proofs of Rewrites Using a Domai...-vor.pdf.jpgNoetzli, Andres ; Barbosa, Haniel ; Niemetz, Aina ; Preiner, Mathias ; Reynolds, Andrew ; Barrett, Clark ; Tinelli, Cesare Reconstructing Fine-Grained Proofs of Rewrites Using a Domain-Specific LanguageKonferenzbeitrag Inproceedings Oct-2022
502Gupta-2022-Error Correction Code Algorithm and Implementation Verificatio...-vor.pdf.jpgGupta, Aarti ; Kaivola, Roope ; Metha, Mihir Parang ; Singh, Vaibhav Error Correction Code Algorithm and Implementation Verification Using Symbolic RepresentationsKonferenzbeitrag Inproceedings Oct-2022
503Chen-2022-Reducing NEXP-complete problems to DQBF-vor.pdf.jpgChen, Fa-Hsun ; Huang, Shen-Chang ; Lu, Yu-Cheng ; Tan, Tony Reducing NEXP-complete problems to DQBFKonferenzbeitrag Inproceedings Oct-2022
504Haglund-2022-Formally Verified Isolation of DMA-vor.pdf.jpgHaglund, Jonas ; Guanciale, Roberto Formally Verified Isolation of DMAKonferenzbeitrag Inproceedings Oct-2022
505Kheterpal-2022-Automating Geometric Proofs of Collision Avoidance with Ac...-vor.pdf.jpgKheterpal, Nishant ; Tang, Elanor ; Jeannin, Jean-Baptiste Automating Geometric Proofs of Collision Avoidance with Active CornersInproceedings Konferenzbeitrag Oct-2022
506Amir-2022-Verification-Aided Deep Ensemble Selection-vor.pdf.jpgAmir, Guy ; Zelazny, Tom ; Katz, Guy ; Schapira, Michael Verification-Aided Deep Ensemble SelectionKonferenzbeitrag Inproceedings Oct-2022
507Schlichtkrull-2022-Differential Testing of Pushdown Reachability with a F...-vor.pdf.jpgSchlichtkrull, Anders ; Schou, Morten Konggaard ; Srba, Jiri ; Traytel, Dmitriy Differential Testing of Pushdown Reachability with a Formally Verified OracleInproceedings Konferenzbeitrag Oct-2022
508Priya-2022-Bounded Model Checking for LLVM-vor.pdf.jpgPriya, Siddharth ; Su, Yusen ; Bao, Yuyan ; Zhou,Xiang ; Vizel, Yakir ; Gurfinkel, Arie Bounded Model Checking for LLVMKonferenzbeitrag Inproceedings Oct-2022
509Jonsson-2022-Awaiting for Godot Stateless Model Checking that Avoids Exec...-vor.pdf.jpgJonsson, Bengt ; Lång, Magnus ; Sagonas, Konstantinos Awaiting for Godot Stateless Model Checking that Avoids Executions where Nothing HappensInproceedings Konferenzbeitrag Oct-2022
510Raghunathan-2022-ACORN Network Control Plane Abstraction using Route Nond...-vor.pdf.jpgRaghunathan, Divya ; Beckett, Ryan ; Gupta, Aarti ; Walker, David ACORN Network Control Plane Abstraction using Route NondeterminismInproceedings Konferenzbeitrag Oct-2022
511Schultz-2022-Plain and Simple Inductive Invariant Inference for Distribut...-vor.pdf.jpgSchultz, William ; Dardik, Ian ; Tripakis, Stavros Plain and Simple Inductive Invariant Inference for Distributed Protocols in TLA+Inproceedings Konferenzbeitrag Oct-2022
512Isac-2022-Neural Network Verification with Proof Production-vor.pdf.jpgIsac, Omri ; Barrett, Clark ; Zhang, Min ; Katz, Guy Neural Network Verification with Proof ProductionKonferenzbeitrag Inproceedings Oct-2022
513Blicha-2022-Split Transition Power Abstraction for Unbounded Safety-vor.pdf.jpgBlicha, Martin ; Fedyukovich, Grigory ; Hyvärinen, Antti ; Sharygina, Natasha Split Transition Power Abstraction for Unbounded SafetyInproceedings Konferenzbeitrag Oct-2022
514Lohn-2022-Compact Symmetry Breaking for Tournaments-vor.pdf.jpgLohn, Evan ; Lambert, Chris ; Heule, Marijn Compact Symmetry Breaking for TournamentsKonferenzbeitrag Inproceedings Oct-2022
515Bucev-2022-Formally Verified Quite OK Image Format-vor.pdf.jpgBucev, Mario ; Kunčak, Viktor Formally Verified Quite OK Image FormatInproceedings Konferenzbeitrag Oct-2022
516Georgiou-2022-The RAPID Software Verification Framework-vor.pdf.jpgGeorgiou, Pamina ; Gleiss, Bernhard ; Bhayat, Ahmed ; Rawson, Michael ; Kovács, Laura ; Reger, Giles The RAPID Software Verification FrameworkKonferenzbeitrag Inproceedings Oct-2022
517Jaroschek, Maximilian ; Kauers, Manuel ; Kovács, Laura Lonely Points in SimplicesArticle Artikel 29-Sep-2022
518Kovacs, Laura Getting Saturated with InductionPresentation Vortrag29-Sep-2022
519Freiman-2022-Truth and Preferences -- A Game Approach for Qualitative Choi...-am.pdf.jpgFreiman, Robert ; Bernreiter, Michael Truth and Preferences - A Game Approach for Qualitative Choice LogicsPresentation Vortrag 27-Sep-2022
520Mandl, Alexander ; Egly, Uwe Implementations for Shor's algorithm for the DLPInproceedings Konferenzbeitrag 27-Sep-2022