FRET is a tool for writing, understanding, formalizing and analyzing requirements. Users
write requirements in an intuitive, restricted natural language, called FRETISH, with precise …

Abstract [Motivation] The use of structured natural languages to capture requirements
provides a reasonable trade-off between ambiguous natural language and unintuitive formal …

Formal verification approaches that check software correctness against formal specifications
have been shown to improve program dependability. Tools such as Specification Pattern …

LTL specifications are commonly used in runtime verification to describe the requirements
about the system behavior. Efficient techniques derive, from LTL specifications, monitors that …

Cloud computing has been widely adopted in a large variety of applications. This brings
besides others also many new challenges in the fields of security and reliability. Like any …

In this paper we present an approach used to enhance students' competency in software
verification. Students were asked to apply software verification techniques to a complex …

Although formal approaches to software assurance such as model checking and theorem
proving improve system dependability, software development professionals have yet to …

Although formal approaches to software assurance such as runtime monitoring and model
checking have been shown to improve system dependability, software development …

Environmental scientists use advanced sensor technology such as meteorological towers,
wireless sensor networks and robotic trams equipped with sensors to perform data collection …

Salamah Salamah, Ph.D. Page 1 Salamah Salamah, Ph.D. Associate Professor Computer
Science The University of Texas at El Paso Office: 915-747-6671 isalamah@utep.edu Education …