Browsing

Jump to a point in the index:
Showing results 1 to 25 of 17418  next >
PreviewAuthors / EditorsTitleTypeIssue Date
Kostić, Saša ; Wagner, Wolfgang  ; Orlović, Saša ; Levanič, Tom  ; Zlatanov, Tzvetan  ; Goršić, Ernest ; Kesić, Lazar ; Matović, Bratislav  ; Tsvetanov, Nickolay  ; Stojanović, Dejan B Different tree-ring width sensitivities to satellite-based soil moisture from dry, moderate and wet pedunculate oak (Quercus robur L.) stands across a southeastern distribution marginArticle Artikel 15-Dec-2021
Filippucci, Paolo  ; Brocca, Luca  ; Massari, Christian ; Saltalippi, Carla  ; Wagner, Wolfgang  ; Tarpanelli, Angelica Toward a self-calibrated and independent SM2RAIN rainfall productArticle Artikel Dec-2021
Zhao, Jie ; Pelich, Ramona ; Hostache, Renaud  ; Matgen, Patrick ; Cao, Senmao ; Wagner, Wolfgang  ; Chini, Marco Deriving exclusion maps from C-band SAR time-series in support of floodwater mappingArticle Artikel Nov-2021
Maier, Jürgen  Gain and Pain of a Reliable Delay ModelInproceedings Konferenzbeitrag 11-Oct-2021
Hahn-2021-IEEE Transactions on Geoscience and Remote Sensing-am.pdf.jpgHahn, Sebastian  ; Wagner, Wolfgang  ; Steele-Dunne, Susan  ; Vreugdenhil, Mariette ; Melzer, Thomas Improving ASCAT Soil Moisture Retrievals with an Enhanced Spatially Variable Vegetation ParameterizationArticle Artikel 1-Oct-2021
Eichler-2021-BIMcert Handbook Austrian Edition Basic Knowledge openBIM  2021-vor.pdf.jpgEichler, Christoph Carl ; Schranz, Christian  ; Krischmann, Tina ; Urban, Harald ; Gratzl, Markus ; Gerger, Alexander ; buildingSMART Austria BIMcert Handbook (Austrian Edition): Basic Knowledge openBIM — 2021Book Buch Oct-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
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
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
Hadzic-2021-CocoAlma A Versatile Masking Verifier-vor.pdf.jpgHadžić, Vedad ; Bloem, Roderick ; Piskac, Ruzica  ; Whalen, Michael W.  CocoAlma: A Versatile Masking VerifierInproceedings 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
Dureja-2021-IC3 with Internal Signals-vor.pdf.jpgDureja, Rohit ; Gurfinkel, Arie  ; Ivrii, Alexander ; Vizel, Yakir IC3 with Internal SignalsInproceedings Konferenzbeitrag Oct-2021
Kama-2021-Hardware Security Leak Detection by Symbolic Simulation-vor.pdf.jpgKama, Neta Bar ; Kaivola, Roope ; Piskac, Ruzica  ; Whalen, Michael W.  Hardware Security Leak Detection by Symbolic SimulationInproceedings Konferenzbeitrag Oct-2021
Sewell-2021-Engineering with Full-scale Formal Architecture Morello, CHER...-vor.pdf.jpgSewell, Peter ; Piskac, Ruzica  ; Whalen, Michael W.  Engineering with Full-scale Formal Architecture: Morello, CHERI, Armv8-A, and RISC-VInproceedings Konferenzbeitrag Oct-2021
Santolucito-2021-The FMCAD 2021 Student Forum-vor.pdf.jpgSantolucito, Mark  ; Piskac, Ruzica  ; Whalen, Michael W.  The FMCAD 2021 Student ForumInproceedings Oct-2021
Liskov, Barbara ; Piskac, Ruzica  ; Whalen, Michael W.  From Viewstamped Replication to BlockchainsInproceedings Oct-2021
Maffei, Matteo ; Piskac, Ruzica  ; Whalen, Michael W.  Formal Methods for the Security Analysis of Smart ContractsInproceedings Oct-2021
Dimitrova, Rayna Reactive Synthesis Beyond RealizabilityInproceedings Oct-2021
Gao-2021-End-to-End Formal Verification of a RISC-V Processor Extended wi...-vor.pdf.jpgGao, Dapeng ; Melham, Tom ; Piskac, Ruzica  ; Whalen, Michael W.  End-to-End Formal Verification of a RISC-V Processor Extended with Capability PointersInproceedings Oct-2021
Kuncak-2021-Stainless Verification System Tutorial-vor.pdf.jpgKunčak, Viktor ; Hamza, Jad Stainless Verification System TutorialInproceedings Oct-2021
Kamara, Seny Algorithms for the PeopleInproceedings 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
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
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