2016 journal article
Activity recognition for diabetic patients using a smartphone
Journal of Medical Systems, 40(12).
2016 conference paper
Formal understanding of tradeoffs among liveness and safety requirements
2016 IEEE 24th International Requirements Engineering Conference Workshops (REW), 17–18.
2016 conference paper
NANE: Identifying misuse cases using temporal norm enactments
2016 ieee 24th international requirements engineering conference (re), 136–145.
2016 journal article
PISAGOR: a proactive software agent for monitoring interactions
Knowledge and Information Systems, 47(1), 215–239.
2016 journal article
Revani: Revising and verifying normative specifications for privacy
IEEE Intelligent Systems, 31(5), 8–15.
2016 journal article
Towards characterization of photo-excited electron transfer and catalysis in natural and artificial systems using xfels
Faraday Discussions, 194, 621–638.