Remzi Ozgur Kafali

Activity recognition for diabetic patients using a smartphone

Journal of Medical Systems, 40(12).

Formal understanding of tradeoffs among liveness and safety requirements

2016 IEEE 24th International Requirements Engineering Conference Workshops (REW), 17–18.

NANE: Identifying misuse cases using temporal norm enactments

2016 ieee 24th international requirements engineering conference (re), 136–145.

PISAGOR: a proactive software agent for monitoring interactions

Knowledge and Information Systems, 47(1), 215–239.

Revani: Revising and verifying normative specifications for privacy

IEEE Intelligent Systems, 31(5), 8–15.

Towards characterization of photo-excited electron transfer and catalysis in natural and artificial systems using xfels

Faraday Discussions, 194, 621–638.