|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3325 occurrences of 1710 keywords
|
|
|
Results
Found 5771 publication records. Showing 5771 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
11 | Sadegh Dalvandi, Brijesh Dongol |
Verifying C11-Style Weak Memory Libraries via Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2108.06944, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
11 | Miel Sharf, Bart Besselink, Karl Henrik Johansson |
Verifying Compositional Refinement of Assume/Guarantee Contracts using Linear Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2103.13743, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
11 | Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu |
Modelling and Verifying BDI Agents with Bigraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2105.02578, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
11 | Siddharth Priya, Xiang Zhou, Yusen Su, Yakir Vizel, Yuyan Bao, Arie Gurfinkel |
Verifying Verified Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2107.00723, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
11 | Luiz H. Sena, Xidan Song, Erickson H. da S. Alves, Iury Bessa, Edoardo Manino, Lucas C. Cordeiro |
Verifying Quantized Neural Networks using SMT-Based Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2106.05997, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
11 | René Haberland |
A Logical Programming Language as an Instrument for Specifying and Verifying Dynamic Memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2104.01667, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
11 | Karl Crary |
Verifying the Hashgraph Consensus Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2102.01167, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
11 | Andrew Wintenberg, Matthew Blischke, Stéphane Lafortune, Necmiye Ozay |
A General Language-Based Framework for Specifying and Verifying Notions of Opacity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2103.10501, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
11 | Nikolaos Kekatos |
Verifying a Cruise Control System using Simulink and SpaceEx. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2101.00102, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
11 | Salman Omar Sohail, Alex Mitrevski, Nico Hochgeschwender, Paul G. Plöger |
Property-Based Testing in Simulation for Verifying Robot Action Execution in Tabletop Manipulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2108.08726, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
11 | Leonard Berrada, Sumanth Dathathri, Krishnamurthy Dvijotham, Robert Stanforth, Rudy Bunel, Jonathan Uesato, Sven Gowal, M. Pawan Kumar |
Verifying Probabilistic Specifications with Functional Lagrangians. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2102.09479, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
11 | Xidan Song, Edoardo Manino, Luiz H. Sena, Erickson H. da S. Alves, Eddie Batista de Lima Filho, Iury Bessa, Mikel Luján, Lucas C. Cordeiro |
QNNVerifier: A Tool for Verifying Neural Networks using SMT-Based Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2111.13110, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
11 | Wyatt Ubellacker, Noel Csomay-Shanklin, Tamás G. Molnár, Aaron D. Ames |
Verifying Safe Transitions between Dynamic Motion Primitives on Legged Robots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2106.10310, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
11 | Lawrence C. Paulson |
The Inductive Approach to Verifying Cryptographic Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2105.06319, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
11 | Yiming Li 0004, Linghui Zhu, Xiaojun Jia, Yong Jiang 0001, Shu-Tao Xia, Xiaochun Cao |
Defending against Model Stealing via Verifying Embedded External Features. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2112.03476, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
11 | Darryl Hond, Hamid Asgari, Daniel Jeffery, Mike Newman |
An Integrated Process for Verifying Deep Learning Classifiers Using Dataset Dissimilarity Measures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Artif. Intell. Mach. Learn. ![In: Int. J. Artif. Intell. Mach. Learn. 11(2), pp. 1-21, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Márton Benedek, Jörg Fliege, Tri-Dung Nguyen |
Finding and verifying the nucleolus of cooperative games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Program. ![In: Math. Program. 190(1), pp. 135-170, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Akira Ito, Rei Ueno, Naofumi Homma |
An Algebraic Approach to Verifying Galois-Field Arithmetic Circuits with Multiple-Valued Characteristics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Inf. Syst. ![In: IEICE Trans. Inf. Syst. 104-D(8), pp. 1083-1091, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
11 | |
Identifying and Verifying AR, ERBB2, and VEGFA Are the Targets of Qigesan in the Treatment of Esophageal Adenocarcinoma In Silico and In Vitro. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Program. ![In: Sci. Program. 2021, pp. 5463724:1-5463724:15, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Greg Morrisett, Elaine Shi, Kristina Sojakova, Xiong Fan, Joshua Gancher |
IPDL: A Simple Framework for Formally Verifying Distributed Cryptographic Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2021, pp. 147, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
11 | Manuel Barbosa, Gilles Barthe, Xiong Fan, Benjamin Grégoire, Shih-Han Hung, Jonathan Katz, Pierre-Yves Strub, Xiaodi Wu 0001, Li Zhou |
EasyPQC: Verifying Post-Quantum Cryptography. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2021, pp. 1253, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
11 | Ruben Gonzalez, Andreas Hülsing, Matthias J. Kannwischer, Juliane Krämer, Tanja Lange 0001, Marc Stöttinger, Elisabeth Waitz, Thom Wiggers, Bo-Yin Yang |
Verifying Post-Quantum Signatures in 8 kB of RAM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2021, pp. 662, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
11 | Rajendra Kumar Solanki, Vijay Laxmi, Bruhadeshwar Bezawada, Manoj Singh Gaur |
MapperDroid: Verifying app capabilities from description to permissions and API calls. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Secur. ![In: Comput. Secur. 111, pp. 102493, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Lisa Giese, Jörg Melzheimer, Dirk Bockmühl, Bernd Wasiolka, Wanja Rast, Anne Berger, Bettina Wachter |
Using Machine Learning for Remote Behaviour Classification - Verifying Acceleration Data to Infer Feeding Events in Free-Ranging Cheetahs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 21(16), pp. 5426, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Joongchol Shin, Joonki Paik |
Photo-Realistic Image Dehazing and Verifying Networks via Complementary Adversarial Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 21(18), pp. 6182, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Changliu Liu, Tomer Arnon, Christopher Lazarus, Christopher A. Strong, Clark W. Barrett, Mykel J. Kochenderfer |
Algorithms for Verifying Deep Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Found. Trends Optim. ![In: Found. Trends Optim. 4(3-4), pp. 244-404, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Gustavo Carvalho, Igor Meira |
Validating, verifying and testing timed data-flow reactive systems in Coq from controlled natural-language requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 201, pp. 102537, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Rodrigo Saar de Moraes, Simin Nadjm-Tehrani |
Abstraction models for verifying resource adequacy of IMA systems at concept level. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 208, pp. 102654, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Cristian-Silviu Radu, Nicolas Allen Smoot |
A method of verifying partition congruences by symbolic computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Comput. ![In: J. Symb. Comput. 104, pp. 105-133, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
11 | John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim |
Verifying correctness of persistent concurrent data structures: a sound and complete method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 33(4-5), pp. 547-573, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Guiyoung Son, Yaeri Kim |
EEG-Based Emotion Classification for Verifying the Korean Emotional Movie Clips with Support Vector Machine (SVM). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Complex. ![In: Complex. 2021, pp. 5497081:1-5497081:14, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Francesco Belardinelli, Rodica Condurache, Catalin Dima, Wojciech Jamroga, Michal Knapik |
Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 276, pp. 104552, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Andrei V. Nikolaev, Anna Kozlova |
Hamiltonian decomposition and verifying vertex adjacency in 1-skeleton of the traveling salesperson polytope by variable neighborhood search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Optim. ![In: J. Comb. Optim. 42(2), pp. 212-230, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Thanh-Nhan Luong, Hanh Phuc Nguyen, Ninh-Thuan Truong |
VeRA: Verifying RBAC and Authorization Constraints Models of Web Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Eng. Knowl. Eng. ![In: Int. J. Softw. Eng. Knowl. Eng. 31(5), pp. 655-675, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Thuy Nguyen, Takashi Tomita, Junpei Endo, Toshiaki Aoki |
Integrating pattern matching and abstract interpretation for verifying cautions of microcontrollers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Test. Verification Reliab. ![In: Softw. Test. Verification Reliab. 31(8), 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Victor Martinez Jurado, Xavier Vilà, Michael Kubach, Isaac Henderson Johnson Jeyakumar, Albert Solana, Matteo Marangoni |
Applying assurance levels when issuing and verifying credentials using Trust Frameworks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Open Identity Summit ![In: Open Identity Summit 2021, Copenhagen, Denmark, Juni 1-2, 2021., pp. 167-178, 2021, Gesellschaft für Informatik e.V., 978-3-88579-706-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
11 | Viorel Iordache, Stefan Ciobaca |
Verifying the Conversion into CNF in Dafny. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 27th International Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings, pp. 150-166, 2021, Springer, 978-3-030-88852-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Shuai Wang, Wenji Mao |
Modeling Inter-Claim Interactions for Verifying Multiple Claims. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: CIKM '21: The 30th ACM International Conference on Information and Knowledge Management, Virtual Event, Queensland, Australia, November 1 - 5, 2021, pp. 3503-3507, 2021, ACM, 978-1-4503-8446-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
11 | David A. Basin, Jannik Dreier, Sofia Giampietro, Sasa Radomirovic |
Verifying Table-Based Elections. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15 - 19, 2021, pp. 2632-2652, 2021, ACM, 978-1-4503-8454-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Manuel Barbosa, Gilles Barthe, Xiong Fan, Benjamin Grégoire, Shih-Han Hung, Jonathan Katz, Pierre-Yves Strub, Xiaodi Wu 0001, Li Zhou |
EasyPQC: Verifying Post-Quantum Cryptography. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15 - 19, 2021, pp. 2564-2586, 2021, ACM, 978-1-4503-8454-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Freark I. van der Berg |
LLMC: Verifying High-Performance Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV (2) ![In: Computer Aided Verification - 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II, pp. 690-703, 2021, Springer, 978-3-030-81687-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Ruben Gonzalez, Andreas Hülsing, Matthias J. Kannwischer, Juliane Krämer, Tanja Lange 0001, Marc Stöttinger, Elisabeth Waitz, Thom Wiggers, Bo-Yin Yang |
Verifying Post-Quantum Signatures in 8 kB of RAM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PQCrypto ![In: Post-Quantum Cryptography - 12th International Workshop, PQCrypto 2021, Daejeon, South Korea, July 20-22, 2021, Proceedings, pp. 215-233, 2021, Springer, 978-3-030-81292-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Ying Liu, Yi Jiang, Shuang Zhang, Zhenkun Wei |
Verifying Online Health Rumors on Social Media: An Empirical Research Based on the Stimulus-Organism-Response Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WHICEB ![In: The 20th Wuhan International Conference on E-Business, WHICEB 2021, Wuhan, China, 28-30 May 2021., pp. 46, 2021, Association for Information Systems. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
11 | Shafi Goldwasser, Guy N. Rothblum, Jonathan Shafer, Amir Yehudayoff |
Interactive Proofs for Verifying Machine Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITCS ![In: 12th Innovations in Theoretical Computer Science Conference, ITCS 2021, January 6-8, 2021, Virtual Conference., pp. 41:1-41:19, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-177-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
11 | A. S. M. Asadujjaman, Momen Oqaily, Yosr Jarraya, Suryadipta Majumdar, Makan Pourzandi, Lingyu Wang 0001, Mourad Debbabi |
Artificial Packet-Pair Dispersion (APPD): A Blackbox Approach to Verifying the Integrity of NFV Service Chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CNS ![In: IEEE Conference on Communications and Network Security, CNS 2021, Tempe, AZ, USA, October 4-6, 2021, pp. 245-253, 2021, IEEE, 978-1-6654-4496-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Majid Shirazi, Markus Schmitz, Simon Janssen, Anabelle Thies, Georgij Safronov, Amr Rizk, Peter Mayr 0006, Philipp Engelhardt |
Verifying the Applicability of Synthetic Image Generation for Object Detection in Industrial Quality Inspection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMLA ![In: 20th IEEE International Conference on Machine Learning and Applications, ICMLA 2021, Pasadena, CA, USA, December 13-16, 2021, pp. 1365-1372, 2021, IEEE, 978-1-6654-4337-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Vinícius Lima 0001, Filipe Andrade Bernardi, Rui Rijo, Jó Ueyama, Domingos Alves |
A Mechanism for Verifying the Integrity and Immutability of Tuberculosis Data Using IOTA Distributed Ledger Technology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
dHealth ![In: Navigating Healthcare Through Challenging Times - Proceedings of dHealth 2021 - Health Informatics Meets Digital Health, Virtual Conference, May 11-12, 2021, pp. 130-135, 2021, IOS Press, 978-1-64368-180-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Wyatt Ubellacker, Noel Csomay-Shanklin, Tamás G. Molnár, Aaron D. Ames |
Verifying Safe Transitions between Dynamic Motion Primitives on Legged Robots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2021, Prague, Czech Republic, September 27 - Oct. 1, 2021, pp. 8477-8484, 2021, IEEE, 978-1-6654-1714-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Igor B. Burdonov, Nina Yevtushenko 0001, Alexandre S. Kossachev |
Verifying Multiple Virtual Networks in Software Defined Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EWDTS ![In: IEEE East-West Design & Test Symposium, EWDTS 2021, Batumi, Georgia, September 10-13, 2021, pp. 1-6, 2021, IEEE, 978-1-6654-4503-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Christoph Scholl 0001, Alexander Konrad, Alireza Mahzoon, Daniel Große, Rolf Drechsler |
Verifying Dividers Using Symbolic Computer Algebra and Don't Care Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Design, Automation & Test in Europe Conference & Exhibition, DATE 2021, Grenoble, France, February 1-5, 2021, pp. 1110-1115, 2021, IEEE, 978-3-9819263-5-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Matias Vara Larsen |
Verifying the Conformance of a Driver Implementation to the VirtIO Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Design, Automation & Test in Europe Conference & Exhibition, DATE 2021, Grenoble, France, February 1-5, 2021, pp. 719-720, 2021, IEEE, 978-3-9819263-5-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Antoni Climent, Dmitry Gnatyshak, Sergio Álvarez-Napagao |
Applying and Verifying an Explainability Method Based on Policy Graphs in the Context of Reinforcement Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCIA ![In: Artificial Intelligence Research and Development - Proceedings of the 23rd International Conference of the Catalan Association for Artificial Intelligence, CCIA 2021, Virtual Event, 20-22 October, 2021., pp. 455-464, 2021, IOS Press, 978-1-64368-210-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Bo Gao, Ling Shi, Jiaying Li 0001, Jialiang Chang, Jun Sun 0001, Zijiang Yang 0006 |
sVerify: Verifying Smart Contracts Through Lazy Annotation and Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA ![In: Leveraging Applications of Formal Methods, Verification and Validation - 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings, pp. 453-469, 2021, Springer, 978-3-030-89158-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Luca Di Stefano 0001, Frédéric Lang |
Verifying Temporal Properties of Stigmergic Collective Systems Using CADP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA ![In: Leveraging Applications of Formal Methods, Verification and Validation - 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings, pp. 473-489, 2021, Springer, 978-3-030-89158-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Leslie Lamport, Fred B. Schneider |
Verifying Hyperproperties With TLA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 34th IEEE Computer Security Foundations Symposium, CSF 2021, Dubrovnik, Croatia, June 21-25, 2021, pp. 1-16, 2021, IEEE, 978-1-7281-7607-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Kevin Morio, Robert Künnemann |
Verifying Accountability for Unbounded Sets of Participants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 34th IEEE Computer Security Foundations Symposium, CSF 2021, Dubrovnik, Croatia, June 21-25, 2021, pp. 1-16, 2021, IEEE, 978-1-7281-7607-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Alex Dixon, Ranko Lazic 0001, Andrzej S. Murawski, Igor Walukiewicz |
Verifying higher-order concurrency with data automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021, Rome, Italy, June 29 - July 2, 2021, pp. 1-13, 2021, IEEE, 978-1-6654-4895-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Matt Griffin, Brijesh Dongol |
Verifying Secure Speculation in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings, pp. 43-60, 2021, Springer, 978-3-030-90869-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Maik Wiesner, Marie-Christine Jakobs |
Verifying Pipeline Implementations in OpenMP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings, pp. 81-98, 2021, Springer, 978-3-030-84628-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Pierpaolo Degano, Letterio Galletta, Selene Gerali |
Verifying a Blockchain-Based Remote Debugging Protocol for Bug Bounty. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocols, Strands, and Logic ![In: Protocols, Strands, and Logic - Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday, pp. 124-138, 2021, Springer, 978-3-030-91630-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
11 | John Tomaselli, Austin Willoughby, Jorge Vargas Amezcua, Emma Delehanty, Katherine Floyd, Damien Wright, Mark Lammers, Ron Vetter |
Verifying phishmon: a framework for dynamic webpage classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Southeast Conference ![In: ACM SE '21: 2021 ACM Southeast Conference, Virtual Event, USA, April 15-17, 2021, pp. 185-189, 2021, ACM, 978-1-4503-8068-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Siddharth Priya, Xiang Zhou, Yusen Su, Yakir Vizel, Yuyan Bao, Arie Gurfinkel |
Verifying Verified Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings, pp. 187-202, 2021, Springer, 978-3-030-88884-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Laurens Devos, Wannes Meert, Jesse Davis |
Verifying Tree Ensembles by Reasoning about Potential Instances. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SDM ![In: Proceedings of the 2021 SIAM International Conference on Data Mining, SDM 2021, Virtual Event, April 29 - May 1, 2021., pp. 450-458, 2021, SIAM, 978-1-61197-670-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Jonas Fritzsch, Tobias Schmid, Stefan Wagner 0001 |
Experiences from Large-Scale Model Checking: Verifying a Vehicle Control System with NuSMV. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 14th IEEE Conference on Software Testing, Verification and Validation, ICST 2021, Porto de Galinhas, Brazil, April 12-16, 2021, pp. 372-382, 2021, IEEE, 978-1-7281-6836-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Junya Xu, Jiaqi Yin, Huibiao Zhu, Lili Xiao |
Modeling and Verifying Producer-Consumer Communication in Kafka Using CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: ECBS 2021: 7th Conference on the Engineering of Computer Based Systems, Novi Sad, Serbia, pp. 9:1-9:10, 2021, ACM, 978-1-4503-9057-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Zhao Han, Shahzaib Qazi, Michael Werner, Keerthikumara Devarajegowda, Wolfgang Ecker |
On Self-Verifying DSL Generation for Embedded Systems Automation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methods and Description Languages for Modelling and Verification of Circuits and Systems, MBMV 2021, 24th Workshop, Virtual Event, Germany, March 18-19, 2021, pp. 1-7, 2021, VDE/IEEE, 978-3-8007-5500-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
11 | A. Abdelkader Khouass, J. Christian Attiogbé, Mohamed Messabihi |
Multi-facets Contract for Modeling and Verifying Heterogeneous Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEDI ![In: Model and Data Engineering - 10th International Conference, MEDI 2021, Tallinn, Estonia, June 21-23, 2021, Proceedings, pp. 41-49, 2021, Springer, 978-3-030-78427-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Made Widhi Surya Atman, Azwirman Gusrialdi |
Distributed Algorithms for Verifying and Ensuring Strong Connectivity of Directed Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 2021 60th IEEE Conference on Decision and Control (CDC), Austin, TX, USA, December 14-17, 2021, pp. 4798-4803, 2021, IEEE, 978-1-6654-3659-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
11 | James Ferlez, Yasser Shoukry |
Bounding the Complexity of Formally Verifying Neural Networks: A Geometric Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 2021 60th IEEE Conference on Decision and Control (CDC), Austin, TX, USA, December 14-17, 2021, pp. 5104-5109, 2021, IEEE, 978-1-6654-3659-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Sikun Xu, Ruoyi Ma, Daniel K. Molzahn, Hassan L. Hijazi, Cédric Josz |
Verifying Global Optimality of Candidate Solutions to Polynomial Optimization Problems using a Determinant Relaxation Hierarchy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 2021 60th IEEE Conference on Decision and Control (CDC), Austin, TX, USA, December 14-17, 2021, pp. 3143-3148, 2021, IEEE, 978-1-6654-3659-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Venkat Arun, Mina Tahmasbi Arashloo, Ahmed Saeed 0001, Mohammad Alizadeh, Hari Balakrishnan |
Toward formally verifying congestion control behavior. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCOMM ![In: ACM SIGCOMM 2021 Conference, Virtual Event, USA, August 23-27, 2021., pp. 1-16, 2021, ACM, 978-1-4503-8383-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Tomer Eliyahu, Yafim Kazak, Guy Katz, Michael Schapira |
Verifying learning-augmented systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCOMM ![In: ACM SIGCOMM 2021 Conference, Virtual Event, USA, August 23-27, 2021., pp. 305-318, 2021, ACM, 978-1-4503-8383-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Nedas Matulevicius, Lucas C. Cordeiro |
Verifying Security Vulnerabilities for Blockchain-based Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBESC ![In: XI Brazilian Symposium on Computing Systems Engineering, SBESC 2021, Florianopolis, Brazil, November 22-26, 2021, pp. 1-8, 2021, IEEE, 978-1-6654-4311-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Jonas Oberhauser, Lilith Oberhauser, Antonio Paolillo, Diogo Behrens, Ming Fu, Viktor Vafeiadis |
Verifying and Optimizing the HMCS Lock for Arm Servers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NETYS ![In: Networked Systems - 9th International Conference, NETYS 2021, Virtual Event, May 19-21, 2021, Proceedings, pp. 240-260, 2021, Springer, 978-3-030-91013-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Ankur Arjun Mali, Alexander G. Ororbia II, Daniel Kifer, C. Lee Giles |
Recognizing and Verifying Mathematical Equations using Multiplicative Differential Neural Units. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, IAAI 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, EAAI 2021, Virtual Event, February 2-9, 2021, pp. 5006-5015, 2021, AAAI Press, 978-1-57735-866-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Baptiste Pollien, Christophe Garion, Gautier Hattenberger, Pierre Roux, Xavier Thirioux |
Verifying the Mathematical Library of an UAV Autopilot with Frama-C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS ![In: Formal Methods for Industrial Critical Systems - 26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021, Proceedings, pp. 167-173, 2021, Springer, 978-3-030-85247-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Christophe Crochet, Tom Rousseaux, Maxime Piraux, Jean-François Sambon, Axel Legay |
Verifying QUIC implementations using Ivy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EPIQ@CoNEXT ![In: EPIQ '21: Proceedings of the 2021 Workshop on Evolution, Performance and Interoperability of QUIC, Virtual Event / Munich, Germany, 7 December 2021, pp. 35-41, 2021, ACM, 978-1-4503-9135-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Dana Dghaym, Thai Son Hoang, Michael J. Butler, Runshan Hu, Leonardo Aniello, Vladimiro Sassone |
Verifying System-Level Security of a Smart Ballot Box. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Rigorous State-Based Methods - 8th International Conference, ABZ 2021, Ulm, Germany, June 9-11, 2021, Proceedings, pp. 34-49, 2021, Springer, 978-3-030-77542-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Joscha Grüger, Tobias Geyer, Martin Kuhn, Stephan A. Braun, Ralph Bergmann |
Verifying Guideline Compliance in Clinical Treatment Using Multi-perspective Conformance Checking: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPM Workshops ![In: Process Mining Workshops - ICPM 2021 International Workshops, Eindhoven, The Netherlands, October 31 - November 4, 2021, Revised Selected Papers, pp. 301-313, 2021, Springer, 978-3-030-98580-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Kai Jia, Martin C. Rinard |
Verifying Low-Dimensional Input Neural Networks via Input Quantization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis - 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17-19, 2021, Proceedings, pp. 206-214, 2021, Springer, 978-3-030-88805-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Sushma Yellapragada, Chen Wang 0004, Marc Snir |
Verifying IO Synchronization from MPI Traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDSW@SC ![In: 6th IEEE/ACM International Parallel Data Systems Workshop, PDSW@SC 2021, St. Louis, MO, USA, November 15, 2021, pp. 41-46, 2021, IEEE, 978-1-6654-1837-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Apoorv Shukla, Kevin Nico Hudemann, Zsolt Vági, Lily Hügerich, Georgios Smaragdakis, Artur Hecker, Stefan Schmid 0001, Anja Feldmann |
Fix with P6: Verifying Programmable Switches at Runtime. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFOCOM ![In: 40th IEEE Conference on Computer Communications, INFOCOM 2021, Vancouver, BC, Canada, May 10-13, 2021, pp. 1-10, 2021, IEEE, 978-1-6654-0325-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Salman Omar Sohail, Alex Mitrevski, Nico Hochgeschwender, Paul G. Plöger |
Property-Based Testing in Simulation for Verifying Robot Action Execution in Tabletop Manipulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECMR ![In: 10th European Conference on Mobile Robots, ECMR 2021, Bonn, Germany, August 31 - Sept. 3, 2021, pp. 1-7, 2021, IEEE, 978-1-6654-1213-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Alexander Birch Jensen |
Towards Verifying a Blocks World for Teams GOAL Agent. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAART (1) ![In: Proceedings of the 13th International Conference on Agents and Artificial Intelligence, ICAART 2021, Volume 1, Online Streaming, February 4-6, 2021., pp. 337-344, 2021, SCITEPRESS, 978-989-758-484-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Alexander Birch Jensen |
Towards Verifying GOAL Agents in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAART (1) ![In: Proceedings of the 13th International Conference on Agents and Artificial Intelligence, ICAART 2021, Volume 1, Online Streaming, February 4-6, 2021., pp. 345-352, 2021, SCITEPRESS, 978-989-758-484-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Shahid Khan 0002, Joost-Pieter Katoen, Matthias Volk 0001, Muhammad Ahmad Zafar, Falak Sher |
Modelling and Analysis of Fire Sprinklers by Verifying Dynamic Fault Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LADC ![In: 10th Latin-American Symposium on Dependable Computing, LADC 2021, Florianópolis, Brazil, November 22-26, 2021, pp. 1-10, 2021, IEEE, 978-1-6654-7831-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Daniela Kaufmann, Armin Biere |
AMulet 2.0 for Verifying Multiplier Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS (2) ![In: Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part II, pp. 357-364, 2021, Springer, 978-3-030-72012-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Guy Amir, Haoze Wu 0001, Clark W. Barrett, Guy Katz |
An SMT-Based Approach for Verifying Binarized Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS (2) ![In: Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part II, pp. 203-222, 2021, Springer, 978-3-030-72012-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Lei Zhao, Tianhan Gao |
Combination of Pseudonym Changing with Blockchain-Based Data Credibility for Verifying Accuracy of Latest Vehicle Information in VANETs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMIS ![In: Innovative Mobile and Internet Services in Ubiquitous Computing - Proceedings of the 15th International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing (IMIS-2021), Asan, Korea, 1-3 July, 2021, pp. 485-493, 2021, Springer, 978-3-030-79727-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Camila Araújo |
A Model-Driven Approach for Formally Verifying SysML-Based Dynamic Software Architectures (short paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSA (Companion) ![In: ECSA 2021 Companion Volume, Virtual (originally: Växjö, Sweden), 13-17 September, 2021., 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
11 | Ryusei Shiiba, Satoru Kobayashi, Osamu Akashi, Kensuke Fukuda |
Verifying Network Properties in SRv6 based Service Function Chaining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AINTEC ![In: AINTEC '21: Asian Internet Engineering Conference, Virtual Event, Japan, December 14 - 16, 2021, pp. 18-26, 2021, ACM, 978-1-4503-9184-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Zichao Zhang, Arthur Azevedo de Amorim, Limin Jia 0001, Corina S. Pasareanu |
Learning Assumptions for Verifying Cryptographic Protocols Compositionally. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021, Proceedings, pp. 3-23, 2021, Springer, 978-3-030-90635-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Hengchu Zhang, Wolf Honoré, Nicolas Koh, Yao Li 0004, Yishuai Li, Li-yao Xia, Lennart Beringer, William Mansky, Benjamin C. Pierce, Steve Zdancewic |
Verifying an HTTP Key-Value Server with Interaction Trees and VST. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITP ![In: 12th International Conference on Interactive Theorem Proving, ITP 2021, June 29 to July 1, 2021, Rome, Italy (Virtual Conference)., pp. 32:1-32:19, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-188-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Teng Long, Xingtao Ren, Qing Wang, Chao Wang |
Verifying the Correctness of Distributed Systems via Mergeable Parallelism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021, Proceedings, pp. 122-140, 2021, Springer, 978-3-030-91264-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Sumanth Reddy Cherupally, Srinivas Boga, Prashanth Podili, Kotaro Kataoka |
Lightweight and Scalable DAG based distributed ledger for verifying IoT data integrity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICOIN ![In: International Conference on Information Networking, ICOIN 2021, Jeju Island, South Korea, January 13-16, 2021, pp. 267-272, 2021, IEEE, 978-1-7281-9101-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Sophie Tourret, Jasmin Blanchette |
A modular Isabelle framework for verifying saturation provers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPP ![In: CPP '21: 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, Virtual Event, Denmark, January 17-19, 2021, pp. 224-237, 2021, ACM, 978-1-4503-8299-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Jason Oberg |
Seeds of SEED: Building and Verifying Foundationally Isolated Hardware Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEED ![In: 2021 International Symposium on Secure and Private Execution Environment Design (SEED), Washington, DC, USA, September 20-21, 2021, pp. 210-214, 2021, IEEE, 978-1-6654-2025-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Leonard Berrada, Sumanth Dathathri, Krishnamurthy Dvijotham, Robert Stanforth, Rudy Bunel, Jonathan Uesato, Sven Gowal, M. Pawan Kumar |
Make Sure You're Unsure: A Framework for Verifying Probabilistic Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeurIPS ![In: Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, NeurIPS 2021, December 6-14, 2021, virtual., pp. 11136-11147, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
11 | Lucien Rakotomalala, Pierre Roux, Marc Boyer |
Verifying Min-Plus Computations with Coq. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NFM ![In: NASA Formal Methods - 13th International Symposium, NFM 2021, Virtual Event, May 24-28, 2021, Proceedings, pp. 287-303, 2021, Springer, 978-3-030-76383-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Brett Decker, Benjamin Winters, Eric Mercer |
Towards Verifying SHA256 in OpenSSL with the Software Analysis Workbench. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NFM ![In: NASA Formal Methods - 13th International Symposium, NFM 2021, Virtual Event, May 24-28, 2021, Proceedings, pp. 72-78, 2021, Springer, 978-3-030-76383-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
|
|