Static verification of wireless sensor networks with formal methods

Conference paper

Testa, A., Coronato, A., Cinque, M. and Augusto, J. 2012. Static verification of wireless sensor networks with formal methods. 8th International Conference on Signal Image Technology and Internet Based Systems (SITIS 2012). Naples, Italy 25 - 29 Nov 2012 pp. 587-594
TypeConference paper
TitleStatic verification of wireless sensor networks with formal methods
AuthorsTesta, A., Coronato, A., Cinque, M. and Augusto, J.
Abstract

Wireless Sensor Networks (WSNs) are widely recognized as a solution to build monitoring systems, even in critical environments. WSNs, however, are subjected to faults due to several causes (i.e. rain, EMF radiations, vibrations, etc..) and tools and methodologies for the design of dependable WSN-based systems are needed. Formal methods partially meet such needs by assessing the degree of correctness of design models and identifying potential system bottlenecks. The aim of this paper is to define a methodology for the static verification of WSN based systems using a formal language (Event Calculus). In particular we show how the formal specification can be used to verify the design of a WSN in terms of its dependability properties. To this aim, we define a set of correctness specifications that apply to a generic WSN, coupled with specific structural specifications describing the target network topology to evaluate. Finally, after having presented an automatic tool, designed to support the designer, we adopt this methodology to a case study.

Research GroupResearch Group on Development of Intelligent Environments
Conference8th International Conference on Signal Image Technology and Internet Based Systems (SITIS 2012)
Page range587-594
Publication dates
PrintNov 2012
Publication process dates
Deposited28 Feb 2013
Output statusPublished
Additional information

IEEE Press

Web address (URL)http://www.sitis-conf.org/_downloads/280-Inglese-the-abstracts.pdf
LanguageEnglish
File
Permalink -

https://repository.mdx.ac.uk/item/83y4q

Log in to edit

Download files

  • 82
    total views
  • 13
    total downloads
  • 8
    views this month
  • 1
    downloads this month

Export as

Related outputs

Generating data in an intelligent environment and systematically predicting user activity via bluetooth low energy beacons and machine learning
Benedict. S., Augusto, J. and Kacar. O. 2024. Generating data in an intelligent environment and systematically predicting user activity via bluetooth low energy beacons and machine learning. Hornos, M., Slapničar, G. and Yu, J. (ed.) 20th International Conference on Intelligent Environments (IE2024). Ljubljana, Slovenia 17 - 20 Jun 2024 IOS Press. pp. 158-163 https://doi.org/10.3233/AISE240030
Gaining insight into user behaviour and systematically determing user location via Bluetooth low energy beacon optimisation
Benedict, S., Augusto, J. and Kacar. O. 2024. Gaining insight into user behaviour and systematically determing user location via Bluetooth low energy beacon optimisation. 20th International Conference on Intelligent Environments (IE2024). Ljubljana, Slovenia 17 - 20 Jun 2024 IEEE. https://doi.org/10.1109/IE61493.2024.10599920
Towards engineering higher quality intelligent environments: a multi case study approach
Santokhee, A., Augusto, J. and Brodie, L. 2024. Towards engineering higher quality intelligent environments: a multi case study approach. Software Quality Journal. 32 (3), pp. 1075-1135. https://doi.org/10.1007/s11219-024-09678-0
Taxonomy and software architecture for real-time context-aware collaborative smart environments
Bazan-Muñoz, A., Ortiz, G., Augusto, J. C. and Garcia-de-Prado, A. 2024. Taxonomy and software architecture for real-time context-aware collaborative smart environments. Internet of Things. 26. https://doi.org/10.1016/j.iot.2024.101160
Applying motivational techniques for user adherence to adopt a healthy lifestyle in a gamified application
Fatima, S., Augusto, J., Moseley, R., Urbonas, P., Elliott, A. and Payne, N. 2023. Applying motivational techniques for user adherence to adopt a healthy lifestyle in a gamified application. Entertainment Computing. 46. https://doi.org/10.1016/j.entcom.2023.100571
A user-guided personalization methodology to facilitate new smart home occupancy
Ali, S.M.M., Augusto, J., Windridge, D. and Ward, E. 2023. A user-guided personalization methodology to facilitate new smart home occupancy. Universal Access in the Information Society. 22 (3), pp. 869-891. https://doi.org/10.1007/s10209-022-00883-x
Quality traceability for user-centric context-aware systems in intelligent environments
Sakanga, N., Augusto, J., Brodie, L. and Marzano, L. 2022. Quality traceability for user-centric context-aware systems in intelligent environments. Work-07: Digital Innovation for people well-being: Healthcare and Agriculture perspectives . Yokohama, Japan 07 Nov 2022 IEEE. https://doi.org/10.1109/WF-IoT54382.2022.10152209
Gamification for healthier lifestyle – user retention
Fatima, S., Augusto, J., Moseley, R. and Urbonas, P. 2022. Gamification for healthier lifestyle – user retention. 3rd Workshop on Smart Data Integration and Processing on Service Based Environments (STRAPS 2021). Dubai, UAE 22 Nov 2021 Springer. pp. 217-227 https://doi.org/10.1007/978-3-031-14135-5_17
Introduction to the Proceedings of WoRIE’22
Rodríguez-Domínguez, C., Santokhee, A., Hornos, M. and Augusto, J. 2022. Introduction to the Proceedings of WoRIE’22. in: Alvarez Valera, H. and Luštrek, M. (ed.) Intelligent Environments 2022: Workshops at 18th International Conference on Intelligent Environments (IE2022) IOS Press.
Engineering context updates
Augusto, J. 2022. Engineering context updates. 5th Citizen-Centric Smart Cities Services (CCSCS'2022) Workshop. Biarritz, France 20 - 21 Jun 2022 IOS Press. pp. 293-301 https://doi.org/10.3233/aise220056
Contexts and context-awareness revisited from an intelligent environments perspective
Augusto, J. 2022. Contexts and context-awareness revisited from an intelligent environments perspective. Applied Artificial Intelligence. 36 (1), pp. 694-725. https://doi.org/10.1080/08839514.2021.2008644
AnAbEL: Towards empowering people living with dementia in ambient assisted living
Gimenez Manuel, J., Augusto, J. and Stewart, J. 2022. AnAbEL: Towards empowering people living with dementia in ambient assisted living. Universal Access in the Information Society. 21 (2), pp. 457-476. https://doi.org/10.1007/s10209-020-00760-5
The Life-cycle of artificial contexts
Augusto, J. and Dickins, T. 2021. The Life-cycle of artificial contexts. Modeling and Using Context. 4 (Sp Iss), pp. 1-7. https://doi.org/10.21494/ISTE.OP.2021.0685
Smart cities: state of the art and future challenges
Augusto, J. 2021. Smart cities: state of the art and future challenges. in: Augusto, J. (ed.) Handbook of Smart Cities Cham, Switzerland Springer Nature. pp. 1693-1702
Context-aware support for cardiac health monitoring using federated machine learning
Ogbuabor, G., Augusto, J., Moseley, R. and Van Wyk, A. 2021. Context-aware support for cardiac health monitoring using federated machine learning. Bramer, M. and Ellis, R. (ed.) 41st SGAI International Conference on Artificial Intelligence (AI-2021). Cambridge, England [Online] 14 - 16 Dec 2021 Springer. pp. 267-281 https://doi.org/10.1007/978-3-030-91100-3_22
Introduction to the Proceedings of WoRIE’21
Rodríguez-Domínguez, C., Santokhee, A., Hornos, M. and Augusto, J. 2021. Introduction to the Proceedings of WoRIE’21. in: Bashir, E. and Luštrek, M. (ed.) Intelligent Environments 2021: Workshop Proceedings of the 17th International Conference on Intelligent Environments IOS Press.
A smart campus template
Augusto, J. 2021. A smart campus template. Bashir, E. and Luštrek, M. (ed.) 3rd International Workshop on Intelligent Environments and Buildings (IEB’21). Virtual Event 21 Jun 2021 IOS Press. pp. 71-80 https://doi.org/10.3233/aise210083
Using argumentation to solve conflicting situations in users' preferences in ambient assisted living
Oguego, C., Augusto, J., Springett, M., Quinde, M. and James-Reynolds, C. 2021. Using argumentation to solve conflicting situations in users' preferences in ambient assisted living. Applied Artificial Intelligence. 35 (15), pp. 2327-2369. https://doi.org/10.1080/08839514.2021.1966986
Using technology to encourage a healthier lifestyle in people with Down's syndrome
Mohammedi, A. and Augusto, J. 2021. Using technology to encourage a healthier lifestyle in people with Down's syndrome. Universal Access in the Information Society. 20 (2), pp. 343-358. https://doi.org/10.1007/s10209-020-00721-y
Context-aware systems architecture (CaSA)
Augusto, J., Quinde, M., Oguego, C. and Gimenez Manuel, J. 2022. Context-aware systems architecture (CaSA). Cybernetics and Systems. 53 (4), pp. 319-345. https://doi.org/10.1080/01969722.2021.1985226
Achieving multi-user capabilities through an indoor positioning system based on BLE beacons
Quinde, M., Gimenez Manuel, J., Oguego, C. and Augusto, J. 2020. Achieving multi-user capabilities through an indoor positioning system based on BLE beacons. IE2020: Intelligent Environments. Madrid, Spain 20 - 23 Jul 2020 Institute of Electrical and Electronics Engineers (IEEE). pp. 13-20
Context-aware approach for cardiac rehabilitation monitoring
Ogbuabor, G., Augusto, J., Moseley, R. and Van Wyk, A. 2020. Context-aware approach for cardiac rehabilitation monitoring. Iglesias, C., Novella, J., Ricci, A., Pinto, D. and Roman, D. (ed.) 4th International Workshop on Citizen-Centric Smart Cities Services (CCSCS 2020). Madrid, Spain 22 - 23 Jun 2020 IOS Press. pp. 167-176 https://doi.org/10.3233/AISE200039
Managing preference profiles in multi-user intelligent environments
Augusto, J. and Muñoz, A. 2020. Managing preference profiles in multi-user intelligent environments. Iglesias, C., Novella, J., Ricci, A., Pinto, D. and Roman, D. (ed.) 4th International Workshop on Citizen-Centric Smart Cities Services (CCSCS 2020). Madrid, Spain 22 - 23 Jun 2020 IOS Press. pp. 217-226 https://doi.org/10.3233/AISE200044
Context-aware system for cardiac condition monitoring and management: a survey
Ogbuabor, G., Augusto, J., Moseley, R. and Van Wyk, A. 2020. Context-aware system for cardiac condition monitoring and management: a survey. Behaviour and Information Technology. 41 (4), pp. 759-776. https://doi.org/10.1080/0144929X.2020.1836255
ADAPT: Approach to Develop context-Aware solutions for Personalised asthma managemenT
Quinde, M., Augusto, J., Khan, N. and Van Wyk, A. 2020. ADAPT: Approach to Develop context-Aware solutions for Personalised asthma managemenT. Journal of Biomedical Informatics. 111, pp. 1-20. https://doi.org/10.1016/j.jbi.2020.103586
5G smart and innovative healthcare services: opportunities, challenges and prospective solutions
Bekaroo, G., Santokhee, A. and Augusto, J. 2020. 5G smart and innovative healthcare services: opportunities, challenges and prospective solutions. in: Bojkovic, Z., Milovanovic, D. and Fowdur, T. (ed.) 5G Multimedia Communication Technology, Multiservices, and Deployment Boca Raton CRC Press. pp. 279-297
A smart environments architecture (Search)
Augusto, J., Gimenez Manuel, J., Quinde, M., Oguego, C., Ali, M. and James-Reynolds, C. 2020. A smart environments architecture (Search). Applied Artificial Intelligence. 34 (2), pp. 155-186. https://doi.org/10.1080/08839514.2020.1712778
Context-aware solutions for asthma condition management: a survey
Quinde, M., Khan, N., Augusto, J., Van Wyk, A. and Stewart, J. 2020. Context-aware solutions for asthma condition management: a survey. Universal Access in the Information Society. 19 (3), pp. 571-593. https://doi.org/10.1007/s10209-018-0641-5
Assessing vulnerabilities in IoT-based ambient assisted living systems
Cristescu, I., Gimenez Manuel, J. and Augusto, J. 2020. Assessing vulnerabilities in IoT-based ambient assisted living systems. in: Hernaandez Ramos, J. and Skarmeta, A. (ed.) Security and privacy in Internet of Things: challenges and solutions IOS Press.
Managing multi-user smart environments through BLE based system
Sora, D. and Augusto, J. 2018. Managing multi-user smart environments through BLE based system. Chatzigiannakis, I., Tobe, Y., Novais, P. and Amft, O. (ed.) 3rd International Workshop on Smart Sensing Systems (IWSSS'18). Rome, Italy 25 - 28 Jun 2018 IOS Press. pp. 234-244 https://doi.org/10.3233/978-1-61499-874-7-234
Context-aware systems testing and validation
Augusto, J., Quinde, M. and Oguego, C. 2019. Context-aware systems testing and validation. 10th International Conference Dependable Systems, Services and Technologies. Leeds, United Kingdom 05 - 07 Jun 2019 IEEE. pp. 7-12 https://doi.org/10.1109/DESSERT.2019.8770048
Using formal methods to guide the development of an asthma management system
Augusto, J., Quinde, M. and Khan, N. 2019. Using formal methods to guide the development of an asthma management system. 10th International Conference Dependable Systems, Services and Technologies. Leeds, United Kingdom 05 - 07 Jun 2019 IEEE. pp. 57-62 https://doi.org/10.1109/DESSERT.2019.8770017
The SEArch smart environments architecture
Augusto, J., Quinde, M., Gimenez Manuel, J., Ali, M., Oguego, C. and James-Reynolds, C. 2019. The SEArch smart environments architecture. 15th International Conference on Intelligent Environments. Rabat, Morocco 24 - 27 Jun 2019 Institute of Electrical and Electronics Engineers (IEEE). pp. 60-63 https://doi.org/10.1109/IE.2019.00010
Evaluation of crowdsourcing Wi-Fi radio map creation in a real scenario for AAL applications
Belmonte-Fernandez, O., Gasco-Compte, A., Sansano-Sansano, E., Quinde, M., Gimenez Manuel, J. and Augusto, J. 2019. Evaluation of crowdsourcing Wi-Fi radio map creation in a real scenario for AAL applications. 15th International Conference on Intelligent Environments. Rabat, Morocco 24 - 27 Jun 2019 Institute of Electrical and Electronics Engineers (IEEE). pp. 30-36 https://doi.org/10.1109/IE.2019.00005
An interface for managing users' preferences in AmI
Oguego, C., Augusto, J., Springett, M., Quinde, M. and James-Reynolds, C. 2019. An interface for managing users' preferences in AmI. 15th International Conference on Intelligent Environments. Rabat, Morocco 24 - 27 Jun 2019 Institute of Electrical and Electronics Engineers (IEEE). pp. 56-59 https://doi.org/10.1109/IE.2019.00009
Context in Mobile learning: the point of view of the learners
Chouchane, K., Ali, A., Augusto, J. and Okba, K. 2019. Context in Mobile learning: the point of view of the learners. Symposium on Future Intelligent Educational Environments (SOFIEE'19). Rabat, Morocco IOS Press. pp. 280-289 https://doi.org/10.3233/AISE190053
Preface to the 10th anniversary issue of the Journal on Ambient Intelligence and Smart Environments
Augusto, J. and Aghajan, H. 2019. Preface to the 10th anniversary issue of the Journal on Ambient Intelligence and Smart Environments. Journal of Ambient Intelligence and Smart Environments. 11 (1), pp. 1-3. https://doi.org/10.3233/AIS-180511
Improving the adaptation process for a new smart home user
Ali, S., Augusto, J. and Windridge, D. 2019. Improving the adaptation process for a new smart home user. Bramer, M. and Petridis, M. (ed.) 39th SGAI International Conference on Artificial Intelligence. Cambridge, UK 17 - 19 Dec 2019 Springer. https://doi.org/10.1007/978-3-030-34885-4_32
User preferences in intelligent environments
Augusto, J. and Muñoz, A. 2019. User preferences in intelligent environments. Applied Artificial Intelligence. 33 (12), pp. 1069-1091. https://doi.org/10.1080/08839514.2019.1661596
Collaborative educational environments incorporating mixed reality technologies: a systematic mapping study
Ali, A., Dafoulas, G. and Augusto, J. 2019. Collaborative educational environments incorporating mixed reality technologies: a systematic mapping study. IEEE Transactions on Learning Technologies. 12 (3), pp. 321-332. https://doi.org/10.1109/TLT.2019.2926727
Case-based reasoning for context-aware solutions supporting personalised asthma management
Quinde, M., Khan, N. and Augusto, J. 2019. Case-based reasoning for context-aware solutions supporting personalised asthma management. 18th International Conference on Artificial Intelligence and Soft Computing. Zakopane, Poland 16 - 20 Jun 2019 Cham Springer. https://doi.org/10.1007/978-3-030-20915-5_24
A Human-in-The-Loop context-aware system allowing the application of case-based reasoning for asthma management
Quinde, M., Khan, N., Augusto, J. and Van Wyk, A. 2019. A Human-in-The-Loop context-aware system allowing the application of case-based reasoning for asthma management. Duffy, V. (ed.) 21st International Conference on Human-Computer Interaction (HCI International 2019). Orlando, USA 26 - 31 Jul 2019 Springer. pp. 125-140 https://doi.org/10.1007/978-3-030-22219-2_10
Towards a general framework for evaluating intelligent environments methodologies
Santokhee, A., Augusto, J. and Brodie, L. 2019. Towards a general framework for evaluating intelligent environments methodologies. 3rd International Worrkshop on Citizen-Centric Smart Cities Services (CCSCS'2019). Rabat, Morocco 24 - 27 Jun 2019 IOS Press. pp. 17-25 https://doi.org/10.3233/AISE190018
A survey of user-centred approaches for smart home transfer learning and new user home automation adaptation
Ali, M., Augusto, J. and Windridge, D. 2019. A survey of user-centred approaches for smart home transfer learning and new user home automation adaptation. Applied Artificial Intelligence. 33 (8), pp. 747-774. https://doi.org/10.1080/08839514.2019.1603784
Context aware virtual assistant with case-based conflict resolution in multi-user smart home environment
Ospan, B., Khan, N., Augusto, J., Quinde, M. and Nurgaliyev, K. 2018. Context aware virtual assistant with case-based conflict resolution in multi-user smart home environment. 2018 International Conference on Computing and Network Communications (CoCoNet). Astana, Kazakhstan 15 - 17 Aug 2018 IEEE Computer Society. pp. 36-44 https://doi.org/10.1109/CoCoNet.2018.8476898
RC-ASEF: An open-source tool-supported requirements elicitation framework for context-aware systems development
Alegre, U., Augusto, J. and Evans, C. 2018. RC-ASEF: An open-source tool-supported requirements elicitation framework for context-aware systems development. Annals of Computer Science and Information Systems. 15, pp. 829-838. https://doi.org/10.15439/2018F136
Collecting sensor-generated data for assessing teamwork and individual contributions in computing student teams
Dafoulas, G., Cardoso Maia, C., Ali, A. and Augusto, J. 2018. Collecting sensor-generated data for assessing teamwork and individual contributions in computing student teams. EDULEARN18: 10th annual International Conference on Education and New Learning Technologies. Palma de Mallorca, Spain 02 - 04 Jul 2018 IATED. pp. 11156-11162 https://doi.org/10.21125/edulearn.2018.2759
Personalisation of context-aware solutions supporting asthma management
Quinde, M., Khan, N. and Augusto, J. 2018. Personalisation of context-aware solutions supporting asthma management. 16th International Conference on Computers Helping People with Special Needs. University of Linz, Austria 11 - 13 Jul 2018 Springer. pp. 510-519 https://doi.org/10.1007/978-3-319-94274-2_75
A survey on the evolution of the notion of context-awareness
Augusto, J., Aztiria, A., Kramer, D. and Alegre, U. 2017. A survey on the evolution of the notion of context-awareness. Applied Artificial Intelligence. 31 (7-8), pp. 613-642. https://doi.org/10.1080/08839514.2018.1428490
Interaction patterns for smart spaces: a confident interaction design solution for pervasive sensitive IoT services
Vega-Barbas, M., Pau, I., Augusto, J. and Seoane, F. 2018. Interaction patterns for smart spaces: a confident interaction design solution for pervasive sensitive IoT services. IEEE Access. 6, pp. 1126-1136. https://doi.org/10.1109/ACCESS.2017.2777999
Sensorial computing
Varsani, P., Moseley, R., Jones, S., James-Reynolds, C., Chinellato, E. and Augusto, J. 2018. Sensorial computing. in: Filimowicz, M. and Tzankova, V. (ed.) New Directions in Third Wave Human-Computer Interaction: Volume 1 - Technologies Cham, Switzerland Springer. pp. 265-284
Investigating the role of biometrics in education – the use of sensor data in collaborative learning
Dafoulas, G., Cardoso Maia, C., Samuels-Clarke, J., Ali, A. and Augusto, J. 2018. Investigating the role of biometrics in education – the use of sensor data in collaborative learning. 12th International Conference on e-Learning. Madrid, Spain 17 - 19 Jul 2018 IADIS. pp. 115-123
Engineering intelligent environments: preliminary findings of a systematic review
Santokhee, A., Augusto, J. and Evans, C. 2018. Engineering intelligent environments: preliminary findings of a systematic review. 2nd Workshop on Citizen Centric Smart Cities Solutions (CCSCS'18), The 14th International Conference on Intelligent Environments. Rome, Italy 25 - 28 Jun 2018 IOS Press Ebook. pp. 57-66 https://doi.org/10.3233/978-1-61499-874-7-57
Perspectives on engineering more usable context-aware systems
Alegre, U., Augusto, J. and Evans, C. 2018. Perspectives on engineering more usable context-aware systems. Journal of Ambient Intelligence and Humanized Computing. 9 (5), pp. 1593-1609. https://doi.org/10.1007/s12652-018-0863-7
Using argumentation to manage users' preferences
Oguego, C., Augusto, J., Muñoz, A. and Springett, M. 2018. Using argumentation to manage users' preferences. Future Generation Computer Systems. 81, pp. 235-243. https://doi.org/10.1016/j.future.2017.09.040
A survey on managing users' preferences in ambient intelligence
Oguego, C., Augusto, J., Muñoz Ortega, A. and Springett, M. 2018. A survey on managing users' preferences in ambient intelligence. Universal Access in the Information Society. 17 (1), pp. 97-114. https://doi.org/10.1007/s10209-017-0527-y
The user-centred intelligent environments development process as a guide to co-create smart technology for people with special needs
Augusto, J., Kramer, D., Alegre, U., Covaci, A. and Santokhee, A. 2018. The user-centred intelligent environments development process as a guide to co-create smart technology for people with special needs. Universal Access in the Information Society. 17 (1), pp. 115-130. https://doi.org/10.1007/s10209-016-0514-8
Understanding collaboration in Global Software Engineering (GSE) teams with the use of sensors: introducing a multi-sensor setting for observing social and human aspects in project management
Dafoulas, G., Cardoso Maia, C., Ali, A., Augusto, J. and Lopez, V. 2017. Understanding collaboration in Global Software Engineering (GSE) teams with the use of sensors: introducing a multi-sensor setting for observing social and human aspects in project management. IE 2017 - 13th International Conference on Intelligent Environments (IE’17). Seoul, Korea (South) 21 - 25 Aug 2017 Institute of Electrical and Electronics Engineers (IEEE). pp. 114-121 https://doi.org/10.1109/IE.2017.40
Security and privacy requirements engineering for human centric IoT systems using eFRIEND and Isabelle
Kammueller, F., Augusto, J. and Jones, S. 2017. Security and privacy requirements engineering for human centric IoT systems using eFRIEND and Isabelle. IEEE/ACIS 15th International Conference on Software Engineering Research, Management and Application, SERA2017. University of Greenwich, London, United Kingdom 07 - 09 Jun 2017 Institute of Electrical and Electronics Engineers (IEEE). https://doi.org/10.1109/SERA.2017.7965758
Improved multi-user interaction in a smart environment through a preference-based conflict resolution virtual assistant
Nurgaliyev, K., Di Mauro, D., Khan, N. and Augusto, J. 2017. Improved multi-user interaction in a smart environment through a preference-based conflict resolution virtual assistant. 13th International Conference on Intelligent Environments (IE’17). Seoul, South Korea 23 - 25 Aug 2017 Institute of Electrical and Electronics Engineers (IEEE). pp. 100-107 https://doi.org/10.1109/IE.2017.21
New methods for stress assessment and monitoring at the workplace
Carneiro, D., Novais, P., Augusto, J. and Payne, N. 2019. New methods for stress assessment and monitoring at the workplace. IEEE Transactions on Affective Computing. 10 (2), pp. 237-254. https://doi.org/10.1109/TAFFC.2017.2699633
Is Context-aware Reasoning = Case-based Reasoning?
Khan, N., Alegre, U., Kramer, D. and Augusto, J. 2017. Is Context-aware Reasoning = Case-based Reasoning? Tenth Interdisciplinary Conference on Modelling and Using Context. Paris, France 20 - 23 Jun 2017 Springer. pp. 418-431 https://doi.org/10.1007/978-3-319-57837-8_35
A framework for distributed interaction in intelligent environments
DiMauro, D., Augusto, J., Origlia, A. and Cutugno, F. 2017. A framework for distributed interaction in intelligent environments. AmI 2017: 2017 European Conference on Ambient Intelligence. Malaga, Spain 26 - 28 Apr 2017 Springer. pp. 136-151 https://doi.org/10.1007/978-3-319-56997-0_11
Supporting context-aware engineering based on stream reasoning
Kramer, D. and Augusto, J. 2017. Supporting context-aware engineering based on stream reasoning. CONTEXT'17: 10th International and Interdisciplinary Conference on Modeling and Using Context. Paris, France 20 - 23 Jun 2017 Springer. pp. 440-453 https://doi.org/10.1007/978-3-319-57837-8_37
A formal methodology to design and deploy dependable wireless sensor networks
Testa, A., Cinque, M., Coronato, A. and Augusto, J. 2017. A formal methodology to design and deploy dependable wireless sensor networks. Sensors. 17 (1). https://doi.org/10.3390/s17010019
A stigmergic approach to indoor localization using bluetooth low energy beacons
Palumbo, F., Barsocchi, P., Chessa, S. and Augusto, J. 2015. A stigmergic approach to indoor localization using bluetooth low energy beacons. 3rd Workshop on Activity Monitoring by Multiple Distributed Sensing (AMMDS). Karslrhue, Germany 25 - 28 Aug 2015 IEEE. pp. 1-6 https://doi.org/10.1109/AVSS.2015.7301734
Engineering context-aware systems and applications: a survey
Alegre, U., Augusto, J. and Clark, T. 2016. Engineering context-aware systems and applications: a survey. Journal of Systems and Software. 117, pp. 55-83. https://doi.org/10.1016/j.jss.2016.02.010
The heuristic strategies for assessing wireless sensor network: an event-based formal approach
Testa, A., Cinque, M., Coronato, A., De Pietro, G. and Augusto, J. 2015. The heuristic strategies for assessing wireless sensor network: an event-based formal approach. Journal of Heuristics. 21 (2), pp. 145-175. https://doi.org/10.1007/s10732-014-9258-x
Flexible context aware interface for ambient assisted living
McNaull, J., Augusto, J., Mulvenna, M. and McCullagh, P. 2014. Flexible context aware interface for ambient assisted living. Human-centric Computing and Information Sciences. 4 (1). https://doi.org/10.1186/2192-1962-4-1
An investigation into the efficacy of avatar-based systems for student advice
Currie, E., Harvey, P., Daryanani, P., Augusto, J., Arif, R. and Ali, A. 2016. An investigation into the efficacy of avatar-based systems for student advice. EAI Endorsed Transactions on e-Learning. 3 (11). https://doi.org/10.4108/eai.15-6-2016.151450
Co-creation of smart technology with (and for) people with special needs
Augusto, J., Kramer, D., Alegre, U., Covaci, A. and Santokhee, A. 2016. Co-creation of smart technology with (and for) people with special needs. 7th International Conference on Software Development and Technologies for Enhancing Accessibility and Fighting Info-exclusion. Vila Real, Portugal 01 - 03 Dec 2016 Association for Computing Machinery (ACM). pp. 39-46 https://doi.org/10.1145/3019943.3019950
Enhancing student support with a virtual assistant
Harvey, P., Currie, E., Daryanani, P. and Augusto, J. 2016. Enhancing student support with a virtual assistant. Vincenti, G., Bucciero, A. and Vaz de Carvalho, C. (ed.) eLEOT 2015: 2nd EAI International Conference on e-Learning e-Education and Online Training. Novedrate, Italy 16 - 18 Sep 2015 Springer. pp. 101-109 https://doi.org/10.1007/978-3-319-28883-3_13
Temporal reasoning for intuitive specification of context-awareness
Alegre, U., Augusto, J. and Aztiria, A. 2014. Temporal reasoning for intuitive specification of context-awareness. 10th International Conference on Intelligent Environments - IE'14. Shanghai, China 30 Jun - 04 Jul 2014 Institute of Electrical and Electronics Engineers (IEEE). pp. 234-241
Advancing ambient assisted living with caution
Huyck, C., Augusto, J., Gao, X. and Botia, J. 2015. Advancing ambient assisted living with caution. in: Helfert, M., Holzinger, A., Ziefle, M., Fred, A., O'Donoghue, J. and Röcker, C. (ed.) Information and Communication Technologies for Ageing Well and e-Health: First International Conference, ICT4AgeingWell 2015, Lisbon, Portugal, May 20-22, 2015. Revised Selected Papers Springer.
Assessing real world imagery in virtual environments for people with cognitive disabilities
Covaci, A., Kramer, D., Augusto, J., Rus, S. and Braun, A. 2015. Assessing real world imagery in virtual environments for people with cognitive disabilities. Intelligent Environments 2015. Prague, Czech Republic 15 - 17 Jul 2015 Institute of Electrical and Electronics Engineers (IEEE). pp. 41-48
Spatial health systems: the state of the art
Gottfried, B., Aghajan, H., Wong, K., Augusto, J., Guesgen, H., Kirste, T. and Lawo, M. 2014. Spatial health systems: the state of the art. in: Holzinger, A., Ziefle, M. and Roecker, C. (ed.) Smart health. State of the art Springer Verlag. pp. 41-70
Developing navigational services for people with Down's Syndrome
Kramer, D., Covaci, A. and Augusto, J. 2015. Developing navigational services for people with Down's Syndrome. 2015 International Conference on Intelligent Environments. Prague, Czech Republic 15 - 17 Jul 2015 Institute of Electrical and Electronics Engineers (IEEE). pp. 128-131 https://doi.org/10.1109/IE.2015.26
Context-awareness to increase inclusion of people with DS in society
Kramer, D., Augusto, J. and Clark, T. 2014. Context-awareness to increase inclusion of people with DS in society. AAAI 14: Workshop on Artificial Intelligence Applied to Assistive Technologies and Smart Environments (ATSE 2014). Quebec City, Quebec, Canada 27 - 31 Jul 2014 Association for the Advancement of Artificial Intelligence (AAAI). pp. 27-31
Night optimised care technology for users needing assisted lifestyles
Augusto, J., Mulvenna, M., Zheng, H., Wang, H., Martin, S., McCullagh, P. and Wallace, J. 2014. Night optimised care technology for users needing assisted lifestyles. Behaviour and Information Technology. 33 (12), pp. 1261-1277. https://doi.org/10.1080/0144929X.2013.816773
Personalized smart environments to increase inclusion of people with Down's Syndrome
Augusto, J., Grimstad, T., Wichert, R., Schulze, E., Braun, A., Rødevand, G. and Ridley, V. 2013. Personalized smart environments to increase inclusion of people with Down's Syndrome. Augusto, J., Wichert, R., Collier, R., Keyson, D., Salah, A. and Tan, A. (ed.) International Joint Conference on Ambient Intelligence. Dublin, Ireland Springer International. https://doi.org/10.1007/978-3-319-03647-2_16
Reflections on ambient intelligence systems handling of user preferences and needs
Augusto, J. 2014. Reflections on ambient intelligence systems handling of user preferences and needs. The 10th International Conference on Intelligent Environments (IE'14). Shanghai, P.R. China 29 Jun - 04 Jul 2014 Institute of Electrical and Electronics Engineers (IEEE). pp. 369-371
AAL4DS (Can AAL technology help people with Down’s Syndrome to live better lives?)
Augusto, J. 2012. AAL4DS (Can AAL technology help people with Down’s Syndrome to live better lives?). Proceedings of AALForum2012 (Tomorrow in Sight: from Design to Delivery). Eindhoven, The Netherlands 26 Sep 2012 pp. 79-83
A group decision making model for partially ordered preference under uncertainty
Chen, S., Liu, J., Wang, H. and Augusto, J. 2015. A group decision making model for partially ordered preference under uncertainty. Information Fusion. 25, pp. 32-41. https://doi.org/10.1016/j.inffus.2014.11.001
eFRIEND: an ethical framework for intelligent environments development
Jones, S., Hara, S. and Augusto, J. 2015. eFRIEND: an ethical framework for intelligent environments development. Ethics and Information Technology. 17 (1), pp. 11-25. https://doi.org/10.1007/s10676-014-9358-1
Requirements for context-aware systems
Evans, C., Brodie, L. and Augusto, J. 2014. Requirements for context-aware systems. 20th International Working Conference on Requirements Engineering: Foundations for Software Quality (REFSQ). Essen, Germany 07 - 10 Apr 2014 pp. 137-138
Requirements engineering for intelligent environments
Evans, C., Brodie, L. and Augusto, J. 2014. Requirements engineering for intelligent environments. The 10th International Conference on Intelligent Environments. Shanghai, China 29 Jun - 04 Jul 2014 pp. 154-161
A user-centric software development process
Augusto, J. 2014. A user-centric software development process. The 10th International Conference on Intelligent Environments (IE'14). Shanghai, P.R. China 29 Jun - 04 Jul 2014 pp. 252-255
Sensors for Ambient Assisted Living (AAL) and smart homes
Martinez Madrid, N., Martinez Fernandez, J., Seepold, R. and Augusto, J. 2013. Sensors for Ambient Assisted Living (AAL) and smart homes. in: Filippini, D. (ed.) Autonomous Sensor Networks: Collective Sensing Strategies for Analytical Purposes Springer.
Context-aware discovery of human frequent behaviours through sensor information interpretation
Aztiria, A. and Augusto, J. 2013. Context-aware discovery of human frequent behaviours through sensor information interpretation. in: Guesgen, H. and Marsland, S. (ed.) Human Behavior Recognition Technologies: Intelligent Applications for Monitoring and Security IGI Global. pp. 14-32
A hierarchical human activity recognition framework based on automated reasoning
Chen, S., Liu, J., Wang, H. and Augusto, J. 2013. A hierarchical human activity recognition framework based on automated reasoning. IEEE International Conference on Systems, Man and Cybernetics (SMC2013). Manchester, UK 13 - 16 Oct 2013
A linguistic multi-criteria decision making approach based on logical reasoning
Chen, S., Liu, J., Wang, H. and Augusto, J. 2014. A linguistic multi-criteria decision making approach based on logical reasoning. Information Sciences. 258, pp. 266-276. https://doi.org/10.1016/j.ins.2013.08.040
Participatory research to design a novel system to support the night-time needs of people with dementia; NOCTURNAL
Martin, S., Augusto, J., McCullagh, P., Carswell, W., Zheng, H., Wang, H., Wallace, J. and Mulvenna, M. 2013. Participatory research to design a novel system to support the night-time needs of people with dementia; NOCTURNAL. International Journal of Environmental Research and Public Health. 10 (12), pp. 6764-6782. https://doi.org/10.3390/ijerph10126764
Self-aware trader: a new approach to safer trading
Martínez Fernández, J., Augusto, J., Trombino, G., Seepold, R. and Martinez Madrid, N. 2013. Self-aware trader: a new approach to safer trading. Journal of Universal Computer Science. 19 (15), pp. 2292-2319.
Learning frequent behaviours of the users in intelligent environments
Aztiria, A., Augusto, J., Basagoiti, R., Izaguirre, A. and Cook, D. 2013. Learning frequent behaviours of the users in intelligent environments. IEEE Transactions on Systems Man and Cybernetics: Systems. 43 (6), pp. 1265-1278. https://doi.org/10.1109/TSMC.2013.2252892
Intelligent environments: a manifesto
Augusto, J., Callaghan, V., Kameas, A., Cook, D. and Satoh, I. 2013. Intelligent environments: a manifesto. Human-centric Computing and Information Sciences. 3 (12). https://doi.org/10.1186/2192-1962-3-12
eFRIEND: an ethical framework for intelligent environment development
Jones, S., Augusto, J. and Hara, S. 2014. eFRIEND: an ethical framework for intelligent environment development. The 7th ACM International Conference on Pervasive Technologies Related to Assistive Environments: PETRA 2014. Rhodes, Greece 27 - 30 May 2014 Association for Computing Machinery (ACM). https://doi.org/10.1145/2674396.2674410
Visualization of data for ambient assisted living services
Mulvenna, M., Carswell, W., McCullagh, P., Augusto, J., Zheng, H., Jeffers, P., Wang, H. and Martin, S. 2011. Visualization of data for ambient assisted living services. IEEE Communications Magazine. 49 (1), pp. 110-117. https://doi.org/10.1109/MCOM.2011.5681023
Mass function derivation and combination in multivariate data spaces
Wang, H., Liu, J. and Augusto, J. 2010. Mass function derivation and combination in multivariate data spaces. Information Sciences. 180 (6), pp. 813-819. https://doi.org/10.1016/j.ins.2009.08.027
Design and evaluation of an ambient assisted living system based on an argumentative multi-agent system
Muñoz, A., Augusto, J., Villa, A. and Botía, J. 2011. Design and evaluation of an ambient assisted living system based on an argumentative multi-agent system. Personal and Ubiquitous Computing. 15 (4), pp. 377-387. https://doi.org/10.1007/s00779-010-0361-1
Ordering based decision making: a survey
Chen, S., Liu, J., Wang, H. and Augusto, J. 2013. Ordering based decision making: a survey. Information Fusion. 14 (4), pp. 521-531. https://doi.org/10.1016/j.inffus.2012.10.005
Software simulation and verification to increase the reliability of intelligent environments
Augusto, J. and Hornos, M. 2013. Software simulation and verification to increase the reliability of intelligent environments. Advances in Engineering Software. 58, pp. 18-34. https://doi.org/10.1016/j.advengsoft.2012.12.004
Using patterns position distribution for software failure detection
Li, C., Chen, Z., Du, H., Wang, H., Wilkie, G., Augusto, J. and Liu, J. 2013. Using patterns position distribution for software failure detection. International Journal of Computational Intelligence Systems. 6 (2), pp. 234-243. https://doi.org/10.1080/18756891.2013.768442
A sensor technology survey for a stress aware trading process
Fernandez, J., Augusto, J., Seepold, R. and Madrid, N. 2012. A sensor technology survey for a stress aware trading process. Transactions on Systems, Man and Cybernetics - Part C. 42 (6), pp. 809-824. https://doi.org/10.1109/TSMCC.2011.2179028
Discovering frequent user-environment interactions in intelligent environments
Aztiria, A., Augusto, J., Basagoiti, R., Izaguirre, A. and Cook, D. 2012. Discovering frequent user-environment interactions in intelligent environments. Personal and Ubiquitous Computing. 16 (1), pp. 91-103. https://doi.org/10.1007/s00779-011-0471-4
A linguistic truth-value temporal reasoning (LTR) system and its application to the design of an intelligent environment
Lu, Z., Augusto, J., Liu, J. and Wang, H. 2012. A linguistic truth-value temporal reasoning (LTR) system and its application to the design of an intelligent environment. International Journal of Computational Intelligence Systems. 5 (1), pp. 173-196. https://doi.org/10.1080/18756891.2012.670529
Modeling eating disorders of cognitive impaired people
Coronato, A., De Pietro, G. and Augusto, J. 2012. Modeling eating disorders of cognitive impaired people. HumanCom'2012. Gwangju, South Korea pp. 165-172
An evidential reasoning based approach for decision making with partially ordered preference under uncertainty
Chen, S., Liu, J., Wang, H. and Augusto, J. 2013. An evidential reasoning based approach for decision making with partially ordered preference under uncertainty. 2013 International Conference on Machine Learning and Cybernetics. Tianjin, China 14 - 17 Jul 2013 IEEE. pp. 1712-1717 https://doi.org/10.1109/ICMLC.2013.6890874
A reasoning system for uncertain and dynamic environments
Lu, Z., Augusto, J., Liu, J., Wang, H. and Aztiria, A. 2012. A reasoning system for uncertain and dynamic environments. International Journal on Artificial Intelligence Tools. 21 (5). https://doi.org/10.1142/S0218213012500236
Data and information quality issues in ambient assisted living systems
McNaull, J., Augusto, J., Mulvenna, M. and McCullagh, P. 2012. Data and information quality issues in ambient assisted living systems. Journal of Data and Information Quality. 4 (1), pp. 1-15. https://doi.org/10.1145/2378016.2378020
Living without a safety net in an Intelligent Environment
Augusto, J., McCullagh, P. and Augusto-Walkden, J. 2011. Living without a safety net in an Intelligent Environment. ICST Transactions on Ambient Systems. 11 (10-12). https://doi.org/10.4108/trans.amsys.2011.e6