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 81-100 of 4990 (Search time: 0.006 seconds).

PreviewAuthor(s)TitleTypeIssue Date
81Froleyks-2023-BIG Backbones-vor.pdf.jpgFroleyks, Nils ; Yu, Emily ; Biere, Armin BIG BackbonesInproceedings Konferenzbeitrag Oct-2023
82Ryan-2023-Sylvia Countering the Path Explosion Problem in the Symbolic Ex...-vor.pdf.jpgRyan, Kaki ; Sturton, Cynthia Sylvia: Countering the Path Explosion Problem in the Symbolic Execution of Hardware DesignsInproceedings Konferenzbeitrag Oct-2023
83Pastva-2023-Binary decision diagrams on modern hardware-vor.pdf.jpgPastva, Samuel ; Henzinger, Thomas A. Binary decision diagrams on modern hardwareKonferenzbeitrag Inproceedings Oct-2023
84Tollec-2023-ArchiFI Formal Modeling and Verification Strategies for Micro...-vor.pdf.jpgTollec, Simon ; Asavoae, Mihail ; Couroussé, Damien ; Heydemann, Karine ; Jan, Mathieu µArchiFI: Formal Modeling and Verification Strategies for Microarchitetural Fault InjectionsInproceedings Konferenzbeitrag Oct-2023
85Bhat-2023-Automating Cutoff-based Verification of Distributed Protocols-vor.pdf.jpgBhat, Shreesha G. ; Nagar, Kartik Automating Cutoff-based Verification of Distributed ProtocolsInproceedings Konferenzbeitrag Oct-2023
86Marmanis-2023-Optimal Bounded Partial Order Reduction-vor.pdf.jpgMarmanis, Iason ; Vafeiadis, Viktor Optimal Bounded Partial Order ReductionInproceedings Konferenzbeitrag Oct-2023
87Thakkar-2023-Data-Driven Learning of Strong Conjunctive Invariants-vor.pdf.jpgThakkar, Arkesh H. ; D’Souza, Deepak Data-Driven Learning of Strong Conjunctive InvariantsInproceedings Konferenzbeitrag Oct-2023
88Tafese-2023-Btor2MLIR A Format for Hardware Verification-vor.pdf.jpgTafese, Joseph ; Gurfinkel, Arie ; Garcia-Contreras, Isabel Btor2MLIR: A Format for Hardware VerificationInproceedings Konferenzbeitrag Oct-2023
89Yu-2023-Towards Compositional Hardware Model Checking Certification-vor.pdf.jpgYu, Emily ; Froleyks, Nils ; Biere, Armin ; Heljanko, Keijo Towards Compositional Hardware Model Checking CertificationInproceedings Konferenzbeitrag Oct-2023
90Elsaleh-2023-DelBugV Delta-Debugging Neural Network Verifiers-vor.pdf.jpgElsaleh, Raya ; Katz, Guy DelBugV: Delta-Debugging Neural Network VerifiersInproceedings Konferenzbeitrag Oct-2023
91Wu-2023-Lightweight Online Learning for Sets of Related Problems in Autom...-vor.pdf.jpgWu, Haoze ; Hahn, Christopher ; Lonsing, Florian Matthias ; Mann, Makai ; Ramanujan, Raghuram ; Barrett, Clark Lightweight Online Learning for Sets of Related Problems in Automated ReasoningInproceedings Konferenzbeitrag Oct-2023
92Bassan-2023-Formally Explaining Neural Networks within Reactive Systems-vor.pdf.jpgBassan, Shahaf ; Amir, Guy ; Corsi, Davide ; Refaeli, Idan ; Katz, Guy Formally Explaining Neural Networks within Reactive SystemsInproceedings Konferenzbeitrag Oct-2023
93Janota-2023-The FMCAD 2023 Student Forum-vor.pdf.jpgJanota, Mikoláš ; Narodytska, Nina The FMCAD 2023 Student ForumInproceedings Konferenzbeitrag Oct-2023
94Swartwout-2023-NASAs core Flight System Framework Overview Tutorial-vor.pdf.jpgSwartwout, David NASA’s core Flight System Framework Overview / TutorialInproceedings Konferenzbeitrag Oct-2023
95Koenighofer-2023-Formal Methods for Trusted AI-vor.pdf.jpgKönighofer, Bettina Formal Methods for Trusted AIInproceedings Konferenzbeitrag Oct-2023
96Stuckey-2023-MiniZinc for Formal Methods-vor.pdf.jpgStuckey, Peter J. MiniZinc for Formal MethodsInproceedings Konferenzbeitrag Oct-2023
97Cai-2023-Local Search and Its Application in CDCLCDCLT solvers for SATSMT-vor.pdf.jpgCai, Shaowei Local Search and Its Application in CDCL/CDCL(T) solvers for SAT/SMTKonferenzbeitrag Inproceedings Oct-2023
98Dong-2023-Formal Verification of Correctness and Information Flow Securit...-vor.pdf.jpgDong, Ning ; Guanciale, Roberto ; Dam, Mads ; Lööw, Andreas Formal Verification of Correctness and Information Flow Security for an In-Order Pipelined ProcessorInproceedings Konferenzbeitrag Oct-2023
99Saxena-2023-MediK Towards Safe Guideline-based Clinical Decision Support-vor.pdf.jpgSaxena, Manasvi ; Song, Shuang ; Sha, Lui MediK: Towards Safe Guideline-based Clinical Decision SupportInproceedings Konferenzbeitrag Oct-2023
100Qin-2023-Conformance Testing for Stochastic Cyber-Physical Systems-vor.pdf.jpgQin, Xin ; Hashemi, Navid ; Lindemann, Lars ; Deshmukh, Jyotirmoy V. Conformance Testing for Stochastic Cyber-Physical SystemsInproceedings Konferenzbeitrag Oct-2023