@article{cvetkovic_janko_romero_kafali_stathis_lustrek_2016, title={Activity recognition for diabetic patients using a smartphone}, volume={40}, number={12}, journal={Journal of Medical Systems}, author={Cvetkovic, B. and Janko, V. and Romero, A. E. and Kafali, O. and Stathis, K. and Lustrek, M.}, year={2016} }
 @inproceedings{kafali_ajmeri_singh_2016, place={United States}, title={Formal Understanding of Tradeoffs among Liveness and Safety Requirements}, url={https://research-information.bris.ac.uk/en/publications/d97ca86f-725a-4585-aaa9-803fcd3ccbe6}, DOI={10.1109/rew.2016.017}, abstractNote={Understanding tradeoffs among stakeholder requirements regarding liveness (something good happens) and safety (nothing bad happens) is crucial for designing sociotechnical systems (STSs). Safety-focused specifications restrict agents' actions to avoid undesired executions. However, such restrictions hinder liveness. We formalize such tradeoffs using the elements of an STS specification to understand how much a specification promotes liveness or safety. We propose metrics to measure liveness and safety, and demonstrate how constraint logic programming is used to compute such metrics.}, note={Extended abstract}, booktitle={2016 IEEE 24th International Requirements Engineering Conference Workshops (REW)}, publisher={IEEE}, author={Kafali, Ozgur and Ajmeri, Nirav and Singh, Munindar P.}, year={2016}, month={Sep}, pages={17–18} }
 @article{kafali_singh_williams_2016, title={NANE: Identifying Misuse Cases Using Temporal Norm Enactments}, ISSN={["2332-6441"]}, url={https://publons.com/publon/21294380/}, DOI={10.1109/re.2016.34}, abstractNote={Recent data breaches in domains such as healthcare where confidentiality of data is crucial indicate that breaches often originate from misuses, not only from vulnerabilities in the technical (software or hardware) architecture. Current requirements engineering (RE) approaches determine what access control mechanisms are needed to protect sensitive resources (assets). However, current RE approaches inadequately characterize how a user is expected to interact with others in relation to the relevant assets. Consequently, a requirements analyst cannot readily identify misuses by legitimate users. We adopt social norms as a natural, formal means of characterizing user interactions whereby potential misuses map to norm violations. Our research goal is to help analysts identify misuse cases by formal reasoning about norm enactments. We propose Nane, a formal framework for identifying such misuse cases using a semiautomated process. We demonstrate how Nane enables monitoring of potential misuses on a healthcare scenario.}, journal={2016 IEEE 24TH INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE (RE)}, author={Kafali, Ozgur and Singh, Munindar P. and Williams, Laurie}, year={2016}, pages={136–145} }
 @article{kafali_yolum_2016, title={PISAGOR: a proactive software agent for monitoring interactions}, volume={47}, number={1}, journal={Knowledge and Information Systems}, author={Kafali, O. and Yolum, P.}, year={2016}, pages={215–239} }
 @article{kafaly_ajmeri_singh_2016, title={Revani: Revising and Verifying Normative Specifications for Privacy}, volume={31}, url={http://www.scopus.com/inward/record.url?eid=2-s2.0-84991491953&partnerID=MN8TOARS}, DOI={10.1109/mis.2016.89}, abstractNote={Privacy remains a major challenge today, partly because it brings together social and technical considerations. Yet, current software engineering focuses only on the technical aspects. In contrast, the authors' approach, Revani, understands privacy from the standpoint of sociotechnical systems (STSs), with particular attention on the social elements of STSs. They specify STSs via a combination of technical mechanisms and social norms founded on accountability. Revani provides a way to formally represent mechanisms and norms and applies model checking to verify whether specified mechanisms and norms would satisfy stakeholder requirements. Additionally, Revani provides a set of design patterns and a revision tool to update an STS specification as necessary. The authors demonstrate the work of Revani on a healthcare emergency use case pertaining to patient privacy during disasters.}, number={5}, journal={IEEE Intelligent Systems}, publisher={Institute of Electrical and Electronics Engineers (IEEE)}, author={Kafaly, Ozgur and Ajmeri, Nirav and Singh, Munindar P.}, year={2016}, month={Sep}, pages={8–15} }
 @article{alonso-mori_asa_bergmann_brewster_chatterjee_cooper_frei_fuller_goggins_gul_et al._2016, title={Towards characterization of photo-excited electron transfer and catalysis in natural and artificial systems using XFELs}, volume={194}, ISSN={["1364-5498"]}, DOI={10.1039/c6fd00084c}, abstractNote={The ultra-bright femtosecond X-ray pulses provided by X-ray Free Electron Lasers (XFELs) open capabilities for studying the structure and dynamics of a wide variety of biological and inorganic systems beyond what is possible at synchrotron sources. Although the structure and chemistry at the catalytic sites have been studied intensively in both biological and inorganic systems, a full understanding of the atomic-scale chemistry requires new approaches beyond the steady state X-ray crystallography and X-ray spectroscopy at cryogenic temperatures. Following the dynamic changes in the geometric and electronic structure at ambient conditions, while overcoming X-ray damage to the redox active catalytic center, is key for deriving reaction mechanisms. Such studies become possible by using the intense and ultra-short femtosecond X-ray pulses from an XFEL, where sample is probed before it is damaged. We have developed methodology for simultaneously collecting X-ray diffraction data and X-ray emission spectra, using an energy dispersive spectrometer, at ambient conditions, and used this approach to study the room temperature structure and intermediate states of the photosynthetic water oxidizing metallo-protein, photosystem II. Moreover, we have also used this setup to simultaneously collect the X-ray emission spectra from multiple metals to follow the ultrafast dynamics of light-induced charge transfer between multiple metal sites. A Mn-Ti containing system was studied at an XFEL to demonstrate the efficacy and potential of this method.}, journal={FARADAY DISCUSSIONS}, author={Alonso-Mori, R. and Asa, K. and Bergmann, U. and Brewster, A. S. and Chatterjee, R. and Cooper, J. K. and Frei, H. M. and Fuller, F. D. and Goggins, E. and Gul, S. and et al.}, year={2016}, pages={621–638} }