Travelled to:2 × Italy
Collaborated with:∅ L.Baresi M.Rossi
Talks about:scalabl (2) verif (2) specif (1) formal (1) effici (1) model (1) uml (1) ltl (1)
Person: Mohammad Mehdi Pourhashem Kallehbasti
DBLP: Kallehbasti:Mohammad_Mehdi_Pourhashem
Contributed to:
20152015Wrote 2 papers:
- ICSE-v1-2015-BaresiKR #ltl #performance #scalability #specification #verification
- Efficient Scalable Verification of LTL Specifications (LB, MMPK, MR), pp. 711–721.
- ICSE-v2-2015-Kallehbasti #modelling #scalability #uml #verification
- Scalable Formal Verification of UML Models (MMPK), pp. 847–850.