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

Event: at United States

Sources: NC State University Libraries, ORCID
Added: August 6, 2018

2016 journal article

NANE: Identifying Misuse Cases Using Temporal Norm Enactments

IEEE 25TH INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE (RE), 136–145.

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

Sources: NC State University Libraries, ORCID
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. Kafaly, N. Ajmeri & M. Singh

Sources: NC State University Libraries, ORCID
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 ...

Sources: NC State University Libraries, ORCID
Added: August 6, 2018