مقاله ژورنال

2022
An End-to-End Deep Learning Approach for Plate Recognition in Intelligent Transportation Systems Wireless Communications and Mobile Computing 15308669 2022 https://doi.org/10.1155/2022/3364921
2021
An efficient robust method for accurate and real-time vehicle plate recognition Journal of Real-Time Image Processing 2021 10.1007/s11554-021-01118-7
2020
On how bit-vector logic can help verify LTL-based specifications IEEE Transactions on Software Engineerin 19393520 2020 https://doi.org/10.1109/TSE.2020.3014394
2017
Mining Unit Test Cases to Synthesize API Usage Examples Journal of Software: Evolution and Process 2017 10.1002/smr.1841
2017
A Logic-based Approach for the Verification of UML Timed Models ACM Transactions on Software Engineering and Methodology 2017 10.1145/3106411

---