Search results for "verifying"

Hits ?▲	Authors	Title	Venue	Year	Link
11	Onur Tekik, Elif Sürer, Aysu Betin Can	Verifying Maze-Like Game Levels With Model Checker SPIN.	IEEE Access	2022	DBLP DOI BibTeX RDF
11	Long Huang, Zhen Meng, Zeyu Deng, Chen Wang 0009, Liying Li, Guodong Zhao 0001	Toward Verifying the User of Motion-Controlled Robotic Arm Systems via the Robot Behavior.	IEEE Internet Things J.	2022	DBLP DOI BibTeX RDF
11	Kruti Shah, Emanuel S. Grant	Towards Verifying UML Class Diagram and Formalizing Generalization/Specialization Relationship with Mathematical Set Theory.	J. Softw.	2022	DBLP DOI BibTeX RDF
11	Fei Yan 0002, Hesheng Huang, Xu Yu 0001	A Multiwatermarking Scheme for Verifying Medical Image Integrity and Authenticity in the Internet of Medical Things.	IEEE Trans. Ind. Informatics	2022	DBLP DOI BibTeX RDF
11	Yang Liu 0265, Ziyu Zhou, Yongsheng Yang, Yan Ma	Verifying the Smart Contracts of the Port Supply Chain System Based on Probabilistic Model Checking.	Syst.	2022	DBLP DOI BibTeX RDF
11	Razatulshima Ghazali, Faizura Haneem Mohamed Ali, Hussin Abu Bakar, Mohammad Nazir Ahmad, Nazleeni Samiha Haron, Abdullah Hisam Omar, Ali Ahmadian	Blockchain for record-keeping and data verifying: proof of concept.	Multim. Tools Appl.	2022	DBLP DOI BibTeX RDF
11	Made Widhi Surya Atman, Azwirman Gusrialdi	Finite-Time Distributed Algorithms for Verifying and Ensuring Strong Connectivity of Directed Networks.	IEEE Trans. Netw. Sci. Eng.	2022	DBLP DOI BibTeX RDF
11	Prithvi Akella, Aaron D. Ames	A Barrier-Based Scenario Approach to Verifying Safety-Critical Systems.	IEEE Robotics Autom. Lett.	2022	DBLP DOI BibTeX RDF
11	Ningning Chen, Huibiao Zhu, Jiaqi Yin, Yuan Fei, Lili Xiao, Minghua Zhu	Modeling and verifying NDN-based IoV using CSP.	J. Softw. Evol. Process.	2022	DBLP DOI BibTeX RDF
11	Akram Seghiri, Faiza Belala, Nabil Hameurlain	A Formal Language for Modelling and Verifying Systems-of-Systems Software Architectures.	Int. J. Syst. Serv. Oriented Eng.	2022	DBLP DOI BibTeX RDF
11	Alessio Lomuscio, Edoardo Pirovano	A counter abstraction technique for verifying properties of probabilistic swarm systems.	Artif. Intell.	2022	DBLP DOI BibTeX RDF
11	Chiao Hsieh, Yangge Li, Dawei Sun, Keyur Joshi 0001, Sasa Misailovic, Sayan Mitra	Verifying Controllers With Vision-Based Perception Using Safe Approximate Abstractions.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2022	DBLP DOI BibTeX RDF
11	Tal Herman, Guy N. Rothblum	Verifying The Unseen: Interactive Proofs for Label-Invariant Distribution Properties.	Electron. Colloquium Comput. Complex.	2022	DBLP BibTeX RDF
11	Shikah J. Alsunaidi, Abdullah Mohammed Almuhaideb	Investigation of the optimal method for generating and verifying the Smartphone's fingerprint: A review.	J. King Saud Univ. Comput. Inf. Sci.	2022	DBLP DOI BibTeX RDF
11	Ilina Stoilkovska, Igor Konnov 0001, Josef Widder, Florian Zuleger	Verifying safety of synchronous fault-tolerant algorithms by bounded model checking.	Int. J. Softw. Tools Technol. Transf.	2022	DBLP DOI BibTeX RDF
11	Hans-Dieter A. Hiep, Olaf Maathuis, Jinting Bian, Frank S. de Boer, Stijn de Gouw	Verifying OpenJDK's LinkedList using KeY (extended paper).	Int. J. Softw. Tools Technol. Transf.	2022	DBLP DOI BibTeX RDF
11	Supratik Chakraborty, Ashutosh Gupta 0001, Divyesh Unadkat	Full-program induction: verifying array programs sans loop invariants.	Int. J. Softw. Tools Technol. Transf.	2022	DBLP DOI BibTeX RDF
11	Ramsay G. Taylor, Michael Foster 0001, Siobhán North	An automated framework for verifying or refuting trace properties of extended finite state machines.	Int. J. Softw. Tools Technol. Transf.	2022	DBLP DOI BibTeX RDF
11	Masoud Nosrati, Ying Cai	Verifying the Correctness of Analytic Query Results.	IEEE Trans. Knowl. Data Eng.	2022	DBLP DOI BibTeX RDF
11	Siyang Deng, Gang Xiang, Quanxue Gao, Wei Xia, Xinbo Gao 0001	Zero-Shot Learning Based on Quality-Verifying Adversarial Network.	IEEE Trans. Multim.	2022	DBLP DOI BibTeX RDF
11	Tom Peham, Lukas Burgholzer, Robert Wille	Equivalence Checking of Parameterized Quantum Circuits: Verifying the Compilation of Variational Quantum Algorithms.	CoRR	2022	DBLP DOI BibTeX RDF
11	Surya Mathialagan, Virginia Vassilevska Williams, Yinzhan Xu	Listing, Verifying and Counting Lowest Common Ancestors in DAGs: Algorithms and Fine-Grained Lower Bounds.	CoRR	2022	DBLP DOI BibTeX RDF
11	Rafael Menezes, Daniel Moura, Helena Cavalcante, Rosiane de Freitas, Lucas C. Cordeiro	ESBMC-Jimple: Verifying Kotlin Programs via Jimple Intermediate Representation.	CoRR	2022	DBLP DOI BibTeX RDF
11	Matteo Tadiello, Elena Troubitsyna	Verifying Safety of Behaviour Trees in Event-B.	FMAS/ASYDE@SEFM	2022	DBLP DOI BibTeX RDF
11	Chelsea Sidrane, Sydney M. Katz, Anthony Corso 0001, Mykel J. Kochenderfer	Verifying Inverse Model Neural Networks.	CoRR	2022	DBLP BibTeX RDF
11	Brae J. Webb, Ian J. Hayes, Mark Utting	Verifying term graph optimizations using Isabelle/HOL.	CoRR	2022	DBLP DOI BibTeX RDF
11	Guy Amir, Davide Corsi, Raz Yerushalmi, Luca Marzari, David Harel, Alessandro Farinelli, Guy Katz	Verifying Learning-Based Robotic Navigation Systems.	CoRR	2022	DBLP DOI BibTeX RDF
11	Yehia Abd Alrahman, Shaun Azzopardi, Nir Piterman	R-CHECK: A Model Checker for Verifying Reconfigurable MAS.	CoRR	2022	DBLP BibTeX RDF
11	Aaron Jarmusch, Aaron Liu 0003, Christian Munley, Daniel Horta, Vaidhyanathan Ravichandran, Joel E. Denny, Sunita Chandrasekaran	Analysis of Validating and Verifying OpenACC Compilers 3.0 and Above.	CoRR	2022	DBLP DOI BibTeX RDF
11	Long H. Pham, Jun Sun 0001	Verifying Neural Networks Against Backdoor Attacks.	CoRR	2022	DBLP DOI BibTeX RDF
11	Marco Sälzer, Eric Alsmann, Florian Bruse, Martin Lange	Verifying And Interpreting Neural Networks using Finite Automata.	CoRR	2022	DBLP DOI BibTeX RDF
11	Kevin Cheang, Cameron Rasmussen, Dayeol Lee, David W. Kohlbrenner, Krste Asanovic, Sanjit A. Seshia	Verifying RISC-V Physical Memory Protection.	CoRR	2022	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.	CoRR	2022	DBLP DOI BibTeX RDF
11	Adrian Lehmann, Ben Caldwell, Robert Rand 0001	VyZX : A Vision for Verifying the ZX Calculus.	CoRR	2022	DBLP DOI BibTeX RDF
11	Héber Hwang Arcolezi	Production of Categorical Data Verifying Differential Privacy: Conception and Applications to Machine Learning.	CoRR	2022	DBLP DOI BibTeX RDF
11	Jingwei Ma, Lucy Chai, Minyoung Huh, Tongzhou Wang 0001, Ser-Nam Lim, Phillip Isola, Antonio Torralba 0001	Totems: Physical Objects for Verifying Visual Integrity.	CoRR	2022	DBLP DOI BibTeX RDF
11	Jirí Balun, Tomás Masopust	Verifying Weak and Strong k-Step Opacity in Discrete-Event Systems.	CoRR	2022	DBLP DOI BibTeX RDF
11	Supratik Chakraborty, Ashutosh Gupta 0001, Divyesh Unadkat	Full-Program Induction: Verifying Array Programs sans Loop Invariants.	CoRR	2022	DBLP DOI BibTeX RDF
11	Matt Luckcuck, Marie Farrell, Angelo Ferrando 0001, Rafael C. Cardoso 0001, Louise A. Dennis, Michael Fisher 0001	A Compositional Approach to Verifying Modular Robotic Systems.	CoRR	2022	DBLP DOI BibTeX RDF
11	Marco Roveri, Franc Ivankovic, Luigi Palopoli 0002, Daniele Fontanelli	Verifying a stochastic model for the spread of a SARS-CoV-2-like infection: opportunities and limitations.	CoRR	2022	DBLP DOI BibTeX RDF
11	Guy Amir, Ziv Freund, Guy Katz, Elad Mandelbaum, Idan Refaeli	veriFIRE: Verifying an Industrial, Learning-Based Wildfire Detection System.	CoRR	2022	DBLP DOI BibTeX RDF
11	Sadegh Dalvandi, Brijesh Dongol	Implementing and Verifying Release-Acquire Transactional Memory (Extended Version).	CoRR	2022	DBLP DOI BibTeX RDF
11	Bernard Serbinowski, Taylor T. Johnson	BehaVerify: Verifying Temporal Logic Specifications for Behavior Trees.	CoRR	2022	DBLP DOI BibTeX RDF
11	Lina Lin, Hanzhou Wu	Verifying Integrity of Deep Ensemble Models by Lossless Black-box Watermarking with Sensitive Samples.	CoRR	2022	DBLP DOI BibTeX RDF
11	Matan Ostrovsky, Clark W. Barrett, Guy Katz	An Abstraction-Refinement Approach to Verifying Convolutional Neural Networks.	CoRR	2022	DBLP BibTeX RDF
11	Michael Blondin, Filip Mazowiecki, Philip Offtermatt	Verifying generalised and structural soundness of workflow nets via relaxations.	CoRR	2022	DBLP DOI BibTeX RDF
11	Kazuki Ikeda, Adam Lowe	Quantum Protocol for Decision Making and Verifying Truthfulness among N-quantum Parties: Solution and Extension of the Quantum Coin Flipping Game.	CoRR	2022	DBLP DOI BibTeX RDF
11	Christopher Harth-Kitzerow, Gonzalo Munilla Garrido	Verifying Outsourced Computation in an Edge Computing Marketplace.	CoRR	2022	DBLP DOI BibTeX RDF
11	Sourav Chakraborty 0001, Avijeet Ghosh, Sujata Ghosh, François Schwarzentruber	On verifying expectations and observations of intelligent agents.	CoRR	2022	DBLP DOI BibTeX RDF
11	Ji Guan, Wang Fang, Mingsheng Ying	Verifying Fairness in Quantum Machine Learning.	CoRR	2022	DBLP DOI BibTeX RDF
11	Mingshuai Chen, Joost-Pieter Katoen, Lutz Klinkenberg, Tobias Winkler	Does a Program Yield the Right Distribution? Verifying Probabilistic Programs via Generating Functions.	CoRR	2022	DBLP DOI BibTeX RDF
11	Zach Hansen	Tools and Methodologies for Verifying Answer Set Programs.	ICLP Technical Communications / Doctoral Consortium	2022	DBLP DOI BibTeX RDF
11	Christopher Lazarus, Mykel J. Kochenderfer	A Mixed Integer Programming Approach for Verifying Properties of Binarized Neural Networks.	CoRR	2022	DBLP DOI BibTeX RDF
11	Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti	Verifying Catamorphism-Based Contracts using Constrained Horn Clauses.	CoRR	2022	DBLP DOI BibTeX RDF
11	Kiarash Mohammadi, Aishwarya Sivaraman, Golnoosh Farnadi	FETA: Fairness Enforced Verifying, Training, and Predicting Algorithms for Neural Networks.	CoRR	2022	DBLP DOI BibTeX RDF
11	Satoshi Munakata, Caterina Urban, Haruki Yokoyama, Koji Yamamoto 0002, Kazuki Munakata	Verifying Attention Robustness of Deep Neural Networks against Semantic Perturbations.	CoRR	2022	DBLP DOI BibTeX RDF
11	Lili Xiao, Huibiao Zhu, Qiwen Xu, Phan Cong Vinh	Modeling and Verifying PSO Memory Model Using CSP.	Mob. Networks Appl.	2022	DBLP DOI BibTeX RDF
11	Mike Dodds	Formally Verifying Industry Cryptography.	IEEE Secur. Priv.	2022	DBLP DOI BibTeX RDF
11	Massimo Bartoletti, Stefano Lande, Maurizio Murgia 0001, Roberto Zunino	Verifying liquidity of recursive Bitcoin contracts.	Log. Methods Comput. Sci.	2022	DBLP DOI BibTeX RDF
11	Vivian W. J. Chung, Robyn Newell, Angela E. Kedgley, Carolyn Anglin, Bassam A. Masri, Antony J. Hodgson	Verifying a C-arm-based roentgen stereophotogrammetric analysis protocol for assessing tibial implant movement in total knee arthroplasty.	Medical Biol. Eng. Comput.	2022	DBLP DOI BibTeX RDF
11	Laurette Marais, Lynette van Zijl	Descriptional Complexity of Non-Unary Self-Verifying Symmetric Difference Automata.	Int. J. Found. Comput. Sci.	2022	DBLP DOI BibTeX RDF
11	Hanaa A. Abdallah, Dalia H. ElKamchouchi	Signing and Verifying Encrypted Medical Images Using Double Random Phase Encryption.	Entropy	2022	DBLP DOI BibTeX RDF
11	Walid Fdhila, David Knuplesch, Stefanie Rinderle-Ma, Manfred Reichert	Verifying compliance in process choreographies: Foundations, algorithms, and implementation.	Inf. Syst.	2022	DBLP DOI BibTeX RDF
11	Adrián Riesco 0001, Kazuhiro Ogata 0001	An integrated tool set for verifying CafeOBJ specifications.	J. Syst. Softw.	2022	DBLP DOI BibTeX RDF
11	Siddharth Priya, Xiang Zhou, Yusen Su, Yakir Vizel, Yuyan Bao, Arie Gurfinkel	Verifying verified code.	Innov. Syst. Softw. Eng.	2022	DBLP DOI BibTeX RDF
11	Krzysztof Jaskólski	Methodology for Verifying the Indication Correctness of a Vessel Compass Based on the Spectral Analysis of Heading Errors and Reliability Theory.	Sensors	2022	DBLP DOI BibTeX RDF
11	Meirylene Avelino, Antônio A. de A. Rocha	BlockProof: A Framework for Verifying Authenticity and Integrity of Web Content.	Sensors	2022	DBLP DOI BibTeX RDF
11	David J. Pearce 0001, Mark Utting, Lindsay Groves	Verifying Whiley Programs with Boogie.	J. Autom. Reason.	2022	DBLP DOI BibTeX RDF
11	Martin Kutrib	Iterative arrays with self-verifying communication cell.	Nat. Comput.	2022	DBLP DOI BibTeX RDF
11	Xiaohong Chen 0007, Qianqian Liu, Frédéric Mallet, Qin Li 0002, Shubin Cai, Zhi Jin	Formally verifying consistency of sequence diagrams for safety critical systems.	Sci. Comput. Program.	2022	DBLP DOI BibTeX RDF
11	Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu	Modelling and verifying BDI agents with bigraphs.	Sci. Comput. Program.	2022	DBLP DOI BibTeX RDF
11	Emanuele De Angelis, Maurizio Proietti, Fabio Fioravanti, Alberto Pettorossi	Verifying Catamorphism-Based Contracts using Constrained Horn Clauses.	Theory Pract. Log. Program.	2022	DBLP DOI BibTeX RDF
11	Gayathri Karthick, Glenford Mapp, Florian Kammueller, Mahdi Aiash	Modeling and verifying a resource allocation algorithm for secure service migration for commercial cloud systems.	Comput. Intell.	2022	DBLP DOI BibTeX RDF
11	Ayyoob Hamza, Dinesha Ranathunga, Hassan Habibi Gharakheili, Theophilus A. Benson, Matthew Roughan, Vijay Sivaraman	Verifying and Monitoring IoTs Network Behavior Using MUD Profiles.	IEEE Trans. Dependable Secur. Comput.	2022	DBLP DOI BibTeX RDF
11	Teng Long, Xingtao Ren, Qing Wang, Chao Wang	Verifying the safety properties of distributed systems via mergeable parallelism.	J. Syst. Archit.	2022	DBLP DOI BibTeX RDF
11	Timo P. Gros, Holger Hermanns, Jörg Hoffmann 0001, Michaela Klauck, Maximilian A. Köhl, Verena Wolf	MoGym: Using Formal Models for Training and Verifying Decision-making Agents.	CAV (2)	2022	DBLP DOI BibTeX RDF
11	Ji Guan, Wang Fang, Mingsheng Ying	Verifying Fairness in Quantum Machine Learning.	CAV (2)	2022	DBLP DOI BibTeX RDF
11	Mingshuai Chen, Joost-Pieter Katoen, Lutz Klinkenberg, Tobias Winkler	Does a Program Yield the Right Distribution? - Verifying Probabilistic Programs via Generating Functions.	CAV (1)	2022	DBLP DOI BibTeX RDF
11	Michael Blondin, Filip Mazowiecki, Philip Offtermatt	Verifying Generalised and Structural Soundness of Workflow Nets via Relaxations.	CAV (2)	2022	DBLP DOI BibTeX RDF
11	Long H. Pham, Jun Sun 0001	Verifying Neural Networks Against Backdoor Attacks.	CAV (1)	2022	DBLP DOI BibTeX RDF
11	Ke Jiang, Tianwei Zhang 0004, David Sanán, Yongwang Zhao, Yang Liu 0003	A Formal Methodology for Verifying Side-Channel Vulnerabilities in Cache Architectures.	ICFEM	2022	DBLP DOI BibTeX RDF
11	Matthias Grundmann, Hannes Hartenstein	Verifying Payment Channels with TLA+.	ICBC	2022	DBLP DOI BibTeX RDF
11	Frédéric Badeau, Julien Chappelin, Joris Lamare	Generating and Verifying Configuration Data with OVADO.	RSSRail	2022	DBLP DOI BibTeX RDF
11	Benedikt Böing, Emmanuel Müller	On Training and Verifying Robust Autoencoders.	DSAA	2022	DBLP DOI BibTeX RDF
11	Amirmohammad Pasdar, Young Choon Lee, Paul Ryan, Zhongli Dong	A Blockchain Oracle-Based API Service for Verifying Livestock DNA Fingerprinting.	ICSOC Workshops	2022	DBLP DOI BibTeX RDF
11	Hongqin Zhang, Huibiao Zhu, Jiaqi Yin, Ningning Chen	Modeling and Verifying AUPS Using CSP.	SEKE	2022	DBLP DOI BibTeX RDF
11	Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu	Verifying BDI Agents in Dynamic Environments.	SEKE	2022	DBLP DOI BibTeX RDF
11	Reshika Palaniyappan Velumani, Meng Xia, Jun Han 0010, Chaoli Wang 0001, Alexis Kai-Hon Lau, Huamin Qu	AQX: Explaining Air Quality Forecast for Verifying Domain Knowledge using Feature Importance Visualization.	IUI	2022	DBLP DOI BibTeX RDF
11	Isabella Mastroeni, Michele Pasqua	Verifying opacity by abstract interpretation.	SAC	2022	DBLP DOI BibTeX RDF
11	Thibault Martin, Nikolai Kosmatov, Virgile Prevosto	Verifying redundant-check based countermeasures: a case study.	SAC	2022	DBLP DOI BibTeX RDF
11	Leandro Batista Ribeiro, Drona Nagarajan, Vignesh Manjunath, Muhammad Tanveer Ali Ahmad, Marcel Baunach	Verifying Liveness and Real-Time of OS-Based Embedded Software.	DSD	2022	DBLP DOI BibTeX RDF
11	Arnd Hartmanns, Michaela Klauck	The Modest State of Learning, Sampling, and Verifying Strategies.	ISoLA (3)	2022	DBLP DOI BibTeX RDF
11	Masahisa Shimano, Kazuo Sakiyama, Daiki Miyahara	Towards Verifying Physical Assumption in Card-Based Cryptography.	SecITC	2022	DBLP DOI BibTeX RDF
11	Satoshi Munakata, Caterina Urban, Haruki Yokoyama, Koji Yamamoto 0002, Kazuki Munakata	Verifying Attention Robustness of Deep Neural Networks against Semantic Perturbations.	APSEC	2022	DBLP DOI BibTeX RDF
11	Mark Bun, Marco Gaboardi, Ludmila Glinskih	The Complexity of Verifying Boolean Programs as Differentially Private.	CSF	2022	DBLP DOI BibTeX RDF
11	Iason Karakostas, Vasileios Mygdalis, Ioannis Pitas	Explaining and verifying the robustness of Visual Object Trackers to noise.	IVMSP	2022	DBLP DOI BibTeX RDF
11	Surya Mathialagan, Virginia Vassilevska Williams, Yinzhan Xu	Listing, Verifying and Counting Lowest Common Ancestors in DAGs: Algorithms and Fine-Grained Lower Bounds.	ICALP	2022	DBLP DOI BibTeX RDF
11	Parker Hanson, Benjamin Winters, Eric Mercer, Brett Decker	Verifying the SHA-3 Implementation from OpenSSL with the Software Analysis Workbench.	SPIN	2022	DBLP DOI BibTeX RDF
11	Qingye Zhao, Xin Chen 0027, Zhuoyu Zhao, Yifan Zhang 0005, Enyi Tang, Xuandong Li	Verifying Neural Network Controlled Systems Using Neural Networks.	HSCC	2022	DBLP DOI BibTeX RDF
11	Yong Kiam Tan, Stefan Mitsch, André Platzer	Verifying Switched System Stability With Logic.	HSCC	2022	DBLP DOI BibTeX RDF