Mohammad Mehdi Pourhashem Kallehbasti

Mohammad Ghafari

Proceedings of the IEEE International Conference on Software Analysis, 2023

2022

On How Bit-Vector Logic Can Help Verify LTL-Based Specifications.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2022

2021

An efficient robust method for accurate and real-time vehicle plate recognition.

[BibT_eX]

[DOI]

Jamshid Pirgazi

Ali Ghanbari Sorkhi

J. Real Time Image Process., 2021

2017

A Logic-Based Approach for the Verification of UML Timed Models.

[BibT_eX]

[DOI]

Angelo Morzenti

Alfredo Motta

ACM Trans. Softw. Eng. Methodol., 2017

Mining unit test cases to synthesize API usage examples.

[BibT_eX]

[DOI]

Mohammad Ghafari

Konstantin Rubinov

J. Softw. Evol. Process., 2017

2016

How bit-vector logic can help improve the verification of LTL specifications over infinite domains.

[BibT_eX]

[DOI]

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

2015

Scalable formal verification of UML models.

[BibT_eX]

[DOI]

PhD thesis, 2015

Scalable Formal Verification of UML Models.

[BibT_eX]

[DOI]

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Efficient Scalable Verification of LTL Specifications.

[BibT_eX]

[DOI]

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2014

Flexible modular formalization of UML sequence diagrams.

[BibT_eX]

[DOI]