|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 8467 occurrences of 3600 keywords
|
|
|
Results
Found 8775 publication records. Showing 8775 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
12 | Bo Lin, Shangwen Wang, Ming Wen 0001, Xiaoguang Mao |
Context-Aware Code Change Embedding for Better Patch Correctness Assessment. |
ACM Trans. Softw. Eng. Methodol. |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Haoye Tian, Yinghua Li, Weiguo Pian, Abdoul Kader Kaboré, Kui Liu 0001, Andrew Habib, Jacques Klein, Tegawendé F. Bissyandé |
Predicting Patch Correctness Based on the Similarity of Failing Test Cases. |
ACM Trans. Softw. Eng. Methodol. |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Boubakr Nour, Soumaya Cherkaoui |
How Far Can We Go in Compute-less Networking: Computation Correctness and Accuracy. |
IEEE Netw. |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Rashmi Priya 0001, Dharavath Ramesh, Venkanna Udutalapally |
NSGA-2 Optimized Fuzzy Inference System for Crop Plantation Correctness Index Identification. |
IEEE Trans. Sustain. Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Priyanka Darke, Ravindra Metta, Raveendra Kumar Medicherla, R. Venkatesh 0001 |
Impactful research and tooling for program correctness. |
Commun. ACM |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Mia Filic, Kenneth G. Paterson, Anupama Unnikrishnan, Fernando Virdia |
Adversarial Correctness and Privacy for Probabilistic Data Structures. |
IACR Cryptol. ePrint Arch. |
2022 |
DBLP BibTeX RDF |
|
12 | 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 |
|
12 | Stephan Merz, Vincent Trélat |
Correctness of a Set-based Algorithm for Computing Strongly Connected Components of a Graph. |
Arch. Formal Proofs |
2022 |
DBLP BibTeX RDF |
|
12 | Dapeng Yan, Kui Liu 0001, Yuqing Niu, Li Li 0029, Zhe Liu 0001, Zhiming Liu 0001, Jacques Klein, Tegawendé F. Bissyandé |
Crex: Predicting patch correctness in automated repair of C programs through transfer learning of execution semantics. |
Inf. Softw. Technol. |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Shelernaz Azimi, Claus Pahl |
The Impact of Data Completeness and Correctness on Explainable Machine Learning Models. |
J. Data Intell. |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Rong Gu, Peter Gjøl Jensen, Cristina Seceleanu, Eduard Enoiu, Kristina Lundqvist |
Correctness-guaranteed strategy synthesis and compression for multi-agent autonomous systems. |
Sci. Comput. Program. |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Wlodzimierz Drabent |
On Correctness and Completeness of an n Queens Program. |
Theory Pract. Log. Program. |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Miguel Areias 0001, Ricardo Rocha 0001 |
On the correctness of a lock-free compression-based elastic mechanism for a hash trie design. |
Computing |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Paul Alcock, Ben Simms, Will Fantom, Charalampos Rotsos, Nicholas J. P. Race |
Improving Intent Correctness with Automated Testing. |
NetSoft |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Codruta Maria Serban, Anca Hangan |
A System for Evaluating the Correctness of Physical Exercises Execution. |
AQTR |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Akshit Aggarwal, Srinibas Swain |
Poster: Correctness of n-parties ECDSA By the Claim of Byzantine Agreement. |
CCS |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Mia Filic, Kenneth G. Paterson, Anupama Unnikrishnan, Fernando Virdia |
Adversarial Correctness and Privacy for Probabilistic Data Structures. |
CCS |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Rosario Cammarota |
Intel HERACLES: Homomorphic Encryption Revolutionary Accelerator with Correctness for Learning-oriented End-to-End Solutions. |
CCSW |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Rémi Meunier, Thomas Carle, Thierry Monteil 0001 |
Correctness and Efficiency Criteria for the Multi-Phase Task Model. |
ECRTS |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Tim Jammer, Alexander Hück, Jan-Patrick Lehr, Joachim Protze, Simon Schwitanski, Christian H. Bischof |
Towards a Hybrid MPI Correctness Benchmark Suite. |
EuroMPI |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Mohamed Amin Hammami, Mariam Lahami, Afef Jmal Maâlej |
Towards a Dynamic Testing Approach for Checking the Correctness of Ethereum Smart Contracts. |
CRiSIS |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Géza Kulcsár, Johannes Kristan, Sven Erik Jeroschewski |
Correctness, Completeness, Consistency: Challenges of Migrating Arrowhead System-of-Systems Models. |
NOMS |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Nima Amirafshar, Ahmad Sadigh Baroughi, Hadi Shahriar Shahhoseini, Nima TaheriNejad |
An Approximate Carry Disregard Multiplier with Improved Mean Relative Error Distance and Probability of Correctness. |
DSD |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Eduard Kamburjan, Crystal Chang Din, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen |
Twinning-by-Construction: Ensuring Correctness for Self-adaptive Digital Twins. |
ISoLA (1) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Hengfei Yang, Bo Shen, Gaoyang Xu, Yonghua Chen |
Modeling Method and Correctness Verification of Power Grid Safety and Stability Control Strategy System. |
QRS Companion |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Sadhana Suryadevara, Kristin Stephens-Martinez |
UPIC a Problem-Solving Framework: Understand, Plan, Implement, and Correctness/Debugging. |
ICER (2) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Mark Santolucito, Jialu Zhang 0002, Ennan Zhai, Jürgen Cito, Ruzica Piskac |
Learning CI Configuration Correctness for Early Build Feedback. |
SANER |
2022 |
DBLP DOI BibTeX RDF |
|
12 | J. Christian Attiogbé, Jérôme Rocheteau |
Architectural Invariants and Correctness of IoT-Based Systems. |
MEDI Workshops |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Youngjae Kim, Manzoor Hussain, Jae-Won Suh, Jang-Eui Hong |
Evaluating Correctness of Reinforcement Learning based on Actor-Critic Algorithm. |
ICUFN |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Yu Xia 0005, Xiangyao Yu, Matthew Butrovich, Andrew Pavlo, Srinivas Devadas |
Litmus: Towards a Practical Database Management System with Verifiable ACID Properties and Transaction Correctness. |
SIGMOD Conference |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Chu Fei Luo, Rohan Bhambhoria, Samuel Dahan, Xiaodan Zhu 0001 |
Evaluating Explanation Correctness in Legal Decision Making. |
Canadian AI |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Jorge Fandinno, Zachary Hansen, Yuliya Lierler |
Arguing Correctness of ASP Programs with Aggregates. |
LPNMR |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Naama Ben-David, Michal Friedman 0001, Yuanhao Wei |
Brief Announcement: Survey of Persistent Memory Correctness Conditions. |
DISC |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Nuno Costa, João Paulo Fernandes, Rui Abreu 0001 |
Asserting the correctness of Shor implementations using metamorphic testing. |
QP4SE@ESEC/SIGSOFT FSE |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Caleb Stanford, Konstantinos Kallas, Rajeev Alur |
Correctness in Stream Processing: Challenges and Opportunities. |
CIDR |
2022 |
DBLP BibTeX RDF |
|
12 | Seulbae Kim, Taesoo Kim |
RoboFuzz: fuzzing robotic systems over robot operating system (ROS) for finding correctness bugs. |
ESEC/SIGSOFT FSE |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Nitish Yadav, Ayushi Malhotra, Sakshee Patel, Minal Bhise |
Aggregate Query Result Correctness Using Pattern Tables. |
DASFAA (Workshops) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Rolf Drechsler, Alireza Mahzoon |
Polynomial Formal Verification: Ensuring Correctness under Resource Constraints. |
ICCAD |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Nico Potyka, Xiang Yin 0007, Francesca Toni |
On the Tradeoff Between Correctness and Completeness in Argumentative Explainable AI. |
ArgXAI@COMMA |
2022 |
DBLP BibTeX RDF |
|
12 | Lin Zhang, Zifan Wang, Fanxin Kong |
Work-in-Progress: Optimal Checkpointing Strategy for Real-time Systems with Both Logical and Timing Correctness. |
RTSS |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Ali Ghanbari 0001, Andrian Marcus |
Patch correctness assessment in automated program repair based on the impact of patches on production and test code. |
ISSTA |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Han Jiang 0009, Zeqian Li, Jacob Whitehill |
Can the Mathematical Correctness of Object Configurations Affect the Accuracy of Their Perception? |
CVPR Workshops |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Rui Zhang, Jianjun Yu, Yuanchun Zhou |
AuxPOS: Improving Grammatical Correctness with Big Data Based Text Summarization. |
IEEE Big Data |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Kathryn Kenny, Jongwook Kim, Eric Lacker |
KennyRiMr: An Eclipse Plug-in to Improve Correctness of Rename Method Refactoring in Java. |
SEAA |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Florian Vanhems, Vlad Rusu, David Nowak, Gilles Grimaud |
A Formal Correctness Proof for an EDF Scheduler Implementation. |
RTAS |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Dor Ma'ayan, Shahar Maoz, Roey Rozi |
Validating the correctness of reactive systems specifications through systematic exploration. |
MoDELS |
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. |
EMNLP (Findings) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Subhajit Chaudhury, Sarathkrishna Swaminathan, R. Chulaka Gunasekara, Maxwell Crouse, Srinivas Ravishankar, Daiki Kimura, Keerthiram Murugesan, Ramón Fernandez Astudillo, Tahira Naseem, Pavan Kapanipathi, Alexander Gray |
X-FACTOR: A Cross-metric Evaluation of Factual Correctness in Abstractive Summarization. |
EMNLP |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Tobias Runge, Alex Potanin, Thomas Thüm, Ina Schaefer |
Traits: Correctness-by-Construction for Free. |
FORTE |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Ali Ghanbari 0001, Andrian Marcus |
Shibboleth: Hybrid Patch Correctness Assessment in Automated Program Repair. |
ASE |
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. |
ASE |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Thu-Trang Nguyen, Hieu Dinh Vo |
Detecting Coincidental Correctness and Mitigating Its Impacts on Localizing Variability Faults. |
KSE |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Dina Bashkirova, Ben Usman, Kate Saenko |
Evaluation of Correctness in Unsupervised Many-to-Many Image Translation. |
WACV |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Balázs-István Pelok, Csanád Sándor, Ákos Bálint, Csaba Sulyok, Károly Simon |
Estimating the Correctness of Exercises for Flat Feet Using Semantic Segmentation. |
SISY |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Wlodzimierz Drabent |
On Correctness of Normal Logic Programs. |
LOPSTR |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Angela Schwering, Jakub Krukar, Charu Manivannan, Malumbo Chipofya, Sahib Jan |
Generalized, Inaccurate, Incomplete: How to Comprehensively Analyze Sketch Maps Beyond Their Metric Correctness. |
COSIT |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Tom Vanallemeersch, Arne Defauw, Sara Szoc, Alina Kramchaninova, Joachim Van den Bogaert, Andrea Lösch |
ELRC Action: Covering Confidentiality, Correctness and Cross-linguality. |
LREC |
2022 |
DBLP BibTeX RDF |
|
12 | Tabea Bordis, Maximilian Kodetzki, Tobias Runge, Ina Schaefer |
VarCorC: Developing Object-Oriented Software Product Lines Using Correctness-by-Construction. |
SEFM Workshops |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Fumiya Sato, Ayano Ikegami, Takashi Ishio, Kazumasa Shimari, Kenichi Matsumoto |
Comparing Execution Traces of Jupyter Notebook for Checking Correctness of Refactoring. |
IWSC |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Aishwarya Sivaraman |
Ensuring Correctness of Modern Software Systems by Example |
|
2022 |
RDF |
|
12 | Jia Shen Teoh |
Automated Performance and Correctness Debugging for Big Data Analytics |
|
2022 |
RDF |
|
12 | Manuel Gieseking |
Correctness of Data Flows in Asynchronous Distributed Systems: Model Checking and Synthesis. |
|
2022 |
RDF |
|
12 | Nicolas Müller |
Integrity and Correctness of Machine Learning Data. |
|
2022 |
RDF |
|
12 | Stephan Gocht |
Certifying Correctness for Combinatorial Algorithms: by Using Pseudo-Boolean Reasoning. (PDF / PS) |
|
2022 |
RDF |
|
12 | Daniela Glavanicová, Matteo Pascucci |
Correctness and Completeness of Programming Instructions for Traffic Circulation. |
Sci. Eng. Ethics |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Ranadeep Biswas, Diptanshu Kakwani, Jyothi Vedurada, Constantin Enea, Akash Lal |
MonkeyDB: effectively testing correctness under weak isolation levels. |
Proc. ACM Program. Lang. |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Stefan Tomaszek, Roland Speith, Andy Schürr |
Virtual network embedding: ensuring correctness and optimality by construction using model transformation and integer linear programming techniques. |
Softw. Syst. Model. |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Lixiao Zheng, Shuai Ma 0001, Zuxi Chen, Xiangyu Luo |
Ensuring the Correctness of Regular Expressions: A Review. |
Int. J. Autom. Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Muhammad Nauman, Nadeem Akhtar, Omar Hussain Alhazmi, Mustafa Hameed, Habib Ullah, Nadia Khan |
Improving the Correctness of Medical Diagnostics Based on Machine Learning With Coloured Petri Nets. |
IEEE Access |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Muhammad Nauman, Nadeem Akhtar, Adi Alhudhaif, Abdulrahman Alothaim |
Guaranteeing Correctness of Machine Learning Based Decision Making at Higher Educational Institutions. |
IEEE Access |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Hrvoje Rimac, Maria A. Grishina, Vladimir Potemkin 0001 |
Use of the Complementarity Principle in Docking Procedures: A New Approach for Evaluating the Correctness of Binding Poses. |
J. Chem. Inf. Model. |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Saurabh Pal, Pijush Kanti Dutta Pramanik, Aranyak Maity, Prasenjit Choudhury |
Learner question's correctness assessment and a guided correction method: enhancing the user experience in an interactive online learning system. |
PeerJ Comput. Sci. |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Miguel Areias 0001, Ricardo Rocha 0001 |
On the correctness and efficiency of a novel lock-free hash trie map design. |
J. Parallel Distributed Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Moses Ganardi, Danny Hucke, Markus Lohrey |
Derandomization for Sliding Window Algorithms with Strict Correctness∗. |
Theory Comput. Syst. |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Dina Bashkirova, Ben Usman, Kate Saenko |
Evaluation of Correctness in Unsupervised Many-to-Many Image Translation. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
12 | Alina Dana Miron, Crina Grosan |
Classifying action correctness in physical rehabilitation exercises. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
12 | Stefan Wils, Bart Jacobs 0002 |
Certifying C program correctness with respect to CompCert with VeriFast. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
12 | Thom S. Badings, Nils Jansen 0001, Hasan A. Poonawala, Mariëlle Stoelinga |
Filter-Based Abstractions with Correctness Guarantees for Planning under Uncertainty. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
12 | Wlodzimierz Drabent |
On correctness and completeness of an n queens program. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
12 | Ranadeep Biswas, Diptanshu Kakwani, Jyothi Vedurada, Constantin Enea, Akash Lal |
MonkeyDB: Effectively Testing Correctness against Weak Isolation Levels. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
12 | Yushan Zhang, Peisen Yao, Rongxin Wu, Charles Zhang |
Duplicate-sensitivity Guided Transformation Synthesis for DBMS Correctness Bug Detection. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
12 | Sashank Santhanam, Behnam Hedayatnia, Spandana Gella, Aishwarya Padmakumar, Seokhwan Kim, Yang Liu 0004, Dilek Hakkani-Tur |
Rome was built in 1776: A Case Study on Factual Correctness in Knowledge-Grounded Response Generation. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
12 | Eric Simon, Bernd Amann, Rutian Liu, Stéphane Gançarski |
Controlling the Correctness of Aggregation Operations During Sessions of Interactive Analytic Queries. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
12 | Duc Kinh Le Tran |
Riiid! Answer Correctness Prediction Kaggle Challenge: 4th Place Solution Summary. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
12 | Aritra Ghosh 0001, Jay Raspat, Andrew S. Lan |
Option Tracing: Beyond Correctness Analysis in Knowledge Tracing. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
12 | Boubakr Nour, Soumaya Cherkaoui |
How Far Can We Go in Compute-less Networking: Computation Correctness and Accuracy. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
12 | Orcun Yalcin, Xiuyi Fan, Siyuan Liu |
Evaluating the Correctness of Explainable AI Algorithms for Classification. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
12 | Mustafa Anil Koçak, David Ramírez, Elza Erkip, Dennis E. Shasha |
SafePredict: A Meta-Algorithm for Machine Learning That Uses Refusals to Guarantee Correctness. |
IEEE Trans. Pattern Anal. Mach. Intell. |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Peter Schwabe, Benoît Viguier, Timmy Weerwag, Freek Wiedijk |
A Coq proof of the correctness of X25519 in TweetNaCl. |
IACR Cryptol. ePrint Arch. |
2021 |
DBLP BibTeX RDF |
|
12 | Javier Herranz, Ramiro Martínez, Manuel Sánchez |
Shorter Lattice-based Zero-Knowledge Proofs for the Correctness of a Shuffle. |
IACR Cryptol. ePrint Arch. |
2021 |
DBLP BibTeX RDF |
|
12 | Jon Haël Brenas, Arash Shaban-Nejad |
Proving the Correctness of Knowledge Graph Update: A Scenario From Surveillance of Adverse Childhood Experiences. |
Frontiers Big Data |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Walter Guttmann |
Algebras for Iteration, Infinite Executions and Correctness of Sequential Computations. |
Arch. Formal Proofs |
2021 |
DBLP BibTeX RDF |
|
12 | Pasquale Noce |
A Shorter Compiler Correctness Proof for Language IMP. |
Arch. Formal Proofs |
2021 |
DBLP BibTeX RDF |
|
12 | Ernst-Rüdiger Olderog, Martin Fränzle, Oliver E. Theel, Paul Kröger |
System correctness under adverse conditions. |
it Inf. Technol. |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Claudio Menghi, Alessandro Maria Rizzi, Anna Bernasconi 0002, Paola Spoletini |
TOrPEDO: witnessing model correctness with topological proofs. |
Formal Aspects Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
12 | 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 |
|
12 | Cong Liu 0012, Qingtian Zeng, Long Cheng 0003, Hua Duan, Mengchu Zhou, Jiujun Cheng |
Privacy-Preserving Behavioral Correctness Verification of Cross-Organizational Workflow With Task Synchronization Patterns. |
IEEE Trans Autom. Sci. Eng. |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Carmine Abate, Roberto Blanco, Stefan Ciobaca, Adrien Durier, Deepak Garg 0001, Catalin Hritcu, Marco Patrignani, Éric Tanter, Jérémy Thibault |
An Extended Account of Trace-relating Compiler Correctness and Secure Compilation. |
ACM Trans. Program. Lang. Syst. |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Abu Naser Masud, Björn Lisper |
Semantic Correctness of Dependence-based Slicing for Interprocedural, Possibly Nonterminating Programs. |
ACM Trans. Program. Lang. Syst. |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Nuria Brede, Nicola Botta |
On the correctness of monadic backward induction. |
J. Funct. Program. |
2021 |
DBLP DOI BibTeX RDF |
|
|
|