Mohammad Mehdi Pourhashem Kallehbasti

Mohammad Mehdi Pourhashem Kallehbasti
University of Science and Technology of Mazandaran | MAZUST · Department of Computer Engineering

Professor

About

11
Publications
1,683
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
51
Citations
Additional affiliations
November 2015 - December 2017
Politecnico di Milano
Position
  • PhD Student

Publications

Publications (11)
Preprint
Full-text available
Software developers study and reuse existing source code to understand how to properly use application programming interfaces (APIs). However, manually finding sufficient and adequate code examples for a given API is a difficult and a time-consuming activity. Existing approaches to find or generate examples assume availability of a reasonable set o...
Article
Full-text available
Accurate and fast recognition of license plates is one of the most important challenges in the field of license plate recognition systems. Due to the high frame rate of surveillance cameras, old license plate recognition systems cannot be used in real-time applications. On the other hand, the presence of natural and artificial noise and different l...
Article
Full-text available
Accuracy and real-timeliness are the top concerns in vehicle plate recognition. Several factors put restrictions on plate recognition system, including illumination, vehicle high speed, camera angle, and bad weather condition. Damaged and pale plates also lead to incorrect recognition in the present approaches. In this regard, this paper proposes a...
Article
This paper studies how bit-vector logic (bv logic) can help improve the efficiency of verifying specifications expressed in Linear Temporal Logic (LTL). First, it exploits the notion of Bounded Satisfiability Checking to propose an improved encoding of LTL formulae into formulae of bv logic, which can be formally verified by means of Satisfiability...
Article
Full-text available
Software developers study and reuse existing source code to understand how to properly use application programming interfaces (APIs). However, manually finding sufficient and adequate code examples for a given API is a difficult and a time-consuming activity. Existing approaches to find or generate examples assume availability of a reasonable set o...
Article
Full-text available
This article presents a novel technique to formally verify models of real-time systems captured through a set of heterogeneous UML diagrams. The technique is based on the following key elements: (i) a subset of Unified Modeling Language (UML) diagrams, called Coretto UML (C-UML), which allows designers to describe the components of the system and t...
Conference Paper
Propositional Linear Temporal Logic (LTL) is well-suited for describing properties of timed systems in which data belong to finite domains. However, when one needs to capture infinite domains, as is typically the case in software systems, extensions of LTL are better suited to be used as specification languages. Constraint LTL (CLTL) and its varian...
Conference Paper
Linear Temporal Logic (LTL) has been used in computer science for decades to formally specify programs, systems, desired properties, and relevant behaviors. This paper presents a novel, efficient technique for verifying LTL specifications in a fully automated way. Our technique belongs to the category of Bounded Satisfiability Checking approaches,...
Conference Paper
Full-text available
UML Sequence Diagrams are one of the most commonly used type of UML diagrams in practice. Their semantics is often considered to be straightforward, but a more detailed analysis reveals diverse interpretations. These different choices must be properly supported by verification tools. This paper describes a formal framework for capturing semantic ch...
Article
Full-text available
Gene expression profiling plays an important role in a broad range of areas in biology. Microarray data often contains multiple missing expression values, which can significantly affect subsequent analysis In this paper, a new method based on fuzzy clustering and genes semantic similarity is proposed to estimate missing values in microarray data. I...