Publications
2017
| 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 | ||
| 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 | ||
| 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 | ||
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 | ||
| H. Groefsema, N. van Beest, and M. Aiello (2016) A Formal Model for Compliance Verification of Service Compositions. IEEE Transactions on Service Computing. To appear. | 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 | ||
2012
| P. Bulanov (2012) Management and evolution of business process variants. PhD thesis. | url bib | ||
| B. Pernici, M. Aiello, J. vom Brocke, B. Donnellan, E. Gelenbe, M. Kretsis (2012) What IS can do for Environmental Sustainability. Communications of the Association for Information Systems, 30(18). | url bib | ||
| G. A. Pagani, M. Aiello (2012) Service-Orientation and the Smart Grid: State and Trend. Service Oriented Computing and Applications, 6(3):267-282. | url bib | ||
| V. Degeler and A. Lazovik (2012) Reduced Context Consistency Diagrams for Resolving Inconsistent Data. ICST Transactions on Ubiquitous Environments, 12(10-12). | url bib | ||
| I. Georgievski, V. Degeler, G. A. Pagani, T. A. Nguyen, A. Lazovik, and M. Aiello (2012) Optimizing Energy Costs for Offices Connected to the Smart Grid. IEEE Transactions on Smart Grid, 3:2273-2285. | url bib | ||
| F. Nizamic, V. Degeler, R. Groenboom, and A. Lazovik (2012) Policy-Based Scheduling of Cloud Services. Scalable Computing: Practice and Experience, 13(3):187-199. | url bib | ||
| M. Aiello, G. Bezhanishvili, I. Bloch and V. Goranko (2012) Logic for physical space. Synthese, 18(3):619-632. | url bib | ||
| L. van de Krieke, A. Emerencia, M. Aiello, S. Sytema (2012) Usability Evaluation of a Web-Based Support System for People With a Schizophrenia Diagnosis. Journal of Medical Internet Research, 14(1), Feb 2012. | url bib | ||
| M. Aiello, N. Agarwal, R. Raman, and U. Rathod (2012) Forward. Journal of System Assurance Engineering and Management, 3(2):71-72. | bib | ||
| E. U. Warriach, K. Tei and M. Aiello (2012) A Machine Learning Approach for Identifying and Classifying Faults in Wireless Sensor Networks. In 10th IEEE International Conference on Embedded and Ubiquitous Computing,618–625. | url bib | ||
| V. Degeler and A. Lazovik (2012) Cost-efficient Context-aware Rule Maintenance. In Workshop on Context Modeling and Reasoning,608–612. | url bib | ||
| T. A. Nguyen and M. Aiello (2012) Beyond Indoor Presence Monitoring with Simple Sensors. In International Conference on Pervasive and Embedded Computing and Communication Systems,5–14. | url bib | ||
| E. Warriach, K. Tei, T. A. Nguyen and M. Aiello (2012) Fault Detection in Wireless Sensor Networks: a Hybrid Approach. In ACM Conference on Information Processing in Sensor Networks (IPSN'12 POSTER Session)87–88. | url bib | ||
| G. A. Pagani and M. Aiello (2012) A Statistical Analysis of Power Grid Vulnerabilities. In Workshops of The seventh CRITIS Conference on Critical Information Infrastructures Security. | url bib | ||
| N. Capodieci, G. Cabri, G.A. Pagani and M. Aiello (2012) Adaptive Game-based Agent Negotiation in Deregulated Energy Markets. In Workshop on Adaptive Collaboration at (CTS 2012)300–307. | url bib | ||
| N. Capodieci, G. Cabri, G.A. Pagani and M. Aiello (2012) An Agent-based Application to Enable Deregulated Energy Markets. In IEEE Computer Software and Applications Conference,638–647. | url bib | ||
| M. Caruso, C. Di Ciccio, E. Iacomussi, E. Kaldeli, A. Lazovik and M. Mecella (2012) Service Ecologies for Home/Building Automation. In 10th Int. IFAC Symposium on Robot Control. | bib | ||
| N.R.T.P. van Beest, E. Kaldeli, P. Bulanov, J.C. Wortmann, and A. Lazovik (2012) Automatic Detection of Business Process Interference. In International Workshop on Knowledge-intensive Business Processes. | url bib | ||
| H. Groefsema, P. Bulanov, and M. Aiello (2012) Imperative versus Declarative Process Variability: Why Choose?. Technical Report JBI 2011-12-6, University of Groningen, December 2012. | url bib | ||
2011
| G. A. Pagani and M. Aiello (2011) Towards Decentralized Trading: A Topological Investigation of the Medium and Low Voltage Grids. IEEE Transactions on Smart Grid, 2(3):538-547. | url bib | ||
| C. Sun, E. el Khoury, M. Aiello (2011) Transaction management in Service-Oriented Systems: requirements and a proposal. IEEE Transactions on Service Computing, 2(4):167-180. | url bib | ||
| G. Frankova, M. Seguran, F. Gilcherc, S. Trabelsic, J. Dorflingerd, M. Aiello (2011) Deriving Business Processes with Service Level Agreements from Early Requirements. Journal of Systems and Software, 84(8):1351-1363. | url bib | ||
| C. Krause, Z. Maraikar, A. Lazovik and F. Arbab (2011) Modeling Dynamic Reconfigurations in Reo using High-Level Replacement Systems. Science of Computer Programming, 76(1):23-36. | url bib | ||
| L. van der Krieke, A. Emerencia and S. Sytema (2011) An Online Portal on Outcomes for Dutch Service Users. Psychiatric Services, 62(7):803. | url bib | ||
| E. Kaldeli, A. Lazovik, M. Aiello (2011) Continual Planning with Sensing for Web Service Composition. In AAAI Conference on Artificial Intelligence. | url bib | ||
| N. Capodieci, G. A. Pagani, G. Cabri, M. Aiello (2011) Smart Meter aware Domestic Energy Trading Agents. In International E-Energy Market Challenge at 8th ACM Autonomic Computing Conference. | url bib | ||
| M. Aiello, F. Aloise, R. Baldoni, F. Cincotti, G. Guger, A. Lazovik, M. Mecella, P. Pucci, J. Rinsma, G. Santucci, M. Taglieri (2011) Smart Homes to Improve the Quality of Life for All. In 33rd Annual International IEEE Engineering in Medicine and Biology Conference,1777–1780. | bib | ||
| E. U. Warriach, E. Kaldeli, J. Bresser, A. Lazovik, and M. Aiello (2011) Heterogeneous Device Discovery Framework For the Smart Homes. In IEEE GCC Conference & Exhibition,637–640. | url bib | ||
| V. Degeler, and A. Lazovik (2011) Interpretation of Inconsistencies via Context Consistency Diagrams. In Annual IEEE International Conference on Pervasive Computing and Communications,20–27. | url bib | ||
| H. Groefsema, P. Bulanov, and M. Aiello (2011) Declarative Enhancement Framework for Business Processes. In International Conference on Service-Oriented Computing,495–504. | url bib | ||
| P. Bulanov, A. Lazovik and M. Aiello (2011) Business Process Customization using Process Merging Techniques. In International Conference on Service-Oriented Computing and Applications,1–4. | url bib | ||
| H. Groefsema, P. Bulanov, and M. Aiello (2011) Business Process Variability: A Tool for Declarative Template Design. In International Conference on Service-Oriented Computing - Demo Track,241–242. | bib | ||
| A. Emerencia, L. van der Krieke, N. Petkov, and M. Aiello (2011) Assessing Schizophrenia with an Interoperable Architecture. In ACM International Conference on Information and Knowledge Management,79–82. | url bib | ||
| F. Nizamic, R. Groenboom and A. Lazovik (2011) Testing for Highly Distributed Service-oriented Systems using Virtual Environments. In Postproceedings of 17th Dutch Testing Day. | url bib | ||
| I. Georgievski, V. Degeler, G. A. Pagani, T. A. Nguyen, A. Lazovik, and M. Aiello (2011) Optimizing Offices for the Smart Grid. Technical Report JBI 2011-12-01, University of Groningen, November 2011. | url bib | ||