Works (6)

2016 journal article

Activity recognition for diabetic patients using a smartphone

Journal of Medical Systems, 40(12).

By: B. Cvetkovic, V. Janko, A. Romero, O. Kafali, K. Stathis & M. Lustrek

Source: NC State University Libraries
Added: August 6, 2018

2016 conference paper

Formal understanding of tradeoffs among liveness and safety requirements

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

By: O. Kafali, N. Ajmeri & M. Singh

Source: NC State University Libraries
Added: August 6, 2018

2016 conference paper

NANE: Identifying misuse cases using temporal norm enactments

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

By: O. Kafali, M. Singh & L. Williams

Source: NC State University Libraries
Added: August 6, 2018

2016 journal article

PISAGOR: a proactive software agent for monitoring interactions

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

By: O. Kafali & P. Yolum

Source: NC State University Libraries
Added: August 6, 2018

2016 journal article

Revani: Revising and verifying normative specifications for privacy

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

By: O. Kafali, N. Ajmeri & M. Singh

Source: NC State University Libraries
Added: August 6, 2018

2016 journal article

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

Faraday Discussions, 194, 621–638.

By: R. Alonso-Mori, K. Asa, U. Bergmann, A. Brewster, R. Chatterjee, J. Cooper, H. Frei, F. Fuller ...

Source: NC State University Libraries
Added: August 6, 2018