Search results for "verifying"

Hits ?▲	Authors	Title	Venue	Year	Link
11	Sadegh Dalvandi, Brijesh Dongol	Verifying C11-Style Weak Memory Libraries via Refinement.	CoRR	2021	DBLP BibTeX RDF
11	Miel Sharf, Bart Besselink, Karl Henrik Johansson	Verifying Compositional Refinement of Assume/Guarantee Contracts using Linear Programming.	CoRR	2021	DBLP BibTeX RDF
11	Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu	Modelling and Verifying BDI Agents with Bigraphs.	CoRR	2021	DBLP BibTeX RDF
11	Siddharth Priya, Xiang Zhou, Yusen Su, Yakir Vizel, Yuyan Bao, Arie Gurfinkel	Verifying Verified Code.	CoRR	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.	CoRR	2021	DBLP BibTeX RDF
11	René Haberland	A Logical Programming Language as an Instrument for Specifying and Verifying Dynamic Memory.	CoRR	2021	DBLP BibTeX RDF
11	Karl Crary	Verifying the Hashgraph Consensus Algorithm.	CoRR	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.	CoRR	2021	DBLP BibTeX RDF
11	Nikolaos Kekatos	Verifying a Cruise Control System using Simulink and SpaceEx.	CoRR	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.	CoRR	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.	CoRR	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.	CoRR	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.	CoRR	2021	DBLP BibTeX RDF
11	Lawrence C. Paulson	The Inductive Approach to Verifying Cryptographic Protocols.	CoRR	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.	CoRR	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.	Int. J. Artif. Intell. Mach. Learn.	2021	DBLP DOI BibTeX RDF
11	Márton Benedek, Jörg Fliege, Tri-Dung Nguyen	Finding and verifying the nucleolus of cooperative games.	Math. Program.	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.	IEICE Trans. Inf. Syst.	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.	Sci. Program.	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.	IACR Cryptol. ePrint Arch.	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.	IACR Cryptol. ePrint Arch.	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.	IACR Cryptol. ePrint Arch.	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.	Comput. Secur.	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.	Sensors	2021	DBLP DOI BibTeX RDF
11	Joongchol Shin, Joonki Paik	Photo-Realistic Image Dehazing and Verifying Networks via Complementary Adversarial Learning.	Sensors	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.	Found. Trends Optim.	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.	Sci. Comput. Program.	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.	Sci. Comput. Program.	2021	DBLP DOI BibTeX RDF
11	Cristian-Silviu Radu, Nicolas Allen Smoot	A method of verifying partition congruences by symbolic computation.	J. Symb. Comput.	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.	Formal Aspects Comput.	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).	Complex.	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.	Inf. Comput.	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.	J. Comb. Optim.	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.	Int. J. Softw. Eng. Knowl. Eng.	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.	Softw. Test. Verification Reliab.	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.	Open Identity Summit	2021	DBLP BibTeX RDF
11	Viorel Iordache, Stefan Ciobaca	Verifying the Conversion into CNF in Dafny.	WoLLIC	2021	DBLP DOI BibTeX RDF
11	Shuai Wang, Wenji Mao	Modeling Inter-Claim Interactions for Verifying Multiple Claims.	CIKM	2021	DBLP DOI BibTeX RDF
11	David A. Basin, Jannik Dreier, Sofia Giampietro, Sasa Radomirovic	Verifying Table-Based Elections.	CCS	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.	CCS	2021	DBLP DOI BibTeX RDF
11	Freark I. van der Berg	LLMC: Verifying High-Performance Software.	CAV (2)	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.	PQCrypto	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.	WHICEB	2021	DBLP BibTeX RDF
11	Shafi Goldwasser, Guy N. Rothblum, Jonathan Shafer, Amir Yehudayoff	Interactive Proofs for Verifying Machine Learning.	ITCS	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.	CNS	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.	ICMLA	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.	dHealth	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.	IROS	2021	DBLP DOI BibTeX RDF
11	Igor B. Burdonov, Nina Yevtushenko 0001, Alexandre S. Kossachev	Verifying Multiple Virtual Networks in Software Defined Networks.	EWDTS	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.	DATE	2021	DBLP DOI BibTeX RDF
11	Matias Vara Larsen	Verifying the Conformance of a Driver Implementation to the VirtIO Specification.	DATE	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.	CCIA	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.	ISoLA	2021	DBLP DOI BibTeX RDF
11	Luca Di Stefano 0001, Frédéric Lang	Verifying Temporal Properties of Stigmergic Collective Systems Using CADP.	ISoLA	2021	DBLP DOI BibTeX RDF
11	Leslie Lamport, Fred B. Schneider	Verifying Hyperproperties With TLA.	CSF	2021	DBLP DOI BibTeX RDF
11	Kevin Morio, Robert Künnemann	Verifying Accountability for Unbounded Sets of Participants.	CSF	2021	DBLP DOI BibTeX RDF
11	Alex Dixon, Ranko Lazic 0001, Andrzej S. Murawski, Igor Walukiewicz	Verifying higher-order concurrency with data automata.	LICS	2021	DBLP DOI BibTeX RDF
11	Matt Griffin, Brijesh Dongol	Verifying Secure Speculation in Isabelle/HOL.	FM	2021	DBLP DOI BibTeX RDF
11	Maik Wiesner, Marie-Christine Jakobs	Verifying Pipeline Implementations in OpenMP.	SPIN	2021	DBLP DOI BibTeX RDF
11	Pierpaolo Degano, Letterio Galletta, Selene Gerali	Verifying a Blockchain-Based Remote Debugging Protocol for Bug Bounty.	Protocols, Strands, and Logic	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.	ACM Southeast Conference	2021	DBLP DOI BibTeX RDF
11	Siddharth Priya, Xiang Zhou, Yusen Su, Yakir Vizel, Yuyan Bao, Arie Gurfinkel	Verifying Verified Code.	ATVA	2021	DBLP DOI BibTeX RDF
11	Laurens Devos, Wannes Meert, Jesse Davis	Verifying Tree Ensembles by Reasoning about Potential Instances.	SDM	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.	ICST	2021	DBLP DOI BibTeX RDF
11	Junya Xu, Jiaqi Yin, Huibiao Zhu, Lili Xiao	Modeling and Verifying Producer-Consumer Communication in Kafka Using CSP.	ECBS	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.	MBMV	2021	DBLP BibTeX RDF
11	A. Abdelkader Khouass, J. Christian Attiogbé, Mohamed Messabihi	Multi-facets Contract for Modeling and Verifying Heterogeneous Systems.	MEDI	2021	DBLP DOI BibTeX RDF
11	Made Widhi Surya Atman, Azwirman Gusrialdi	Distributed Algorithms for Verifying and Ensuring Strong Connectivity of Directed Networks.	CDC	2021	DBLP DOI BibTeX RDF
11	James Ferlez, Yasser Shoukry	Bounding the Complexity of Formally Verifying Neural Networks: A Geometric Approach.	CDC	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.	CDC	2021	DBLP DOI BibTeX RDF
11	Venkat Arun, Mina Tahmasbi Arashloo, Ahmed Saeed 0001, Mohammad Alizadeh, Hari Balakrishnan	Toward formally verifying congestion control behavior.	SIGCOMM	2021	DBLP DOI BibTeX RDF
11	Tomer Eliyahu, Yafim Kazak, Guy Katz, Michael Schapira	Verifying learning-augmented systems.	SIGCOMM	2021	DBLP DOI BibTeX RDF
11	Nedas Matulevicius, Lucas C. Cordeiro	Verifying Security Vulnerabilities for Blockchain-based Smart Contracts.	SBESC	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.	NETYS	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.	AAAI	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.	FMICS	2021	DBLP DOI BibTeX RDF
11	Christophe Crochet, Tom Rousseaux, Maxime Piraux, Jean-François Sambon, Axel Legay	Verifying QUIC implementations using Ivy.	EPIQ@CoNEXT	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.	ABZ	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.	ICPM Workshops	2021	DBLP DOI BibTeX RDF
11	Kai Jia, Martin C. Rinard	Verifying Low-Dimensional Input Neural Networks via Input Quantization.	SAS	2021	DBLP DOI BibTeX RDF
11	Sushma Yellapragada, Chen Wang 0004, Marc Snir	Verifying IO Synchronization from MPI Traces.	PDSW@SC	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.	INFOCOM	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.	ECMR	2021	DBLP DOI BibTeX RDF
11	Alexander Birch Jensen	Towards Verifying a Blocks World for Teams GOAL Agent.	ICAART (1)	2021	DBLP DOI BibTeX RDF
11	Alexander Birch Jensen	Towards Verifying GOAL Agents in Isabelle/HOL.	ICAART (1)	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.	LADC	2021	DBLP DOI BibTeX RDF
11	Daniela Kaufmann, Armin Biere	AMulet 2.0 for Verifying Multiplier Circuits.	TACAS (2)	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.	TACAS (2)	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.	IMIS	2021	DBLP DOI BibTeX RDF
11	Camila Araújo	A Model-Driven Approach for Formally Verifying SysML-Based Dynamic Software Architectures (short paper).	ECSA (Companion)	2021	DBLP BibTeX RDF
11	Ryusei Shiiba, Satoru Kobayashi, Osamu Akashi, Kensuke Fukuda	Verifying Network Properties in SRv6 based Service Function Chaining.	AINTEC	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.	FACS	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.	ITP	2021	DBLP DOI BibTeX RDF
11	Teng Long, Xingtao Ren, Qing Wang, Chao Wang	Verifying the Correctness of Distributed Systems via Mergeable Parallelism.	SETTA	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.	ICOIN	2021	DBLP DOI BibTeX RDF
11	Sophie Tourret, Jasmin Blanchette	A modular Isabelle framework for verifying saturation provers.	CPP	2021	DBLP DOI BibTeX RDF
11	Jason Oberg	Seeds of SEED: Building and Verifying Foundationally Isolated Hardware Architectures.	SEED	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.	NeurIPS	2021	DBLP BibTeX RDF
11	Lucien Rakotomalala, Pierre Roux, Marc Boyer	Verifying Min-Plus Computations with Coq.	NFM	2021	DBLP DOI BibTeX RDF
11	Brett Decker, Benjamin Winters, Eric Mercer	Towards Verifying SHA256 in OpenSSL with the Software Analysis Workbench.	NFM	2021	DBLP DOI BibTeX RDF