Publications
2019
| N. R. T. P. van Beest, H. Groefsema, L. Garcia-Banuelos and M. Aiello (2019) Variability in business processes: Automatically obtaining a generic specification. Information Systems, 80:36 - 55. | doi url bib | ||
2018
| M. Aiello (2018) The Web Was Done by Amateurs: A Reflection on One of the Largest Collective Systems Ever Engineered. Springer. | bib | ||
| M. Aiello, Y. Yang, Y. Zou, and L.-J. Zhang (Eds.) (2018) Artificial Intelligence and Mobile Services - AIMS 2018. Volume 10970 of Lecture Notes in Computer Science, Springer. | url bib | ||
| H. Groefsema, N. R. T. P. van Beest and M. Aiello (2018) A Formal Model for Compliance Verification of Service Compositions. IEEE Transactions on Services Computing, 11(3):466-479, May 2018. | bib | ||
| F. M. Bos, F. J. Blaauw, E. Snippe, L. van der Krieke, P. de Jonge and M. Wichers (2018) Exploring the emotional dynamics of subclinically depressed individuals with and without anhedonia: An experience sampling study. Journal of Affective Disorders, 228:186 - 193. | doi url bib | ||
| L. Fiorini, M. Aiello, D. Poli and P. Pelacchi (2018) Topological Considerations on the Use of Batteries to Enhance the Reliability of HV-Grids. Journal of Energy Storage, 18:316 - 326. | doi url bib | ||
| A. R. Pratama, W. Widyawan, A. Lazovik and M. Aiello (2018) Multi-User Low Intrusive Occupancy Detection. Sensors, 18(796). | url bib | ||
| T. B. Dijkhuis, F. J. Blaauw, M. W. van Ittersum, H. Velthuijsen and M. Aiello (2018) Personalized Physical Activity Coaching: A Machine Learning Approach. Sensors, 18(623). | url bib | ||
| A. Sha and M. Aiello (2018) Topological Considerations on Decentralised Energy Exchange in the Smart Grid. Procedia Computer Science, 130:720 - 727. "The 9th International Conference on Ambient Systems. | doi url bib | ||
| L. Fiorini and M. Aiello (2018) Household CO2-efficient energy management. In Energy Informatics. Springer. | bib | ||
| A. R. Pratama, F. J. Simanjuntak, A. Lazovik and M. Aiello (2018) Low-power Appliance Recognition using Recurrent Neural Networks. In Applications of Intelligent Systems. To appear. | bib | ||
| M. Bessani, R. R. M. Ribeiro, G. A. Pagani, M. Aiello and C. D. Maciel (2018) Robustness of reconfigurable complex systems by a multi-agent simulation: Application on power distribution systems. In 2018 Annual IEEE International Systems Conference (SysCon), pages 1-6, April 2018. | bib | ||
| M. Kalksma, B. Setz, A. R. Pratama, I. Georgievski and M. Aiello (2018) Mining Sequential Patterns for Appliance Usage Prediction. In International Conference on Smart Cities and Green ICT Systems. To appear. | bib | ||
2017
| M. Aiello (2017) two bestsellers. Saccargia Holding BV Publisher. | bib | ||
| D. Vemula, B. Setz, G. S. VRK Rao, G. R. Gangadharan and M. Aiello (2017) Metrics for Sustainable Data Centers. IEEE Transactions on Sustainable Computing. To appear. | bib | ||
| I. Georgievski, T. A. Nguyen, F. Nizamic, B. Setz, A. Lazovik and M. Aiello (2017) Planning meets activity recognition: Service coordination for intelligent buildings. Pervasive and Mobile Computing, 38(1):110-139, July 2017. | url bib | ||
| L. Fiorini, G.A. Pagani, P. Pelacchi, D. Poli and M. Aiello (2017) Sizing and Siting of Large-Scale Batteries in Transmission Grids to Optimize the Use of Renewables. IEEE Journal on Emerging and Selected Topics in Circuits and Systems, 7(2):285-294, Jun 2017. | url bib | ||
| A. R. Pratama, Widyawan, A. Lazovik and M. Aiello (2017) Indoor self-localization via bluetooth low energy beacons. IDRBT JOURNAL OF IJBT, 1(1):1-15. | bib | ||
| E. Schweitzer, A. Scaglione, A. Monti and G. A. Pagani (2017) Automated Generation Algorithm for Synthetic Medium Voltage Radial Distribution Systems. IEEE Journal on Emerging and Selected Topics in Circuits and Systems, 7(2):271-284, June 2017. | url bib | ||
| E. Lazovik, M. Medema, T. Albers, E. Langius and A. Lazovik (2017) Runtime Modifications of Spark Data Processing Pipelines. In 2017 International Conference on Cloud and Autonomic Computing, ICCAC,34–45. | url bib | ||
| I. Georgievski, F. Nizamic, A. Lazovik and M. Aiello (2017) Cloud Ready Applications Composed via HTN Planning. In IEEE International Conference on Service Oriented Computing and Applications. To appear. | bib | ||
| T. Dijkhuis, R. Otter, H. Velthuijsen and K. A. P. M. Lemmink (2017) Prediction of Running Injuries from Training Load: a Machine Learning Approach. In International Conference on eHealth, Telemedicine, and Social Medicine, March 2017. | url bib | ||
| H. Groefsema, N. van Beest and A. Armas-Cervantes (2017) Automated compliance verification of business processes in Apromore. In Proceedings of the BPM Demo Track 2017. | bib | ||
| G. D. Putra, A. R. Pratama, A. Lazovik and M. Aiello (2017) Comparison of Energy Consumption in Wi-Fi and Bluetooth Communication in a Smart Building. In IEEE Annual Computing and Communication Workshop and Conference,, pages 1-6, Jan 2017. | url bib | ||
| A. R. Pratama, Widyawan, A. Lazovik and M. Aiello (2017) Power-Based Device Recognition for Occupancy Detection. In Service-Oriented Computing - ICSOC 2017 Workshops Volume in press, Sept 2017. | bib | ||
2016
| H. Groefsema (2016) Business Process Variability: A Study into Process Management and Verification. PhD thesis. | url bib | ||
| F. Nizamic (2016) A Smart Energy System for Sustainable Buildings: The Case of the Bernoulliborg. PhD thesis. | url bib | ||
| M. Aiello, E. B. Johnsen, S. Dustdar, and I. Georgievski (Eds.) (2016) 5th IFIP WG 2.14 European Conference Service-Oriented and Cloud Computing. Volume 9846 of Lecture Notes in Computer Science, Springer. | url bib | ||
| I. Georgievski and M. Aiello (2016) Automated planning for ubiquitous computing. ACM Comput. Surv., 49(4):63:1–63:46. | url bib | ||
| L. van der Krieke, F. J. Blaauw, A. C. Emerencia, M. H. M. Schenk, J. P. J. Slaets, E. H. Bos, P. de Jonge and B. F. Jeronimus (2016) Temporal dynamics of health and well-being: A crowdsourcing approach to momentary assessments and automated generation of personalized feedback. Psychosomatic Medicine. To appear. | bib | ||
| F. J. Blaauw, H. M. Schenk, B. F. Jeronimus, L. van der Krieke, P. de Jonge, M. Aiello and A. C. Emerencia (2016) Let's get Physiqual - an intuitive and generic method to combine ssensor technology with ecological momentary assessments. Journal of Biomedical Informatics, 63:141–149. | url bib | ||
| A. Sha and M. Aiello (2016) A Novel Strategy for Optimising Decentralised Energy Exchange for Prosumers. Energies, 9(7):554. | url bib | ||
| E. Kaldeli, A. Lazovik, and M. Aiello (2016) Domain-Independent Planning for Services in Uncertain and Dynamic Environments. Artificial Intelligence, 236(7):30-64. | url bib | ||
| G. A. Pagani and M. Aiello (2016) From the grid to the smart grid, topologically. Physica A, 449(5):160-175. | url bib | ||
| D. Bucur, G. Iacca, M. Gaudesi, G. Squillero and A. Tonda (2016) Optimizing groups of colluding strong attackers in mobile urban communication networks with evolutionary algorithms. Applied Soft Computing, 40:416-426. | url bib | ||
| M. Jafarian, J. Scherpen and M. Aiello (2016) A price-based approach for voltage regulation and power loss minimization for the electrical power distribution system. In 55th IEEE Conference on Decision and Control,, pages 680-685, Dec 2016. | url bib | ||
| B. Setz, F. Nizamic, A. Lazovik and M. Aiello (2016) Power Management of Personal Computers based on User Behaviour. In International Conference on Smart Cities and Green ICT Systems,409–416. | url bib | ||
| D. Bucur and G. Iacca (2016) Influence Maximization in Social Networks with Genetic Algorithms. In European Conference on the Applications of Evolutionary and Bio-inspired Computation (Evo* EvoApplications), track EvoComplex: Evolutionary Algorithms and Complex Systems,379–392. | url bib | ||
| B. de Bruijn, T. A. Nguyen, D. Bucur and K. Tei (2016) Benchmark Datasets for Fault Detection and Classification in Sensor Data. In International Conference on Sensor Networks,185–195. | url bib | ||
| I. Georgievski and T. Bouman (2016) On the relationship between automation and occupants in smart buildings. In International Conference on ICT for Sustainability,240–241. Extended abstract. | url bib | ||
2015
| T. A. Nguyen (2015) Energy Adaptive Buildings: From Sensor Data to Being Aware of Users. PhD thesis. | url bib | ||
| I. Georgievski (2015) Coordinating services embedded everywhere via hierarchical planning. PhD thesis. | url bib | ||
| L. van der Krieke, B. F. Jeronimus, F. J. Blaauw, R. B. K. Wanders, Ando C. Emerencia, H. M. Schenk, V. de Stijn, E. Snippe, M. Wichers, J. T. W. Wigman, E. H. Bos, K. J. Wardenaar and P. de Jonge (2015) HowNutsAreTheDutch (HoeGekIsNL): A crowdsourcing study of mental symptoms and strengths. International Journal of Methods in Psychiatric Research. | url bib | ||
| D. Bucur, G. Iacca and P. de Boer (2015) Characterizing topological bottlenecks for data delivery in CTP using simulation-based stress testing with natural selection. Ad Hoc Networks, 30:22-45. | url bib | ||
| I. Georgievski and M. Aiello (2015) HTN planning: Overview, comparison, and beyond. Artificial Intelligence, 222:124-156. | url bib | ||
| A. Emerencia, L. van der Krieke, E.H. Bos, P. de Jonge, N. Petkov and M. Aiello (2015) Automating vector autoregression on electronic patient diary data. IEEE Journal of Biomedical and Health Informatics, 20(2):631-634. | url bib | ||
| G. A. Pagani and M. Aiello (2015) A complex network approach for identifying vulnerabilities of the medium and low voltage grid. International Journal of Critical Infrastructures, 11(1):36-61. | url bib | ||
| C. Sun, X. Zhang, Y. Shang and M. Aiello (2015) Integrating Transactions into BPEL Service Compositions: An Aspect-Based Approach. ACM Transactions on the Web, 9(2):9:1-9:31. | url bib | ||
| H. Groefsema and N. R. T. P. van Beest (2015) Design-time Compliance of Service Compositions in Dynamic Service Environments. In IEEE International Conference on Service Oriented Computing & Applications,108–115. | bib | ||
| F. Blaauw and A. Emerencia (2015) A Service-Oriented Architecture for Web Applications in e-mental health: two case studies. In IEEE International Conference on Service Oriented Computing & Applications,131–138. | url bib | ||
| R. Schoenmaker and G. A. Pagani (2015) Simulating the Interaction with a Smart Grid with Real Services. In IEEE International Conference on Service Oriented Computing & Applications,36–42. | url bib | ||
| D. Bucur, G. Iacca, G. Squillero and A. Tonda (2015) Black Holes and Revelations: Using Evolutionary Algorithms to Uncover Vulnerabilities in Disruption-Tolerant Networks. 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,29–41. | url bib | ||
| T. A. Nguyen, M. Aiello, T. Yonezawa and K. Tei (2015) A Self-healing Framework for Online Sensor Data. In International Workshop on Self-Aware Internet of Things,295–300. | url bib | ||
2014
| V. Degeler (2014) Dynamic Rule-Based Reasoning in Smart Environments. PhD thesis. | url bib | ||
| A. Emerencia (2014) Computing a Second Opinion: Automated Reasoning and Statistical Inference applied to Medical Data. PhD thesis. | url bib | ||
| G. A. Pagani (2014) From the Grid to the Smart Grid, Topologically. PhD thesis. | url bib | ||
| V. Degeler and A. Lazovik (2014) Dynamic Constraint Satisfaction with Space Reduction in Smart Environments. International Journal on Artificial Intelligence Tools, 23(6). | url bib | ||
| G. A. Pagani and M. Aiello (2014) Generating Realistic Dynamic Prices and Services for the Smart Grid. IEEE Systems Journal, 9(1):191–198. | bib | ||
| N. R. T. P. van Beest, E. Kaldeli, P. Bulanov, J. C. Wortmann and A. Lazovik (2014) Automated Runtime Repair of Business Processes. Inf. Syst., 39:45–79. | url bib | ||
| G. A. Pagani and M. Aiello (2014) Power Grid Complex Network Evolutions for the Smart Grid. Physica A: Statistical Mechanics and its Applications, 396(2):248–266. | url bib | ||
| L. van der Krieke, L. Wunderink, A. Emerencia, P. de Jonge and S. Sjoerd (2014) E-Mental Health Self-Management for Psychotic Disorders: State of the Art and Future Perspectives. Psychiatric Services, 65(1):33–49. | url bib | ||
| D. Bucur, G. Iacca, G. Squillero and A. Tonda (2014) The Impact of Topology on Energy Consumption for Collection Tree Protocols: An Experimental Assessment through Evolutionary Computation. Applied Soft Computing, 16:210–222. | doi url bib | ||
| F. Alsaif (2014) Smart Education Modes and E-Learning Market: The Needs of the Next Generation. Smart Learning Environments Journal, The State of the Art in Smart Learning Issue. | bib | ||
| F. Blaauw, L. van der Krieke, P. de Jonge and M. Aiello (2014) Leefplezier: Personalized Well-being. IEEE Intelligent Informatics Bulletin, 15(1):28–29. Extended abstract. | url bib | ||
| M. Aiello, A. Emerencia and H. Sol (2014) Bringing adaptiveness & resilience to e-health. In Adaptive, Dynamic and Resilient Systems. (N. Suri and G. Cabri, Eds.), Auerbach Publication, CRC Press (Taylor + Francis Group). | bib | ||
| A. Scala, W. Quattrociocchi, G.A. Pagani and M. Aiello (2014) Self-healing protocols for infrastructural networks. In International Conference on Critical Information Infrastructures Security. | bib | ||
| M. Aiello and G. A. Pagani (2014) The Smart Grid's Data Generating Potentials. In Federated Conference on Computer Science and Information Systems. | url bib | ||
| S. Harrer, F. Nizamic, G. Wirtz and A. Lazovik (2014) Towards a Robustness Evaluation Framework for BPEL Engines. In International Conference on Service Oriented Computing & Applications,199–206. | url bib | ||
| I. Georgievski and A. Lazovik (2014) Utility-Based HTN Planning. In European Conference on Artificial Intelligence,1013–1014. | url bib | ||
| F. Nizamic, T. A. Nguyen, A. Lazovik and M. Aiello (2014) GreenMind - An Architecture and Realization for Energy Smart Buildings. In International Conference on ICT for Sustainability,20–29. | url bib | ||
| D. Bucur, G. Iacca, G. Squillero and A. Tonda (2014) The Tradeoffs between Data Delivery Ratio and Energy Costs in Wireless Sensor Networks: A Multi-Objective Evolutionary Framework for Protocol Analysis. In Genetic and Evolutionary Computation Conferenc,1071–1078. | url bib | ||
| F. J. Blaauw, J. A. J. Van der Krieke, E. H. Bos, A. C. Emerencia, B. F. Jeronimus, H. M. Schenk, S. De Vos, K. J. Wardenaar, R. B. K. Wanders, J. T. W. Wigman, M. Aiello and P. De Jonge (2014) HowNutsAreTheDutch: Personalized feedback on a national scale. In AAAI Fall Symposium on Expanding the Boundaries of Health Informatics Using AI,6–10. | url bib | ||
| F. Alsaif (2014) E-learning Quality Assurance Practices and Benchmarks in Higher Education. In World Conference on Educational Media and Technology. 1072–1078. | url bib | ||
| L. Luo and G.A. Pagani amd M. Rosas-Casals (2014) Spatial optimality in power distribution networks. In IEEE Complexity in Engineering Workshop,1–4. | url bib | ||
| F. J. Blaauw, L. Bazylevska and M. Aiello (2014) Gamification in a Consulting Company. In 7th GI Workshop on Autonomous Systems,128–139. | bib | ||
| H. Arnold, D. Masad, G. A. Pagani, J. Schmidt and E. Stepanova (2014) Network Disruption and Recovery: Co-Evolution of Defender and Attacker in a Dynamic Game. In CompleNet 2014 5th Workshop on Complex Networks,141–155. | url bib | ||
| V. Degeler, A. Lazovik, F. Leotta and M. Mecella (2014) Itemset-based Mining of Constraints for Enacting Smart Environments. In Symposium on Activity and Context Modeling and Recognition,41–46. | url bib | ||
| F. J. Blaauw, J. A. J. Van der Krieke, M. Aiello and P. De Jonge (2014) Leefplezier: Personalized well-being. In Doctoral Consortium of the IEEE International Conference on Healthcare Informatics. | bib | ||
2013
| E. U. Warriach (2013) Design and implementation of middleware platform for a smart home. PhD thesis. | url bib | ||
| E. Kaldeli (2013) Domain-independent planning for services in uncertain and dynamic environments. PhD thesis. | url bib | ||
| A. Emerencia, L. van der Krieke, S. Sytema, N. Petkov and M. Aiello (2013) Generating personalized advice for schizophrenia patients. Artificial Intelligence in Medicine, 58(1):23-36. | url bib | ||
| L. van der Krieke, A. Emerencia, N. Boonstra, L. Wunderink, P. de Jonge and S. Sytema (2013) A web-based tool to support shared decision-making for people with a psychotic disorder: a randomized clinical trial and process evaluation. Journal of Medical Internet Research, 15(10):e216. | url bib | ||
| F. Alsaif and A. Gauthaman (2013) The Management of Elearning at University of KKU, ABHA. International Journal of Emerging Technologies in Learning, 8(1):4–9. | bib | ||
| L. van der Krieke, L. Wunderink, A. Emerencia, P. de Jonge and S. Sytema (2013) E-health self-management in psychotic disorders: state of the art and future perspectives. Psychiatric Services, 65(1):33-49. | url bib | ||
| T. A. Nguyen, A. Raspitzu and M. Aiello (2013) Ontology-based Office Activity Recognition with Applications for Energy Savings. Journal of Ambient Intelligence and Humanized Computing. To appear. | url bib | ||
| T. A. Nguyen and M. Aiello (2013) Energy Intelligent Buildings based on User Activity: A Survey. Energy and Buildings, 56:244-257. | url bib | ||
| G. A. Pagani and M. Aiello (2013) The Power Grid as a Complex Network: a Survey. Physica A: Statistical Mechanics and its Applications, 392(1):2688-2700. | url bib | ||
| E. Kaldeli, E. U. Warriach, A. Lazovik, and M. Aiello (2013) Coordinating the Web of Services for a Smart Home. ACM Transactions on the Web, 7(2). | url bib | ||
| E. U. Warriach, E. Kaldeli, A. Lazovik and M. Aiello (2013) An Interplatform Service-Oriented Middleware for the Smart Home. International Journal of Smart Home, 7(1):115-142. | url bib | ||
| M. Aiello (2013) Aware homes. Awareness Magazine: Self-awareness in autonomic systems. | url bib | ||
| M. Aiello (2013) Foreword. In Research and Development in E-Business through Service-Oriented Solutions., IGI Global. | url bib | ||
| V. Degeler and A. Lazovik (2013) Architecture pattern for context-aware smart environments. In Creating Personal, Social and Urban Awareness through Pervasive Computing. IGI Global. | url bib | ||
| I. Georgievski, T. A. Nguyen, and M. Aiello (2013) Combining Activity Recognition and AI Planning for Energy-Saving Offices. In IEEE International Conference on Ubiquitous Intelligence and Computing,238–245. | url bib | ||
| T. A. Nguyen, V. Degeler, R. Contarino, A. Lazovik, D. Bucur, and M. Aiello (2013) Towards Context Consistency in a Rule-Based Activity Recognition Architecture. In International Symposium on Ubiquitous Intelligence and Autonomic Systems,625–630. | url bib | ||
| T. A. Nguyen, D. Bucur, M. Aiello and K. Tei (2013) Applying Time Series Analysis and Neighbourhood Voting in a Decentralised Approach for Fault Detection and Classification in WSNs. In International Symposium on Information and Communication Technology,234–241. | url bib | ||
| V. Degeler, L. I. Lopera Gonzalez, M. Leva, P. Shrubsole, S. Bonomi, O. Amft and A. Lazovik (2013) Service-Oriented Architecture for Smart Environments. In IEEE International Conference on Service Oriented Computing and Applications,99–104. | url bib | ||
| N. R. T. P. Van Beest, and D. Bucur (2013) Continuous Correctness of Business Processes against Process Interference. In IEEE International Conference on Service Oriented Computing and Applications,110–117. | url bib | ||
| V. Degeler and A. Lazovik (2013) Dynamic Constraint Reasoning in Smart Environments. In IEEE International Conference on Tools with Artificial Intelligence. To appear. | url bib | ||
| D. Bucur, G. Iacca, G. Squillero, and A. Tonda (2013) An Evolutionary Framework for Routing Protocol Analysis in Wireless Sensor Networks. In European Conference on the Applications of Evolutionary and bio-inspired Computation Volume 7835,1–11. | url bib | ||
| H. Groefsema and D. Bucur (2013) A Survey of Formal Business Process Verification: From Soundness to Variability. In International Symposium on Business Modeling and Software Design,198–203. | url bib | ||
| E. U. Warriach and C. Claudel (2013) A Machine Learning Approach for Vehicle Classification using Passive Infrared and Ultrasonic Sensors. In ACM/IEEE Conference on Information Processing in Sensor Networks,333–334. | url bib | ||
| G. A. Pagani and M. Aiello (2013) Modeling the Last Mile of the Smart Grid. In PES Innovative Smart Grid Technologies Conference. | url bib | ||
| G. A. Pagani and M. Aiello (2013) Cost and Benefits of Denser Topologies for the Smart Grid. In Computer and Information Sciences III from the 27th International Symposium on Computer and Information Sciences (ISCIS'12)73–81. | url bib | ||
| T. A. Nguyen, M. Aiello and K. Tei (2013) A Decentralized Scheme for Fault Detection and Classification in WSNs. In IEEE International Conference on Cyber-Physical Systems, Networks, and Applications (CPSNA 2013, Work in Progress session). To appear. | url bib | ||
| F. Nizamic (2013) Testing of Distributed Service-Oriented Systems. In ICSOC Volume 8377 of Lecture Notes in Computer Science. | url bib | ||
| I. Georgievski (2013) Planning for Coordination of Devices in Energy-Smart Envronments. In Doctoral Consortium of the 23rd International Conference on Automated Planning and Scheduling. | url bib | ||
| N. R. T. P. Van Beest, D. Bucur, J. C. Wortmann, and A. Lazovik (2013) An Automated Analysis Of Process Interference Verified With LTL Checking. Technical Report 2013-08-07, University of Groningen. | url bib | ||