Sound and Complete Invariant-Based Heap Encodings (Technical Report).
CoRR, April, 2025
Finding Universally Quantified Heap Invariants by Horn Clause Transformations.
Proceedings of the Fundamentals of Software Engineering, 2025
A Program Instrumentation Framework for Automatic Verification.
CoRR, 2024
Arithmetizing Shape Analysis.
CoRR, 2024
Automatic Program Instrumentation for Automatic Verification (Extended Technical Report).
CoRR, 2023
Automatic Program Instrumentation for Automatic Verification.
Proceedings of the Computer Aided Verification - 35th International Conference, 2023
An SMT-LIB Theory of Heaps.
Proceedings of the 20th Internal Workshop on Satisfiability Modulo Theories co-located with the 11th International Joint Conference on Automated Reasoning (IJCAR 2022) part of the 8th Federated Logic Conference (FLoC 2022), 2022
Tricera: Verifying C Programs Using the Theory of Heaps.
Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022
A Theory of Heap for Constrained Horn Clauses (Extended Technical Report).
CoRR, 2021
Abstract: Towards an SMT-LIB Theory of Heap.
Proceedings of the 18th International Workshop on Satisfiability Modulo Theories co-located with the 10th International Joint Conference on Automated Reasoning (IJCAR 2020), 2020
Reasoning in the Theory of Heap: Satisfiability and Interpolation.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2020
Cascaded controller algorithm design for a brushless DC motor with Matlab/Simulink and MCU implementation.
Proceedings of the 21st Signal Processing and Communications Applications Conference, 2013
Artificial Neural Networks Controller Algorithm Developed for a Brushless DC Motor.
Proceedings of the 12th International Conference on Machine Learning and Applications, 2013