Marco Aiello

Enough Hot Air: The Role of Immersion Cooling (K. Haghshenas, B. Setz, Y. Blosch and M. Aiello), In Energy Informatics, 2023.
Abstract
Air cooling is the traditional solution to chill servers in data centers. However, the continuous increase in global data center energy consumption combined with the increase of the racks’ power dissipation calls for the use of more efficient alternatives. Immersion cooling is one such alternative. In this paper, we quantitatively examine and compare air cooling and immersion cooling solutions. The examined characteristics include power usage efficiency (PUE), computing and power density, cost, and maintenance overheads. A direct comparison shows a reduction of about 50% in energy consumption and a reduction of about two-thirds of the occupied space, by using immersion cooling. In addition, the higher heat capacity of used liquids in immersion cooling compared to air allows for much higher rack power densities. Moreover, immersion cooling requires less capital and operational expenditures. However, challenging maintenance procedures together with the increased number of IT failures are the main downsides. By selecting immersion cooling, cloud providers must trade-off the decrease in energy and cost and the increase in power density with its higher maintenance and reliability concerns. Finally, we argue that retrofitting an air-cooled data center with immersion cooling will result in high costs and is generally not recommended.
BibTeX

@article{haghshenas2023enough, title="Enough Hot Air: The Role of Immersion Cooling", abstract = "Air cooling is the traditional solution to chill servers in data centers. However, the continuous increase in global data center energy consumption combined with the increase of the racks’ power dissipation calls for the use of more efficient alternatives. Immersion cooling is one such alternative. In this paper, we quantitatively examine and compare air cooling and immersion cooling solutions. The examined characteristics include power usage efficiency (PUE), computing and power density, cost, and maintenance overheads. A direct comparison shows a reduction of about 50% in energy consumption and a reduction of about two-thirds of the occupied space, by using immersion cooling. In addition, the higher heat capacity of used liquids in immersion cooling compared to air allows for much higher rack power densities. Moreover, immersion cooling requires less capital and operational expenditures. However, challenging maintenance procedures together with the increased number of IT failures are the main downsides. By selecting immersion cooling, cloud providers must trade-off the decrease in energy and cost and the increase in power density with its higher maintenance and reliability concerns. Finally, we argue that retrofitting an air-cooled data center with immersion cooling will result in high costs and is generally not recommended.", author="K. Haghshenas and B. Setz and Y. Blosch and M. Aiello", year = "2023", url = "https://energyinformatics.springeropen.com/articles/10.1186/s42162-023-00269-0", language = "English", journal="Energy Informatics", }
url
Carbon Emission-Aware Job Scheduling for Kubernetes Deployments (T. Piontek, K. Haghshenas and M. Aiello), In The Journal of Supercomputing, 2023.
Abstract
Decreasing carbon emissions of data centers while guaranteeing Quality of Service (QoS) is one of the major challenges for efficient resource management of large-scale cloud infrastructures and societal sustainability. Previous works in the area of carbon reduction mostly focus on decreasing overall energy consumption, replacing energy sources with renewable ones, and migrating workloads to locations where lower emissions are expected. These measures do not consider the energy mix of the power used for the data center. In other words, all KWh of energy are considered the same from the point of view of emissions, which is rarely the case in practice. In this paper, we overcome this deficit by proposing a novel practical CO2-aware workload scheduling algorithm implemented in the Kubernetes orchestrator to shift non-critical jobs in time. The proposed algorithm predicts future CO2 emissions by using historical data of energy generation, selects time-shiftable jobs, and creates job schedules utilizing greedy sub-optimal CO2 decisions. The proposed algorithm is implemented using Kubernetes’ scheduler extender solution due to its ease of deployment with little overheads. The algorithm is evaluated with real-world workload traces and compared to the default Kubernetes scheduling implementation on several actual scenarios.
BibTeX

@article{piontek2023carbon, title="Carbon Emission-Aware Job Scheduling for Kubernetes Deployments", abstract="Decreasing carbon emissions of data centers while guaranteeing Quality of Service (QoS) is one of the major challenges for efficient resource management of large-scale cloud infrastructures and societal sustainability. Previous works in the area of carbon reduction mostly focus on decreasing overall energy consumption, replacing energy sources with renewable ones, and migrating workloads to locations where lower emissions are expected. These measures do not consider the energy mix of the power used for the data center. In other words, all KWh of energy are considered the same from the point of view of emissions, which is rarely the case in practice. In this paper, we overcome this deficit by proposing a novel practical CO2-aware workload scheduling algorithm implemented in the Kubernetes orchestrator to shift non-critical jobs in time. The proposed algorithm predicts future CO2 emissions by using historical data of energy generation, selects time-shiftable jobs, and creates job schedules utilizing greedy sub-optimal CO2 decisions. The proposed algorithm is implemented using Kubernetes’ scheduler extender solution due to its ease of deployment with little overheads. The algorithm is evaluated with real-world workload traces and compared to the default Kubernetes scheduling implementation on several actual scenarios.", author="T. Piontek and K. Haghshenas and M. Aiello", year="2023", url = "https://link.springer.com/article/10.1007/s11227-023-05506-7", language = "English", journal="The Journal of Supercomputing", }
url
Empowering Machine Learning Development with Service-Oriented Computing Principles (M. Hadadian Nejad Yousefi, V. Degeler and A. Lazovik), In Service-Oriented Computing (M. Aiello, J. Barzen, S. Dustdar, F. Leymann, eds.), Springer Nature Switzerland, 2023.
BibTeX

@InProceedings{hadadian2023summersoc, author={M. Hadadian Nejad Yousefi and V. Degeler and A. Lazovik}, editor={M. Aiello and J. Barzen and S. Dustdar and F. Leymann}, title={Empowering Machine Learning Development with Service-Oriented Computing Principles}, booktitle={Service-Oriented Computing}, year={2023}, publisher={Springer Nature Switzerland}, address={Cham}, pages={24--44}, isbn={978-3-031-45728-9} }
Optimal Joint Operation of Coupled Transportation and Power Distribution Urban Networks (K. Sadhu, K. Haghshenas, M. Rouhani and M. Aiello), In Energy Informatics, 2022.
Abstract
The number of Electric Vehicles (EVs) and consequently their penetration level into urban society is increasing which has imperatively reinforced the need for a joint stochastic operational planning of Transportation Network (TN) and Power Distribution Network (PDN). This paper solves a stochastic multi-agent simulation-based model with the objective of minimizing the total cost of interdependent TN and PDN systems. Capturing the temporally dynamic inter-dependencies between the coupled networks, an equilibrium solution results in optimized system cost. In addition, the impact of large-scale EV integration into the PDN is assessed through the mutual coupling of both networks by solving the optimization problems, i.e., optimal EV routing using traffic assignment problem and optimal power flow using branch flow model. Previous works in the area of joint operation of TN and PDN networks fall short in considering the time-varying and dynamic nature of all effective parameters in the coupled TN and PDN system. In this paper, a Dynamic User Equilibrium (DUE) network model is proposed to capture the optimal traffic distribution in TN as well as optimal power flow in PDN. A modified IEEE 30 bus system is adapted to a low voltage power network to examine the EV charging impact on the power grid. Our case study demonstrates the enhanced operation of the joint networks incorporating heterogeneous EV characteristics such as battery State of Charge (SoC), charging requests as well as PDN network’s marginal prices. The results of our simulations show how solving our defined coupled optimization problem reduces the total cost of the defined case study by 36% compared to the baseline scenario. The results also show a 45% improvement on the maximum EV penetration level with only minimal voltage deviation (less than 0.3%).
BibTeX

@article{sadhu2022:ei, title = "Optimal Joint Operation of Coupled Transportation and Power Distribution Urban Networks", abstract = "The number of Electric Vehicles (EVs) and consequently their penetration level into urban society is increasing which has imperatively reinforced the need for a joint stochastic operational planning of Transportation Network (TN) and Power Distribution Network (PDN). This paper solves a stochastic multi-agent simulation-based model with the objective of minimizing the total cost of interdependent TN and PDN systems. Capturing the temporally dynamic inter-dependencies between the coupled networks, an equilibrium solution results in optimized system cost. In addition, the impact of large-scale EV integration into the PDN is assessed through the mutual coupling of both networks by solving the optimization problems, i.e., optimal EV routing using traffic assignment problem and optimal power flow using branch flow model. Previous works in the area of joint operation of TN and PDN networks fall short in considering the time-varying and dynamic nature of all effective parameters in the coupled TN and PDN system. In this paper, a Dynamic User Equilibrium (DUE) network model is proposed to capture the optimal traffic distribution in TN as well as optimal power flow in PDN. A modified IEEE 30 bus system is adapted to a low voltage power network to examine the EV charging impact on the power grid. Our case study demonstrates the enhanced operation of the joint networks incorporating heterogeneous EV characteristics such as battery State of Charge (SoC), charging requests as well as PDN network’s marginal prices. The results of our simulations show how solving our defined coupled optimization problem reduces the total cost of the defined case study by 36% compared to the baseline scenario. The results also show a 45% improvement on the maximum EV penetration level with only minimal voltage deviation (less than 0.3%).", author = "K. Sadhu and K. Haghshenas and M. Rouhani and M. Aiello", year = "2022", % month = nov, url = "https://energyinformatics.springeropen.com/articles/10.1186/s42162-022-00249-w", language = "English", journal = "Energy Informatics", }
url
CO2 Emission Aware Scheduling for Deep Neural Network Training Workloads (K. Haghshenas, B. Setz, and M. Aiello), In 2022 IEEE International Conference on Big Data (Big Data), IEEE, 2022.
Abstract
Machine Learning (ML) training is a growing workload in high-performance computing clusters and data centers; furthermore, it is computationally intensive and requires substantial amounts of energy with associated emissions. To the best of our knowledge, previous works in the area of load management have never focused on decreasing the carbon emission of ML training workloads. In this paper, we explore the potential emission reduction achievable by leveraging the iterative nature of the training process as well as the variability of CO 2 signal intensity as coming from the power grid. To this end, we introduce two emission-aware mechanisms to shift the training jobs in time and migrate them between geographical locations. We present experimental results on power and carbon emission of the training process together with delay overheads associated with emission reduction mechanisms, for various, representative, deep neural network models. The results show that following emission signals, one can effectively reduce emissions by an amount that varies from 13% to 57% of the baseline cases. Moreover, the experimental results show that the total delay overhead for applying emission-aware mechanisms multiple times is negligible compared to the jobs’ completion time.
BibTeX

@inproceedings{haghshenas2022:bd, title = "CO2 Emission Aware Scheduling for Deep Neural Network Training Workloads", abstract = "Machine Learning (ML) training is a growing workload in high-performance computing clusters and data centers; furthermore, it is computationally intensive and requires substantial amounts of energy with associated emissions. To the best of our knowledge, previous works in the area of load management have never focused on decreasing the carbon emission of ML training workloads. In this paper, we explore the potential emission reduction achievable by leveraging the iterative nature of the training process as well as the variability of CO 2 signal intensity as coming from the power grid. To this end, we introduce two emission-aware mechanisms to shift the training jobs in time and migrate them between geographical locations. We present experimental results on power and carbon emission of the training process together with delay overheads associated with emission reduction mechanisms, for various, representative, deep neural network models. The results show that following emission signals, one can effectively reduce emissions by an amount that varies from 13% to 57% of the baseline cases. Moreover, the experimental results show that the total delay overhead for applying emission-aware mechanisms multiple times is negligible compared to the jobs’ completion time.", author = "K. Haghshenas and B. Setz, and M. Aiello", year = "2022", % month = dec, language = "English", booktitle = "2022 IEEE International Conference on Big Data (Big Data)", publisher = "IEEE", doi = "10.1109/BigData55660.2022.10020544", url = "https://ieeexplore.ieee.org/abstract/document/10020544", }
url doi
Automated Service Composition Using AI Planning and Beyond (M. Medema, E. Kaldeli and A. Lazovik), Chapter in (M. Aiello, A. Bouguettaya, D. A. Tamburri, W. J. van den Heuvel, eds.), Springer International Publishing, 2021.
BibTeX

@Inbook{medema2021:essays, author="M. Medema and E. Kaldeli and A. Lazovik", editor="M. Aiello and A. Bouguettaya and D. A. Tamburri and W. J. {van den Heuvel}", title="Automated Service Composition Using AI Planning and Beyond", bookTitle="Next-Gen Digital Services. A Retrospective and Roadmap for Service Computing of the Future: Essays Dedicated to Michael Papazoglou on the Occasion of His 65th Birthday and His Retirement", year="2021", publisher="Springer International Publishing", address="Cham", pages="16--32", isbn="978-3-030-73203-5", doi="10.1007/978-3-030-73203-5_2", url="https://doi.org/10.1007/978-3-030-73203-5_2" }
url doi
Towards Service-Oriented and Intelligent Microgrids (I. Georgievski, L. Fiorini and M. Aiello), In Proceedings of the 3rd International Conference on Applications of Intelligent Systems, Association for Computing Machinery, 2020.
BibTeX

@inproceedings{Georgievski2020:appis, author = {I. Georgievski and L. Fiorini and M. Aiello}, title = {Towards Service-Oriented and Intelligent Microgrids}, year = {2020}, isbn = {9781450376303}, publisher = {Association for Computing Machinery}, address = {New York, NY, USA}, url = {https://doi.org/10.1145/3378184.3378214}, doi = {10.1145/3378184.3378214}, booktitle = {Proceedings of the 3rd International Conference on Applications of Intelligent Systems}, articleno = {Article 18}, numpages = {6}, keywords = {demand reponse, Microgrids, services, planning}, location = {Las Palmas de Gran Canaria, Spain}, series = {APPIS 2020} }
url doi
Predictive Multi-Objective Scheduling with Dynamic Prices and Marginal CO2-Emission Intensities (L. Fiorini and M. Aiello), In ACM e-Energy 2020, 2020.
BibTeX

@inproceedings{Fiorini2020hems, author = {L. Fiorini and M. Aiello}, title = {Predictive Multi-Objective Scheduling with Dynamic Prices and Marginal CO2-Emission Intensities}, year = {2020}, location = {Melbourne, Australia}, booktitle = {ACM e-Energy 2020} }
Sustainability Choices when Cooking Pasta (L. Fiorini, L. Steg and M. Aiello), In ACM e-Energy 2020, 2020.
BibTeX

@inproceedings{Fiorini2020pasta, author = {L. Fiorini and L. Steg and M. Aiello}, title = {Sustainability Choices when Cooking Pasta}, year = {2020}, location = {Melbourne, Australia}, booktitle = {ACM e-Energy 2020} }
Variability in business processes: Automatically obtaining a generic specification (N.R.T.P. van Beest, H. Groefsema, L. Garcia-Banuelos and M. Aiello), In Information Systems, PERGAMON-ELSEVIER SCIENCE LTD, volume 80, 2019.
Abstract
The existence of different process variants is inevitable in many modern organizations. However, variability in business process support has proven to be a challenge as it requires a flexible business process specification that supports the required process variants, while at the same time being compliant with policies and regulations. Declarative approaches could support variability, by providing rules constraining process behavior and thereby allowing different variants. However, manual specification of these rules is complicated and error-prone. As such, tools are required to ensure that duplication and overlap of rules is avoided as much as possible, while retaining maintainability. In this paper, we present an approach to represent different process variants in a single compound prime event structure, and provide a method to subsequently derive variability rules from this compound prime event structure. The approach is evaluated by conducting an exploratory evaluation on different sets of real-life business process variants, including a real-life case from the Dutch eGovernment, to demonstrate the effectiveness and applicability of the approach.

Keywords: Business Process Model, Declarative Variability Modeling, Event Structure, Temporal Logic, PROCESS MODELS, CORRECTNESS
BibTeX

@article{vanbeest2019:is, title = "Variability in business processes: Automatically obtaining a generic specification", abstract = "The existence of different process variants is inevitable in many modern organizations. However, variability in business process support has proven to be a challenge as it requires a flexible business process specification that supports the required process variants, while at the same time being compliant with policies and regulations. Declarative approaches could support variability, by providing rules constraining process behavior and thereby allowing different variants. However, manual specification of these rules is complicated and error-prone. As such, tools are required to ensure that duplication and overlap of rules is avoided as much as possible, while retaining maintainability. In this paper, we present an approach to represent different process variants in a single compound prime event structure, and provide a method to subsequently derive variability rules from this compound prime event structure. The approach is evaluated by conducting an exploratory evaluation on different sets of real-life business process variants, including a real-life case from the Dutch eGovernment, to demonstrate the effectiveness and applicability of the approach.", keywords = "Business Process Model, Declarative Variability Modeling, Event Structure, Temporal Logic, PROCESS MODELS, CORRECTNESS", author = "N.R.T.P. {van Beest} and H. Groefsema and L. Garcia-Banuelos and M. Aiello", year = "2019", month = feb, doi = "10.1016/j.is.2018.09.005", url = "https://research.rug.nl/en/publications/variability-in-business-processes-automatically-obtaining-a-gener", pdf = "https://pure.rug.nl/ws/portalfiles/portal/108415791/1_s2.0_S0306437918300401_main.pdf", language = "English", volume = "80", pages = "36--55", journal = "Information Systems", issn = "0306-4379", publisher = "PERGAMON-ELSEVIER SCIENCE LTD", }
url pdf doi
Energy management for user's thermal and power needs: A survey (L. Fiorini and M. Aiello), In Energy Reports, volume 5, 2019.
BibTeX

@article{Fiorini2019:er, title = "Energy management for user's thermal and power needs: A survey", journal = "Energy Reports", volume = "5", pages = "1048 - 1076", year = "2019", issn = "2352-4847", doi = "https://doi.org/10.1016/j.egyr.2019.08.003", url = "http://www.sciencedirect.com/science/article/pii/S2352484719300927", author = "L. Fiorini and M. Aiello", }
url doi
Predictive CO2-Efficient Scheduling of Hybrid Electric and Thermal Loads (L. Fiorini and M. Aiello), In 2019 IEEE International Conference on Energy Internet (ICEI), 2019.
BibTeX

@INPROCEEDINGS{Fiorini2019:icei, author={L. Fiorini and M. Aiello}, booktitle={2019 IEEE International Conference on Energy Internet (ICEI)}, title={Predictive CO2-Efficient Scheduling of Hybrid Electric and Thermal Loads}, year={2019}, pages={392-397}, month={May} }
Office Multi-Occupancy Detection using BLE Beacons and Power Meters (A. R. Pratama, A. Lazovik and M. Aiello), In 2019 IEEE 10th Annual Ubiquitous Computing, Electronics, and Mobile Communication Conference, 2019.
BibTeX

@INPROCEEDINGS{Pratama2019:ucemcc, author={A. R. Pratama and A. Lazovik and M. Aiello}, booktitle={2019 IEEE 10th Annual Ubiquitous Computing, Electronics, and Mobile Communication Conference}, title={Office Multi-Occupancy Detection using BLE Beacons and Power Meters}, year={2019}, keywords={Context aware, Occupancy detection, Power meter, Bluetooth low energy} }
The Web Was Done by Amateurs: A Reflection on One of the Largest Collective Systems Ever Engineered (M. Aiello), Springer, 2018.
BibTeX

@book{aiello2018:web, author = {M. Aiello}, publisher = {Springer}, title = {The Web Was Done by Amateurs: A Reflection on One of the Largest Collective Systems Ever Engineered}, year = {2018}, }
A Formal Model for Compliance Verification of Service Compositions (H. Groefsema, N.R.T.P. van Beest and M. Aiello), In Ieee transactions on services computing, volume 11, 2018.
Abstract
Business processes design and execution environments increasingly need support from modular services in service compositions to offer the flexibility required by rapidly changing requirements. With each evolution, however, the service composition must continue to adhere to laws and regulations, resulting in a demand for automated compliance checking. Existing approaches, if at all, either offer only verification after the fact or linearize models to such an extent that parallel information is lost. We propose a mapping of service compositions to Kripke structures by using colored Petri nets. The resulting model allows preventative compliance verification using well-known temporal logics and model checking techniques while providing full insight into parallel executing branches and the local next invocation. Furthermore, the mapping causes limited state explosion, and allows for significant further model reduction. The approach is validated on a case study from a telecom company in Australia and evaluated with respect to performance and expressiveness. We demonstrate that the proposed mapping has increased expressiveness while being less vulnerable to state explosion than existing approaches, and show that even large service compositions can be verified preventatively with existing model checking techniques.

Keywords: Service Composition, Business process, Compliance, Verification, Temporal Logic, Colored Petri net, Kripke structure, COMPLIANCE-CHECKING, BUSINESS, SPECIFICATION, SUPPORT
BibTeX

@article{groefsema2018:tsc, title = "A Formal Model for Compliance Verification of Service Compositions", abstract = "Business processes design and execution environments increasingly need support from modular services in service compositions to offer the flexibility required by rapidly changing requirements. With each evolution, however, the service composition must continue to adhere to laws and regulations, resulting in a demand for automated compliance checking. Existing approaches, if at all, either offer only verification after the fact or linearize models to such an extent that parallel information is lost. We propose a mapping of service compositions to Kripke structures by using colored Petri nets. The resulting model allows preventative compliance verification using well-known temporal logics and model checking techniques while providing full insight into parallel executing branches and the local next invocation. Furthermore, the mapping causes limited state explosion, and allows for significant further model reduction. The approach is validated on a case study from a telecom company in Australia and evaluated with respect to performance and expressiveness. We demonstrate that the proposed mapping has increased expressiveness while being less vulnerable to state explosion than existing approaches, and show that even large service compositions can be verified preventatively with existing model checking techniques.", keywords = "Service Composition, Business process, Compliance, Verification, Temporal Logic, Colored Petri net, Kripke structure, COMPLIANCE-CHECKING, BUSINESS, SPECIFICATION, SUPPORT", author = "H. Groefsema and N.R.T.P. {van Beest} and M. Aiello", year = "2018", month = may, doi = "10.1109/TSC.2016.2579621", url = "https://research.rug.nl/en/publications/a-formal-model-for-compliance-verification-of-service-composition", pdf = "https://pure.rug.nl/ws/portalfiles/portal/95100659/07488177.pdf", language = "English", volume = "11", pages = "466--479", journal = "Ieee transactions on services computing", issn = "1939-1374", number = "3", }
url pdf doi
Multi-User Low Intrusive Occupancy Detection (A. R. Pratama, W. Widyawan, A. Lazovik and M. Aiello), In Sensors, MDPI, volume 18, 2018.
BibTeX

@Article{pratama2018:multi, AUTHOR = {A. R. Pratama and W. Widyawan and A. Lazovik and M. Aiello}, TITLE = {Multi-User Low Intrusive Occupancy Detection}, JOURNAL = {Sensors}, publisher={MDPI}, VOLUME = {18}, YEAR = {2018}, NUMBER = {3}, ARTICLE NUMBER = {796}, URL = {http://www.mdpi.com/1424-8220/18/3/796}, ISSN = {1424-8220}, DOI = {10.3390/s18030796} }
url doi
Topological Considerations on Decentralised Energy Exchange in the Smart Grid (A. Sha and M. Aiello), In Procedia Computer Science, volume 130, 2018.
BibTeX

@article{sha2018:seit, title = "Topological Considerations on Decentralised Energy Exchange in the Smart Grid", journal = "Procedia Computer Science", volume = "130", pages = "720 - 727", year = "2018", note = "The 9th International Conference on Ambient Systems, Networks and Technologies (ANT 2018) / The 8th International Conference on Sustainable Energy Information Technology (SEIT-2018) / Affiliated Workshops", issn = "1877-0509", doi = "https://doi.org/10.1016/j.procs.2018.04.126", url = "http://www.sciencedirect.com/science/article/pii/S1877050918304885", author = "A. Sha and M. Aiello", }
url doi
Topological Considerations on the Use of Batteries to Enhance the Reliability of HV-Grids (L. Fiorini, M. Aiello, D. Poli and P. Pelacchi), In Journal of Energy Storage, volume 18, 2018.
BibTeX

@article{Fiorini2018:topo, title = "Topological Considerations on the Use of Batteries to Enhance the Reliability of HV-Grids ", journal = "Journal of Energy Storage ", volume = "18", number = "", pages = "316 - 326", year = "2018", issn = "2352-152X", doi = "https://doi.org/10.1016/j.est.2018.04.025", url = "https://www.sciencedirect.com/science/article/pii/S2352152X18301440", author = "L. Fiorini and M. Aiello and D. Poli and P. Pelacchi", }
url doi
Personalized Physical Activity Coaching: A Machine Learning Approach (T. B. Dijkhuis, F. J. Blaauw, M. W. van Ittersum, H. Velthuijsen and M. Aiello), In Sensors, volume 18, 2018.
BibTeX

@Article{Dijkhuis2018:sensors, AUTHOR = {T. B. Dijkhuis and F. J. Blaauw and M. W. van Ittersum and H. Velthuijsen and M. Aiello}, TITLE = {Personalized Physical Activity Coaching: A Machine Learning Approach}, JOURNAL = {Sensors}, VOLUME = {18}, YEAR = {2018}, NUMBER = {2}, ARTICLE NUMBER = {623}, URL = {http://www.mdpi.com/1424-8220/18/2/623}, ISSN = {1424-8220}, DOI = {10.3390/s18020623} }
url doi
Robustness of reconfigurable complex systems by a multi-agent simulation: Application on power distribution systems (M. Bessani, R. R. M. Ribeiro, G. A. Pagani, M. Aiello and C. D. Maciel), In 2018 Annual IEEE International Systems Conference (SysCon), 2018.
BibTeX

@INPROCEEDINGS{Bessani2018:syscon, author={M. Bessani and R. R. M. Ribeiro and G. A. Pagani and M. Aiello and C. D. Maciel}, booktitle={2018 Annual IEEE International Systems Conference (SysCon)}, title={Robustness of reconfigurable complex systems by a multi-agent simulation: Application on power distribution systems}, year={2018}, pages={1-6}, doi={10.1109/SYSCON.2018.8369553}, month={April}, }
doi
Low-power Appliance Recognition using Recurrent Neural Networks (A. R. Pratama, F. J. Simanjuntak, A. Lazovik and M. Aiello), In Applications of Intelligent Systems, 2018.
BibTeX

@INPROCEEDINGS {pratama2018:aplrecog, TITLE = { Low-power Appliance Recognition using Recurrent Neural Networks }, AUTHOR = { A. R. Pratama and F. J. Simanjuntak and A. Lazovik and M. Aiello }, BOOKTITLE = { Applications of Intelligent Systems }, SERIES = { APPIS’18 }, YEAR = { 2018 }, NOTE = { To appear }, }
Household CO2-efficient energy management (L. Fiorini and M. Aiello), In Energy Informatics, Springer, 2018.
BibTeX

@inproceedings{Fiorini2018:EI, title = "Household CO2-efficient energy management", keywords = "CARBON EMISSIONS, OPTIMAL SCHEDULING, HYBRID APPLIANCES", author = "L. Fiorini and M. Aiello", year = "2018", language = "English", booktitle = "Energy Informatics", publisher = "Springer", }
Mining Sequential Patterns for Appliance Usage Prediction (M. Kalksma, B. Setz, A. R. Pratama, I. Georgievski and M. Aiello), In International Conference on Smart Cities and Green ICT Systems, 2018.
BibTeX

@inproceedings{kalksma2018:mining, title = {Mining Sequential Patterns for Appliance Usage Prediction}, author = {M. Kalksma and B. Setz and A. R. Pratama and I. Georgievski and M. Aiello}, booktitle = {International Conference on Smart Cities and Green ICT Systems}, series = {SMARTGREENS'18}, year = {2018}, note = {To appear}, }
two bestsellers (M. Aiello), Saccargia Holding BV Publisher, 2017.
BibTeX

@book{aiello2017:best, author = {M. Aiello}, publisher = {Saccargia Holding BV Publisher}, title = {two bestsellers}, year = {2017}, }
Planning meets activity recognition: Service coordination for intelligent buildings (I. Georgievski, T. A. Nguyen, F. Nizamic, B. Setz, A. Lazovik and M. Aiello), In Pervasive and Mobile Computing, Elsevier, volume 38, 2017.
BibTeX

@article{georgievski2017:pmc, author = {I. Georgievski and T. A. Nguyen and F. Nizamic and B. Setz and A. Lazovik and M. Aiello}, title = {Planning meets activity recognition: Service coordination for intelligent buildings}, journal = {Pervasive and Mobile Computing}, year = {2017}, month = {July}, publisher = {Elsevier}, volume={38}, number={1}, pages={110-139}, url = {https://doi.org/10.1016/j.pmcj.2017.02.008}, }
url
Sizing and Siting of Large-Scale Batteries in Transmission Grids to Optimize the Use of Renewables (L. Fiorini, G.A. Pagani, P. Pelacchi, D. Poli and M. Aiello), In IEEE Journal on Emerging and Selected Topics in Circuits and Systems, volume 7, 2017.
BibTeX

@article{fiorini2017:estcs, author={L. Fiorini and G.A. Pagani and P. Pelacchi and D. Poli and M. Aiello}, journal={IEEE Journal on Emerging and Selected Topics in Circuits and Systems}, title={{Sizing and Siting of Large-Scale Batteries in Transmission Grids to Optimize the Use of Renewables}}, year={2017}, month={Jun}, volume={7}, number={2}, pages={285-294}, url = {https://doi.org/10.1109/JETCAS.2017.2657795}, }
url
Indoor self-localization via bluetooth low energy beacons (A. R. Pratama, Widyawan, A. Lazovik and M. Aiello), In IDRBT JOURNAL OF IJBT, volume 1, 2017.
BibTeX

@article{pratama2017:ijbt, title={Indoor self-localization via bluetooth low energy beacons}, author={A. R. Pratama and Widyawan and A. Lazovik and M. Aiello}, journal={IDRBT JOURNAL OF IJBT}, year={2017}, volume={1}, number={1}, pages={1-15}, }
Metrics for Sustainable Data Centers (D. Vemula, B. Setz, G. S. VRK Rao, G. R. Gangadharan and M. Aiello), In IEEE Transactions on Sustainable Computing, 2017.
BibTeX

@article{Setz2017:sc, author = {D. Vemula and B. Setz and G. S. VRK Rao and G. R. Gangadharan and M. Aiello}, title = {Metrics for Sustainable Data Centers}, journal = {IEEE Transactions on Sustainable Computing}, year = {2017}, note = {To appear}, }
Comparison of Energy Consumption in Wi-Fi and Bluetooth Communication in a Smart Building (G. D. Putra, A. R. Pratama, A. Lazovik and M. Aiello), In IEEE Annual Computing and Communication Workshop and Conference, 2017.
BibTeX

@inproceedings{guntur2017:wirelessconsumption, title = { Comparison of Energy Consumption in Wi-Fi and Bluetooth Communication in a Smart Building }, author = { G. D. Putra and A. R. Pratama and A. Lazovik and M. Aiello }, year = { 2017 }, booktitle = { IEEE Annual Computing and Communication Workshop and Conference }, url = {https://doi.org/10.1109/CCWC.2017.7868425}, pages = {1-6}, month = {Jan}, }
url
Power-Based Device Recognition for Occupancy Detection (A. R. Pratama, Widyawan, A. Lazovik and M. Aiello), In Service-Oriented Computing - ICSOC 2017 Workshops, volume in press, 2017.
BibTeX

@INPROCEEDINGS{pratama2017:icsoc, author={A. R. Pratama and Widyawan and A. Lazovik and M. Aiello}, booktitle={Service-Oriented Computing - ICSOC 2017 Workshops}, title={Power-Based Device Recognition for Occupancy Detection}, year={2017}, volume={in press}, number={}, pages={}, keywords={}, doi={}, ISSN={}, month={Sept} }
doi
Cloud Ready Applications Composed via HTN Planning (I. Georgievski, F. Nizamic, A. Lazovik and M. Aiello), In IEEE International Conference on Service Oriented Computing and Applications, 2017.
BibTeX

@inproceedings{georgievski2017:cloudapps, title = {Cloud Ready Applications Composed via HTN Planning}, author = {I. Georgievski and F. Nizamic and A. Lazovik and M. Aiello}, booktitle = {IEEE International Conference on Service Oriented Computing and Applications}, series = {SOCA'17}, year = {2017}, note = {To appear}, }
5th IFIP WG 2.14 European Conference Service-Oriented and Cloud Computing, (M. Aiello, E. B. Johnsen, S. Dustdar, I. Georgievski, eds.), Springer, volume 9846, 2016.
BibTeX

@proceedings{aiello2016:esocc, editor = {M. Aiello and E. B. Johnsen and S. Dustdar and I. Georgievski}, title = {5th {IFIP} {WG} 2.14 European Conference Service-Oriented and Cloud Computing}, series = {Lecture Notes in Computer Science}, volume = {9846}, publisher = {Springer}, year = {2016}, url = {http://dx.doi.org/10.1007/978-3-319-44482-6}, }
url
A Novel Strategy for Optimising Decentralised Energy Exchange for Prosumers (A. Sha and M. Aiello), In Energies, MDPI, volume 9, 2016.
BibTeX

@article{sha2016:novel, author = {A. Sha and M. Aiello}, title = {A Novel Strategy for Optimising Decentralised Energy Exchange for Prosumers}, journal = {Energies}, year = {2016}, volume = {9}, number = {7}, pages = {554}, url = {http://dx.doi.org/10.3390/en9070554}, publisher = {MDPI}, }
url
Domain-Independent Planning for Services in Uncertain and Dynamic Environments (E. Kaldeli, A. Lazovik and M. Aiello), In Artificial Intelligence, Elsevier, volume 236, 2016.
BibTeX

@article{kaldeli2016:planning, author = {E. Kaldeli and A. Lazovik and M. Aiello}, title = {Domain-Independent Planning for Services in Uncertain and Dynamic Environments}, journal = {Artificial Intelligence}, year = {2016}, publisher = {Elsevier}, volume = {236}, number = {7}, pages = {30-64}, url = {http://www.sciencedirect.com/science/article/pii/S000437021630025X}, }
url
Let's get Physiqual - an intuitive and generic method to combine ssensor technology with ecological momentary assessments (F. J. Blaauw, H. M. Schenk, B. F. Jeronimus, L. van der Krieke, P. de Jonge, M. Aiello and A. C. Emerencia), In Journal of Biomedical Informatics, volume 63, 2016.
BibTeX

@article{blaauw2016:physiqual, author = {F. J. Blaauw and H. M. Schenk and B. F. Jeronimus and L. van der Krieke and P. de Jonge and M. Aiello and A. C. Emerencia}, journal = {Journal of Biomedical Informatics}, title = {{Let's get Physiqual - an intuitive and generic method to combine ssensor technology with ecological momentary assessments}}, url = {http://dx.doi.org/10.1016/j.jbi.2016.08.001}, year = {2016}, pages = {141--149}, volume = {63}, number = {}, }
url
From the grid to the smart grid, topologically (G. A. Pagani and M. Aiello), In Physica A, Elsevier, volume 449, 2016.
BibTeX

@article{pagani2016:tothesmartgrid, author = {G. A. Pagani and M. Aiello}, title = {From the grid to the smart grid, topologically}, journal = {Physica A}, year = {2016}, publisher = {Elsevier}, volume = {449}, number = {5}, pages = {160-175}, url = {https://doi.org/10.1016/j.physa.2015.12.080}, }
url
Automated planning for ubiquitous computing (I. Georgievski and M. Aiello), In ACM Comput. Surv., ACM, volume 49, 2016.
BibTeX

@article{georgievski2016:puc, author = {I. Georgievski and M. Aiello}, title = {Automated planning for ubiquitous computing}, journal = {ACM Comput. Surv.}, year = {2016}, publisher = {ACM}, volume = {49}, number = {4}, pages = {63:1--63:46}, articleno = {63}, url = {http://doi.acm.org/10.1145/3004294}, }
url
A price-based approach for voltage regulation and power loss minimization for the electrical power distribution system (M. Jafarian, J. Scherpen and M. Aiello), In 55th IEEE Conference on Decision and Control, 2016.
BibTeX

@inproceedings{jafarian2016:price, title = {A price-based approach for voltage regulation and power loss minimization for the electrical power distribution system}, author = {M. Jafarian and J. Scherpen and M. Aiello}, year = {2016}, booktitle = {55th IEEE Conference on Decision and Control}, pages = {680-685}, url = {https://doi.org/10.1109/CDC.2016.7798347}, month = {Dec}, }
url
Power Management of Personal Computers based on User Behaviour (B. Setz, F. Nizamic, A. Lazovik and M. Aiello), In International Conference on Smart Cities and Green ICT Systems, 2016.
BibTeX

@inproceedings{setz2016:power, title = {Power Management of Personal Computers based on User Behaviour}, author = {B. Setz and F. Nizamic and A. Lazovik and M. Aiello}, year = {2016}, booktitle = {International Conference on Smart Cities and Green ICT Systems}, pages = {409--416}, url = {http://dx.doi.org/10.5220/0005762604090416}, }
url
Automating vector autoregression on electronic patient diary data (A. Emerencia, L. van der Krieke, E.H. Bos, P. de Jonge, N. Petkov and M. Aiello), In IEEE Journal of Biomedical and Health Informatics, IEEE, volume 20, 2015.
BibTeX

@article{emerencia2015:autoregression, author = {A. Emerencia and L. van der Krieke and E.H. Bos and P. de Jonge and N. Petkov and M. Aiello}, title = {Automating vector autoregression on electronic patient diary data}, journal = {IEEE Journal of Biomedical and Health Informatics}, year = {2015}, publisher = {IEEE}, url = {http://dx.doi.org/10.1109/JBHI.2015.2402280}, volume = {20}, number = {2}, pages = {631-634}, }
url
Integrating Transactions into BPEL Service Compositions: An Aspect-Based Approach (C. Sun, X. Zhang, Y. Shang and M. Aiello), In ACM Transactions on the Web, ACM, volume 9, 2015.
BibTeX

@article{sun2015:transaction, author = {C. Sun and X. Zhang and Y. Shang and M. Aiello}, title = {Integrating Transactions into BPEL Service Compositions: An Aspect-Based Approach}, journal = {ACM Transactions on the Web}, publisher = {ACM}, year = {2015}, volume = {9}, number = {2}, pages = {9:1-9:31}, url = {http://dx.doi.org/10.1145/2757288}, }
url
A complex network approach for identifying vulnerabilities of the medium and low voltage grid (G. A. Pagani and M. Aiello), In International Journal of Critical Infrastructures, Inderscience, volume 11, 2015.
BibTeX

@article{pagani2015:vulnerabilities, author = {G. A. Pagani and M. Aiello}, title = {A complex network approach for identifying vulnerabilities of the medium and low voltage grid}, journal = {International Journal of Critical Infrastructures}, year = {2015}, volume = {11}, number = {1}, pages = {36-61}, publisher = {Inderscience}, url = {http://www.cs.rug.nl/ds/uploads/pubs/pagani_IJCIS110104.pdf}, }
url
HTN planning: Overview, comparison, and beyond (I. Georgievski and M. Aiello), In Artificial Intelligence, Elsevier, volume 222, 2015.
BibTeX

@article{georgievski2015:htn, author = {I. Georgievski and M. Aiello}, title = {HTN planning: Overview, comparison, and beyond}, journal = {Artificial Intelligence}, year = {2015}, publisher = {Elsevier}, volume = {222}, number = {0}, url = {http://dx.doi.org/10.1016/j.artint.2015.02.002}, pages = {124-156}, }
url
A Self-healing Framework for Online Sensor Data (T. A. Nguyen, M. Aiello, T. Yonezawa and K. Tei), In International Workshop on Self-Aware Internet of Things, 2015.
BibTeX

@inproceedings{nguyen2015:selfhealing, title = {A Self-healing Framework for Online Sensor Data}, author = {T. A. Nguyen and M. Aiello and T. Yonezawa and K. Tei}, year = {2015}, booktitle = {International Workshop on Self-Aware Internet of Things}, pages = {295--300}, url = {http://dx.doi.org/10.1109/ICAC.2015.61}, }
url
Bringing adaptiveness & resilience to e-health (M. Aiello, A. Emerencia and H. Sol), Chapter in (N. Suri, G. Cabri, eds.), Auerbach Publication, CRC Press (Taylor + Francis Group), 2014.
BibTeX

@inbook{aiello2014:ehealth, title = {Bringing adaptiveness \& resilience to e-health}, publisher = {Auerbach Publication, CRC Press (Taylor + Francis Group)}, author = {M. Aiello and A. Emerencia and H. Sol}, year = {2014}, editor = {N. Suri and G. Cabri}, edition = {June 23, 2014}, booktitle = {Adaptive, Dynamic and Resilient Systems}, }
Leefplezier: Personalized Well-being (F. Blaauw, L. van der Krieke, P. de Jonge and M. Aiello), In IEEE Intelligent Informatics Bulletin, volume 15, 2014.
BibTeX

@article{blaauw2014:leefplezier, title = {Leefplezier: Personalized Well-being}, author = {F. Blaauw and L. van der Krieke and P. de Jonge and M. Aiello}, journal = {IEEE Intelligent Informatics Bulletin}, year = {2014}, volume = {15}, number = {1}, pages = {28--29}, url = {http://www.comp.hkbu.edu.hk/~iib/2014/Dec/paper4/iib_vol15no1_paper4.pdf}, note = {Extended abstract}, }
url
Generating Realistic Dynamic Prices and Services for the Smart Grid (G. A. Pagani and M. Aiello), In IEEE Systems Journal, volume 9, 2014.
BibTeX

@article{pagani2014:prices, author = {G. A. Pagani and M. Aiello}, title = {Generating Realistic Dynamic Prices and Services for the Smart Grid}, journal = {IEEE Systems Journal}, year = {2014}, volume = {9}, number = {1}, pages = {191--198}, }
Power Grid Complex Network Evolutions for the Smart Grid (G. A. Pagani and M. Aiello), In Physica A: Statistical Mechanics and its Applications, volume 396, 2014.
BibTeX

@article{pagani2014:evolutions, author = {G. A. Pagani and M. Aiello}, title = {Power Grid Complex Network Evolutions for the Smart Grid}, journal = {Physica A: Statistical Mechanics and its Applications}, year = {2014}, pages = {248--266}, volume = {396}, number = {2}, url = {http://dx.doi.org/10.1016/j.physa.2013.11.022}, }
url
Self-healing protocols for infrastructural networks (A. Scala, W. Quattrociocchi, G.A. Pagani and M. Aiello), In International Conference on Critical Information Infrastructures Security, 2014.
BibTeX

@inproceedings{scala2014:protocols, title = {Self-healing protocols for infrastructural networks}, author = {A. Scala and W. Quattrociocchi and G.A. Pagani and M. Aiello}, year = {2014}, booktitle = {International Conference on Critical Information Infrastructures Security}, }
HowNutsAreTheDutch: Personalized feedback on a national scale (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), In AAAI Fall Symposium on Expanding the Boundaries of Health Informatics Using AI, 2014.
BibTeX

@inproceedings{blaauw2014:feedback, author = {F. J. Blaauw and J. A. J. Van der Krieke and E. H. Bos and A. C. Emerencia and B. F. Jeronimus and H. M. Schenk and S. De Vos and K. J. Wardenaar and R. B. K. Wanders and J. T. W. Wigman and M. Aiello and P. De Jonge}, title = {HowNutsAreTheDutch: Personalized feedback on a national scale}, booktitle = {AAAI Fall Symposium on Expanding the Boundaries of Health Informatics Using AI}, series = {HIAI'14}, year = {2014}, pages = {6--10}, url = {http://www.aaai.org/ocs/index.php/FSS/FSS14/paper/download/9189/9109}, }
url
Leefplezier: Personalized well-being (F. J. Blaauw, J. A. J. Van der Krieke, M. Aiello and P. De Jonge), In Doctoral Consortium of the IEEE International Conference on Healthcare Informatics, 2014.
BibTeX

@inproceedings{blaauw2014:wellbeing, author = {F. J. Blaauw and J. A. J. Van der Krieke and M. Aiello and P. De Jonge}, title = {Leefplezier: Personalized well-being}, booktitle = {Doctoral Consortium of the IEEE International Conference on Healthcare Informatics}, series = {ICHI 2014}, year = {2014}, }
Gamification in a Consulting Company (F. J. Blaauw, L. Bazylevska and M. Aiello), In 7th GI Workshop on Autonomous Systems, 2014.
BibTeX

@inproceedings{blaauw2014:gamification, author = {F. J. Blaauw and L. Bazylevska and M. Aiello}, title = {Gamification in a Consulting Company}, booktitle = {7th GI Workshop on Autonomous Systems}, year = {2014}, pages = {128--139}, }
GreenMind - An Architecture and Realization for Energy Smart Buildings (F. Nizamic, T. A. Nguyen, A. Lazovik and M. Aiello), In International Conference on ICT for Sustainability, 2014.
BibTeX

@inproceedings{nizamic2014:ict4s, author = {F. Nizamic and T. A. Nguyen and A. Lazovik and M. Aiello}, title = {GreenMind - An Architecture and Realization for Energy Smart Buildings}, booktitle = {International Conference on ICT for Sustainability}, year = {2014}, pages = {20--29}, url = {http://dx.doi.org/10.2991/ict4s-14.2014.3}, }
url
The Smart Grid's Data Generating Potentials (M. Aiello and G. A. Pagani), In Federated Conference on Computer Science and Information Systems, 2014.
BibTeX

@inproceedings{aiello2014:potentials, title = {The Smart Grid's Data Generating Potentials}, author = {M. Aiello and G. A. Pagani}, year = {2014}, booktitle = {Federated Conference on Computer Science and Information Systems}, url = {http://www.cs.rug.nl/~aiellom/publications/fedcsisKeynote.pdf}, }
url
Foreword (M. Aiello), Chapter in , IGI Global, 2013.
BibTeX

@inbook{aiello2013:foreword, author = {M. Aiello}, title = {Foreword}, booktitle = {Research and Development in E-Business through Service-Oriented Solutions}, year = {2013}, publisher = {IGI Global}, url = {http://www.igi-global.com/pdf.aspx?tid=96294&ptid=74384&ctid=15&t=foreword}, }
url
Generating personalized advice for schizophrenia patients (A. Emerencia, L. van der Krieke, S. Sytema, N. Petkov and M. Aiello), In Artificial Intelligence in Medicine, volume 58, 2013.
BibTeX

@article{emerencia2013:advice, title = {Generating personalized advice for schizophrenia patients}, journal = {Artificial Intelligence in Medicine}, year = {2013}, author = {A. Emerencia and L. van der Krieke and S. Sytema and N. Petkov and M. Aiello}, pages={23-36}, volume={58}, number={1}, url = {http://www.sciencedirect.com/science/article/pii/S0933365713000043}, }
url
Coordinating the Web of Services for a Smart Home (E. Kaldeli, E. U. Warriach, A. Lazovik and M. Aiello), In ACM Transactions on the Web, volume 7, 2013.
BibTeX

@article{kaldeli2013:coordinating, author = {E. Kaldeli and E. U. Warriach and A. Lazovik and M. Aiello}, title = {Coordinating the Web of Services for a Smart Home}, journal = {ACM Transactions on the Web}, year = {2013}, volume = {7}, number = {2}, articleno = {10}, url = {http://dl.acm.org/citation.cfm?id=2460389}, }
url
An Interplatform Service-Oriented Middleware for the Smart Home (E. U. Warriach, E. Kaldeli, A. Lazovik and M. Aiello), In International Journal of Smart Home, volume 7, 2013.
BibTeX

@article{warriach2013:interplaform, title = {An Interplatform Service-Oriented Middleware for the Smart Home}, journal = {International Journal of Smart Home}, year = {2013}, author = {E. U. Warriach and E. Kaldeli and A. Lazovik and M. Aiello}, pages={115-142}, volume={7}, number={1}, url = {http://www.sersc.org/journals/IJSH/vol7_no1_2013/11.pdf}, }
url
The Power Grid as a Complex Network: a Survey (G. A. Pagani and M. Aiello), In Physica A: Statistical Mechanics and its Applications, volume 392, 2013.
BibTeX

@article{pagani2013:survey, author = {G. A. Pagani and M. Aiello}, title = {The Power Grid as a Complex Network: a Survey}, journal = {Physica A: Statistical Mechanics and its Applications}, year = {2013}, volume = {392}, number = {1}, pages = {2688-2700}, url = {http://www.sciencedirect.com/science/article/pii/S0378437113000575}, }
url
Aware homes (M. Aiello), In Awareness Magazine: Self-awareness in autonomic systems, 2013.
BibTeX

@article{aiello2013:awarehomes, title = {Aware homes}, journal = {Awareness Magazine: Self-awareness in autonomic systems}, year = {2013}, author = {M. Aiello}, url = {http://www.awareness-mag.eu/pdf/005166/005166.pdf}, }
url
Energy Intelligent Buildings based on User Activity: A Survey (T. A. Nguyen and M. Aiello), In Energy and Buildings, volume 56, 2013.
BibTeX

@article{nguyen2013:survey, title = {Energy Intelligent Buildings based on User Activity: A Survey}, journal = {Energy and Buildings}, year = {2013}, author = {T. A. Nguyen and M. Aiello}, url = {http://dx.doi.org/10.1016/j.enbuild.2012.09.005}, pages={244-257}, volume={56}, number={0}, }
url
Ontology-based Office Activity Recognition with Applications for Energy Savings (T. A. Nguyen, A. Raspitzu and M. Aiello), In Journal of Ambient Intelligence and Humanized Computing, 2013.
BibTeX

@article{nguyen2013:aihc, title = {Ontology-based Office Activity Recognition with Applications for Energy Savings}, author = {T. A. Nguyen and A. Raspitzu and M. Aiello}, journal = {Journal of Ambient Intelligence and Humanized Computing}, year = {2013}, note = {To appear}, url = {http://link.springer.com/article/10.1007%2Fs12652-013-0206-7}, }
url
Modeling the Last Mile of the Smart Grid (G. A. Pagani and M. Aiello), In PES Innovative Smart Grid Technologies Conference, 2013.
BibTeX

@inproceedings{pagani2013:isgt, author = {G. A. Pagani and M. Aiello}, title = {Modeling the Last Mile of the Smart Grid}, booktitle = {PES Innovative Smart Grid Technologies Conference}, year = {2013}, url = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6497816&tag=1}, series = {ISGT’13}, }
url
Cost and Benefits of Denser Topologies for the Smart Grid (G. A. Pagani and M. Aiello), In Computer and Information Sciences III from the 27th International Symposium on Computer and Information Sciences (ISCIS'12), 2013.
BibTeX

@inproceedings{pagani2012:iscis, author = {G. A. Pagani and M. Aiello}, title = {Cost and Benefits of Denser Topologies for the Smart Grid}, booktitle = {Computer and Information Sciences III from the 27th International Symposium on Computer and Information Sciences (ISCIS'12)}, year = {2013}, pages = {73--81}, url = {http://rd.springer.com/chapter/10.1007/978-1-4471-4594-3_8#}, }
url
Combining Activity Recognition and AI Planning for Energy-Saving Offices (I. Georgievski, T. A. Nguyen and M. Aiello), In IEEE International Conference on Ubiquitous Intelligence and Computing, 2013.
BibTeX

@inproceedings{georgievski2013:arhtn, author = {I. Georgievski and T. A. Nguyen and M. Aiello}, title = {Combining Activity Recognition and AI Planning for Energy-Saving Offices}, booktitle = {IEEE International Conference on Ubiquitous Intelligence and Computing}, year = {2013}, pages = {238--245}, url = {http://dx.doi.org/10.1109/UIC-ATC.2013.106}, }
url
Applying Time Series Analysis and Neighbourhood Voting in a Decentralised Approach for Fault Detection and Classification in WSNs (T. A. Nguyen, D. Bucur, M. Aiello and K. Tei), In International Symposium on Information and Communication Technology, 2013.
BibTeX

@inproceedings{nguyen2013:soict, title = {Applying Time Series Analysis and Neighbourhood Voting in a Decentralised Approach for Fault Detection and Classification in WSNs}, author = {T. A. Nguyen and D. Bucur and M. Aiello and K. Tei}, booktitle = {International Symposium on Information and Communication Technology}, year = {2013}, url = {http://dl.acm.org/citation.cfm?id=2542080}, pages = {234--241}, }
url
A Decentralized Scheme for Fault Detection and Classification in WSNs (T. A. Nguyen, M. Aiello and K. Tei), In IEEE International Conference on Cyber-Physical Systems, Networks, and Applications (CPSNA 2013, Work in Progress session), 2013.
BibTeX

@inproceedings{nguyen2013:cpsna, title = {A Decentralized Scheme for Fault Detection and Classification in WSNs}, author = {T. A. Nguyen and M. Aiello and K. Tei}, booktitle = {IEEE International Conference on Cyber-Physical Systems, Networks, and Applications (CPSNA 2013, Work in Progress session)}, year = {2013}, note = {To appear}, url = {http://www.cs.rug.nl/ds/uploads/pubs/tanguyen2013_cpsna.pdf}, }
url
Towards Context Consistency in a Rule-Based Activity Recognition Architecture (T. A. Nguyen, V. Degeler, R. Contarino, A. Lazovik, D. Bucur and M. Aiello), In International Symposium on Ubiquitous Intelligence and Autonomic Systems, 2013.
BibTeX

@inproceedings{nguyen2013:consistency, author = {T. A. Nguyen and V. Degeler and R. Contarino and A. Lazovik and D. Bucur and M. Aiello}, title = {Towards Context Consistency in a Rule-Based Activity Recognition Architecture}, booktitle = {International Symposium on Ubiquitous Intelligence and Autonomic Systems}, year = {2013}, url = {http://dx.doi.org/10.1109/UIC-ATC.2013.97}, pages = {625--630}, }
url
Usability Evaluation of a Web-Based Support System for People With a Schizophrenia Diagnosis (L. van de Krieke, A. Emerencia, M. Aiello and S. Sytema), In Journal of Medical Internet Research, volume 14, 2012.
BibTeX

@article{emerencia2012:jmir, author = {L. van de Krieke and A. Emerencia and M. Aiello and S. Sytema}, title = {Usability Evaluation of a Web-Based Support System for People With a Schizophrenia Diagnosis}, journal = {Journal of Medical Internet Research}, year = {2012}, volume = {14}, number = {1}, month = {Feb}, url = {http://www.ncbi.nlm.nih.gov/pubmed/22311883}, }
url
What IS can do for Environmental Sustainability (B. Pernici, M. Aiello, J. vom Brocke, B. Donnellan, E. Gelenbe and M. Kretsis), In Communications of the Association for Information Systems, volume 30, 2012.
BibTeX

@article{aielo2012:cais, author = {B. Pernici and M. Aiello and J. vom Brocke and B. Donnellan and E. Gelenbe and M. Kretsis}, title = {What IS can do for Environmental Sustainability}, journal = {Communications of the Association for Information Systems}, year = {2012}, volume = {30}, number = {18}, url = {http://eprints.nuim.ie/3021/1/CAiSE_Panel_Green_IS-Dec13.pdf}, }
url
Service-Orientation and the Smart Grid: State and Trend (G. A. Pagani and M. Aiello), In Service Oriented Computing and Applications, volume 6, 2012.
BibTeX

@article{pagani2012:soca, author = {G. A. Pagani and M. Aiello}, title = {Service-Orientation and the Smart Grid: State and Trend}, journal = {Service Oriented Computing and Applications}, year = {2012}, pages = {267-282}, volume = {6}, number = {3}, url = {http://www.springerlink.com/content/44q14653u6325748/?MUD=MP}, }
url
Optimizing Energy Costs for Offices Connected to the Smart Grid (I. Georgievski, V. Degeler, G. A. Pagani, T. A. Nguyen, A. Lazovik and M. Aiello), In IEEE Transactions on Smart Grid, volume 3, 2012.
BibTeX

@article{georgievski2012:tsmieee, author = {I. Georgievski and V. Degeler and G. A. Pagani and T. A. Nguyen and A. Lazovik and M. Aiello}, title = {Optimizing Energy Costs for Offices Connected to the Smart Grid}, journal = {IEEE Transactions on Smart Grid}, year = {2012}, volume = {3}, issue = {4}, pages = {2273-2285}, url = {http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6377248}, }
url
Logic for physical space (M. Aiello, G. Bezhanishvili, I. Bloch and V. Goranko), In Synthese, volume 18, 2012.
BibTeX

@article{aiello2012:syn, author = {M. Aiello and G. Bezhanishvili and I. Bloch and V. Goranko}, title = { Logic for physical space}, journal = {Synthese}, year = {2012}, volume = {18}, number = {3}, pages = {619-632}, url = {http://www.springerlink.com/content/w633k7l745k12p62/fulltext.pdf}, }
url
Forward (M. Aiello, N. Agarwal, R. Raman and U. Rathod), In Journal of System Assurance Engineering and Management, volume 3, 2012.
BibTeX

@article{aiello2012:spri, author = {M. Aiello and N. Agarwal and R. Raman and U. Rathod}, title = {Forward}, journal = {Journal of System Assurance Engineering and Management}, year = {2012}, volume = {3}, number = {2}, pages = {71-72}, }
Business Process Variability: A Tool for Declarative Template Design (P. Bulanov, H. Groefsema and M. Aiello), In Service-Oriented Computing, Springer, volume 7221, 2012.
Abstract
To lower both implementation time and cost, many Business Process Management tools use process templates to implement highly recurring processes. However, in order for such templates to be used, a process has to adhere substantially to the template. Therefore, current practice for processes which deviate more than marginally is to either manually implement them at high costs, or for the business to inflexibly comply to the template. In this paper, we describe a tool which demonstrates a variability based solution to process template definition.
BibTeX

@inproceedings{bulanov2012:icsoc, title = "Business Process Variability: A Tool for Declarative Template Design", abstract = "To lower both implementation time and cost, many Business Process Management tools use process templates to implement highly recurring processes. However, in order for such templates to be used, a process has to adhere substantially to the template. Therefore, current practice for processes which deviate more than marginally is to either manually implement them at high costs, or for the business to inflexibly comply to the template. In this paper, we describe a tool which demonstrates a variability based solution to process template definition. ", author = "P. Bulanov and H. Groefsema and M. Aiello", note = "Rights: Springer-Verlag; 9th International Conference on Service-Oriented Computing (ICSOC) ; Conference date: 05-12-2011 Through 08-12-2011", year = "2012", month = dec, doi = "10.1007/978-3-642-31875-7_30", url = "https://research.rug.nl/en/publications/business-process-variability-a-tool-for-declarative-template-desi", pdf = "https://link.springer.com/content/pdf/10.1007/978-3-642-31875-7_30.pdf", language = "English", isbn = "978-3-642-31874-0", volume = "7221", pages = "241–242", booktitle = "Service-Oriented Computing", publisher = "Springer", }
url pdf doi
A Machine Learning Approach for Identifying and Classifying Faults in Wireless Sensor Networks (E. U. Warriach, K. Tei and M. Aiello), In 10th IEEE International Conference on Embedded and Ubiquitous Computing, 2012.
BibTeX

@inproceedings{warriach2012:iceuc, author = {E. U. Warriach and K. Tei and M. Aiello}, title = {A Machine Learning Approach for Identifying and Classifying Faults in Wireless Sensor Networks}, booktitle = {10th IEEE International Conference on Embedded and Ubiquitous Computing}, url = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6417349&tag=1}, year = {2012}, pages = {618--625}, }
url
Fault Detection in Wireless Sensor Networks: a Hybrid Approach (E. Warriach, K. Tei, T. A. Nguyen and M. Aiello), In ACM Conference on Information Processing in Sensor Networks (IPSN'12 POSTER Session), 2012.
BibTeX

@inproceedings{warriach2012:hybrid, title = {Fault Detection in Wireless Sensor Networks: a Hybrid Approach}, author = {E. Warriach and K. Tei and T. A. Nguyen and M. Aiello}, booktitle = {ACM Conference on Information Processing in Sensor Networks (IPSN'12 POSTER Session)}, year = {2012}, pages = {87--88}, url = {http://delivery.acm.org/10.1145/2190000/2185690/p87-warriach.pdf?ip=129.125.51.228&acc=ACTIVE%20SERVICE&CFID=150333880&CFTOKEN=70024016&__acm__=1355827043_2be2cb41c07e51f098a6e64f12e349fe}, }
url
A Statistical Analysis of Power Grid Vulnerabilities (G. A. Pagani and M. Aiello), In Workshops of The seventh CRITIS Conference on Critical Information Infrastructures Security, 2012.
BibTeX

@inproceedings{pagani2012:critis, author = {G. A. Pagani and M. Aiello}, title = {A Statistical Analysis of Power Grid Vulnerabilities}, booktitle = {Workshops of The seventh CRITIS Conference on Critical Information Infrastructures Security}, year = {2012}, url = {https://areeweb.polito.it/ricerca/SESAME/images/stories/pub_doc/critis/pagani.pdf}, }
url
An Agent-based Application to Enable Deregulated Energy Markets (N. Capodieci, G. Cabri, G.A. Pagani and M. Aiello), In IEEE Computer Software and Applications Conference, 2012.
BibTeX

@inproceedings{capodieci2012:cts, author = {N. Capodieci and G. Cabri and G.A. Pagani and M. Aiello}, title = {An Agent-based Application to Enable Deregulated Energy Markets}, booktitle = {IEEE Computer Software and Applications Conference}, year = {2012}, pages = {638--647}, url = {http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6340222}, }
url
Adaptive Game-based Agent Negotiation in Deregulated Energy Markets (N. Capodieci, G. Cabri, G.A. Pagani and M. Aiello), In Workshop on Adaptive Collaboration at (CTS 2012), 2012.
BibTeX

@inproceedings{capodieci2012:ctsw, author = {N. Capodieci and G. Cabri and G.A. Pagani and M. Aiello}, title = {Adaptive Game-based Agent Negotiation in Deregulated Energy Markets}, booktitle = {Workshop on Adaptive Collaboration at (CTS 2012)}, year = {2012}, pages = {300--307}, url = {http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6261067}, }
url
Beyond Indoor Presence Monitoring with Simple Sensors (T. A. Nguyen and M. Aiello), In International Conference on Pervasive and Embedded Computing and Communication Systems, 2012.
BibTeX

@inproceedings{nguyen2012:icpeccs, title = {Beyond Indoor Presence Monitoring with Simple Sensors}, author = {T. A. Nguyen and M. Aiello}, booktitle = {International Conference on Pervasive and Embedded Computing and Communication Systems}, pages = {5--14}, year = {2012}, url = {http://www.cs.rug.nl/ds/uploads/pubs/nguyen2012PECCS.pdf}, }
url
Transaction management in Service-Oriented Systems: requirements and a proposal (C. Sun, E. el Khoury and M. Aiello), In IEEE Transactions on Service Computing, volume 2, 2011.
BibTeX

@article{sun2009:ieee, title = {Transaction management in Service-Oriented Systems: requirements and a proposal}, author = {C. Sun and E. el Khoury and M. Aiello}, journal = {IEEE Transactions on Service Computing}, number = {4}, volume = {2}, year = {2011}, pages = {167-180}, url = {http://www.cs.rug.nl/~aiellom/publications/TSC_Trans10.pdf}, }
url
Towards Decentralized Trading: A Topological Investigation of the Medium and Low Voltage Grids (G. A. Pagani and M. Aiello), In IEEE Transactions on Smart Grid, volume 2, 2011.
BibTeX

@article{pagani2011:apieee, title = {Towards Decentralized Trading: A Topological Investigation of the Medium and Low Voltage Grids}, author = {G. A. Pagani and M. Aiello}, journal = {IEEE Transactions on Smart Grid}, number = {3}, volume = {2}, year = {2011}, pages = {538-547}, url = {http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=5783965}, }
url
Deriving Business Processes with Service Level Agreements from Early Requirements (G. Frankova, M. Seguran, F. Gilcherc, S. Trabelsic, J. Dorflingerd and M. Aiello), In Journal of Systems and Software, volume 84, 2011.
BibTeX

@article{frankova2011:bp, author = {G. Frankova and M. Seguran and F. Gilcherc and S. Trabelsic and J. Dorflingerd and M. Aiello}, journal = {Journal of Systems and Software}, number = {8}, pages = {1351-1363}, title = {Deriving Business Processes with Service Level Agreements from Early Requirements}, volume = {84}, year = {2011}, url = {http://iwi.eldoc.ub.rug.nl/FILES/root/2011/JSystSoftwFrankova/2011JSystSoftwFrankova.pdf}, }
url
Declarative Enhancement Framework for Business Processes (H. Groefsema, P. Bulanov and M. Aiello), In Service-Oriented Computing (G. Kappel, Z. Maamar, H.R. Motahari Nezhad, eds.), Springer, volume 7084, 2011.
Abstract
While Business Process Management (BPM) was designed to support rigid production processes, nowadays it is also at the core of more flexible business applications and has established itself firmly in the service world. Such a shift calls for new techniques. In this paper, we introduce a variability framework for BPM which utilizes temporal logic formalisms to represent the essence of a process, leaving other choices open for later customization or adaption. The goal is to solve two major issues of BPM: enhancing reusability and flexibility. Furthermore, by enriching the process modelling environment with graphical elements, the complications of temporal logic are hidden from the user.

Keywords: BPM, Variability, Temporal Logic, e-Government
BibTeX

@inproceedings{groefsema2011:icsoc, title = "Declarative Enhancement Framework for Business Processes", abstract = "While Business Process Management (BPM) was designed to support rigid production processes, nowadays it is also at the core of more flexible business applications and has established itself firmly in the service world. Such a shift calls for new techniques. In this paper, we introduce a variability framework for BPM which utilizes temporal logic formalisms to represent the essence of a process, leaving other choices open for later customization or adaption. The goal is to solve two major issues of BPM: enhancing reusability and flexibility. Furthermore, by enriching the process modelling environment with graphical elements, the complications of temporal logic are hidden from the user.", keywords = "BPM, Variability, Temporal Logic, e-Government", author = "H. Groefsema and P. Bulanov and M. Aiello", note = "Rights: Springer; 9th International Conference on Service-Oriented Computing (ICSOC) ; Conference date: 05-12-2011 Through 08-12-2011", year = "2011", month = dec, doi = "10.1007/978-3-642-25535-9_34", url = "https://research.rug.nl/en/publications/declarative-enhancement-framework-for-business-processes", pdf = "https://link.springer.com/content/pdf/10.1007/978-3-642-25535-9_34.pdf", language = "English", isbn = "978-3-642-25534-2", volume = "7084", series = "Lecture Notes in Computer Science", publisher = "Springer", pages = "495--504", editor = "G. Kappel and Z. Maamar and H.R. {Motahari Nezhad}", booktitle = "Service-Oriented Computing", }
url pdf doi
Assessing Schizophrenia with an Interoperable Architecture (A. Emerencia, L. van der Krieke, N. Petkov and M. Aiello), In ACM International Conference on Information and Knowledge Management, 2011.
BibTeX

@inproceedings{emerencia2011:arch, title = {Assessing Schizophrenia with an Interoperable Architecture}, author = {A. Emerencia and L. van der Krieke and N. Petkov and M. Aiello}, booktitle = {ACM International Conference on Information and Knowledge Management}, year = {2011}, url = {http://www.cs.rug.nl/~ando/pdfs/mixhs1112s-emerencia.pdf}, pages = {79--82}, }
url
Continual Planning with Sensing for Web Service Composition (E. Kaldeli, A. Lazovik and M. Aiello), In AAAI Conference on Artificial Intelligence, 2011.
BibTeX

@inproceedings{kaldeli2011:cpa, title={Continual Planning with Sensing for Web Service Composition}, author = {E. Kaldeli and A. Lazovik and M. Aiello}, booktitle={AAAI Conference on Artificial Intelligence}, year = {2011}, url = {http://www.aaai.org/ocs/index.php/AAAI/AAAI11/paper/view/3493/4059}, }
url
Heterogeneous Device Discovery Framework For the Smart Homes (E. U. Warriach, E. Kaldeli, J. Bresser, A. Lazovik and M. Aiello), In IEEE GCC Conference & Exhibition, 2011.
BibTeX

@inproceedings{warriach2011:heterogeneous, author = {E. U. Warriach and E. Kaldeli and J. Bresser and A. Lazovik and M. Aiello}, title = {Heterogeneous Device Discovery Framework For the Smart Homes}, booktitle = {IEEE GCC Conference \& Exhibition}, year = {2011}, url = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5752621}, pages = {637--640}, }
url
Smart Homes to Improve the Quality of Life for All (M. Aiello, F. Aloise, R. Baldoni, F. Cincotti, G. Guger, A. Lazovik, M. Mecella, P. Pucci, J. Rinsma, G. Santucci and M. Taglieri), In 33rd Annual International IEEE Engineering in Medicine and Biology Conference, 2011.
BibTeX

@inproceedings{aiello2011:sh, title = {Smart Homes to Improve the Quality of Life for All}, author = {M. Aiello and F. Aloise and R. Baldoni and F. Cincotti and G. Guger and A. Lazovik and M. Mecella and P. Pucci and J. Rinsma and G. Santucci and M. Taglieri}, booktitle = {33rd Annual International IEEE Engineering in Medicine and Biology Conference}, year = {2011}, pages = {1777--1780}, }
Smart Meter aware Domestic Energy Trading Agents (N. Capodieci, G. A. Pagani, G. Cabri and M. Aiello), In International E-Energy Market Challenge at 8th ACM Autonomic Computing Conference, 2011.
BibTeX

@inproceedings{capodieci2011:smd, title = {Smart Meter aware Domestic Energy Trading Agents}, author = {N. Capodieci and G. A. Pagani and G. Cabri and M. Aiello}, booktitle = {International E-Energy Market Challenge at 8th ACM Autonomic Computing Conference}, year = {2011}, url = {http://www.cs.rug.nl/~aiellom/publications/icac11.pdf}, }
url
Business Process Customization using Process Merging Techniques (P. Bulanov, A. Lazovik and M. Aiello), In International Conference on Service-Oriented Computing and Applications, 2011.
BibTeX

@inproceedings{bulanov2011:soca, author = {P. Bulanov and A. Lazovik and M. Aiello}, title = {Business Process Customization using Process Merging Techniques}, booktitle = {International Conference on Service-Oriented Computing and Applications}, year = {2011}, pages = {1--4}, url = {http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6166255}, }
url
Optimizing Offices for the Smart Grid (I. Georgievski, V. Degeler, G. A. Pagani, T. A. Nguyen, A. Lazovik and M. Aiello), Technical report JBI 2011-12-01, University of Groningen, 2011.
BibTeX

@techreport{georgievski2011:rugopt, author = {I. Georgievski and V. Degeler and G. A. Pagani and T. A. Nguyen and A. Lazovik and M. Aiello}, title = {Optimizing Offices for the Smart Grid}, institution = {University of Groningen}, year = {2011}, number = {JBI 2011-12-01}, url = {http://www.cs.rug.nl/~georgievski/pubs/opthect.pdf}, type = {Technical Report}, month = {nov}, }
url
Modelling and Managing the Variability of Web Service-based Systems (C. Sun, R. Rossing, M. Sinnema, P. Bulanov and M. Aiello), In Journal of Systems and Software, volume 83, 2010.
BibTeX

@article{sun2010:joss, author = {C. Sun and R. Rossing and M. Sinnema and P. Bulanov and M. Aiello}, journal = {Journal of Systems and Software}, number = {3}, pages = {502-516}, title = {Modelling and Managing the Variability of Web Service-based Systems}, url = {http://www.cs.rug.nl/~aiellom/publications/jss09.pdf}, volume = {83}, year = {2010}, }
url
A survey of variability management requirements (M. Aiello, P. Bulanov and H. Groefsema), In 5th SIKS/BENAIS Conference on Enterprise Information Systems, EIS 2010, CEUR Workshop Proceedings (CEUR-WS.org), volume 662, 2010.
BibTeX

@inproceedings{aiello2010:siks, title = "A survey of variability management requirements", author = "M. Aiello and P. Bulanov and H. Groefsema", year = "2010", month = nov, language = "English", volume = "662", series = "CEUR Workshop Proceedings", publisher = "CEUR Workshop Proceedings (CEUR-WS.org)", pages = "35--36", booktitle = "5th SIKS/BENAIS Conference on Enterprise Information Systems, EIS 2010", edition = "2010", note = "5th SIKS/BENAIS Conference on Enterprise Information Systems, EIS 2010 ; Conference date: 16-11-2010 Through 16-11-2010", url = "https://research.rug.nl/en/publications/a-survey-of-variability-management-requirements", pdf = "https://ceur-ws.org/Vol-662/extendedabstract_10.pdf", }
url pdf
Requirements and Tools for Variability Management (M. Aiello, P. Bulanov and H. Groefsema), In Computer Software and Applications Conference Workshops (COMPSACW), IEEE (The Institute of Electrical and Electronics Engineers), 2010.
Abstract
Explicit and software-supported Business Process Management has become the core infrastructure of any medium and large organization that has a need to be efficient and effective. The number of processes of a single organization can be very high, furthermore, they might be very similar, be in need of momentary change, or evolve frequently. If the ad-hoc adaptation and customization of processes is currently the dominant way, it clearly is not the best. In fact, providing tools for supporting the explicit management of variation in processes (due to customization or evolution needs) has a profound impact on the overall life-cycle of processes in organizations. Additionally, with the increasing adoption of Service-Oriented Architectures, the infrastructure to support automatic reconfiguration and adaptation of business process is solid. In this paper, after defining variability in business process management, we consider the requirements for explicit variation handling for (service based) business process systems. eGovernment serves as an illustrative example of reuse. In this case study, all local municipalities need to implement the same general legal process while adapting it to the local business practices and IT infrastructure needs. Finally, an evaluation of existing tools for explicit variability management is provided with respect to the requirements identified.

Keywords: workflow management software, software architecture, business data processing, web services
BibTeX

@inproceedings{aiello2010:refs, title = "Requirements and Tools for Variability Management", abstract = "Explicit and software-supported Business Process Management has become the core infrastructure of any medium and large organization that has a need to be efficient and effective. The number of processes of a single organization can be very high, furthermore, they might be very similar, be in need of momentary change, or evolve frequently. If the ad-hoc adaptation and customization of processes is currently the dominant way, it clearly is not the best. In fact, providing tools for supporting the explicit management of variation in processes (due to customization or evolution needs) has a profound impact on the overall life-cycle of processes in organizations. Additionally, with the increasing adoption of Service-Oriented Architectures, the infrastructure to support automatic reconfiguration and adaptation of business process is solid. In this paper, after defining variability in business process management, we consider the requirements for explicit variation handling for (service based) business process systems. eGovernment serves as an illustrative example of reuse. In this case study, all local municipalities need to implement the same general legal process while adapting it to the local business practices and IT infrastructure needs. Finally, an evaluation of existing tools for explicit variability management is provided with respect to the requirements identified.", keywords = "workflow management software, software architecture, business data processing, web services", author = "M. Aiello and P. Bulanov and H. Groefsema", note = "Relation: http://www.rug.nl/informatica/onderzoek/bernoulli Rights: University of Groningen, Johann Bernoulli Institute for Mathematics and Computer Science; Workshop on Requirement Engineering for Services ; Conference date: 19-07-2010 Through 23-07-2010", year = "2010", month = jul, doi = "10.1109/COMPSACW.2010.50", url = "https://research.rug.nl/en/publications/requirements-and-tools-for-variability-management", pdf = "https://pure.rug.nl/ws/portalfiles/portal/2597423/2010ProcCOMPSACWAiello.pdf", language = "English", isbn = "9781424480890", pages = "245--250", booktitle = "Computer Software and Applications Conference Workshops (COMPSACW)", publisher = "IEEE (The Institute of Electrical and Electronics Engineers)", }
url pdf doi
ValySeC: a Variability Analysis Tool for Service Compositions using VxBPEL (C. Sun, T. Xue and M. Aiello), In , 2010.
BibTeX

@inproceedings{sun2010:valysec, title = {ValySeC: a Variability Analysis Tool for Service Compositions using VxBPEL}, author = {C. Sun and T. Xue and M. Aiello}, booktitl e= {IEEE Asia-Pacific Services Computing Conference}, year = {2010}, url = {http://iwi.eldoc.ub.rug.nl/FILES/root/2010/ProcIEEEAPSCCSun/2010ProcIEEEAPSCCSun.pdf}, }
url
Interoperation, Composition and Simulation of Services at Home (E. Kaldeli, E. U. Warriach, J. Bresser, A. Lazovik and M. Aiello), In International Conference on Service Oriented Computing, 2010.
BibTeX

@inproceedings{kaldeli2010:interop, title = {Interoperation, Composition and Simulation of Services at Home}, author = {E. Kaldeli and E. U. Warriach and J. Bresser and A. Lazovik and M. Aiello}, booktitle = {International Conference on Service Oriented Computing}, year = {2010}, url = {http://www.cs.rug.nl/~aiellom/publications/icsoc10.pdf}, pages = {167--181}, }
url
A tool for integrating pervasive services and simulating their composition (E. U. Warriach, E. Kaldeli, J. Bresser, A. Lazovik and M. Aiello), In International Conference on Service Oriented Computing, Demo Session, 2010.
BibTeX

@inproceedings{warriach2010:tool, title = {A tool for integrating pervasive services and simulating their composition}, author = {E. U. Warriach and E. Kaldeli and J. Bresser and A. Lazovik and M. Aiello}, booktitle = {International Conference on Service Oriented Computing, Demo Session}, year = {2010}, url = {http://iwi.eldoc.ub.rug.nl/FILES/root/2010/LNCSWarriach/2010LNCSWarriach.pdf}, pages = {726--727}, }
url
Towards a Service-Oriented Energy Market: Current state and trend (G. A. Pagani and M. Aiello), In Workshop on Service, Energy and Ecosystems (colocated with ICSOC-10), 2010.
BibTeX

@inproceedings{pagani2010:energy, title = {Towards a Service-Oriented Energy Market: Current state and trend}, author = {G. A. Pagani and M. Aiello}, booktitle = {Workshop on Service, Energy and Ecosystems (colocated with ICSOC-10)}, year = {2010}, url = {http://www.cs.rug.nl/~aiellom/publications/icsoc10see.pdf}, pages = {203--209}, }
url
Modeling Enterprise Information Systems Integration Evaluation as a Dynamic System (I. Nakiyimba, D.W. Williams and M. Aiello), In International Conference on Computing and ICT Research, 2010.
BibTeX

@inproceedings{aiello2010:energy, title = {Modeling Enterprise Information Systems Integration Evaluation as a Dynamic System}, author = {I. Nakiyimba and D.W. Williams and M. Aiello}, booktitle = {International Conference on Computing and ICT Research}, year = {2010}, url = {http://cit.mak.ac.ug/iccir/downloads/ICCIR_10/IRENE%20NAKIYIMBA_%20Dr%20Ddembe%20Willese%20Williams_%20Prof%20MarcomAiello_10.pdf}, }
url
Concept mapping for faster QoS-Aware Web Service Composition (V. Degeler, I. Georgievski, A. Lazovik and M. Aiello), In IEEE Conference on Service Oriented Computing and Applications, 2010.
BibTeX

@inproceedings{degeler2010:qosaware, title = {Concept mapping for faster QoS-Aware Web Service Composition}, author = {V. Degeler and I. Georgievski and A. Lazovik and M. Aiello}, booktitle = {IEEE Conference on Service Oriented Computing and Applications}, year = {2010}, url = {http://www.cs.rug.nl/~aiellom/publications/wsc10.pdf}, pages = {1--4}, }
url
Planning in a Smart Home: Visualization and Simulation (A. Lazovik, E. Kaldeli, E. Lazovik and M. Aiello), In International Conference on Automated Planning and Scheduling, 2009.
BibTeX

@inproceedings{lazovik2009:smart, author = {A. Lazovik and E. Kaldeli and E. Lazovik and M. Aiello}, booktitle = {International Conference on Automated Planning and Scheduling}, title = {Planning in a Smart Home: Visualization and Simulation}, pages = {13--16}, url = {http://www.cs.rug.nl/~eirini/ICAPS09_demo_description.pdf}, year = {2009}, }
url
Extended Goals for Composing Services (E. Kaldeli, A. Lazovik and M. Aiello), In International Conference on Automated Planning and Scheduling, 2009.
BibTeX

@inproceedings{kaldeli2009:ext, author = {E. Kaldeli and A. Lazovik and M. Aiello}, booktitle = {International Conference on Automated Planning and Scheduling}, title = {Extended Goals for Composing Services}, url = {http://www.cs.rug.nl/~aiellom/publications/icaps09.pdf}, year = {2009}, }
url
Services inside the Smart Home: A Simulation and Visualization tool (E. Lazovik, A.C.T. den Dulk, M. de Groote, A. Lazovik and M. Aiello), In International Conference on Service Oriented Computing, 2009.
BibTeX

@inproceedings{lazovik2009:visi, title={{S}ervices inside the {S}mart {H}ome: {A} {S}imulation and {V}isualization tool}, author = {E. Lazovik and A.C.T. den Dulk and M. de Groote and A. Lazovik and M. Aiello}, booktitle = {International Conference on Service Oriented Computing}, url = {http://www.cs.rug.nl/~aiellom/publications/icsoc09.pdf}, year={2009}, }
url
General Chair's Report (M. Aiello), In 18th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, 2009, 2009.
BibTeX

@inproceedings{aiello2009:ieeereport, author = {M. Aiello}, booktitle = {18th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, 2009}, title = {General Chair's Report}, year = {2009}, url = {http://dx.doi.org/10.1109/WETICE.2009.4}, }
url
Optimal QoS-Aware Web Service Composition (M. Aiello, E. el Khoury, A. Lazovik and P. Ratelband), 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, 2009.
BibTeX

@inproceedings{aiello2009:opt, author = {M. Aiello and E. el Khoury and A. Lazovik and P. Ratelband}, booktitle = {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}, title = {Optimal QoS-Aware Web Service Composition}, url = {http://www.cs.rug.nl/~aiellom/publications/wsc09.pdf}, year = {2009}, }
url
Bluetooth Broadcasting: How far can we go? An experimental study (M. Aiello, R. de Jong and J. de Nes), In International Conference on Pervasive Computing and Applications, 2009.
BibTeX

@inproceedings{aiello2009:bluetooth, author = {M. Aiello and R. de Jong and J. de Nes}, booktitle = {International Conference on Pervasive Computing and Applications}, title = {Bluetooth Broadcasting: How far can we go? An experimental study}, rate = {50}, url = {http://www.cs.rug.nl/~aiellom/publications/icpca09.pdf}, year = {2009}, }
url
Smart Homes Infrastructures and Interactions (M. Aiello, T. Catarci and M. Mecella), In IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, 2009.
BibTeX

@inproceedings{aiello2009:ieee, author = {M. Aiello and T. Catarci and M. Mecella}, booktitle = {IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises}, pages = {234--235}, title = {Smart Homes Infrastructures and Interactions}, year = {2009}, url = {http://dx.doi.org/10.1109/WETICE.2009.68}, }
url
Are our homes ready for services? A domotic infrastructure based on the Web service stack (M. Aiello and S. Dustdar), In Pervasive and Mobile Computing, volume 4, 2008.
BibTeX

@article{aiello2008:domotic, author = {M. Aiello and S. Dustdar}, journal = {Pervasive and Mobile Computing}, number = {4}, pages = {506-525}, title = {Are our homes ready for services? A domotic infrastructure based on the Web service stack}, url = {http://www.sciencedirect.com/science/article/B7MF1-4RMFP60-1/2/e599fbbfb162b2e67ebac22939eb1d52}, volume = {4}, year = {2008}, url = {http://www.sciencedirect.com/science/article/B7MF1-4RMFP60-1/2/e599fbbfb162b2e67ebac22939eb1d52}, }
url
Visualizing Compositions of Services from Large Repositories (M. Aiello, N. van Benthem and E. el Khoury), In E-Commerce Technology and the Fifth IEEE Conference on Enterprise Computing, E-Commerce and E-Services, 2008 10th IEEE Conference on, 2008.
BibTeX

@inproceedings{aiello2008:ieee, author = {M. Aiello and N. van Benthem and E. el Khoury}, booktitle = {E-Commerce Technology and the Fifth IEEE Conference on Enterprise Computing, E-Commerce and E-Services, 2008 10th IEEE Conference on}, month = {July}, pages = {359--362}, title = {Visualizing Compositions of Services from Large Repositories}, year = {2008}, url = {http://www.cs.rug.nl/~aiellom/publications/wsc08.pdf}, }
url
Towards Variable Service Compositions using VxBPEL (C. Sun and M. Aiello), In International Conference on Software Reuse (H. Mei, ed.), volume LNCS 5030, 2008.
BibTeX

@inproceedings{sun2008:tow, author = {C. Sun and M. Aiello}, booktitle = {International Conference on Software Reuse}, editor = {H. Mei}, pages = {257--261}, title = {Towards Variable Service Compositions using VxBPEL}, volume = {LNCS 5030}, year = {2008}, }
Handbook of Spatial Logics (M. Aiello, I. Pratt-Hartman and J. van Benthem), Springer, 2007.
BibTeX

@book{aiello2007:han, author = {M. Aiello and I. Pratt-Hartman and J. van Benthem}, publisher = {Springer}, title = {Handbook of Spatial Logics}, year = {2007}, }
Requirements and Evaluation of Protocols and Tools for Transaction Management in Service Centric Systems (C. Sun and M. Aiello), In Computer Software and Applications Conference, 2007. COMPSAC 2007. 31st Annual International, volume 2, 2007.
BibTeX

@inproceedings{sun2007:ieee, author = {C. Sun and M. Aiello}, booktitle = {Computer Software and Applications Conference, 2007. COMPSAC 2007. 31st Annual International}, pages = {461--466}, title = {Requirements and Evaluation of Protocols and Tools for Transaction Management in Service Centric Systems}, volume = {2}, year = {2007}, url = {http://www.cs.rug.nl/~aiellom/publications/refs07.pdf}, }
url
The Mathematical Morpho-Logical view on Reasoning about Space (M. Aiello and B. Ottens), In International Joint Conference on Artificial Intelligence, 2007.
BibTeX

@inproceedings{aiello2007:mat, author = {M. Aiello and B. Ottens}, booktitle = {International Joint Conference on Artificial Intelligence}, pages = {205--211}, title = {The Mathematical Morpho-Logical view on Reasoning about Space}, url = {http://www.cs.rug.nl/~aiellom/publications/ijcai07.pdf}, year = {2007}, }
url
DMC Workshop Final Report (M. Aiello, S. Dustdar and H. Gall), In Enabling Technologies: Infrastructure for Collaborative Enterprises, 2007. WETICE 2007. 16th IEEE International Workshops on, 2007.
BibTeX

@inproceedings{aiello2007:ieee, author = {M. Aiello and S. Dustdar and H. Gall}, booktitle = {Enabling Technologies: Infrastructure for Collaborative Enterprises, 2007. WETICE 2007. 16th IEEE International Workshops on}, pages = {167--169}, title = {DMC Workshop Final Report}, year = {2007}, url = {http://dx.doi.org/10.1109/WETICE.2007.4407145}, }
url

Visiting address

By category

By author (members)

By author (affiliate)

By author (alumni/former)

By year

Marco Aiello

Abstract

BibTeX

Abstract

BibTeX

BibTeX

Abstract

BibTeX

Abstract

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

Abstract

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

Abstract

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX