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 article

NANE: Identifying Misuse Cases Using Temporal Norm Enactments

2016 IEEE 24TH INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE (RE), pp. 136–145.

author keywords: Security requirements; sociotechnical systems
Sources: Web Of Science, 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, 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.

Sources: Web Of Science, ORCID
Added: August 6, 2018