Distributed Systems

2013


  1. Design and implementation of middleware platform for a smart home (), Rijksuniversiteit Groningen, . [html]
  2. Domain-independent planning for services in uncertain and dynamic environments (), Rijksuniversiteit Groningen, . [pdf]
  3. Generating personalized advice for schizophrenia patients (, , , and ), In Artificial Intelligence in Medicine, volume 58, . [url]
  4. The Management of Elearning at University of KKU, ABHA ( and ), In International Journal of Emerging Technologies in Learning, volume 8, .
  5. E-health self-management in psychotic disorders: state of the art and future perspectives (, , , and ), In Psychiatric Services, volume 65, . [pdf]
  6. Ontology-based Office Activity Recognition with Applications for Energy Savings (, and ), In Journal of Ambient Intelligence and Humanized Computing, . [url]
  7. Energy Intelligent Buildings based on User Activity: A Survey ( and ), In Energy and Buildings, volume 56, . [url]
  8. The Power Grid as a Complex Network: a Survey ( and ), In Physica A: Statistical Mechanics and its Applications, volume 392, . [url]
  9. Coordinating the Web of Services for a Smart Home ( and ), In ACM Transactions on the Web, volume 7, . [url]
  10. An Interplatform Service-Oriented Middleware for the Smart Home ( and ), In International Journal of Smart Home, volume 7, . [pdf]
  11. Aware homes (), In Awareness Magazine: Self-awareness in autonomic systems, . [pdf]
  12. Foreword (), Chapter in , IGI Global, . [url]
  13. Architecture pattern for context-aware smart environments ( and ), Chapter in Creating Personal, Social and Urban Awareness through Pervasive Computing (D. Riboni, B. Guo, P. Hu, ed.), IGI Global, . [pdf]
  14. Combining Activity Recognition and AI Planning for Energy-Saving Offices ( and ), In IEEE International Conference on Ubiquitous Intelligence and Computing, . [url]
  15. Towards Context Consistency in a Rule-Based Activity Recognition Architecture ( and ), In International Symposium on Ubiquitous Intelligence and Autonomic Systems, . [url]
  16. Applying Time Series Analysis and Neighbourhood Voting in a Decentralised Approach for Fault Detection and Classification in WSNs ( and ), In International Symposium on Information and Communication Technology, . [url]
  17. Service-Oriented Architecture for Smart Environments ( and ), In IEEE International Conference on Service Oriented Computing and Applications, . [pdf]
  18. Continuous Correctness of Business Processes against Process Interference ( and ), In IEEE International Conference on Service Oriented Computing and Applications, . [url]
  19. Dynamic Constraint Reasoning in Smart Environments ( and ), In IEEE International Conference on Tools with Artificial Intelligence, . [pdf]
  20. An Evolutionary Framework for Routing Protocol Analysis in Wireless Sensor Networks ( and ), In European Conference on the Applications of Evolutionary and bio-inspired Computation, volume 7835, . [url]
  21. A Survey of Formal Business Process Verification: From Soundness to Variability ( and ), In International Symposium on Business Modeling and Software Design, . [pdf]
  22. A Machine Learning Approach for Vehicle Classification using Passive Infrared and Ultrasonic Sensors ( and ), In ACM/IEEE Conference on Information Processing in Sensor Networks, . [pdf]
  23. Modeling the Last Mile of the Smart Grid ( and ), In PES Innovative Smart Grid Technologies Conference, . [url]
  24. Cost and Benefits of Denser Topologies for the Smart Grid ( and ), In Computer and Information Sciences III from the 27th International Symposium on Computer and Information Sciences (ISCIS'12), . [url]
  25. A Decentralized Scheme for Fault Detection and Classification in WSNs ( and ), In IEEE International Conference on Cyber-Physical Systems, Networks, and Applications (CPSNA 2013, Work in Progress session), . [pdf]
  26. Testing of Distributed Service-Oriented Systems (), In ICSOC, volume 8377, . [pdf]
  27. Planning for Coordination of Devices in Energy-Smart Envronments (), In Doctoral Consortium of the 23rd International Conference on Automated Planning and Scheduling, . [pdf]
  28. An Automated Analysis Of Process Interference Verified With LTL Checking ( and ), Technical report 2013-08-07, University of Groningen, . [pdf]