Distributed Systems


  1. Towards Decentralized Trading: A Topological Investigation of the Medium and Low Voltage Grids ( and ), In IEEE Transactions on Smart Grid, volume 2, . [url]
  2. Transaction management in Service-Oriented Systems: requirements and a proposal (), In IEEE Transactions on Service Computing, volume 2, . [pdf]
  3. Deriving Business Processes with Service Level Agreements from Early Requirements (), In Journal of Systems and Software, volume 84, . [pdf]
  4. Modeling Dynamic Reconfigurations in Reo using High-Level Replacement Systems (, , and ), In Science of Computer Programming, volume 76, . [pdf]
  5. An Online Portal on Outcomes for Dutch Service Users (, and ), In Psychiatric Services, volume 62, . [pdf]
  6. Continual Planning with Sensing for Web Service Composition (), In AAAI Conference on Artificial Intelligence, . [url]
  7. Smart Meter aware Domestic Energy Trading Agents (), In International E-Energy Market Challenge at 8th ACM Autonomic Computing Conference, . [pdf]
  8. Smart Homes to Improve the Quality of Life for All (), In 33rd Annual International IEEE Engineering in Medicine and Biology Conference, .
  9. Heterogeneous Device Discovery Framework For the Smart Homes ( and ), In IEEE GCC Conference & Exhibition, . [url]
  10. Interpretation of Inconsistencies via Context Consistency Diagrams ( and ), In Annual IEEE International Conference on Pervasive Computing and Communications, . [pdf]
  11. Declarative Enhancement Framework for Business Processes ( and ), In International Conference on Service-Oriented Computing, . [pdf]
  12. Business Process Customization using Process Merging Techniques (, and ), In International Conference on Service-Oriented Computing and Applications, . [url]
  13. Business Process Variability: A Tool for Declarative Template Design ( and ), In International Conference on Service-Oriented Computing - Demo Track, .
  14. Assessing Schizophrenia with an Interoperable Architecture ( and ), In ACM International Conference on Information and Knowledge Management, . [pdf]
  15. Testing for Highly Distributed Service-oriented Systems using Virtual Environments ( and ), In Postproceedings of 17th Dutch Testing Day, . [url]
  16. Optimizing Offices for the Smart Grid ( and ), Technical report JBI 2011-12-01, University of Groningen, . [pdf]