Search results for "Correctness"

Hits ?▲	Authors	Title	Venue	Year	Link
12	Istvan David, Hans Vangheluwe, Eugene Syriani	Model consistency as a heuristic for eventual correctness.	J. Comput. Lang.	2023	DBLP DOI BibTeX RDF
12	Najd Altoyan, Don S. Batory	On Proving the Correctness of Refactoring Class Diagrams of MDE Metamodels.	ACM Trans. Softw. Eng. Methodol.	2023	DBLP DOI BibTeX RDF
12	Yushi Ogiwara, Ayanori Yorozu, Akihisa Ohya, Hideyuki Kawashima	Transactional TF: Transform Library with Concurrency and Correctness.	IEICE Trans. Inf. Syst.	2023	DBLP DOI BibTeX RDF
12	Ze-Yu Liu 0011, Jian-Wei Liu	Part-aware attention correctness for video salient object detection.	Eng. Appl. Artif. Intell.	2023	DBLP DOI BibTeX RDF
12	José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Benjamin Grégoire, Vincent Laporte, Jean-Christophe Léchenet, Tiago Oliveira 0004, Hugo Pacheco 0001, Miguel Quaresma, Peter Schwabe, Antoine Séré, Pierre-Yves Strub	Formally verifying Kyber Episode IV: Implementation correctness.	IACR Trans. Cryptogr. Hardw. Embed. Syst.	2023	DBLP DOI BibTeX RDF
12	Mária Csernoch, Keve Nagy, Tímea Nagy	The Entropy of Digital Texts - The Mathematical Background of Correctness.	Entropy	2023	DBLP DOI BibTeX RDF
12	Yi Liu 0053, Junzuo Lai, Qi Wang 0012, Xianrui Qin, Anjia Yang, Jian Weng 0001	Robust Publicly Verifiable Covert Security: Limited Information Leakage and Guaranteed Correctness with Low Overhead.	IACR Cryptol. ePrint Arch.	2023	DBLP BibTeX RDF
12	Katharina Kreuzer	Verification of Correctness and Security Properties for CRYSTALS-KYBER.	IACR Cryptol. ePrint Arch.	2023	DBLP BibTeX RDF
12	Katharina Kreuzer	Verification of the (1-δ)-Correctness Proof of CRYSTALS-KYBER with Number Theoretic Transform.	IACR Cryptol. ePrint Arch.	2023	DBLP BibTeX RDF
12	José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Benjamin Grégoire, Vincent Laporte, Jean-Christophe Léchenet, Tiago Oliveira 0004, Hugo Pacheco 0001, Miguel Quaresma, Peter Schwabe, Antoine Séré, Pierre-Yves Strub	Formally verifying Kyber Part I: Implementation Correctness.	IACR Cryptol. ePrint Arch.	2023	DBLP BibTeX RDF
12	Kathrin Hövelmanns, Christian Majenz	A note on Failing gracefully: Completing the picture for explicitly rejecting Fujisaki-Okamoto transforms using worst-case correctness.	IACR Cryptol. ePrint Arch.	2023	DBLP BibTeX RDF
12	Zheng Chen, Hongyu Lin	Improving named entity correctness of abstractive summarization by generative negative sampling.	Comput. Speech Lang.	2023	DBLP DOI BibTeX RDF
12	Slawomir Wudarczyk, Marek Wozniewski, Agnieszka Szpala, Slawomir Winiarski, Jacek Balchanowski	Mechatronic Pole System for Monitoring the Correctness of Nordic Walking.	Sensors	2023	DBLP DOI BibTeX RDF
12	Arkadiusz Czarnuch, Marek Stembalski, Tomasz Szydlowski, Damian Batory	Analysis of the Correctness of Mapping the Passage of a Semi-Trailer through a Road Obstacle on a Road Simulator.	Sensors	2023	DBLP DOI BibTeX RDF
12	Wilfrid Hodges	A Correctness Proof for al-BarakāT's Logical Diagrams.	Rev. Symb. Log.	2023	DBLP DOI BibTeX RDF
12	Elvira Albert, Shelly Grossman, Noam Rinetzky, Clara Rodríguez-Núñez, Albert Rubio, Mooly Sagiv	Relaxed Effective Callback Freedom: A Parametric Correctness Condition for Sequential Modules With Callbacks.	IEEE Trans. Dependable Secur. Comput.	2023	DBLP DOI BibTeX RDF
12	Ximeng Li 0003, Qianying Zhang, Guohui Wang, Zhi-Ping Shi 0002, Yong Guan	A unified proof technique for verifying program correctness with big-step semantics.	J. Syst. Archit.	2023	DBLP DOI BibTeX RDF
12	Wei Zhang, Quan Sun, Chao Wang 0069, Zhiming Liu 0001	Towards correctness proof for hybrid Simulink block diagrams.	J. Syst. Archit.	2023	DBLP DOI BibTeX RDF
12	Victor Cook, Christina L. Peterson, Zachary Painter, Damian Dechev	Quantifiability: a concurrent correctness condition modeled in vector space.	Computing	2023	DBLP DOI BibTeX RDF
12	Baber Rehman	Correctness-by-Construction Meets Refinement Types.	FTfJP@ECOOP	2023	DBLP DOI BibTeX RDF
12	Benard Wanjiru, Patrick van Bommel, Djoerd Hiemstra	Towards a Generic Model for Classifying Software into Correctness Levels and its Application to SQL.	SEENG	2023	DBLP DOI BibTeX RDF
12	Mingyang Liu, Fu Song, Taolue Chen	Automated Verification of Correctness for Masked Arithmetic Programs.	CAV (3)	2023	DBLP DOI BibTeX RDF
12	Tai D. Nguyen, Long H. Pham, Jun Sun 0001, Quang Loc Le	An Idealist's Approach for Smart Contract Correctness.	ICFEM	2023	DBLP DOI BibTeX RDF
12	Ryo Tokuda, Yukiyoshi Kameyama	Generating Programs for Polynomial Multiplication with Correctness Assurance.	PEPM@POPL	2023	DBLP DOI BibTeX RDF
12	Michele De Bonis, Filippo Minutella, Fabrizio Falchi, Paolo Manghi	A Graph Neural Network Approach for Evaluating Correctness of Groups of Duplicates.	TPDL	2023	DBLP DOI BibTeX RDF
12	Masoud Nosrati, Ying Cai	Verifying the Correctness of Analytic Query Results (Extended Abstract).	ICDE	2023	DBLP DOI BibTeX RDF
12	Romain Xu-Darme, Jenny Benois-Pineau, Romain Giot, Georges Quénot, Zakaria Chihani, Marie-Christine Rousset, Alexey Zhukov	On the stability, correctness and plausibility of visual explanation methods based on feature importance.	CBMI	2023	DBLP DOI BibTeX RDF
12	Szymon Jadczak, Rafal Jaworski	Boosting conversational AI correctness by accounting for ASR errors using a sequence to sequence model.	FedCSIS	2023	DBLP DOI BibTeX RDF
12	Marek Kubis, Pawel Skórzewski, Marcin Sowanski, Tomasz Zietkiewicz	Center for Artificial Intelligence Challenge on Conversational AI Correctness.	FedCSIS	2023	DBLP DOI BibTeX RDF
12	Ireneusz Szczesniak, Bozena Wozna-Szczesniak	Generic Dijkstra: correctness and tractability.	NOMS	2023	DBLP DOI BibTeX RDF
12	Antonio Zaitoun, Tomer Sagi, Katja Hose	Automated Ontology Evaluation: Evaluating Coverage and Correctness using a Domain Corpus.	WWW (Companion Volume)	2023	DBLP DOI BibTeX RDF
12	Marco Paganoni, Carlo A. Furia	Verifying Functional Correctness Properties at the Level of Java Bytecode.	FM	2023	DBLP DOI BibTeX RDF
12	Eduard Kamburjan, Vidar Norstein Klungre, Silvia Lizeth Tapia Tarifa, Rudolf Schlatte, Martin Giese, David Cameron, Einar Broch Johnsen	Emerging Challenges in Compositionality and Correctness for Digital Twins.	FMDT@FM	2023	DBLP BibTeX RDF
12	Rudrapatna K. Shyamasundar	ERC20: Correctness via Linearizability and Interference Freedom of the Underlying Smart Contract.	SECRYPT	2023	DBLP DOI BibTeX RDF
12	Zhou Tao, Yan Lei, Huan Xie, Jian Hu	NeuralCCD: Integrating Multiple Features for Neural Coincidental Correctness Detection.	SANER	2023	DBLP DOI BibTeX RDF
12	Ramla Ijaz, Kevin Boos, Lin Zhong 0001	Leveraging Rust for Lightweight OS Correctness.	KISV@SOSP	2023	DBLP DOI BibTeX RDF
12	Yuhang Wu 0003, Zhenpeng Lin, Yueqi Chen 0001, Dang K. Le, Dongliang Mu, Xinyu Xing	Mitigating Security Risks in Linux with KLAUS: A Method for Evaluating Patch Correctness.	USENIX Security Symposium	2023	DBLP BibTeX RDF
12	Ariel E. Kellison, Andrew W. Appel, Mohit Tekriwal, David Bindel	LAProof: A Library of Formal Proofs of Accuracy and Correctness for Linear Algebra Programs.	ARITH	2023	DBLP DOI BibTeX RDF
12	Qiantong Jiang, Zhuo Xu, Xinyi Luo, Xianchao Zhang 0002, Kaiping Xue, Ruidong Li	AcCrowd: Blockchain-based Crowdsourcing with Worker Anonymity and Payment Correctness.	GLOBECOM	2023	DBLP DOI BibTeX RDF
12	Maojin Li, Yan Lei, Huan Xie, Jiaguo Wang, Chunyan Liu, Zhengxiong Deng	Contrastive Coincidental Correctness Representation Learning.	ISSRE	2023	DBLP DOI BibTeX RDF
12	Yi Liu 0053, Junzuo Lai, Qi Wang 0012, Xianrui Qin, Anjia Yang, Jian Weng 0001	Robust Publicly Verifiable Covert Security: Limited Information Leakage and Guaranteed Correctness with Low Overhead.	ASIACRYPT (1)	2023	DBLP DOI BibTeX RDF
12	Oleksandr S. Bauzha, Artem Kramov, Oleksandr Yavorskyi	Estimation of the Factual Correctness of Summaries of a Ukrainian-language Silver Standard Corpus.	IT&I Workshops	2023	DBLP BibTeX RDF
12	Felipe Toledo, David Shriver, Sebastian G. Elbaum, Matthew B. Dwyer	Deeper Notions of Correctness in Image-Based DNNs: Lifting Properties from Pixel to Entities.	ESEC/SIGSOFT FSE	2023	DBLP DOI BibTeX RDF
12	Jun Yang, Yuehan Wang, Yiling Lou, Ming Wen 0001, Lingming Zhang 0001	A Large-Scale Empirical Review of Patch Correctness Checking Approaches.	ESEC/SIGSOFT FSE	2023	DBLP DOI BibTeX RDF
12	Shuai Ma, Ying Lei, Xinru Wang, Chengbo Zheng, Chuhan Shi, Ming Yin 0001, Xiaojuan Ma	Who Should I Trust: AI or Myself? Leveraging Human and AI Correctness Likelihood to Promote Appropriate Trust in AI-Assisted Decision-Making.	CHI	2023	DBLP DOI BibTeX RDF
12	Danil Kashin, Vadim V. Voevodin	Verifying the Correctness of HPC Performance Monitoring Data.	PaCT	2023	DBLP DOI BibTeX RDF
12	Jiawei Tyler Gu, Xudong Sun 0013, Wentao Zhang, Yuxuan Jiang, Chen Wang 0039, Mandana Vaziri, Owolabi Legunsen, Tianyin Xu	Acto: Automatic End-to-End Testing for Operation Correctness of Cloud System Management.	SOSP	2023	DBLP DOI BibTeX RDF
12	Jianjun Zhao 0001	Static Analysis for Quantum Software Correctness and Reliability (Keynote).	Programming	2023	DBLP DOI BibTeX RDF
12	Sangita Roy, Rudrapatna K. Shyamasundar	An Analysis of Hybrid Consensus in Blockchain Protocols for Correctness and Progress.	DBSec	2023	DBLP DOI BibTeX RDF
12	Aidan MacDonagh	Increasing Available Attempts: Changes in Student Correctness on Formative Introductory Physics Problems.	L@S	2023	DBLP DOI BibTeX RDF
12	Zoltán Porkoláb, Viktória Zsók (eds.)	Composability, Comprehensibility and Correctness of Working Software - 8th Summer School, CEFP 2019, Budapest, Hungary, June 17-21, 2019, Revised Selected Papers	CEFP	2023	DBLP DOI BibTeX RDF
12	Jinghao Sun, Kailu Duan, Xisheng Li, Nan Guan, Zhishan Guo, Qingxu Deng, Guozhen Tan	Real-Time Scheduling of Autonomous Driving System with Guaranteed Timing Correctness.	RTAS	2023	DBLP DOI BibTeX RDF
12	João Luis Sobrinho, Ricardo Pestana Santos	Correctness of EIGRP Generalized for Arbitrary Routing Metrics and Policies.	ICNP	2023	DBLP DOI BibTeX RDF
12	Esther Goudet, Luis Peña Treviño, Lirida A. B. Naviner, Jean-Marc Daveau, Philippe Roche	Fast analysis of combinatorial netlists correctness rate based on binomial law and partitioning.	LATS	2023	DBLP DOI BibTeX RDF
12	Archiki Prasad, Swarnadeep Saha, Xiang Zhou, Mohit Bansal	ReCEval: Evaluating Reasoning Chains via Correctness and Informativeness.	EMNLP	2023	DBLP DOI BibTeX RDF
12	Bevan Koopman, Guido Zuccon	Dr ChatGPT tell me what I want to hear: How different prompts impact health answer correctness.	EMNLP	2023	DBLP DOI BibTeX RDF
12	Boxi Cao, Qiaoyu Tang, Hongyu Lin, Xianpei Han, Le Sun 0001	Does the Correctness of Factual Knowledge Matter for Factual Knowledge-Enhanced Pre-trained Language Models?	EMNLP	2023	DBLP DOI BibTeX RDF
12	Åsmund Aqissiaq Arild Kløvstad, Eduard Kamburjan, Einar Broch Johnsen	Compositional Correctness and Completeness for Symbolic Partial Order Reduction.	CONCUR	2023	DBLP DOI BibTeX RDF
12	Muaz Ali, Muhammad Muzammil, Faraz Karim, Ayesha Naeem, Rukhshan Haroon, Muhammad Haris, Huzaifah Nadeem, Waseem Sabir, Fahad Shaon, Fareed Zaffar, Vinod Yegneswaran, Ashish Gehani, Sazzadur Rahaman	SoK: A Tale of Reduction, Security, and Correctness - Evaluating Program Debloating Paradigms and Their Compositions.	ESORICS (4)	2023	DBLP DOI BibTeX RDF
12	Ning Dong, Roberto Guanciale, Mads Dam, Andreas Lööw	Formal Verification of Correctness and Information Flow Security for an In-Order Pipelined Processor.	FMCAD	2023	DBLP DOI BibTeX RDF
12	Alexander Hück, Tim Jammer, Joachim Jenke, Christian H. Bischof	Investigating the Real-World Applicability of MPI Correctness Benchmarks.	SC Workshops	2023	DBLP DOI BibTeX RDF
12	Simon Schwitanski, Niko Sakic, Joachim Jenke, Felix Tomski, Marc-André Hermanns	Towards Correctness Checking of MPI Partitioned Communication in MUST.	SC Workshops	2023	DBLP DOI BibTeX RDF
12	Roberto Bruni	Local Completeness for Program Correctness and Incorrectness (Invited Talk).	CALCO	2023	DBLP DOI BibTeX RDF
12	Chontipan Plengvittaya, Zee Hen Tang, Mi-Yen Yeh, Chih-Ya Shen	Boosting Patch Correctness Checking via Combining Code-Edit Embeddings as Additional What-to-Change Information.	WI/IAT	2023	DBLP DOI BibTeX RDF
12	Wonyeol Lee 0001, Sejun Park, Alex Aiken	On the Correctness of Automatic Differentiation for Neural Networks with Machine-Representable Parameters.	ICML	2023	DBLP BibTeX RDF
12	Tao Zheng, Shijun Zhao, Kun Qiu, Pak-Lok Poon, Lanlin Yu	Using Complex Network Communities to Evaluate the Correctness of Object Detection.	DSA	2023	DBLP DOI BibTeX RDF
12	Jin Yang 0006, Jeremy Casas, Zhenkun Yang	Invited: A Scalable Formal Approach for Correctness-Assured Hardware Design.	DAC	2023	DBLP DOI BibTeX RDF
12	Mathy Vanhoef, Xianjun Jiao, Wei Liu 0019, Ingrid Moerman	Testing and Improving the Correctness of Wi-Fi Frame Injection.	WISEC	2023	DBLP DOI BibTeX RDF
12	Mohit Tekriwal, Andrew W. Appel, Ariel E. Kellison, David Bindel, Jean-Baptiste Jeannin	Verified Correctness, Accuracy, and Convergence of a Stationary Iterative Linear Solver: Jacobi Method.	CICM	2023	DBLP DOI BibTeX RDF
12	Weicheng Ma, Brian Wang, Hefan Zhang, Lili Wang, Rolando Coto-Solano, Saeed Hassanpour, Soroush Vosoughi	Improving Syntactic Probing Correctness and Robustness with Control Tasks.	ACL (2)	2023	DBLP DOI BibTeX RDF
12	Tobias Runge	Correctness-by-Construction for Correct and Secure Software Systems. (PDF / PS)		2023	RDF
12	Jürgen König	On the membership and correctness problem for state serializability and value opacity.		2023	RDF
12	Xiao Tan	Correctness and Safety in Planning and Control via State-Space Partitions and Barrier Functions.		2023	RDF
12	Sina Dang, Hongjun Xue, Xiaoyan Zhang 0006, Chengwen Zhong, Caiyong Tao	Research on the human heat transfer model of Chinese pilots and experimental verification of model correctness.	Neural Comput. Appl.	2022	DBLP DOI BibTeX RDF
12	Qi Mo, Wei Song 0003, Fei Dai 0002, Leilei Lin, Tong Li 0004	Development of Collaborative Business Processes: A Correctness Enforcement Approach.	IEEE Trans. Serv. Comput.	2022	DBLP DOI BibTeX RDF
12	Jibesh Patra	Analyzing Code Corpora to Improve the Correctness and Reliability of Programs.	Softwaretechnik-Trends	2022	DBLP BibTeX RDF
12	Jean-Daniel Boissonnat, Mathijs Wintraecken	The Topological Correctness of PL Approximations of Isomanifolds.	Found. Comput. Math.	2022	DBLP DOI BibTeX RDF
12	Uwe Wolter, Alfio Ricardo de Brito Martini, Edward Hermann Haeusler	Indexed and fibered structures for partial and total correctness assertions.	Math. Struct. Comput. Sci.	2022	DBLP DOI BibTeX RDF
12	Alexander Hück, Sebastian Kreutzer, Joachim Protze, Jan-Patrick Lehr, Christian H. Bischof, Christian Terboven, Matthias S. Müller	Compiler-Aided Type Correctness of Hybrid MPI-OpenMP Applications.	IT Prof.	2022	DBLP DOI BibTeX RDF
12	Nir Bitansky, Vinod Vaikuntanathan	A Note on Perfect Correctness by Derandomization.	J. Cryptol.	2022	DBLP DOI BibTeX RDF
12	Heling Cao, Lei Li, Yigui Sun	An Innovative Framework for Coincidental Correctness Impacting on Fault Localization.	Symmetry	2022	DBLP DOI BibTeX RDF
12	Doron Drusinsky, Matthew Litton, James Bret Michael	Lightweight Verification and Validation of Cyberphysical Systems Using Machine-Learned Correctness Properties.	Computer	2022	DBLP DOI BibTeX RDF
12	Xiaoxue Wu, Wei Zheng 0006, Xin Xia 0001, David Lo 0001	Data Quality Matters: A Case Study on Data Label Correctness for Security Bug Report Prediction.	IEEE Trans. Software Eng.	2022	DBLP DOI BibTeX RDF
12	Masoud Nosrati, Ying Cai	Verifying the Correctness of Analytic Query Results.	IEEE Trans. Knowl. Data Eng.	2022	DBLP DOI BibTeX RDF
12	Sukanta Bhattacharjee, Ansuman Banerjee, Krishnendu Chakrabarty, Bhargab B. Bhattacharya	A Framework for Automated Correctness Checking of Biochemical Protocol Realizations on Digital Microfluidic Biochips.	CoRR	2022	DBLP DOI BibTeX RDF
12	Yuehan Wang, Jun Yang, Yiling Lou, Ming Wen 0001, Lingming Zhang 0001	Attention: Not Just Another Dataset for Patch-Correctness Checking.	CoRR	2022	DBLP DOI BibTeX RDF
12	Jelle Hellings, Suyash Gupta, Sajjad Rahnama, Mohammad Sadoghi	On the Correctness of Speculative Consensus.	CoRR	2022	DBLP DOI BibTeX RDF
12	Fernando Lucatelli Nunes, Matthijs Vákár	Logical Relations for Partial Features and Automatic Differentiation Correctness.	CoRR	2022	DBLP DOI BibTeX RDF
12	Naama Ben-David, Michal Friedman 0001, Yuanhao Wei	Survey of Persistent Memory Correctness Conditions.	CoRR	2022	DBLP DOI BibTeX RDF
12	Yanglin Hu, Yingkai Ouyang, Marco Tomamichel	Privacy and correctness trade-offs for information-theoretically secure quantum homomorphic encryption.	CoRR	2022	DBLP DOI BibTeX RDF
12	Chongyi Yuan, Lijie Wen, Xiongliang Yan	Towards the Future: Bring Program Correctness back to the focus.	CoRR	2022	DBLP DOI BibTeX RDF
12	Jean-Benoit Delbrouck, Pierre J. Chambon, Christian Bluethgen, Emily Bao Tsai, Omar Almusa, Curtis P. Langlotz	Improving the Factual Correctness of Radiology Report Generation with Semantic Rewards.	CoRR	2022	DBLP DOI BibTeX RDF
12	Jan Martijn E. M. van der Werf, Andrey Rivkin, Marco Montali, Artem Polyvyanyy	Correctness Notions for Petri Nets with Identifiers.	CoRR	2022	DBLP DOI BibTeX RDF
12	Haoye Tian, Xunzhu Tang, Andrew Habib, Shangwen Wang, Kui Liu 0001, Xin Xia 0001, Jacques Klein, Tegawendé F. Bissyandé	Is this Change the Answer to that Problem? Correlating Descriptions of Bug and Code Changes for Evaluating Patch Correctness.	CoRR	2022	DBLP DOI BibTeX RDF
12	Ireneusz Szczesniak, Bozena Wozna-Szczesniak	Generic Dijkstra: correctness and tractability.	CoRR	2022	DBLP DOI BibTeX RDF
12	Fernando Lucatelli Nunes, Matthijs Vákár	Automatic Differentiation for ML-family languages: correctness via logical relations.	CoRR	2022	DBLP DOI BibTeX RDF
12	Mia Filic, Kenneth G. Paterson, Anupama Unnikrishnan, Fernando Virdia	Adversarial Correctness and Privacy for Probabilistic Data Structures.	CoRR	2022	DBLP DOI BibTeX RDF
12	Wolfgang Jeltsch, Javier Díaz	Correctness of Broadcast via Multicast: Graphically and Formally.	FROM	2022	DBLP DOI BibTeX RDF
12	Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye, Aljoscha Windhorst	A Graph-Transformational Approach for Proving the Correctness of Reductions between NP-Problems.	GCM@STAF	2022	DBLP DOI BibTeX RDF
12	Johannes von Hoyer, Joachim Kimmerle, Peter Holtz	Acquisition of false certainty: Learners increase their confidence in the correctness of incorrect answers after online information search.	J. Comput. Assist. Learn.	2022	DBLP DOI BibTeX RDF