Browsing

Jump to a point in the index:
Showing results 26 to 50 of 17418 < previous   next >
PreviewAuthors / EditorsTitleTypeIssue Date
Kragl-2021-The Civl Verifier-vor.pdf.jpgKragl, Bernhard ; Qadeer, Shaz The Civl VerifierInproceedings 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
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
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
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
Bendik-2021-On Decomposition of Maximal Satisfiable Subsets-vor.pdf.jpgBendik, Jaroslav On Decomposition of Maximal Satisfiable SubsetsInproceedings Oct-2021
Golia-2021-Designing Samplers is Easy The Boon of Testers-vor.pdf.jpgGolia, Priyanka ; Soos, Mate ; Chakraborty, Sourav ; Meel, Kuldeep S. Designing Samplers is Easy: The Boon of TestersInproceedings Oct-2021
Ivrii-2021-Exploiting Isomorphic Subgraphs in SAT-vor.pdf.jpgIvrii, Alexander ; Strichman, Ofer Exploiting Isomorphic Subgraphs in SATInproceedings Oct-2021
Vukmirovic-2021-SAT-Inspired Eliminations for Superposition-vor.pdf.jpgVukmirović, Petar ; Blanchette, Jasmin ; Heule, Marijn SAT-Inspired Eliminations for SuperpositionInproceedings Oct-2021
Hajdu-2021-Induction with Recursive Definitions in Superposition-vor.pdf.jpgHajdu, Marton ; Hozzova, Petra ; Kovacs, Laura ; Voronkov, Andrei Induction with Recursive Definitions in SuperpositionInproceedings 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
Piskac-2021-Proceedings of the 21st Conference on Formal Methods in Compu...-vor.pdf.jpgPiskac, Ruzica  ; Whalen, Michael W.  Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021Proceedings Oct-2021
Kumar-2021-Mathematical Programming Modulo Strings-vor.pdf.jpgKumar, Ankit ; Manolios, Panagiotis Mathematical Programming Modulo StringsInproceedings Oct-2021
Hyvaerinen-2021-Lookahead in Partitioning SMT-vor.pdf.jpgHyvärinen, Antti ; Marescotti, Matteo ; Sharygina, Natasha Lookahead in Partitioning SMTInproceedings Oct-2021
Janota-2021-Fair and Adventurous Enumeration of Quantifier Instantiations-vor.pdf.jpgJanota, Mikoláš  ; Barbosa, Haniel ; Fontaine, Pascal ; Reynolds, Andrew Fair and Adventurous Enumeration of Quantifier InstantiationsInproceedings Oct-2021
Rawson-2021-A Multithreaded Vampire with Shared Persistent Grounding-vor.pdf.jpgRawson, Michael ; Reger, Giles A Multithreaded Vampire with Shared Persistent GroundingInproceedings 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
Vaandrager, Frits Active Automata Learning: from L* to L#Inproceedings Oct-2021
Arabzadeh-2021-Water science and technology  a journal of the Internation...-vor.pdf.jpgArabzadeh, Rezgar  ; Grünbacher, Daniel Martin ; Insam, Heribert  ; Kreuzinger, Norbert  ; Markt, Rudolf  ; Rauch, Wolfgang Data filtering methods for SARS-CoV-2 wastewater surveillanceArticle Artikel 15-Sep-2021
Kaiser, Andreas-Marius ; Saracevic, Ernis ; Schaar, Heidemarie Paula  ; Weiss, Stefan ; Hornek-Gausterer, Romana Ozone as oxidizing agent for the total oxidizable precursor (TOP) assay and as a preceding step for activated carbon treatments concerning per- and polyfluoroalkyl substance removalArticle Artikel 9-Sep-2021
Dworschak-2021-Comparison of elemental resolved non-confined and restric...-smur.pdf.jpgDworschak, Dominik  ; Cheng, Hsiu-Wei ; Ku, Ching-Shun ; Chiang, Ching-Yu ; Lin, Chia-Hsien ; Valtiner, Markus Comparison of elemental resolved non-confined and restricted electrochemical degradation of nickel base alloysPreprint Preprint 1-Sep-2021
Dworschak-2021-Corrosion Science-vor.pdf.jpgDworschak, Dominik  ; Cheng, Hsiu-Wei ; Ku, Ching-Shun ; Chiang, Ching-Yu ; Lin, Chia-Hsien ; Valtiner, Markus Spectroelectrochemical Comparison of Elemental Resolved non-confined and Crevice Corrosion of Nickel Base AlloysArticle Artikel Sep-2021
Schranz-2021-Digitalisierung und Standardisierung der Immobilienwirtschaft...-ao.pdf.jpgSchranz, Christian  ; Gerger, Alexander ; Fischer, Simon ; Urban, Harald Digitalisierung und Standardisierung der Immobilienwirtschaft unter Anwendung von BIM am Beispiel eines Neubaus: Bio-Institut der HBLFA Raumberg-GumpensteinBook Buch Sep-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