Mohammad Mehdi Pourhashem Kallehbasti
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2014–2024
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | EASE | LLM Security Guard for Code. | Arya Kavian, Mohammad Mehdi Pourhashem Kallehbasti, Sajjad Kazemi, Ehsan Firouzi, Mohammad Ghafari |
| 2016 | SAC | How bit-vector logic can help improve the verification of LTL specifications over infinite domains. | Luciano Baresi, Mohammad Mehdi Pourhashem Kallehbasti, Matteo Rossi |
| 2015 | ICSE | Efficient Scalable Verification of LTL Specifications. | Luciano Baresi, Mohammad Mehdi Pourhashem Kallehbasti, Matteo Rossi |
| 2015 | ICSE | Scalable Formal Verification of UML Models. | Mohammad Mehdi Pourhashem Kallehbasti |
| 2014 | ICSE | Flexible modular formalization of UML sequence diagrams. | Luciano Baresi, Mohammad Mehdi Pourhashem Kallehbasti, Matteo Rossi |