POURHASHEM KALLEHBASTI, MOHAMMAD MEHDI
POURHASHEM KALLEHBASTI, MOHAMMAD MEHDI
DIPARTIMENTO DI ELETTRONICA, INFORMAZIONE E BIOINGEGNERIA
A logic-based approach for the verification of UML timed models
2017-01-01 Baresi, Luciano; Morzenti, Angelo; Motta, Alfredo; Pourhashem, Mohammad Mehdi; Rossi, Matteo
Efficient Scalable Verification of LTL Specifications
2015-01-01 Baresi, Luciano; POURHASHEM KALLEHBASTI, MOHAMMAD MEHDI; Rossi, MATTEO GIOVANNI
Flexible Modular Formalization of UML Sequence Diagrams
2014-01-01 Baresi, Luciano; POURHASHEM KALLEHBASTI, MOHAMMAD MEHDI; Rossi, MATTEO GIOVANNI
On How Bit-Vector Logic Can Help Verify LTL-based Specifications
2022-01-01 Pourhashem Kallehbasti, Mohammad Mehdi; Rossi, Matteo Giovanni; Baresi, Luciano
Scalable Formal Verification of UML Models
2015-01-01 POURHASHEM KALLEHBASTI, MOHAMMAD MEHDI
ST4RT – Semantic Transformations for Rail Transportation
2018-01-01 Carenini, Alessio; Ugo, Dell’Arciprete; Stefanos, Gogos; POURHASHEM KALLEHBASTI, MOHAMMAD MEHDI; Rossi, MATTEO GIOVANNI; Riccardo, Santoro