Distributed Systems

Conference Papers and Demos


  1. Predictive Multi-Objective Scheduling with Dynamic Prices and Marginal CO2-Emission Intensities ( and ), In ACM e-Energy 2020, .
  2. Sustainability Choices when Cooking Pasta (, and ), In ACM e-Energy 2020, .
  3. Towards Service-Oriented and Intelligent Microgrids (, and ), In Proceedings of the 3rd International Conference on Applications of Intelligent Systems, Association for Computing Machinery, . [url] [doi]
  4. Office Multi-Occupancy Detection using BLE Beacons and Power Meters (, and ), In 2019 IEEE 10th Annual Ubiquitous Computing, Electronics, and Mobile Communication Conference, .
  5. Development of a decision-aid for patients with depression considering treatment options: prediction of treatment response using a data-driven approach (, , , , , , , , , and ), In ISPOR Europe 2019, Copenhagen, Denmark, . [url]
  6. Predictive CO2-Efficient Scheduling of Hybrid Electric and Thermal Loads ( and ), In 2019 IEEE International Conference on Energy Internet (ICEI), .
  7. ECiDA: Evolutionary Changes in Data Analysis (, , , , , , , and ), In ICT.Open, Hilversum, The Netherlands, . [url]
  8. Household CO2-efficient energy management ( and ), In Energy Informatics, Springer, .
  9. Low-power Appliance Recognition using Recurrent Neural Networks (, , and ), In Applications of Intelligent Systems, .
  10. Robustness of reconfigurable complex systems by a multi-agent simulation: Application on power distribution systems (, , , and ), In 2018 Annual IEEE International Systems Conference (SysCon), . [doi]
  11. Mining Sequential Patterns for Appliance Usage Prediction (, , , and ), In International Conference on Smart Cities and Green ICT Systems, .
  12. Runtime Modifications of Spark Data Processing Pipelines (, , , and ), In 2017 International Conference on Cloud and Autonomic Computing, ICCAC, . [url]
  13. Cloud Ready Applications Composed via HTN Planning (, , and ), In IEEE International Conference on Service Oriented Computing and Applications, .
  14. Prediction of Running Injuries from Training Load: a Machine Learning Approach (, , and ), In International Conference on eHealth, Telemedicine, and Social Medicine, . [url]
  15. Automated compliance verification of business processes in Apromore (, and ), In Proceedings of the BPM Demo Track 2017, .
  16. Comparison of Energy Consumption in Wi-Fi and Bluetooth Communication in a Smart Building (, , and ), In IEEE Annual Computing and Communication Workshop and Conference, . [url]
  17. Power-Based Device Recognition for Occupancy Detection (, , and ), In Service-Oriented Computing - ICSOC 2017 Workshops, volume in press, . [doi]
  18. A price-based approach for voltage regulation and power loss minimization for the electrical power distribution system (, and ), In 55th IEEE Conference on Decision and Control, . [url]
  19. Power Management of Personal Computers based on User Behaviour (, , and ), In International Conference on Smart Cities and Green ICT Systems, . [url]
  20. Influence Maximization in Social Networks with Genetic Algorithms ( and ), In European Conference on the Applications of Evolutionary and Bio-inspired Computation (Evo* EvoApplications), track EvoComplex: Evolutionary Algorithms and Complex Systems, . [pdf]
  21. Benchmark Datasets for Fault Detection and Classification in Sensor Data (, , and ), In International Conference on Sensor Networks, . [url]
  22. On the relationship between automation and occupants in smart buildings ( and ), In International Conference on ICT for Sustainability, . [url]
  23. Design-time Compliance of Service Compositions in Dynamic Service Environments ( and ), In IEEE International Conference on Service Oriented Computing & Applications, .
  24. A Service-Oriented Architecture for Web Applications in e-mental health: two case studies ( and ), In IEEE International Conference on Service Oriented Computing & Applications, . [url]
  25. Simulating the Interaction with a Smart Grid with Real Services ( and ), In IEEE International Conference on Service Oriented Computing & Applications, . [url]
  26. Black Holes and Revelations: Using Evolutionary Algorithms to Uncover Vulnerabilities in Disruption-Tolerant Networks (, , and ), In European Conference on the Applications of Evolutionary and Bio-inspired Computation, track EvoComNet: Application of Nature-inspired Techniques for Communication Networks and other Parallel and Distributed Systems, . [url]
  27. A Self-healing Framework for Online Sensor Data (, , and ), In International Workshop on Self-Aware Internet of Things, . [url]
  28. Self-healing protocols for infrastructural networks (, , and ), In International Conference on Critical Information Infrastructures Security, .
  29. The Smart Grid's Data Generating Potentials ( and ), In Federated Conference on Computer Science and Information Systems, . [pdf]
  30. Towards a Robustness Evaluation Framework for BPEL Engines (, , and ), In International Conference on Service Oriented Computing & Applications, . [pdf]
  31. Utility-Based HTN Planning ( and ), In European Conference on Artificial Intelligence, . [url]
  32. GreenMind - An Architecture and Realization for Energy Smart Buildings (, , and ), In International Conference on ICT for Sustainability, . [url]
  33. The Tradeoffs between Data Delivery Ratio and Energy Costs in Wireless Sensor Networks: A Multi-Objective Evolutionary Framework for Protocol Analysis (, , and ), In Genetic and Evolutionary Computation Conferenc, . [pdf]
  34. HowNutsAreTheDutch: Personalized feedback on a national scale (, , , , , , , , , , and ), In AAAI Fall Symposium on Expanding the Boundaries of Health Informatics Using AI, . [url]
  35. E-learning Quality Assurance Practices and Benchmarks in Higher Education (), In World Conference on Educational Media and Technology, . [url]
  36. Spatial optimality in power distribution networks ( and ), In IEEE Complexity in Engineering Workshop, . [url]
  37. Gamification in a Consulting Company (, and ), In 7th GI Workshop on Autonomous Systems, .
  38. Network Disruption and Recovery: Co-Evolution of Defender and Attacker in a Dynamic Game (, , , and ), In CompleNet 2014 5th Workshop on Complex Networks, . [url]
  39. Itemset-based Mining of Constraints for Enacting Smart Environments (, , and ), In Symposium on Activity and Context Modeling and Recognition, . [url]
  40. Leefplezier: Personalized well-being (, , and ), In Doctoral Consortium of the IEEE International Conference on Healthcare Informatics, .
  41. Combining Activity Recognition and AI Planning for Energy-Saving Offices ( and ), In IEEE International Conference on Ubiquitous Intelligence and Computing, . [url]
  42. Towards Context Consistency in a Rule-Based Activity Recognition Architecture ( and ), In International Symposium on Ubiquitous Intelligence and Autonomic Systems, . [url]
  43. 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]
  44. Service-Oriented Architecture for Smart Environments ( and ), In IEEE International Conference on Service Oriented Computing and Applications, . [pdf]
  45. Continuous Correctness of Business Processes against Process Interference ( and ), In IEEE International Conference on Service Oriented Computing and Applications, . [url]
  46. Dynamic Constraint Reasoning in Smart Environments ( and ), In IEEE International Conference on Tools with Artificial Intelligence, . [pdf]
  47. 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]
  48. A Survey of Formal Business Process Verification: From Soundness to Variability ( and ), In International Symposium on Business Modeling and Software Design, . [pdf]
  49. 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]
  50. Modeling the Last Mile of the Smart Grid ( and ), In PES Innovative Smart Grid Technologies Conference, . [url]
  51. 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]
  52. 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]
  53. Testing of Distributed Service-Oriented Systems (), In ICSOC, volume 8377, . [pdf]
  54. Planning for Coordination of Devices in Energy-Smart Envronments (), In Doctoral Consortium of the 23rd International Conference on Automated Planning and Scheduling, . [pdf]
  55. A Machine Learning Approach for Identifying and Classifying Faults in Wireless Sensor Networks ( and ), In 10th IEEE International Conference on Embedded and Ubiquitous Computing, . [url]
  56. Cost-efficient Context-aware Rule Maintenance ( and ), In Workshop on Context Modeling and Reasoning, . [url]
  57. Beyond Indoor Presence Monitoring with Simple Sensors ( and ), In International Conference on Pervasive and Embedded Computing and Communication Systems, . [pdf]
  58. Fault Detection in Wireless Sensor Networks: a Hybrid Approach ( and ), In ACM Conference on Information Processing in Sensor Networks (IPSN'12 POSTER Session), . [pdf]
  59. A Statistical Analysis of Power Grid Vulnerabilities ( and ), In Workshops of The seventh CRITIS Conference on Critical Information Infrastructures Security, . [pdf]
  60. Adaptive Game-based Agent Negotiation in Deregulated Energy Markets ( and ), In Workshop on Adaptive Collaboration at (CTS 2012), . [url]
  61. An Agent-based Application to Enable Deregulated Energy Markets ( and ), In IEEE Computer Software and Applications Conference, . [url]
  62. Service Ecologies for Home/Building Automation ( and ), In 10th Int. IFAC Symposium on Robot Control, .
  63. Automatic Detection of Business Process Interference ( and ), In International Workshop on Knowledge-intensive Business Processes, . [pdf]
  64. Continual Planning with Sensing for Web Service Composition (), In AAAI Conference on Artificial Intelligence, . [url]
  65. Smart Meter aware Domestic Energy Trading Agents (), In International E-Energy Market Challenge at 8th ACM Autonomic Computing Conference, . [pdf]
  66. Smart Homes to Improve the Quality of Life for All (), In 33rd Annual International IEEE Engineering in Medicine and Biology Conference, .
  67. Heterogeneous Device Discovery Framework For the Smart Homes ( and ), In IEEE GCC Conference & Exhibition, . [url]
  68. Interpretation of Inconsistencies via Context Consistency Diagrams ( and ), In Annual IEEE International Conference on Pervasive Computing and Communications, . [pdf]
  69. Declarative Enhancement Framework for Business Processes ( and ), In International Conference on Service-Oriented Computing, . [pdf]
  70. Business Process Customization using Process Merging Techniques (, and ), In International Conference on Service-Oriented Computing and Applications, . [url]
  71. Business Process Variability: A Tool for Declarative Template Design ( and ), In International Conference on Service-Oriented Computing - Demo Track, .
  72. Assessing Schizophrenia with an Interoperable Architecture ( and ), In ACM International Conference on Information and Knowledge Management, . [pdf]
  73. Testing for Highly Distributed Service-oriented Systems using Virtual Environments ( and ), In Postproceedings of 17th Dutch Testing Day, . [url]
  74. Interoperation, Composition and Simulation of Services at Home (), In International Conference on Service Oriented Computing, . [pdf]
  75. Concept mapping for faster QoS-Aware Web Service Composition ( and ), In IEEE Conference on Service Oriented Computing and Applications, . [pdf]
  76. Modeling Enterprise Information Systems Integration Evaluation as a Dynamic System (), In International Conference on Computing and ICT Research, . [pdf]
  77. ValySeC: a Variability Analysis Tool for Service Compositions using VxBPEL (), In , . [pdf]
  78. Resolving Business Process Interference via Dynamic Reconfiguration (), In International Conference on Service Oriented Computing, . [pdf]
  79. Mining Twitter in the Cloud: A Case Study (), In IEEE 3rd International Conference on Cloud Computing, . [url]
  80. Towards a Service-Oriented Energy Market: Current state and trend (), In Workshop on Service, Energy and Ecosystems (colocated with ICSOC-10), . [pdf]
  81. Requirements and Tools for Variability Management (), In IEEE Workshop on Requirement Engineering for Services at IEEE COMPSAC, . [pdf]
  82. A tool for integrating pervasive services and simulating their composition (), In International Conference on Service Oriented Computing, Demo Session, . [pdf]
  83. Optimal QoS-Aware Web Service Composition (, , and ), In Joint 11th IEEE Conference on E-Commerce Technology (CEC'08) and the 6th IEEE Conference on Enterprise Computing, E-Commerce and E-Services IEEE Computer, . [pdf]
  84. Planning in a Smart Home: Visualization and Simulation ( and ), In International Conference on Automated Planning and Scheduling, . [pdf]
  85. Bluetooth Broadcasting: How far can we go? An experimental study (), In International Conference on Pervasive Computing and Applications, . [pdf]
  86. Extended Goals for Composing Services (, and ), In International Conference on Automated Planning and Scheduling, . [pdf]
  87. Smart Homes Infrastructures and Interactions (, and ), In IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, . [url]
  88. Services inside the Smart Home: A Simulation and Visualization tool (, , , and ), In International Conference on Service Oriented Computing, . [pdf]
  89. Maintenance of customized processes (), In PhD symposium, hosted by 7th International Conference on Service Oriented Computing, . [pdf]
  90. General Chair's Report (), In 18th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, 2009, . [url]
  91. Visualizing Compositions of Services from Large Repositories (, and ), In E-Commerce Technology and the Fifth IEEE Conference on Enterprise Computing, E-Commerce and E-Services, 2008 10th IEEE Conference on, . [pdf]
  92. Towards Variable Service Compositions using VxBPEL ( and ), In International Conference on Software Reuse (H. Mei, ed.), volume LNCS 5030, .
  93. Requirements and Evaluation of Protocols and Tools for Transaction Management in Service Centric Systems ( and ), In Computer Software and Applications Conference, 2007. COMPSAC 2007. 31st Annual International, volume 2, . [pdf]
  94. DMC Workshop Final Report (, and ), In Enabling Technologies: Infrastructure for Collaborative Enterprises, 2007. WETICE 2007. 16th IEEE International Workshops on, . [url]
  95. The Mathematical Morpho-Logical view on Reasoning about Space ( and ), In International Joint Conference on Artificial Intelligence, . [pdf]