Search results for "verifying"

Hits ?▲	Authors	Title	Venue	Year	Link
11	Grzegorz Pochwatko, Wieslaw Kopec, Zbigniew Jedrzejewski, Anna Jaskulska, Kinga H. Skorupska, Barbara Karpowicz, Rafal Maslyk, Steven Barnes, Maciej Grzeszczuk, Jagoda Lazarek, Justyna Swidrak	The Invisible - Experienced: Developing and Verifying a VR Application for Understanding Air Pollution Perception and Attitudes.	ISMAR-Adjunct	2023	DBLP DOI BibTeX RDF
11	Dhriti Khanna, Subodh Sharma 0001, Rahul Purandare	Verifying Exception-Handling Code in Concurrent Libraries.	APSEC	2023	DBLP DOI BibTeX RDF
11	Emiel Lanckriet, Matteo Busi 0001, Dominique Devriese	$\pi_{\mathbf{RA}}$: A $\pi\text{-calculus}$ for Verifying Protocols that Use Remote Attestation.	CSF	2023	DBLP DOI BibTeX RDF
11	Michael Akintunde, Elena Botoeva, Panagiotis Kouvaros, Alessio Lomuscio	Verifying Strategic Abilities of Neural-Symbolic Multi-agent Systems.	NeSy	2023	DBLP BibTeX RDF
11	Michael Blondin, Philip Offtermatt, Alex Sansfaçon-Buchanan	Verifying linear temporal specifications of constant-rate multi-mode systems.	LICS	2023	DBLP DOI BibTeX RDF
11	You-Hsuan Chiang, Je-Wei Hsu, Chung-En Liu, Tzu-Yu Huang, Hsin-Lun Chiu, Yung-Ju Chang	Investigating Users' Inclination of Leveraging Mobile Crowdsourcing to Obtain Verifying vs. Supplemental Information when Facing Inconsistent Smat-city Sensor Information.	CSCW Companion	2023	DBLP DOI BibTeX RDF
11	Achim D. Brucker, Amy Stell	Verifying Feedforward Neural Networks for Classification in Isabelle/HOL.	FM	2023	DBLP DOI BibTeX RDF
11	Petra van den Bos, Sung-Shik Jongmans	VeyMont: Parallelising Verified Programs Instead of Verifying Parallel Programs.	FM	2023	DBLP DOI BibTeX RDF
11	Marco Paganoni, Carlo A. Furia	Verifying Functional Correctness Properties at the Level of Java Bytecode.	FM	2023	DBLP DOI BibTeX RDF
11	Guy Amir, Ziv Freund, Guy Katz, Elad Mandelbaum, Idan Refaeli	veriFIRE: Verifying an Industrial, Learning-Based Wildfire Detection System.	FM	2023	DBLP DOI BibTeX RDF
11	Tom Peham, Lukas Burgholzer, Robert Wille	Equivalence Checking of Parameterized Quantum Circuits: Verifying the Compilation of Variational Quantum Algorithms.	ASP-DAC	2023	DBLP DOI BibTeX RDF
11	Alexander Knapp	An Intermediate Language-Based Approach to Implementing and Verifying Communicating UML State Machines.	Applicable Formal Methods for Safe Industrial Products	2023	DBLP DOI BibTeX RDF
11	Anshul Jain, Binod Kumar 0001	A Case Study on Formally Verifying an Open-source Deep Learning Accelerator Design.	ATS	2023	DBLP DOI BibTeX RDF
11	Shibo Tang, Jiacheng Zhu, Yifei Gao, Jing Zhou, Dejun Mu, Wei Hu 0008	Verifying RISC-V Privilege Transition Integrity Through Symbolic Execution.	ATS	2023	DBLP DOI BibTeX RDF
11	Jun Liu, Yiming Meng, Maxwell Fitzsimmons, Ruikun Zhou	Towards Learning and Verifying Maximal Neural Lyapunov Functions.	CDC	2023	DBLP DOI BibTeX RDF
11	Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert, Sadegh Soudjani	Verifying the Unknown: Correct-by-Design Control Synthesis for Networks of Stochastic Uncertain Systems.	CDC	2023	DBLP DOI BibTeX RDF
11	Zhiyuan Yu, Yuanhaur Chang, Shixuan Zhai, Nicholas Deily, Tao Ju, XiaoFeng Wang 0001, Uday Jammalamadaka, Ning Zhang 0017	XCheck: Verifying Integrity of 3D Printed Patient-Specific Devices via Computing Tomography.	USENIX Security Symposium	2023	DBLP BibTeX RDF
11	Scott L. DuVall, Craig G. Parker, Amanda R. Shields, Patrick R. Alba, Julie A. Lynch, Michael E. Matheny, Aaron W. C. Kamauu	Toward Real-World Reproducibility: Verifying Value Sets for Clinical Research.	MedInfo	2023	DBLP DOI BibTeX RDF
11	Yangfan Huang, Yuling Lin, Haizhou Du, Yijian Chen, Haohao Song, Linghe Kong, Qiao Xiang, Qiang Li, Franck Le, Jiwu Shu	Toward a Unified Framework for Verifying and Interpreting Learning-Based Networking Systems.	IWQoS	2023	DBLP DOI BibTeX RDF
11	Hanze Meng, Zhengjie Miao, Amir Gilad, Sudeepa Roy, Jun Yang 0001	Characterizing and Verifying Queries Via CINSGEN.	SIGMOD Conference Companion	2023	DBLP DOI BibTeX RDF
11	William K. Jenkins, Chandrasekhar Radhakrishnan	Advanced Results Verifying that Adaptive Fault Tolerance is Inherently Contained in Bio-Inspired Adaptive Optimization.	ACSSC	2023	DBLP DOI BibTeX RDF
11	Ning Qin, Hongyan Mao, Yiwen Liu, Kai Chen	Modeling and Verifying Privacy-Preserving Authentication Scheme for VANET Using CSP.	COMPSAC	2023	DBLP DOI BibTeX RDF
11	Kevin Lotz, Mitja Kulczynski, Dirk Nowotka, Danny Bøgsted Poulsen, Anders Schlichtkrull	Verified Verifying: SMT-LIB for Strings in Isabelle.	CIAA	2023	DBLP DOI BibTeX RDF
11	Henryk Mustroph, Marisol Barrientos, Karolin Winter, Stefanie Rinderle-Ma	Verifying Resource Compliance Requirements from Natural Language Text over Event Logs.	BPM	2023	DBLP DOI BibTeX RDF
11	Thu Nguyen, Khoa Tan Vo, Thu-Thuy Ta, Tu-Anh Nguyen-Hoang, Ngoc-Thanh Dinh	Model for Verifying the Reliability of Candidate Data Based on Blockchain Technology.	ICCAE	2023	DBLP DOI BibTeX RDF
11	Caetano Melone, Steve Jones	Verifying Functionality and Performance of HPC Applications with Continuous Integration.	PEARC	2023	DBLP DOI BibTeX RDF
11	Ruiling Chen, Jiaxiang Liu 0001, Xiaomu Shi, Ming-Hsien Tsai 0001, Bow-Yaw Wang, Bo-Yin Yang	llvm2CryptoLine: Verifying Arithmetic in Cryptographic C Programs.	ESEC/SIGSOFT FSE	2023	DBLP DOI BibTeX RDF
11	Yibo Dong, Xiaoyu Zhang, Yicong Xu, Chang Cai, Yu Chen, Weikai Miao, Jianwen Li, Geguang Pu	LightF3: A Lightweight Fully-Process Formal Framework for Automated Verifying Railway Interlocking Systems.	ESEC/SIGSOFT FSE	2023	DBLP DOI BibTeX RDF
11	Fu Wang, Peipei Xu, Wenjie Ruan, Xiaowei Huang	Towards Verifying the Geometric Robustness of Large-Scale Neural Networks.	AAAI	2023	DBLP DOI BibTeX RDF
11	Francesco Belardinelli, Ioana Boureanu, Vadim Malvone, Fortunat Rajaona	Automatically Verifying Expressive Epistemic Properties of Programs.	AAAI	2023	DBLP DOI BibTeX RDF
11	Xuan Xie, Fuyuan Zhang, Xinwen Hu, Lei Ma 0003	DeepGemini: Verifying Dependency Fairness for Deep Neural Network.	AAAI	2023	DBLP DOI BibTeX RDF
11	Suthee Ruangwises	Physically Verifying the First Nonzero Term in a Sequence: Physical ZKPs for ABC End View and Goishi Hiroi.	IJTCS-FAW	2023	DBLP DOI BibTeX RDF
11	Danil Kashin, Vadim V. Voevodin	Verifying the Correctness of HPC Performance Monitoring Data.	PaCT	2023	DBLP DOI BibTeX RDF
11	Daxin Liu 0002, Qinfei Huang, Vaishak Belle, Gerhard Lakemeyer	Verifying Belief-Based Programs via Symbolic Dynamic Programming.	ECAI	2023	DBLP DOI BibTeX RDF
11	Yejian Chen, Stefan Wesemann, Thorsten Wild	Turbo AI, Part V: Verifying AI-Enhanced Channel Estimation for RAN from System Level.	EuCNC/6G Summit	2023	DBLP DOI BibTeX RDF
11	Upamanyu Sharma, Ralf Jung 0002, Joseph Tassarotti, M. Frans Kaashoek, Nickolai Zeldovich	Grove: a Separation-Logic Library for Verifying Distributed Systems.	SOSP	2023	DBLP DOI BibTeX RDF
11	Hao Wu 0017, Zheng Cheng	Verifying Event-B Hybrid Models Using Cyclone.	ABZ	2023	DBLP DOI BibTeX RDF
11	Amel Mammar, Michael Leuschel	Modeling and Verifying an Arrival Manager Using Event-B.	ABZ	2023	DBLP DOI BibTeX RDF
11	Nuno Macedo, Julien Brunel, David Chemouil, Alcino Cunha	Verifying Temporal Relational Models with Pardinus.	ABZ	2023	DBLP DOI BibTeX RDF
11	Wing-Kai Hon, Meng-Tsung Tsai, Hung-Lung Wang	Verifying the Product of Generalized Boolean Matrix Multiplication and Its Applications to Detect Small Subgraphs.	WADS	2023	DBLP DOI BibTeX RDF
11	Loris D'Antoni	Verifying Infinitely Many Programs at Once.	SAS	2023	DBLP DOI BibTeX RDF
11	James I. Lathrop, Peter-Michael Osera, Addison W. Schmidt, Jesse Slater	Verifying Chemical Reaction Networks with the Isabelle Theorem Prover.	Allerton	2023	DBLP DOI BibTeX RDF
11	Aleksandar S. Dimovski, Bekim Fetaji	On Verifying Temporal Properties of Configurable Software.	MECO	2023	DBLP DOI BibTeX RDF
11	Myriam Clouet, Thibaud Antignac, Mathilde Arnaud, Julien Signoles	Context Specification Language for Formally Verifying Consent Properties on Models and Code.	TAP	2023	DBLP DOI BibTeX RDF
11	Artur Graczyk, Marialena Hadjikosti, Andrei Popescu 0001	A Framework for Verifying the Collision Freeness of Collaborative Robots (Work in Progress).	iFM	2023	DBLP DOI BibTeX RDF
11	Soomaiya Hamid, Narmeen Zakaria Bawany, Kiran Fatima	A Blockchain based Framework for Verifying Drug Authenticity.	ACIT	2023	DBLP DOI BibTeX RDF
11	Angelo Ferrando 0001, Andrea Gatti 0002, Viviana Mascardi	RV4Rasa: A Formalism-Agnostic Runtime Verification Framework for Verifying ChatBots in Rasa.	VORTEX@ISSTA	2023	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.	TACAS (1)	2023	DBLP DOI BibTeX RDF
11	Xavier Denis, Jacques-Henri Jourdan	Specifying and Verifying Higher-order Rust Iterators.	TACAS (2)	2023	DBLP DOI BibTeX RDF
11	Mykhailo Ivashchenko, Sung Woo Choi, Luan Viet Nguyen, Hoang-Dung Tran	Verifying Binary Neural Networks on Continuous Input Space using Star Reachability.	FormaliSE	2023	DBLP DOI BibTeX RDF
11	Abisha Thapa Magar, Anup Shakya, Somdeb Sarkhel, Deepak Venugopal	Verifying Relational Explanations: A Probabilistic Approach.	IEEE Big Data	2023	DBLP DOI BibTeX RDF
11	Yun-Sheng Chang, Ralf Jung 0002, Upamanyu Sharma, Joseph Tassarotti, M. Frans Kaashoek, Nickolai Zeldovich	Verifying vMVCC, a high-performance transaction library using multi-version concurrency control.	OSDI	2023	DBLP BibTeX RDF
11	Kiarash Mohammadi, Aishwarya Sivaraman, Golnoosh Farnadi	FETA: Fairness Enforced Verifying, Training, and Predicting Algorithms for Neural Networks.	EAAMO	2023	DBLP DOI BibTeX RDF
11	Dario Guidotti, Laura Pandolfo, Luca Pulina	Verifying Neural Networks with Non-Linear SMT Solvers: a Short Status Report.	ICTAI	2023	DBLP DOI BibTeX RDF
11	Imran Pinjari, Michael Shin, Pushkar Ogale	Verifying Data Integrity for Multi-Threaded Programs.	ICSOFT	2023	DBLP DOI BibTeX RDF
11	Meryem Afendi, Amel Mammar, Régine Laleau	A Tool-Supported Approach for Modeling and Verifying Hybrid Systems using EVENT-B and the Differential Equation Solver SAGEMATH.	ICSOFT	2023	DBLP DOI BibTeX RDF
11	Maria Siapera, Andreas Schmitz, Maria A. Wimmer, Andriana Prentza	AgInTeF: Agile Interoperability Testing Framework for Orchestrating Overarching Procedures in Verifying Digital Public Services.	DG.O	2023	DBLP DOI BibTeX RDF
11	Philipp Chrszon, Paulina Maurer, George Saleip, Sascha Müller 0005, Philipp Martin Fischer, Andreas Gerndt, Michael Felderer	Applicability of Model Checking for Verifying Spacecraft Operational Designs.	MODELS	2023	DBLP DOI BibTeX RDF
11	Jorge Fandinno, Vladimir Lifschitz	On Heuer's Procedure for Verifying Strong Equivalence.	JELIA	2023	DBLP DOI BibTeX RDF
11	Brae J. Webb, Ian J. Hayes, Mark Utting	Verifying Term Graph Optimizations using Isabelle/HOL.	CPP	2023	DBLP DOI BibTeX RDF
11	Jinxuan Wu, Wenhan Chao, Xian Zhou 0003, Zhunchen Luo	Characterizing and Verifying Scientific Claims: Qualitative Causal Structure is All You Need.	EMNLP	2023	DBLP DOI BibTeX RDF
11	Jiaxiang Chen, Yu Hong, Qingting Xu, Jianmin Yao	Smart "Chef": Verifying the Effect of Role-based Paraphrasing for Aspect Term Extraction.	EMNLP (Findings)	2023	DBLP DOI BibTeX RDF
11	Sebastian Frank 0001, M. Alireza Hakamian, Denis Zahariev, André van Hoorn	Verifying Transient Behavior Specifications in Chaos Engineering Using Metric Temporal Logic and Property Specification Patterns.	ICPE (Companion)	2023	DBLP DOI BibTeX RDF
11	Dami Choi, Yonadav Shavit, David Kristjanson Duvenaud	Tools for Verifying Neural Models' Training Data.	NeurIPS	2023	DBLP BibTeX RDF
11	Ahmed Bouajjani	On Verifying Concurrent Programs Under Weakly Consistent Models (Invited Talk).	CONCUR	2023	DBLP DOI BibTeX RDF
11	Cong Liu, Darren D. Cofer, Denis Osipychev	Verifying an Aircraft Collision Avoidance Neural Network with Marabou.	NFM	2023	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.	NFM	2023	DBLP DOI BibTeX RDF
11	Rajesh T. M, Anvik Kumar Achar	OrthoSNet: A framework for Identifying and Verifying Tuberculosis in Chest Radio graph images using Discrete Orthonormal Stockwell transform.	ICCCNT	2023	DBLP DOI BibTeX RDF
11	Florian Helmschmidt, Pedram Hosseyni, Ralf Küsters, Klaas Pruiksma, Clara Waldmann, Tim Würtele	The Grant Negotiation and Authorization Protocol: Attacking, Fixing, and Verifying an Emerging Standard.	ESORICS (3)	2023	DBLP DOI BibTeX RDF
11	Purva Makarand Mhasakar, Kevin Bhadresh Doshi, Ning Wang, Shen-Shyang Ho, Haibin Haibin	Distributed Tracking and Verifying: A Real-Time and High-Accuracy Visual Tracking Edge Computing Framework for Internet of Things.	SEC	2023	DBLP DOI BibTeX RDF
11	Chengpeng Wang, Gang Fan, Peisen Yao, Fuxiong Pan, Charles Zhang 0001	Verifying Data Constraint Equivalence in FinTech Systems.	ICSE	2023	DBLP DOI BibTeX RDF
11	Sascha Hunold	Verifying Performance Guidelines for MPI Collectives at Scale.	SC Workshops	2023	DBLP DOI BibTeX RDF
11	Petra Murinová, Vilém Novák	Verifying Validity of Selected Forms of Syllogisms with Intermediate Quantifiers Using Peterson's Rules.	EUSFLAT/AGOP	2023	DBLP DOI BibTeX RDF
11	Jan Francisti, Zoltán Balogh 0002, György Molnár, József Kopják, Gergely Sebestyen, Eniko Nagy	Methods for Verifying the Security of Available IoT Devices.	SISY	2023	DBLP DOI BibTeX RDF
11	Bradley C. A. Brown, Anthony L. Caterini, Brendan Leigh Ross, Jesse C. Cresswell, Gabriel Loaiza-Ganem	Verifying the Union of Manifolds Hypothesis for Image Data.	ICLR	2023	DBLP BibTeX RDF
11	Wu Wang, Nan Zhang 0001, Cong Tian, Zhenhua Duan, Zhijie Xu, Chaofeng Yu	Verifying Chips Design at RTL Level.	TASE	2023	DBLP DOI BibTeX RDF
11	Anton Hampus, Mattias Nyberg	Verifying Refinement of Probabilistic Contracts Using Timed Automata.	TASE	2023	DBLP DOI BibTeX RDF
11	Omar Inverso, Salvatore La Torre, Gennaro Parlato, Ermenegildo Tomasco	Verifying Programs by Bounded Tree-Width Behavior Graphs.	EUMAS	2023	DBLP DOI BibTeX RDF
11	Tephilla Prince	On Verifying Unbounded Client-Server Systems.	EUMAS	2023	DBLP DOI BibTeX RDF
11	Mikhail Semenyuk, Mark Batty, Brijesh Dongol	Verifying Read-Copy Update Under RC11.	SEFM	2023	DBLP DOI BibTeX RDF
11	Enrico Marchesini, Luca Marzari, Alessandro Farinelli, Christopher Amato	Safe Deep Reinforcement Learning by Verifying Task-Level Properties.	AAMAS	2023	DBLP BibTeX RDF
11	Farhad Mohsin, Qishen Han, Sikai Ruan, Pin-Yu Chen, Francesca Rossi 0001, Lirong Xia	Computational Complexity of Verifying the Group No-show Paradox.	AAMAS	2023	DBLP BibTeX RDF
11	Jay Le-Papin, Brijesh Dongol, Helen Treharne, Stephan Wesemeyer	Verifying List Swarm Attestation Protocols.	WISEC	2023	DBLP DOI BibTeX RDF
11	Guillaume Bury, François Bobot	Verifying Models with Dolmen.	SMT	2023	DBLP BibTeX RDF
11	Maitrey Mehta, Vivek Srikumar	Verifying Annotation Agreement without Multiple Experts: A Case Study with Gujarati SNACS.	ACL (Findings)	2023	DBLP DOI BibTeX RDF
11	James Jerson Ortiz	Modeling and Verifying Distributed and Real-Time Systems using Timed Automata with Partially Independent Clocks (PDF / PS)		2023	RDF
11	Ritam Raha	Learning and verifying temporal specifications for cyber-physical systems		2023	RDF
11	Yin Tong, Yucheng Wang, Alessandro Giua	A Polynomial Approach to Verifying the Existence of a Threatening Sensor Attacker.	IEEE Control. Syst. Lett.	2022	DBLP DOI BibTeX RDF
11	Mengqi Liu 0001, Zhong Shao, Hao Chen 0023, Man-Ki Yoon, Jung-Eun Kim	Compositional virtual timelines: verifying dynamic-priority partitions with algorithmic temporal isolation.	Proc. ACM Program. Lang.	2022	DBLP DOI BibTeX RDF
11	Rodolphe Lepigre, Michael Sammler, Kayvan Memarian, Robbert Krebbers, Derek Dreyer, Peter Sewell	VIP: verifying real-world C idioms with integer-pointer casts.	Proc. ACM Program. Lang.	2022	DBLP DOI BibTeX RDF
11	Lennard Gäher, Michael Sammler, Simon Spies, Ralf Jung 0002, Hoang-Hai Dang, Robbert Krebbers, Jeehoon Kang, Derek Dreyer	Simuliris: a separation logic framework for verifying concurrent program optimizations.	Proc. ACM Program. Lang.	2022	DBLP DOI BibTeX RDF
11	Sadegh Dalvandi, Brijesh Dongol	Implementing and verifying release-acquire transactional memory in C11.	Proc. ACM Program. Lang.	2022	DBLP DOI BibTeX RDF
11	Andrew Wintenberg, Matthew Blischke, Stéphane Lafortune, Necmiye Ozay	A general language-based framework for specifying and verifying notions of opacity.	Discret. Event Dyn. Syst.	2022	DBLP DOI BibTeX RDF
11	James Kobina Mensah Biney	Verifying the predictive performance for soil organic carbon when employing field Vis-NIR spectroscopy and satellite imagery obtained using two different sampling methods.	Comput. Electron. Agric.	2022	DBLP DOI BibTeX RDF
11	Andreas Rauh, Auguste Bourgois, Luc Jaulin	Verifying Provable Stability Domains for Discrete-Time Systems Using Ellipsoidal State Enclosures.	Acta Cybern.	2022	DBLP DOI BibTeX RDF
11	Wei Fu, Zhenjie Xie, Jianqiao Xu	Verifying multiple replica possession with public key segment under public cloud storage environment.	Concurr. Comput. Pract. Exp.	2022	DBLP DOI BibTeX RDF
11	Nan Zhang 0001, Meng Wang 0021, Zhenhua Duan, Cong Tian	Verifying Properties of MapReduce-Based Big Data Processing.	IEEE Trans. Reliab.	2022	DBLP DOI BibTeX RDF
11	Hao Wu 0017	A Query-based Approach for Verifying UML Class Diagrams with OCL Invariants.	J. Object Technol.	2022	DBLP DOI BibTeX RDF
11	Jake Renzella, Andrew Cain, Jean-Guy Schneider	Verifying student identity in oral assessments with deep speaker.	Comput. Educ. Artif. Intell.	2022	DBLP DOI BibTeX RDF
11	Imed Abbassi, Amel Mammar, Mohamed Graiet	A Correct-by-Construction Model for Verifying Transactional Composite Services Configuration.	IEEE Trans. Serv. Comput.	2022	DBLP DOI BibTeX RDF