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 4996 (Search time: 0.006 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
81Marmanis-2023-Optimal Bounded Partial Order Reduction-vor.pdf.jpgMarmanis, Iason ; Vafeiadis, Viktor Optimal Bounded Partial Order ReductionInproceedings Konferenzbeitrag Oct-2023
82Froleyks-2023-BIG Backbones-vor.pdf.jpgFroleyks, Nils ; Yu, Emily ; Biere, Armin BIG BackbonesInproceedings Konferenzbeitrag Oct-2023
83Bassan-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
84Janota-2023-The FMCAD 2023 Student Forum-vor.pdf.jpgJanota, Mikoláš ; Narodytska, Nina The FMCAD 2023 Student ForumInproceedings Konferenzbeitrag Oct-2023
85Stuckey-2023-MiniZinc for Formal Methods-vor.pdf.jpgStuckey, Peter J. MiniZinc for Formal MethodsInproceedings Konferenzbeitrag Oct-2023
86Cai-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
87Swartwout-2023-NASAs core Flight System Framework Overview Tutorial-vor.pdf.jpgSwartwout, David NASA’s core Flight System Framework Overview / TutorialInproceedings Konferenzbeitrag Oct-2023
88Qin-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
89Dong-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
90Taylor-2023-Cycle and Commute Rare-Event Probability Verification for Che...-vor.pdf.jpgTaylor, Landon ; Israelsen, Bryant ; Zhang, Zhen Cycle and Commute: Rare-Event Probability Verification for Chemical Reaction NetworksInproceedings Konferenzbeitrag Oct-2023
91Godbole-2023-Modelling and Verification of Security-Oriented Resource Par...-vor.pdf.jpgGodbole, Adwait ; Ye, Leiqi ; Manerkar, Yatin A. ; Seshia, Sanjit Modelling and Verification of Security-Oriented Resource Partitioning SchemesInproceedings Konferenzbeitrag Oct-2023
92Bhat-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
93Nadel-2023-Proceedings of the 23rd Conference on Formal Methods in Comput...-vor.pdf.jpgNadel, Alexander ; Rozier, Kristin Yvonne Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design – FMCAD 2023Proceedings Tagungsband Oct-2023
94Pastva-2023-Binary decision diagrams on modern hardware-vor.pdf.jpgPastva, Samuel ; Henzinger, Thomas A. Binary decision diagrams on modern hardwareKonferenzbeitrag Inproceedings Oct-2023
95Ryan-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
96Mohamed-2023-A Procedure for SyGuS Solution Fitting via Matching and Rewr...-vor.pdf.jpgMohamed, Abdalrhman ; Reynolds, Andrew ; Barrett, Clark ; Tinelli, Cesare A Procedure for SyGuS Solution Fitting via Matching and Rewrite Rule DiscoveryKonferenzbeitrag Inproceedings Oct-2023
97Thakkar-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
98Li-2023-Local Search For SMT On Linear and Multilinear Real Arithmetic-vor.pdf.jpgLi, Bohan ; Cai, Shaowei Local Search For SMT On Linear and Multilinear Real ArithmeticInproceedings 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
100Lam-2023-Lift-off Trustworthy ARMv8 semantics from formal specifications-vor.pdf.jpgLam, Kait ; Coughlin, Nicholas Lift-off: Trustworthy ARMv8 semantics from formal specificationsInproceedings Konferenzbeitrag Oct-2023