Ozan Deniz

  • Citations Per Year
Learn More
We present a case study concerned with the animation of behavioral specifications through code generation for a payment system; namely, electronic funds transfer system (EFT). The exchange of messages between a central bank and two client banks during daily operations is modeled as a communications model of Live Sequence Charts (LSCs). Using an LSC to(More)
Extracting eye movement events from raw data has become important upon the introduction of affordable eye trackers. The common approach in current algorithms is that they take into account velocity and position information separately. In this paper, we analyze the pros and cons of the current algorithms and introduce a novel algorithm based on the(More)
Tuzla geothermal basin is situated in north-western Turkey on the Biga Peninsula, which is located at the west end of the Northern Anatolian Fault system. Soil and water samples were collected between August 2003 and June 2004 to initiate development of a geochemical profile of surface and subsurface waters in the geothermal basin and radionuclide(More)
  • 1