Distributed Systems

Conference Papers and Demos

AQuA-CEP: Adaptive Quality-Aware Complex Event Processing in the Internet of Things (M. Lotfian Delouee, B. Koldehofe and V. Degeler), In Proceedings of the 17th ACM International Conference on Distributed and Event-Based Systems (DEBS 2023), ACM press, 2023.
Abstract
Sensory data profoundly influences the quality of detected events in a distributed complex event processing system (DCEP). Since each sensor’s status is unstable at runtime, a single sensing assignment is often insufficient to fulfill the consumer’s quality requirements. In this paper, we study in the context of AQuA-CEP the problem of dynamic quality monitoring and adaptation of complex event processing by active integration of suitable data sources. To support this, in AQuA-CEP, queries to detect complex events are supplemented with consumer-definable quality policies that are evaluated and used to autonomously select (or even configure) suitable data sources of the sensing infrastructure. In addition, we studied different forms of expressing quality policies and analyzed how it affects the quality monitoring process. Various modes of evaluating and applying quality-related adaptations and their impacts on correlation efficiency are addressed, too. We assessed the performance of AQuA-CEP in IoT scenarios by utilizing the notion of the quality policy alongside the query processing adaptation using knowledge derived from quality monitoring. The results show that AQuA-CEP can improve the performance of DCEP systems in terms of the quality of results while fulfilling the consumer’s quality requirements. Quality-based adaptation can also increase the network’s lifetime by optimizing the sensor’s energy consumption due to efficient data source selection.
BibTeX

@inproceedings{LotfianDelouee2023:DEBS, title = "AQuA-CEP: Adaptive Quality-Aware Complex Event Processing in the Internet of Things", abstract = "Sensory data profoundly influences the quality of detected events in a distributed complex event processing system (DCEP). Since each sensor’s status is unstable at runtime, a single sensing assignment is often insufficient to fulfill the consumer’s quality requirements. In this paper, we study in the context of AQuA-CEP the problem of dynamic quality monitoring and adaptation of complex event processing by active integration of suitable data sources. To support this, in AQuA-CEP, queries to detect complex events are supplemented with consumer-definable quality policies that are evaluated and used to autonomously select (or even configure) suitable data sources of the sensing infrastructure. In addition, we studied different forms of expressing quality policies and analyzed how it affects the quality monitoring process. Various modes of evaluating and applying quality-related adaptations and their impacts on correlation efficiency are addressed, too. We assessed the performance of AQuA-CEP in IoT scenarios by utilizing the notion of the quality policy alongside the query processing adaptation using knowledge derived from quality monitoring. The results show that AQuA-CEP can improve the performance of DCEP systems in terms of the quality of results while fulfilling the consumer’s quality requirements. Quality-based adaptation can also increase the network’s lifetime by optimizing the sensor’s energy consumption due to efficient data source selection.", author = "M. {Lotfian Delouee} and B. Koldehofe and V. Degeler", year = "2023", month = June, day = "27", language = "English", booktitle = {Proceedings of the 17th {ACM} International Conference on Distributed and Event-Based Systems (DEBS 2023)}, url = "https://research.rug.nl/en/publications/aqua-cep-adaptive-quality-aware-complex-event-processing-in-the-i", publisher = "{ACM press}" }
url
Towards adaptive quality-aware Complex Event Processing in the Internet of Things (M. Lotfian Delouee, B. Koldehofe and V. Degeler), In Proceedings of the 18th International Conference on Mobility, Sensing and Networking (MSN 2022), IEEE, 2022.
Abstract
This paper investigates how to complement Complex Event Processing (CEP) with dynamic quality monitoring mechanisms and support the dynamic integration of suitable sensory data sources. In the proposed approach, queries to detect complex events are annotated with consumer-definable quality policies that are evaluated and used to autonomously assign (or even configure) suitable data sources of the sensing infrastructure. We present and study different forms of expressing quality policies and explore how they affect the process of quality monitoring including different modes of assessing and applying quality-related adaptations. A performance study in an IoT scenario shows that the proposed mechanisms in supporting quality policy monitoring and adaptively selecting suitable data sources succeed in enhancing the acquired quality of results while fulfilling consumers' quality requirements. We show that the quality-based selection of sensor sources also extends the network's lifetime by optimizing the data sources' energy consumption.
BibTeX

@inproceedings{LotfianDelouee2022:MSN, title = "Towards adaptive quality-aware Complex Event Processing in the Internet of Things", abstract = "This paper investigates how to complement Complex Event Processing (CEP) with dynamic quality monitoring mechanisms and support the dynamic integration of suitable sensory data sources. In the proposed approach, queries to detect complex events are annotated with consumer-definable quality policies that are evaluated and used to autonomously assign (or even configure) suitable data sources of the sensing infrastructure. We present and study different forms of expressing quality policies and explore how they affect the process of quality monitoring including different modes of assessing and applying quality-related adaptations. A performance study in an IoT scenario shows that the proposed mechanisms in supporting quality policy monitoring and adaptively selecting suitable data sources succeed in enhancing the acquired quality of results while fulfilling consumers' quality requirements. We show that the quality-based selection of sensor sources also extends the network's lifetime by optimizing the data sources' energy consumption.", author = " M. {Lotfian Delouee} and B. Koldehofe and V. Degeler", year = "2022", month = dec, day = "14", language = "English", booktitle = "Proceedings of the 18th International Conference on Mobility, Sensing and Networking (MSN 2022)", publisher = "IEEE", url = "https://research.rug.nl/en/publications/towards-adaptive-quality-aware-complex-event-processing-in-the-in" }
url
TCAmMCogniGron: Energy Efficient Memristor-Based TCAM for Match-Action Processing (S. Saleh, A. S. Goossens, T. Banerjee and B. Koldehofe), In Proceedings of the 7th International Conference on Rebooting Computing (ICRC 2022), IEEE, 2022.
Abstract
The Internet relies heavily on programmable match-action processors for matching network packets against locally available network rules and taking actions, such as forwarding and modification of network packets. This match-action process must be performed at high speed, i.e., commonly within one clock cycle, using a specialized memory unit called Ternary Content Addressable Memory (TCAM). Building on transistor-based CMOS designs, state-of-the-art TCAM architectures have high energy consumption and lack resilient designs for incorporating novel technologies for performing appropriate actions. In this article, we motivate the use of a novel fundamental component, the ‘Memristor’, for the development of TCAM architecture for match-action processing. Memristors can provide energy efficiency, non-volatility and better resource density as compared to transistors. We have proposed a novel memristor-based TCAM architecture called TCAmMCogniGron, built upon the voltage divider principle and requiring only two memristors and five transistors for storage and search operations compared to sixteen transistors in the traditional TCAM architecture. We analyzed its performance over an experimental data set of Nb-doped SrTiO3-based memristor. The analysis of TCAmMCogniGron showed promising power consumption statistics of 16 uW and 1 uW for match and mismatch operations along with twice the improvement in resources density as compared to the traditional architectures.
BibTeX

@InProceedings{saleh2022:icrc, title = {{TCAmM}{CogniGron}: {E}nergy {E}fficient {M}emristor-{B}ased {TCAM} for {M}atch-{A}ction {P}rocessing}, abstract = {The Internet relies heavily on programmable match-action processors for matching network packets against locally available network rules and taking actions, such as forwarding and modification of network packets. This match-action process must be performed at high speed, i.e., commonly within one clock cycle, using a specialized memory unit called Ternary Content Addressable Memory (TCAM). Building on transistor-based CMOS designs, state-of-the-art TCAM architectures have high energy consumption and lack resilient designs for incorporating novel technologies for performing appropriate actions. In this article, we motivate the use of a novel fundamental component, the ‘Memristor’, for the development of TCAM architecture for match-action processing. Memristors can provide energy efficiency, non-volatility and better resource density as compared to transistors. We have proposed a novel memristor-based TCAM architecture called TCAmMCogniGron, built upon the voltage divider principle and requiring only two memristors and five transistors for storage and search operations compared to sixteen transistors in the traditional TCAM architecture. We analyzed its performance over an experimental data set of Nb-doped SrTiO3-based memristor. The analysis of TCAmMCogniGron showed promising power consumption statistics of 16 uW and 1 uW for match and mismatch operations along with twice the improvement in resources density as compared to the traditional architectures.}, author = {S. Saleh and A. S. Goossens and T. Banerjee and B. Koldehofe}, booktitle = {Proceedings of the 7th International Conference on Rebooting Computing (ICRC 2022)}, publisher = {IEEE}, year = {2022}, month = {dec}, language = {English}, doi = {10.1109/ICRC57508.2022.00013}, url = {https://research.rug.nl/en/publications/tcaimimsupcognigronsup-energy-efficient-memristor-based-tcam-for-}, }
url doi
Towards Energy Efficient Memristor-based TCAM for Match-Action Processing (S. Saleh, A. S. Goossens, T. Banerjee and B. Koldehofe), In Proceedings of the 13th International Green and Sustainable Computing Conference (IGSC 2022), IEEE, 2022.
Abstract
Match-action processors play a crucial role of communicating end-users in the Internet by computing network paths and enforcing administrator policies. The computation process uses a specialized memory called Ternary Content Addressable Memory (TCAM) to store processing rules and use header information of network packets to perform a match within a single clock cycle. Currently, TCAM memories consume huge amounts of energy resources due to the use of traditional transistor-based CMOS technology. In this article, we motivate the use of a novel component, the memristor, for the development of a TCAM architecture. Memristors can provide energy efficiency, non-volatility, and better resource density as compared to transistors. We have proposed a novel memristor-based TCAM architecture built upon the voltage divider principle for energy efficient match-action processing. Moreover, we have tested the performance of the memristor-based TCAM architecture using the experimental data of a novel Nb-doped SrTiO3 memristor. Energy analysis of the proposed TCAM architecture for given memristor shows promising power consumption statistics of 16 μW for a match operation and 1 μW for a mismatch operation.
BibTeX

@InProceedings{saleh2022:igsc, title = {Towards Energy Efficient Memristor-based TCAM for Match-Action Processing}, abstract = {Match-action processors play a crucial role of communicating end-users in the Internet by computing network paths and enforcing administrator policies. The computation process uses a specialized memory called Ternary Content Addressable Memory (TCAM) to store processing rules and use header information of network packets to perform a match within a single clock cycle. Currently, TCAM memories consume huge amounts of energy resources due to the use of traditional transistor-based CMOS technology. In this article, we motivate the use of a novel component, the memristor, for the development of a TCAM architecture. Memristors can provide energy efficiency, non-volatility, and better resource density as compared to transistors. We have proposed a novel memristor-based TCAM architecture built upon the voltage divider principle for energy efficient match-action processing. Moreover, we have tested the performance of the memristor-based TCAM architecture using the experimental data of a novel Nb-doped SrTiO3 memristor. Energy analysis of the proposed TCAM architecture for given memristor shows promising power consumption statistics of 16 μW for a match operation and 1 μW for a mismatch operation.}, author = {S. Saleh and A. S. Goossens and T. Banerjee and B. Koldehofe}, booktitle = {Proceedings of the 13th International Green and Sustainable Computing Conference (IGSC 2022)}, publisher = {IEEE}, year = {2022}, month = {oct}, language = {English}, doi = {10.1109/IGSC55832.2022.9969354}, url = {https://research.rug.nl/en/publications/towards-energy-efficient-memristor-based-tcam-for-match-action-pr} }
url doi
On the Use of the Conformance and Compliance Keywords During Verification of Business Processes (H. Groefsema, N.R.T.P. van Beest and G. Governatori), In Business Process Management Forum (C. Di Ciccio, R. Dijkman, A. del Río Ortega, S. Rinderle-Ma, eds.), Springer, 2022.
Abstract
A wealth of techniques have been developed to help organizations understand their processes, verify correctness against requirements and diagnose potential problems. In general, these verification techniques allow us to check whether a business process conforms or complies with some specification, and each of them is specifically designed to solve a particular business problem at a stage of the BPM lifecycle. However, the terms conformance and compliance are often used as synonyms and their distinct differences in verification goals is blurring. As a result, the terminology used to describe the techniques or the corresponding verification activity does not always match with the precise meaning of the terms as they are defined in the area of verification. Consequently, confusion of these terms may hamper the application of the different techniques and the correct positioning of research. In this position paper, we aim to provide comprehensive definitions and a unified terminology throughout the BPM lifecycle. Moreover, we explore the consequences when these terms are used incorrectly. In doing so, we aim to improve adoption from research to practical applications by clarifying the relation between techniques and the intended verification goals.
BibTeX

@inproceedings{groefsema2022:bpm, title = "On the Use of the Conformance and Compliance Keywords During Verification of Business Processes", abstract = "A wealth of techniques have been developed to help organizations understand their processes, verify correctness against requirements and diagnose potential problems. In general, these verification techniques allow us to check whether a business process conforms or complies with some specification, and each of them is specifically designed to solve a particular business problem at a stage of the BPM lifecycle. However, the terms conformance and compliance are often used as synonyms and their distinct differences in verification goals is blurring. As a result, the terminology used to describe the techniques or the corresponding verification activity does not always match with the precise meaning of the terms as they are defined in the area of verification. Consequently, confusion of these terms may hamper the application of the different techniques and the correct positioning of research. In this position paper, we aim to provide comprehensive definitions and a unified terminology throughout the BPM lifecycle. Moreover, we explore the consequences when these terms are used incorrectly. In doing so, we aim to improve adoption from research to practical applications by clarifying the relation between techniques and the intended verification goals.", author = "H. Groefsema and N.R.T.P. {van Beest} and G. Governatori", year = "2022", month = sep, day = "7", doi = "10.1007/978-3-031-16171-1_2", language = "English", isbn = "978-3-031-16170-4", series = "Lecture Notes in Business Information Processing", publisher = "Springer", pages = "21–37", editor = "C. {Di Ciccio} and R. Dijkman and A. {del R{\'i}o Ortega} and S. Rinderle-Ma", booktitle = "Business Process Management Forum", note = "The 20th International Conference on Business Process Management, BPM 2022 ; Conference date: 11-09-2022 Through 15-09-2022", url = "https://bpm2022.uni-muenster.de/", }
url doi
Window-based Parallel Operator Execution with In-Network Computing: Proceedings (B. Boughzala, B. Koldehofe and C. Gärtner), In Proceedings of the 16th ACM International Conference on Distributed and Event-based Systems (DEBS '22), ACM New York, NY, USA, 2022.
Abstract
Data parallel processing is a key concept to increase the scalability and elasticity in event streaming systems. Often data parallelism is accomplished in a splitter-merger architecture where the splitter divides incoming streams into partitions and forwards them to parallel operator instances. The splitter performance is a limiting factor to the system throughput and the parallelization degree.This work studies how to leverage novel methods of in-network computing to accelerate the splitter functionality by implementing it as an in-network function. While dedicated hardware for in-network computing has a high potential to enhance the splitter performance, in-network programming models like the P4 language are also highly limited in their expressiveness to support corresponding parallelization models. We propose P4SS which supports overlapping and non-overlapping count-based windows for multiple independent data streams and parallelizes them to a dynamically configurable number of operator instances. We validate in the context of a prototypical implementation our splitting strategy and its scalability in terms of switch resource consumption.

Keywords: Data Parallelism, In-network Computing, Load Balancing, Complex Event Processing (CEP), P4 Language, Data Plane Programming
BibTeX

@inproceedings{boughzala2022:win, title = "Window-based Parallel Operator Execution with In-Network Computing: Proceedings", abstract = "Data parallel processing is a key concept to increase the scalability and elasticity in event streaming systems. Often data parallelism is accomplished in a splitter-merger architecture where the splitter divides incoming streams into partitions and forwards them to parallel operator instances. The splitter performance is a limiting factor to the system throughput and the parallelization degree.This work studies how to leverage novel methods of in-network computing to accelerate the splitter functionality by implementing it as an in-network function. While dedicated hardware for in-network computing has a high potential to enhance the splitter performance, in-network programming models like the P4 language are also highly limited in their expressiveness to support corresponding parallelization models. We propose P4SS which supports overlapping and non-overlapping count-based windows for multiple independent data streams and parallelizes them to a dynamically configurable number of operator instances. We validate in the context of a prototypical implementation our splitting strategy and its scalability in terms of switch resource consumption.", keywords = "Data Parallelism, In-network Computing, Load Balancing, Complex Event Processing (CEP), P4 Language, Data Plane Programming", author = "B. Boughzala and B. Koldehofe and C. G{\"a}rtner", year = "2022", month = may, day = "26", doi = "10.1145/3524860.3539804", language = "English", booktitle = "Proceedings of the 16th ACM International Conference on Distributed and Event-based Systems (DEBS '22)", publisher = "ACM New York, NY, USA ", note = " The 16th ACM International Conference on Distributed and Event-based Systems (DEBS '22) ; Conference date: 27-06-2022 Through 30-06-2022", }
doi
On the Incremental Reconfiguration of Time-sensitive Networks at Runtime (C. Gärtner, A. Rizk, B. Koldehofe, R. Guillaume, R. Kundel and R. Steinmetz), In Proceedings of the IFIP Networking Conference., IFIP, 2022.
BibTeX

@InProceedings{Gaertner:Networking2022, author = {C. Gärtner and A. Rizk and B. Koldehofe and R. Guillaume and R. Kundel and R. Steinmetz}, booktitle = {Proceedings of the IFIP Networking Conference.}, title = {On the Incremental Reconfiguration of Time-sensitive Networks at Runtime}, year = {2022}, pages = {9 pages}, publisher = {IFIP}, }
Enhancing Flexibility for Dynamic Time-Sensitive Network Configurations (C. Gärtner, A. Rizk, B. Koldehofe, R. Guillaume, R. Kundel and R. Steinmetz), In Proceedings of the 3rd KuVS Fachgespräch on Network Softwarization, Universität Tübingen, 2022.
BibTeX

@InProceedings{Gaertner:FGNetSoft2022, author = {C. Gärtner and A. Rizk and B. Koldehofe and R. Guillaume and R. Kundel and R. Steinmetz}, booktitle = {Proceedings of the 3rd KuVS Fachgespräch on Network Softwarization}, title = {Enhancing Flexibility for Dynamic Time-Sensitive Network Configurations}, year = {2022}, pages = {2 pages}, publisher = {Universität Tübingen}, doi = {10.15496/PUBLIKATION-67440}, }
doi
Travel light: state shedding for efficient operator migration (E. Volnes, T. Plagemann, B. Koldehofe and V. Goebel), In Proceedings of the 16th ACM International Conference on Distributed and Event-Based Systems (DEBS'22), ACM press, 2022.
BibTeX

@InProceedings{Volnes:DEBS2022, author = {E. Volnes and T. Plagemann and B. Koldehofe and V. Goebel}, booktitle = {Proceedings of the 16th {ACM} International Conference on Distributed and Event-Based Systems ({DEBS'22})}, title = {Travel light: state shedding for efficient operator migration}, year = {2022}, pages = {79--84}, publisher = {{ACM press}}, doi = {10.1145/3524860.3539638}, }
doi
FA2: Fast, Accurate Autoscaling for Serving Deep Learning Inference with SLA Guarantees (K. Razavi, M. Luthra, B. Koldehofe, M. Mühlhäuser and L. Wang), In Proceedings of the 28th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2022), IEEE, 2022.
BibTeX

@InProceedings{Razavi:FA2_2022, author = {K. Razavi and M. Luthra and B. Koldehofe and M. Mühlhäuser and L. Wang}, booktitle = {Proceedings of the 28th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2022)}, title = {{FA2: Fast, Accurate Autoscaling for Serving Deep Learning Inference with SLA Guarantees}}, year = {2022}, pages = {14 pages}, publisher = {IEEE}, }
PANDA: performance prediction for parallel and dynamic stream processing (P. Agnihotri, B. Koldehofe, C. Binnig and M. Luthra), In Proceedings of the 16th ACM International Conference on Distributed and Event-Based Systems, ACM press, 2022.
BibTeX

@InProceedings{Agnihotri:DEBS2022, author = {P. Agnihotri and B. Koldehofe and C. Binnig and M. Luthra}, booktitle = {Proceedings of the 16th {ACM} International Conference on Distributed and Event-Based Systems}, title = {{PANDA}: performance prediction for parallel and dynamic stream processing}, year = {2022}, pages = {180--181}, publisher = {{ACM press}}, doi = {10.1145/3524860.3543281}, }
doi
Accelerating the Performance of Data Analytics using Network-centric Processing (B. Boughzala), In The 15th ACM International Conference on Distributed and Event-based Systems (DEBS '21), June 28-July 2, 2021, Virtual Event, Italy, ACM New York, NY, USA, 2021.
BibTeX

@inproceedings{Boughzala2021:debs, title = "Accelerating the Performance of Data Analytics using Network-centric Processing", author = "B. Boughzala", year = "2021", doi = "https://doi.org/10.1145/3465480.3468162", language = "English", booktitle = "The 15th ACM International Conference on Distributed and Event-based Systems (DEBS '21), June 28-July 2, 2021, Virtual Event, Italy", publisher = "ACM New York, NY, USA ", }
doi
Leveraging Flexibility of Time-Sensitive Networks for dynamic Reconfigurability (C. Gärtner, A. Rizk, B. Koldehofe, R. Hark, R. Guillaume and R. Steinmetz), In Proceedings of IFIP Networking 2021, IFIP, 2021.
BibTeX

@InProceedings{gaertner2021:Networking, author = {C. Gärtner and A. Rizk and B. Koldehofe and R. Hark and R. Guillaume and R. Steinmetz}, booktitle = {Proceedings of IFIP Networking 2021}, title = {Leveraging Flexibility of Time-Sensitive Networks for dynamic Reconfigurability}, year = {2021}, pages = {5 pages}, publisher = {IFIP}, url = {https://dl.ifip.org/db/conf/networking/networking2021/1570714136.pdf} }
url
Leveraging PIFO Queues for Scheduling in Time-Sensitive Networks (C. Gärtner, A. Rizk, B. Koldehofe, R. Hark, R. Guillaume, R. Kundel and R. Steinmetz), In In the Proceedings of the IEEE International Symposium on Local and Metropolitan Area Networks (LANMAN 2021)., IEEE, 2021.
BibTeX

@InProceedings{gaertner2021:LANMAN, author = {C. G\''artner and A. Rizk and B. Koldehofe and R. Hark and R. Guillaume and R. Kundel and R. Steinmetz}, booktitle = {In the Proceedings of the IEEE International Symposium on Local and Metropolitan Area Networks (LANMAN 2021).}, title = {Leveraging {PIFO} Queues for Scheduling in Time-Sensitive Networks}, year = {2021}, pages = {2 pages}, publisher = {IEEE}, doi = {10.1109/LANMAN52105.2021.9478796}, url = {https://doi.org/10.1109/LANMAN52105.2021.9478796} }
url doi
P4-CoDel: Experiences on Programmable Data Plane Hardware (R. Kundel, A. Rizk, J. Blendin, B. Koldehofe, R. Hark and R. Steinmetz), In Proceedings of the IEEE International Conference on Communications (ICC 2021): Next-Generation Networking and Internet Symposium, IEEE, 2021.
BibTeX

@InProceedings{Kundel:ICC:2021, author = {R. Kundel and A. Rizk and J. Blendin and B. Koldehofe and R. Hark and R. Steinmetz}, booktitle = {Proceedings of the IEEE International Conference on Communications (ICC 2021): Next-Generation Networking and Internet Symposium}, title = {{P4-CoDel}: Experiences on Programmable Data Plane Hardware}, year = {2021}, pages = {6 pages}, publisher = {IEEE}, doi = {10.1109/ICC42927.2021.9500943}, url = {https://doi.org/10.1109/ICC42927.2021.9500943} }
url doi
Towards QoE-Driven Optimization of Multi-Dimensional Content Streaming (Y. Alkhalili, J. Weil, A. Tahir, T. Meuser, B. Koldehofe, A. Mauthe, H. Koeppl and R. Steinmetz), In Proceedings of the Conference on Networked Systems 2021 (NetSys 2021), European Association of Software Science and Technology, 2021.
BibTeX

@InProceedings{Alkhalili2021:Netsys, author = {Y. Alkhalili and J. Weil and A. Tahir and T. Meuser and B. Koldehofe and A. Mauthe and H. Koeppl and R. Steinmetz}, booktitle = {Proceedings of the Conference on Networked Systems 2021 (NetSys 2021)}, title = {Towards QoE-Driven Optimization of Multi-Dimensional Content Streaming}, year = {2021}, pages = {15 pages}, publisher = {European Association of Software Science and Technology}, doi = {10.14279/TUJ.ECEASST.80.1167}, url = {http://dx.doi.org/10.14279/tuj.eceasst.80.1167.1123} }
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} }
Operator as a Service: Stateful Serverless Complex Event Processing (M. Luthra, S. Hennig, K. Razavi, L. Wang and B. Koldehofe), In Proceedings of the 2020 IEEE International Conference on Big Data, IEEE, 2020.
BibTeX

@InProceedings{Luthra:SCDM2020:Serverless, author = {M. Luthra and S. Hennig and K. Razavi and L. Wang and B. Koldehofe}, booktitle = {Proceedings of the 2020 IEEE International Conference on Big Data}, title = {Operator as a Service: Stateful Serverless Complex Event Processing}, year = {2020}, pages = {1964--1973}, publisher = {IEEE}, doi = {10.1109/BigData50022.2020.9378142}, }
doi
The Community Structure of Constraint Satisfaction Problems and Its Correlation with Search Time (M. Medema and A. Lazovik), In 2020 IEEE 32nd International Conference on Tools with Artificial Intelligence (ICTAI), 2020.
BibTeX

@INPROCEEDINGS{medema2020:ictai, author={M. Medema and A. Lazovik}, booktitle={2020 IEEE 32nd International Conference on Tools with Artificial Intelligence (ICTAI)}, title={The Community Structure of Constraint Satisfaction Problems and Its Correlation with Search Time}, year={2020}, pages={153-160}, doi={10.1109/ICTAI50040.2020.00034} }
doi
Microbursts in Software and Hardware-based Traffic Load Generation (R. Kundel, A. Rizk and B. Koldehofe), In Proceedings of the IEEE/IFIP Network Operations and Management Symposium (NOMS), IEEE, 2020.
BibTeX

@InProceedings{Kundel:NOMS2020c:Microbursts, author = {R. Kundel and A. Rizk and B. Koldehofe}, title = {Microbursts in Software and Hardware-based Traffic Load Generation}, booktitle = {Proceedings of the IEEE/IFIP Network Operations and Management Symposium (NOMS)}, year = {2020}, pages = {2 pages}, publisher = {{IEEE}}, doi = {10.1109/noms47738.2020.9110305}, }
doi
Flexible Content-based Publish/Subscribe over Programmable Data Planes (R. Kundel, C. Gaertner, M. Luthra, S. Bhowmik and B. Koldehofe), In Proceedings of the IEEE/IFIP Network Operations and Management Symposium (NOMS), IEEE, 2020.
BibTeX

@InProceedings{Kundel:NOMS2020:p4pubsub, author = {R. Kundel and C. Gaertner and M. Luthra and S. Bhowmik and B. Koldehofe}, booktitle = {Proceedings of the IEEE/IFIP Network Operations and Management Symposium (NOMS)}, title = {Flexible Content-based Publish/Subscribe over Programmable Data Planes}, year = {2020}, pages = {6 pages}, publisher = {IEEE}, doi = {10.1109/NOMS47738.2020.9110381}, }
doi
P4STA: High Performance Packet Timestamping with Programmable Packet Processors (R. Kundel, F. Siegmund, J. Blendin, A. Rizk and B. Koldehofe), In Proceedings of the IEEE/IFIP Network Operations and Management Symposium (NOMS), IEEE, 2020.
BibTeX

@InProceedings{Kundel:NOMS2020:P4STA, author = {R. Kundel and F. Siegmund and J. Blendin and A. Rizk and B. Koldehofe}, title = {{P4STA}: High Performance Packet Timestamping with Programmable Packet Processors}, booktitle = {Proceedings of the IEEE/IFIP Network Operations and Management Symposium (NOMS)}, year = {2020}, pages = {9 pages}, publisher = {IEEE}, doi = {10.1109/NOMS47738.2020.9110290}, }
doi
Development of a decision-aid for patients with depression considering treatment options: prediction of treatment response using a data-driven approach (K. Kan, F. Jorg, K. J. Wardenaar, F. J. Blaauw, E. Visser, E. Buskens, H. Mulder, D. Cath, B. Doornbos, R. A. Schoevers and T. Feenstra), In ISPOR Europe 2019, Copenhagen, Denmark, 2019.
BibTeX

@INPROCEEDINGS {Blaauw2019:ispor, author = "K. Kan and F. Jorg and K. J. Wardenaar and F. J. Blaauw and E. Visser and E. Buskens and H. Mulder and D. Cath and B. Doornbos and R. A. Schoevers and T. Feenstra", title = "Development of a decision-aid for patients with depression considering treatment options: prediction of treatment response using a data-driven approach", booktitle = "ISPOR Europe 2019, Copenhagen, Denmark", year = "2019", month = "nov", url = "https://www.ispor.org/conferences-education/conferences/upcoming-conferences/ispor-europe-2019/program/program" }
url
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} }
ECiDA: Evolutionary Changes in Data Analysis (F. J. Blaauw, R. Overbeek, T. Albers, J. Vlek, M. Maessen, J. Gooijer, E. Lazovik, F. Arbab and A. Lazovik), In ICT.Open, Hilversum, The Netherlands, 2019.
BibTeX

@INPROCEEDINGS {Blaauw2019:ictoh, author = "F. J. Blaauw and R. Overbeek and T. Albers and J. Vlek and M. Maessen and J. Gooijer and E. Lazovik and F. Arbab and A. Lazovik", title = "ECiDA: Evolutionary Changes in Data Analysis", booktitle = "ICT.Open, Hilversum, The Netherlands", year = "2019", month = "mar", url="https://www.nwo.nl/actueel/evenementen/ict+open" }
url
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} }
Temporal Analysis of 911 Emergency Calls Through Time Series Modeling (Robles, Pablo, Tello, Andrés, Solano-Quinde, Lizandro and Zúñiga-Prieto, Miguel), In The International Conference on Advances in Emerging Trends and Technologies, 2019.
BibTeX

@inproceedings{robles2019temporal, title={Temporal Analysis of 911 Emergency Calls Through Time Series Modeling}, author={Robles, Pablo and Tello, Andr{\'e}s and Solano-Quinde, Lizandro and Z{\'u}{\~n}iga-Prieto, Miguel}, booktitle={The International Conference on Advances in Emerging Trends and Technologies}, pages={136--145}, year={2019}, organization={Springer, Cham} }
Prediction of Imports of Household Appliances in Ecuador Using LSTM Networks (Tello, Andrés, Izquierdo, Ismael, Pacheco, Gustavo and Vanegas, Paúl), In Conference on Information Technologies and Communication of Ecuador, 2019.
BibTeX

@inproceedings{tello2019prediction, title={Prediction of Imports of Household Appliances in Ecuador Using LSTM Networks}, author={Tello, Andr{\'e}s and Izquierdo, Ismael and Pacheco, Gustavo and Vanegas, Pa{\'u}l}, booktitle={Conference on Information Technologies and Communication of Ecuador}, pages={194--207}, year={2019}, organization={Springer, Cham} }
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 }, }
A remotely piloted aerial system for a faster processing of traffic collisions towards reducing the resulting road congestion (Hager Sameh, Kulthoom Aiman and Dilek Düştegör), In , 2018.
Abstract
This paper presents the motivation, design, implementation, and testing of a remotely piloted aerial system, designed to facilitate police officers processing traffic collisions. A drone remotely controlled by the police officer can reach faster the accident scene and act as the police officer's eye, ear, and voice in the sky. A complete system prototype has been constructed and tested to validate the proposed system. The results show that the system performance is promising in terms of system functionality, safety, and cost.
BibTeX

@inproceedings{Sameh2018, abstract = {This paper presents the motivation, design, implementation, and testing of a remotely piloted aerial system, designed to facilitate police officers processing traffic collisions. A drone remotely controlled by the police officer can reach faster the accident scene and act as the police officer's eye, ear, and voice in the sky. A complete system prototype has been constructed and tested to validate the proposed system. The results show that the system performance is promising in terms of system functionality, safety, and cost.}, author = {Hager Sameh and Kulthoom Aiman and Dilek Düştegör}, doi = {10.1109/IEEEGCC.2017.8447915}, journal = {2017 9th IEEE-GCC Conference and Exhibition, GCCCE 2017}, title = {A remotely piloted aerial system for a faster processing of traffic collisions towards reducing the resulting road congestion}, year = {2018}, }
doi
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}, }
Modeling 911 emergency events in Cuenca-Ecuador using geo-spatial data (Robles, Pablo, Tello, Andrés, Zúñiga-Prieto, Miguel and Solano-Quinde, Lizandro), In International Conference on Technology Trends, 2018.
BibTeX

@inproceedings{robles2018modeling, title={Modeling 911 emergency events in Cuenca-Ecuador using geo-spatial data}, author={Robles, Pablo and Tello, Andr{\'e}s and Z{\'u}{\~n}iga-Prieto, Miguel and Solano-Quinde, Lizandro}, booktitle={International Conference on Technology Trends}, pages={564--577}, year={2018}, organization={Springer, Cham} }
LOD-GF: an integral linked open data generation framework (Saquicela, Víctor, Segarra, José, Ortiz, José, Tello, Andrés, Espinoza, Mauricio, Lupercio, Lucía and Villazón-Terrazas, Boris), In Conference on Information Technologies and Communication of Ecuador, 2018.
BibTeX

@inproceedings{saquicela2018lod, title={LOD-GF: an integral linked open data generation framework}, author={Saquicela, V{\'\i}ctor and Segarra, Jos{\'e} and Ortiz, Jos{\'e} and Tello, Andr{\'e}s and Espinoza, Mauricio and Lupercio, Luc{\'\i}a and Villaz{\'o}n-Terrazas, Boris}, booktitle={Conference on Information Technologies and Communication of Ecuador}, pages={283--300}, year={2018}, organization={Springer, Cham} }
Automated compliance verification of business processes in Apromore (H. Groefsema, N.R.T.P. van Beest and A. Armas-Cervantes), In Proceedings of the BPM Demo Track 2017, CEUR Workshop Proceedings (CEUR-WS.org), 2017.
Abstract
This paper presents the integration of two plugins, a declarative process specification generator and a compliance verifier, into the Apromore advanced business process analytics platform. The integrated toolchain has a range of applications of interest to both practitioners and researchers. For example, it can be used in the areas of business process compliance, flexibility and variability. The generator can extract a set of formal specifications that declaratively describe a set of business process variants; whereas the verifier can check whether temporal properties over business process models hold. The verifier can use two different model checker tools: NuSMV2 and NuXMV. These plugins allow business analysts to verify if a newly developed process model adheres to rules and regulations or a specification dictated by existing process model variants.
BibTeX

@inproceedings{groefsema2017:bpm, title = "Automated compliance verification of business processes in Apromore", abstract = "This paper presents the integration of two plugins, a declarative process specification generator and a compliance verifier, into the Apromore advanced business process analytics platform. The integrated toolchain has a range of applications of interest to both practitioners and researchers. For example, it can be used in the areas of business process compliance, flexibility and variability. The generator can extract a set of formal specifications that declaratively describe a set of business process variants; whereas the verifier can check whether temporal properties over business process models hold. The verifier can use two different model checker tools: NuSMV2 and NuXMV. These plugins allow business analysts to verify if a newly developed process model adheres to rules and regulations or a specification dictated by existing process model variants.", author = "H. Groefsema and N.R.T.P. {van Beest} and A. Armas-Cervantes", year = "2017", month = sep, language = "English", booktitle = "Proceedings of the BPM Demo Track 2017", publisher = "CEUR Workshop Proceedings (CEUR-WS.org)", url = "https://research.rug.nl/en/publications/automated-compliance-verification-of-business-processes-in-apromo", pdf = "http://ceur-ws.org/Vol-1920/BPM_2017_paper_205.pdf", }
url pdf
Post Summarization of Microblogs of Sporting Events (M. Gillani, M. U. Ilyas, S. Saleh, J. S. Alowibdi, N. Aljohani and F. S. Alotaibi), In Proceedings of the 26th International Conference on World Wide Web Companion, 2017.
Abstract
Every day 645 million Twitter users generate approximately 58 million tweets. This motivates the question if it is possible to generate a summary of events from this rich set of tweets only. Key challenges in post summarization from microblog posts include circumnavigating spam and conversational posts. In this study, we present a novel technique called lexi-temporal clustering (LTC), which identifies key events. LTC uses k-means clustering and we explore the use of various distance measures for clustering using Euclidean, cosine similarity and Manhattan distance. We collected three original data sets consisting of Twitter microblog posts covering sporting events, consisting of a cricket and two football matches. The match summaries generated by LTC were compared against standard summaries taken from sports sections of various news outlets, which yielded up to 81% precision, 58% recall and 62% F-measure on different data sets. In addition, we also report results of all three variants of the recall-oriented understudy for gisting evaluation (ROUGE) software, a tool which compares and scores automatically generated summaries against standard summaries.
BibTeX

@InProceedings{gillani2017:www, author = {M. Gillani and M. U. Ilyas and S. Saleh and J. S. Alowibdi and N. Aljohani and F. S. Alotaibi}, booktitle = {Proceedings of the 26th International Conference on World Wide Web Companion}, title = {Post {S}ummarization of {M}icroblogs of {S}porting {E}vents}, abstract = {Every day 645 million Twitter users generate approximately 58 million tweets. This motivates the question if it is possible to generate a summary of events from this rich set of tweets only. Key challenges in post summarization from microblog posts include circumnavigating spam and conversational posts. In this study, we present a novel technique called lexi-temporal clustering (LTC), which identifies key events. LTC uses k-means clustering and we explore the use of various distance measures for clustering using Euclidean, cosine similarity and Manhattan distance. We collected three original data sets consisting of Twitter microblog posts covering sporting events, consisting of a cricket and two football matches. The match summaries generated by LTC were compared against standard summaries taken from sports sections of various news outlets, which yielded up to 81% precision, 58% recall and 62% F-measure on different data sets. In addition, we also report results of all three variants of the recall-oriented understudy for gisting evaluation (ROUGE) software, a tool which compares and scores automatically generated summaries against standard summaries.}, pages = {59--68}, year = {2017}, month = {apr}, doi = {10.1145/3041021.3054146}, url = {https://research.rug.nl/en/publications/post-summarization-of-microblogs-of-sporting-events}, }
url doi
Prediction of Running Injuries from Training Load: a Machine Learning Approach (T. Dijkhuis, R. Otter, H. Velthuijsen and K. A. P. M. Lemmink), In International Conference on eHealth, Telemedicine, and Social Medicine, 2017.
BibTeX

@inproceedings{dijkhuis2017:etelemed, title = {Prediction of Running Injuries from Training Load: a Machine Learning Approach}, author = {T. Dijkhuis and R. Otter and H. Velthuijsen and K. A. P. M. Lemmink}, year = {2017}, month = {March}, booktitle = {International Conference on eHealth, Telemedicine, and Social Medicine}, url = {https://research.hanze.nl/en/publications/prediction-of-running-injuries-from-training-load-a-machine-learn}, }
url
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
Semantic web and augmented reality for searching people, events and points of interest within of a university campus (Contreras, Pablo, Chimbo, David, Tello, Andrés and Espinoza, Mauricio), In 2017 XLIII Latin American Computer Conference (CLEI), 2017.
BibTeX

@inproceedings{contreras2017semantic, title={Semantic web and augmented reality for searching people, events and points of interest within of a university campus}, author={Contreras, Pablo and Chimbo, David and Tello, Andr{\'e}s and Espinoza, Mauricio}, booktitle={2017 XLIII Latin American Computer Conference (CLEI)}, pages={1--10}, year={2017}, organization={IEEE} }
Tv program recommender using user authentication on middleware ginga (Crespo, Jorge, Tello, Andres, Saquicela, Victor, Palacio-Baus, Kenneth and Espinoza, Mauricio), In 2017 IEEE Second Ecuador Technical Chapters Meeting (ETCM), 2017.
BibTeX

@inproceedings{crespo2017tv, title={Tv program recommender using user authentication on middleware ginga}, author={Crespo, Jorge and Tello, Andres and Saquicela, Victor and Palacio-Baus, Kenneth and Espinoza, Mauricio}, booktitle={2017 IEEE Second Ecuador Technical Chapters Meeting (ETCM)}, pages={1--6}, year={2017}, organization={IEEE} }
Runtime Modifications of Spark Data Processing Pipelines (E. Lazovik, M. Medema, T. Albers, E. Langius and A. Lazovik), In 2017 International Conference on Cloud and Autonomic Computing, ICCAC, 2017.
BibTeX

@inproceedings{Lazovik2017:iccac, author = {E. Lazovik and M. Medema and T. Albers and E. Langius and A. Lazovik}, title = {Runtime Modifications of Spark Data Processing Pipelines}, booktitle = {2017 International Conference on Cloud and Autonomic Computing, {ICCAC}}, pages = {34--45}, year = {2017}, url = {https://doi.org/10.1109/ICCAC.2017.11}, }
url
Methodological guidelines for publishing library data as linked data (Hidalgo-Delgado, Yusniel, Estrada-Nelson, Reina, Xu, Bin, Villazon-Terrazas, Boris, Leiva-Mederos, Amed and Tello, Andrés), In 2017 International Conference on Information Systems and Computer Science (INCISCOS), 2017.
BibTeX

@inproceedings{hidalgo2017methodological, title={Methodological guidelines for publishing library data as linked data}, author={Hidalgo-Delgado, Yusniel and Estrada-Nelson, Reina and Xu, Bin and Villazon-Terrazas, Boris and Leiva-Mederos, Amed and Tello, Andr{\'e}s}, booktitle={2017 International Conference on Information Systems and Computer Science (INCISCOS)}, pages={241--246}, year={2017}, organization={IEEE} }
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}, }
iTrack: A residential energy monitoring system tailored to meet local needs (Khadijah Alsafwan, Fatimah Alshaer, Lolah Hakami, Khawlah Aseeri, Masoumah Aljishi and Dilek Düştegör), In , 2017.
Abstract
The Kingdom of Saudi Arabia, like many other Gulf Council Countries, is lately experiencing a very rapid population and industrial growth, which results in an increasing demand for energy. To meet this growing demand, the GCC too is transitioning towards a smarter electricity grid with increased penetration of renewable sources. However, all agree that the success of such a shift in paradigm also depends on demand side management, most of energy demands coming for residential area. Providing residents with real-time feedback on their energy consumption is a promising way to promote energy saving behavior through an increased awareness. This paper outlines the design and development phases of a residential energy monitoring system that has been tailored to meet local needs, that is to say a non-intrusive system with a user friendly interface available both in English and Arabic endowed with an alert system providing real-time consumption information, as well as energy saving and awareness tips.
BibTeX

@inproceedings{Alsafwan2017, abstract = {The Kingdom of Saudi Arabia, like many other Gulf Council Countries, is lately experiencing a very rapid population and industrial growth, which results in an increasing demand for energy. To meet this growing demand, the GCC too is transitioning towards a smarter electricity grid with increased penetration of renewable sources. However, all agree that the success of such a shift in paradigm also depends on demand side management, most of energy demands coming for residential area. Providing residents with real-time feedback on their energy consumption is a promising way to promote energy saving behavior through an increased awareness. This paper outlines the design and development phases of a residential energy monitoring system that has been tailored to meet local needs, that is to say a non-intrusive system with a user friendly interface available both in English and Arabic endowed with an alert system providing real-time consumption information, as well as energy saving and awareness tips.}, author = {Khadijah Alsafwan and Fatimah Alshaer and Lolah Hakami and Khawlah Aseeri and Masoumah Aljishi and Dilek Düştegör}, doi = {10.1109/econf.2015.7858256}, title = {iTrack: A residential energy monitoring system tailored to meet local needs}, year = {2017}, }
doi
Tracing back the chain: Cognitive pre-requisite analysis for CIS capstone project (M. Elhussein and D. Düştegör), In , volume Part F1346, 2017.
Abstract
© 2017 Association for Computing Machinery. When teaching the first part of the capstone project to the senior students at the College of Computer Sciences and Information Technology, some problems have been reported for the past few semesters. This paper aims to identify the cause of the problem by comparing necessary skills for the capstone project to skills acquired in prior courses, tracing back through the pre-requisite dependency chain. The comparison is set between the Course Learning Outcomes identified in the capstone project and the Course Objectives of courses offered in previous years. The analysis revealed two main discrepancies, namely: Several mismatches and missing links that explained the problems initially observed. It also led to identifying a weakness in one of the previous courses and triggered an adjustment in the course content.

Keywords: Bloom's taxonomy, CIS capstone, Course design, Course evaluation
BibTeX

@inproceedings{Elhussein2017, abstract = {© 2017 Association for Computing Machinery. When teaching the first part of the capstone project to the senior students at the College of Computer Sciences and Information Technology, some problems have been reported for the past few semesters. This paper aims to identify the cause of the problem by comparing necessary skills for the capstone project to skills acquired in prior courses, tracing back through the pre-requisite dependency chain. The comparison is set between the Course Learning Outcomes identified in the capstone project and the Course Objectives of courses offered in previous years. The analysis revealed two main discrepancies, namely: Several mismatches and missing links that explained the problems initially observed. It also led to identifying a weakness in one of the previous courses and triggered an adjustment in the course content.}, author = {M. Elhussein and D. Düştegör}, doi = {10.1145/3175536.3175537}, isbn = {9781450354356}, journal = {ACM International Conference Proceeding Series}, keywords = {Bloom's taxonomy,CIS capstone,Course design,Course evaluation}, title = {Tracing back the chain: Cognitive pre-requisite analysis for CIS capstone project}, volume = {Part F1346}, year = {2017}, }
doi
Challenges and trends about smart big geospatial data: A position paper (Saquicela, Víctor, Vilches-Blázquez, Luis M and Tello, Andrés), In 2017 IEEE International Conference on Big Data (Big Data), 2017.
BibTeX

@inproceedings{saquicela2017challenges, title={Challenges and trends about smart big geospatial data: A position paper}, author={Saquicela, V{\'\i}ctor and Vilches-Bl{\'a}zquez, Luis M and Tello, Andr{\'e}s}, booktitle={2017 IEEE International Conference on Big Data (Big Data)}, pages={3471--3475}, year={2017}, organization={IEEE} }
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
Sentiment Classification of Tweets using Hierarchical Classification (A. I. Baqapuri, S. Saleh, M. U. Ilyas, M. M. Khan and A. M. Qamar), In International Conference on Communications, 2016.
Abstract
This paper addresses the problem of sentiment classification of short messages on microblogging platforms. We apply machine learning and pattern recognition techniques to design and implement a classification system for microblog messages assigning them into one of three classes: positive, negative or neutral. As part of this work, we contributed a dataset consisting of approximately 10, 000 tweets, each labeled on a five point sentiment scale by three different people. Experiments demonstrate a detection rate between approximately 70% and an average false alarm rate of approximately 18% across all three classes. The developed classifier has been made available for online use.
BibTeX

@InProceedings{baqapuri2016:icc, author = {A. I. Baqapuri and S. Saleh and M. U. Ilyas and M. M. Khan and A. M. Qamar}, booktitle = {International Conference on Communications}, title = {Sentiment {C}lassification of {T}weets using {H}ierarchical {C}lassification}, abstract = {This paper addresses the problem of sentiment classification of short messages on microblogging platforms. We apply machine learning and pattern recognition techniques to design and implement a classification system for microblog messages assigning them into one of three classes: positive, negative or neutral. As part of this work, we contributed a dataset consisting of approximately 10, 000 tweets, each labeled on a five point sentiment scale by three different people. Experiments demonstrate a detection rate between approximately 70% and an average false alarm rate of approximately 18% across all three classes. The developed classifier has been made available for online use.}, organization = {IEEE}, pages = {1--7}, year = {2016}, doi = {10.1109/ICC.2016.7511391}, url = {https://research.rug.nl/en/publications/sentiment-classification-of-tweets-using-hierarchical-classificat} }
url doi
Pfpsim: A programmable forwarding plane simulator (Abdi, Samar, Aftab, Umair, Bailey, Gordon, Boughzala, Bochra, Dewal, Faras, Parsazad, Shafigh and Tremblay, Eric), In 2016 ACM/IEEE Symposium on Architectures for Networking and Communications Systems (ANCS), 2016.
BibTeX

@inproceedings{abdi2016pfpsim, title={Pfpsim: A programmable forwarding plane simulator}, author={Abdi, Samar and Aftab, Umair and Bailey, Gordon and Boughzala, Bochra and Dewal, Faras and Parsazad, Shafigh and Tremblay, Eric}, booktitle={2016 ACM/IEEE Symposium on Architectures for Networking and Communications Systems (ANCS)}, pages={55--60}, year={2016}, organization={IEEE} }
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
Benchmark Datasets for Fault Detection and Classification in Sensor Data (B. de Bruijn, T. A. Nguyen, D. Bucur and K. Tei), In International Conference on Sensor Networks, 2016.
BibTeX

@inproceedings{bruijn2016:benchmark, title = {Benchmark Datasets for Fault Detection and Classification in Sensor Data}, author = {B. de Bruijn and T. A. Nguyen and D. Bucur and K. Tei}, year = {2016}, booktitle = {International Conference on Sensor Networks}, url = {http://dx.doi.org/10.5220/0005637901850195}, pages = {185--195}, }
url
Proactive ethernet congestion control based on link utilization estimation (Bahnasy, Mahmoud, Boughzala, Bochra, Elbiaze, Halima, Alleyne, Brian, Beliveau, Andre and Padala, Chakri), In 2016 international conference on computing, networking and communications (icnc), 2016.
BibTeX

@inproceedings{bahnasy2016proactive, title={Proactive ethernet congestion control based on link utilization estimation}, author={Bahnasy, Mahmoud and Boughzala, Bochra and Elbiaze, Halima and Alleyne, Brian and Beliveau, Andre and Padala, Chakri}, booktitle={2016 international conference on computing, networking and communications (icnc)}, pages={1--6}, year={2016}, organization={IEEE} }
Influence Maximization in Social Networks with Genetic Algorithms (D. Bucur and G. Iacca), In European Conference on the Applications of Evolutionary and Bio-inspired Computation (Evo* EvoApplications), track EvoComplex: Evolutionary Algorithms and Complex Systems, 2016.
BibTeX

@inproceedings{bucur2016:influence, title = {Influence Maximization in Social Networks with Genetic Algorithms}, author = {D. Bucur and G. Iacca}, year = {2016}, booktitle = {European Conference on the Applications of Evolutionary and Bio-inspired Computation (Evo* EvoApplications), track EvoComplex: Evolutionary Algorithms and Complex Systems}, pages = {379--392}, url = {https://www.dropbox.com/s/z4ylz5njruamon3/man.pdf?dl=0}, }
url
Detecting National Political Unrest on Twitter (H. Raja, M. U. Ilyas, S. Saleh, A. X. Liu and H. Radha), In International Conference on Communications, 2016.
Abstract
The popular uprisings in a number of countries in the Middle East and North Africa in the Spring of 2011 were broadcasted live and enabled by local populations' access to social networking services such as Twitter and Facebook. The goal of this paper is to study the flow characteristics of the information flow of these broadcasts on Twitter. We have used language independent features of Twitter traffic to identify differences in information flows on Twitter mentioning countries experiencing some form of unrest, compared to traffic mentioning countries with peaceful political situations. We used these features to identify countries with political unstable situation. For empirical analysis, we collected several data sets of countries that were experiencing political unrest, as well as a set of countries in a control group that were not subject to such socio-political condition. Several different methods are used to model the flow of information between Twitter users in data sets as graphs, called information cascades. By using the dynamic properties of information cascades, naïve Bayes and SVM classifiers both achieve true positives rates of 100%, with false positives rates of 3% and 0%, respectively.
BibTeX

@InProceedings{raja2016:icc, author = {H. Raja and M. U. Ilyas and S. Saleh and A. X. Liu and H. Radha}, booktitle = {International Conference on Communications}, title = {{D}etecting {N}ational {P}olitical {U}nrest on {T}witter}, abstract = {The popular uprisings in a number of countries in the Middle East and North Africa in the Spring of 2011 were broadcasted live and enabled by local populations' access to social networking services such as Twitter and Facebook. The goal of this paper is to study the flow characteristics of the information flow of these broadcasts on Twitter. We have used language independent features of Twitter traffic to identify differences in information flows on Twitter mentioning countries experiencing some form of unrest, compared to traffic mentioning countries with peaceful political situations. We used these features to identify countries with political unstable situation. For empirical analysis, we collected several data sets of countries that were experiencing political unrest, as well as a set of countries in a control group that were not subject to such socio-political condition. Several different methods are used to model the flow of information between Twitter users in data sets as graphs, called information cascades. By using the dynamic properties of information cascades, naïve Bayes and SVM classifiers both achieve true positives rates of 100%, with false positives rates of 3% and 0%, respectively.}, organization = {IEEE}, pages = {1--7}, year = {2016}, doi = {10.1109/ICC.2016.7511393}, url = {https://research.rug.nl/en/publications/detecting-national-political-unrest-on-twitter}, }
url doi
On the relationship between automation and occupants in smart buildings (I. Georgievski and T. Bouman), In International Conference on ICT for Sustainability, 2016.
BibTeX

@inproceedings{georgievski2016:relationship, title = {On the relationship between automation and occupants in smart buildings}, author = {I. Georgievski and T. Bouman}, booktitle = {International Conference on ICT for Sustainability}, series = {ICT4'16}, year = {2016}, pages = {240--241}, note = {Extended abstract}, url = {http://www.atlantis-press.com/php/download_paper.php?id=25860395}, }
url
Memory-efficient string matching for intrusion detection systems using a high-precision pattern grouping algorithm (Vakili, Shervin, Langlois, JM Pierre, Boughzala, Bochra and Savaria, Yvon), In Proceedings of the 2016 symposium on architectures for networking and communications systems, 2016.
BibTeX

@inproceedings{vakili2016memory, title={Memory-efficient string matching for intrusion detection systems using a high-precision pattern grouping algorithm}, author={Vakili, Shervin and Langlois, JM Pierre and Boughzala, Bochra and Savaria, Yvon}, booktitle={Proceedings of the 2016 symposium on architectures for networking and communications systems}, pages={37--42}, year={2016} }
Design-time Compliance of Service Compositions in Dynamic Service Environments (H. Groefsema), In 8th IEEEE International Conference on Service Oriented Computing & Applications (SOCA), IEEE (The Institute of Electrical and Electronics Engineers), 2015.
Abstract
In order to improve the flexibility of information systems, an increasing amount of business processes is being automated by implementing tasks as modular services in service compositions. As organizations are required to adhere to laws and regulations, with this increased flexibility there is a demand for automated compliance checking of business processes. Model checking is a technique which exhaustively and automatically verifies system models against specifications of interest, e.g. a finite state machine against a set of logic formulas. When model checking business processes, existing approaches either cause large amounts of overhead, linearize models to such an extent that activity parallelization is lost, offer only checking of runtime execution traces, or introduce new and unknown logics. In order to fully benefit from existing model checking techniques, we propose a mapping from workflow patterns to a class of labeled transition systems known as Kripke structures. With this mapping, we provide pre-runtime compliance checking using well-known branching time temporal logics. The approach is validated on a complex abstract process which includes a deferred choice, parallel branching, and a loop. The process is modeled using the Business Process Model and Notation (BPMN) standard, converted into a colored Petri net using the workflow patterns, and subsequently translated into a Kripke structure, which is then used for verification.

Keywords: Business Process Management, BPMN, Petri net, Kripke models, Verification, Temporal Logic
BibTeX

@inproceedings{groefsema2015:soca, title = "Design-time Compliance of Service Compositions in Dynamic Service Environments", abstract = "In order to improve the flexibility of information systems, an increasing amount of business processes is being automated by implementing tasks as modular services in service compositions. As organizations are required to adhere to laws and regulations, with this increased flexibility there is a demand for automated compliance checking of business processes. Model checking is a technique which exhaustively and automatically verifies system models against specifications of interest, e.g. a finite state machine against a set of logic formulas. When model checking business processes, existing approaches either cause large amounts of overhead, linearize models to such an extent that activity parallelization is lost, offer only checking of runtime execution traces, or introduce new and unknown logics. In order to fully benefit from existing model checking techniques, we propose a mapping from workflow patterns to a class of labeled transition systems known as Kripke structures. With this mapping, we provide pre-runtime compliance checking using well-known branching time temporal logics. The approach is validated on a complex abstract process which includes a deferred choice, parallel branching, and a loop. The process is modeled using the Business Process Model and Notation (BPMN) standard, converted into a colored Petri net using the workflow patterns, and subsequently translated into a Kripke structure, which is then used for verification.", keywords = "Business Process Management, BPMN, Petri net, Kripke models, Verification, Temporal Logic", author = "H. Groefsema and N.R.T.P. {van Beest}", year = "2015", month = oct, language = "English", pages = "108--115", booktitle = "8th IEEEE International Conference on Service Oriented Computing & Applications (SOCA)", publisher = "IEEE (The Institute of Electrical and Electronics Engineers)", note = "The 8th IEEE International Conference on Service Oriented Computing & Applications Rome, Italy, 19-21 October 2015 ; Conference date: 19-10-2015 Through 21-10-2015", doi = "10.1109/SOCA.2015.14", url = "https://research.rug.nl/en/publications/design-time-compliance-of-service-compositions-in-dynamic-service", pdf = "https://pure.rug.nl/ws/portalfiles/portal/261565869/bpmnkripke_soca2015.pdf", }
url pdf doi
Using ethernet commodity switches to build a switch fabric in routers (Bahnasy, Mahmoud Mohamed, Beliveau, Andre, Alleyne, Brian, Boughzala, Bochra, Padala, Chakri, Idoudi, Karim and Elbiaze, Halima), In 2015 24th international conference on computer communication and networks (icccn), 2015.
BibTeX

@inproceedings{bahnasy2015using, title={Using ethernet commodity switches to build a switch fabric in routers}, author={Bahnasy, Mahmoud Mohamed and Beliveau, Andre and Alleyne, Brian and Boughzala, Bochra and Padala, Chakri and Idoudi, Karim and Elbiaze, Halima}, booktitle={2015 24th international conference on computer communication and networks (icccn)}, pages={1--8}, year={2015}, organization={IEEE} }
Black Holes and Revelations: Using Evolutionary Algorithms to Uncover Vulnerabilities in Disruption-Tolerant Networks (D. Bucur, G. Iacca, G. Squillero and A. Tonda), 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, 2015.
BibTeX

@inproceedings{bucur2015:revelations, title = {Black Holes and Revelations: Using Evolutionary Algorithms to Uncover Vulnerabilities in Disruption-Tolerant Networks}, author = {D. Bucur and G. Iacca and G. Squillero and A. Tonda}, year = {2015}, booktitle = {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}, pages = {29--41}, url = {http://dx.doi.org/10.1007/978-3-319-16549-3_3}, }
url
Public acceptance of renewable energy and Smart-Grid in Saudi Arabia (D. Düştegör, N. Sultana, N. Felemban and D. Al-Qahtani), In , 2015.
Abstract
© 2015 IEEE. This study aims to measure the public's knowledge about renewable energy sources, their willingness to use solar energy as a main source in their households, and to understand their main motivation in undergoing (or not) such an energy shift; hence, potential influencing factors that will help win public support can be determined. A survey is tailored in order to capture relevant public belief, perception, and planned behavior, then a descriptive analysis of the data is performed to examine the associations between the willingness to use solar panels in households and the other explanatory variables. Initial results show that government policies and subsidies are main factors affecting the desire to adopt green energy. These results will help overcome obstacles that might be faced prior or during a transition to the Smart-Grid, especially in residential area.

Keywords: Kingdom of Saudi Arabia, Renewable Energy, Residential Area, Social Acceptance, Solar Energy, Willingness to Pay
BibTeX

@inproceedings{Dustegor2015, abstract = {© 2015 IEEE. This study aims to measure the public's knowledge about renewable energy sources, their willingness to use solar energy as a main source in their households, and to understand their main motivation in undergoing (or not) such an energy shift; hence, potential influencing factors that will help win public support can be determined. A survey is tailored in order to capture relevant public belief, perception, and planned behavior, then a descriptive analysis of the data is performed to examine the associations between the willingness to use solar panels in households and the other explanatory variables. Initial results show that government policies and subsidies are main factors affecting the desire to adopt green energy. These results will help overcome obstacles that might be faced prior or during a transition to the Smart-Grid, especially in residential area.}, author = {D. Düştegör and N. Sultana and N. Felemban and D. Al-Qahtani}, doi = {10.1109/IEEEGCC.2015.7060018}, isbn = {9781479984220}, journal = {2015 IEEE 8th GCC Conference and Exhibition, GCCCE 2015}, keywords = {Kingdom of Saudi Arabia,Renewable Energy,Residential Area,Social Acceptance,Solar Energy,Willingness to Pay}, title = {Public acceptance of renewable energy and Smart-Grid in Saudi Arabia}, year = {2015}, }
doi
A Service-Oriented Architecture for Web Applications in e-mental health: two case studies (F. Blaauw and A. Emerencia), In IEEE International Conference on Service Oriented Computing & Applications, 2015.
BibTeX

@inproceedings{blaauw2015:casestudies, title = {A Service-Oriented Architecture for Web Applications in e-mental health: two case studies}, author = {F. Blaauw and A. Emerencia}, year = {2015}, booktitle = {IEEE International Conference on Service Oriented Computing \& Applications}, pages = {131--138}, url = {http://dx.doi.org/10.1109/SOCA.2015.25}, }
url
An automatic method for the enrichment of dicom metadata using biomedical ontologies (Pérez, Wilson, Tello, Andrés, Saquicela, Víctor, Vidal, Maria-Esther and La Cruz, Alexandra), In 2015 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC), 2015.
BibTeX

@inproceedings{perez2015automatic, title={An automatic method for the enrichment of dicom metadata using biomedical ontologies}, author={P{\'e}rez, Wilson and Tello, Andr{\'e}s and Saquicela, V{\'\i}ctor and Vidal, Maria-Esther and La Cruz, Alexandra}, booktitle={2015 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC)}, pages={2551--2554}, year={2015}, organization={IEEE} }
Simulating the Interaction with a Smart Grid with Real Services (R. Schoenmaker and G. A. Pagani), In IEEE International Conference on Service Oriented Computing & Applications, 2015.
BibTeX

@inproceedings{schoenmaker2015:smartgrid, title = {Simulating the Interaction with a Smart Grid with Real Services}, author = {R. Schoenmaker and G. A. Pagani}, year = {2015}, booktitle = {IEEE International Conference on Service Oriented Computing \& Applications}, pages = {36--42}, url = {http://dx.doi.org/10.1109/SOCA.2015.31}, }
url
IM Session Identification by Outlier Detection in Cross-correlation Functions (S. Saleh, M. U. Ilyas, K. Khurshid, A. X. Liu and H. Radha), In 49th Annual Conference on Information Sciences and Systems, 2015.
Abstract
The identification of encrypted Instant Messaging (IM) channels between users is made difficult by the presence of variable and high levels of uncorrelated background traffic. In this paper, we propose a novel Cross-correlation Outlier Detector (CCOD) to identify communicating end-users in a large group of users. Our technique uses traffic flow traces between individual users and IM service provider's data center. We evaluate the CCOD on a data set of Yahoo! IM traffic traces with an average SNR of -6.11dB (data set includes ground truth). Results show that our technique provides 88% true positives (TP) rate, 3% false positives (FP) rate and 96% ROC area. Performance of the previous correlation-based schemes on the same data set was limited to 63% TP rate, 4% FP rate and 85% ROC area.
BibTeX

@InProceedings{saleh2015:ciss, author = {S. Saleh and M. U. Ilyas and K. Khurshid and A. X. Liu and H. Radha}, booktitle = {49th Annual Conference on Information Sciences and Systems}, title = {I{M} {S}ession {I}dentification by {O}utlier {D}etection in {C}ross-correlation {F}unctions}, abstract={The identification of encrypted Instant Messaging (IM) channels between users is made difficult by the presence of variable and high levels of uncorrelated background traffic. In this paper, we propose a novel Cross-correlation Outlier Detector (CCOD) to identify communicating end-users in a large group of users. Our technique uses traffic flow traces between individual users and IM service provider's data center. We evaluate the CCOD on a data set of Yahoo! IM traffic traces with an average SNR of -6.11dB (data set includes ground truth). Results show that our technique provides 88% true positives (TP) rate, 3% false positives (FP) rate and 96% ROC area. Performance of the previous correlation-based schemes on the same data set was limited to 63% TP rate, 4% FP rate and 85% ROC area.}, organization = {Johns Hopkins University}, pages = {1--5}, year = {2015}, doi = {10.1109/CISS.2015.7086851}, url = {https://research.rug.nl/en/publications/im-session-identification-by-outlier-detection-in-cross-correlati}, }
url doi
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
Rdf-ization of dicom medical images towards linked health data cloud (Tello, Andrés, La Cruz, Alexandra, Saquicela, Víctor, Espinoza, Mauricio and Vidal, Maria-Esther), In VI Latin American Congress on Biomedical Engineering CLAIB 2014, Paraná, Argentina 29, 30 & 31 October 2014, 2015.
BibTeX

@inproceedings{tello2015rdf, title={Rdf-ization of dicom medical images towards linked health data cloud}, author={Tello, Andr{\'e}s and La Cruz, Alexandra and Saquicela, V{\'\i}ctor and Espinoza, Mauricio and Vidal, Maria-Esther}, booktitle={VI Latin American Congress on Biomedical Engineering CLAIB 2014, Paran{\'a}, Argentina 29, 30 \& 31 October 2014}, pages={757--760}, year={2015}, organization={Springer, Cham} }
WebMedSA: a web-based framework for segmenting and annotating medical images using biomedical ontologies (Vega, Francisco, Pérez, Wilson, Tello, Andrés, Saquicela, Victor, Espinoza, Mauricio, Solano-Quinde, Lizandro, Vidal, Maria-Esther and La Cruz, Alexandra), In 11th International Symposium on Medical Information Processing and Analysis, volume 9681, 2015.
BibTeX

@inproceedings{vega2015webmedsa, title={WebMedSA: a web-based framework for segmenting and annotating medical images using biomedical ontologies}, author={Vega, Francisco and P{\'e}rez, Wilson and Tello, Andr{\'e}s and Saquicela, Victor and Espinoza, Mauricio and Solano-Quinde, Lizandro and Vidal, Maria-Esther and La Cruz, Alexandra}, booktitle={11th International Symposium on Medical Information Processing and Analysis}, volume={9681}, pages={968110}, year={2015}, organization={International Society for Optics and Photonics} }
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}, }
The Tradeoffs between Data Delivery Ratio and Energy Costs in Wireless Sensor Networks: A Multi-Objective Evolutionary Framework for Protocol Analysis (D. Bucur, G. Iacca, G. Squillero and A. Tonda), In Genetic and Evolutionary Computation Conferenc, 2014.
BibTeX

@inproceedings{bucur2014:framework, author = {D. Bucur and G. Iacca and G. Squillero and A. Tonda}, title = {The Tradeoffs between Data Delivery Ratio and Energy Costs in Wireless Sensor Networks: A Multi-Objective Evolutionary Framework for Protocol Analysis}, booktitle = {Genetic and Evolutionary Computation Conferenc}, year = {2014}, pages = {1071--1078}, url = {http://www.cs.rug.nl/~doina/2014-GECCO/GECCO14-Bucur.pdf}, }
url
E-learning Quality Assurance Practices and Benchmarks in Higher Education (F. Alsaif), In World Conference on Educational Media and Technology, 2014.
BibTeX

@inproceedings{alsaif2014:elearning, author = {F. Alsaif}, title = {E-learning Quality Assurance Practices and Benchmarks in Higher Education}, booktitle = {World Conference on Educational Media and Technology}, year = {2014}, note = {1072--1078}, url = {http://www.editlib.org/p/147625}, }
url
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
Network Disruption and Recovery: Co-Evolution of Defender and Attacker in a Dynamic Game (H. Arnold, D. Masad, G. A. Pagani, J. Schmidt and E. Stepanova), In CompleNet 2014 5th Workshop on Complex Networks, 2014.
BibTeX

@inproceedings{arnold2014:evolution, author = {H. Arnold and D. Masad and G. A. Pagani and J. Schmidt and E. Stepanova}, title = {Network Disruption and Recovery: Co-Evolution of Defender and Attacker in a Dynamic Game}, booktitle = {CompleNet 2014 5th Workshop on Complex Networks}, year = {2014}, pages = {141--155}, url={http://dx.doi.org/10.1007/978-3-319-05401-8_14}, }
url
Predicting New Collaborations in Academic Citation Networks of IEEE and ACM Conferences (I. A. Shah, M. U. Ilyas, M. Raja, S. Saleh, M. M. Khan, A. M. Qamar, M. Z. Shafiq, A. X. Liu and H. Radha), In International Conference on Social Computing, 2014.
Abstract
In this paper we study the time evolution of academic collaboration networks by predicting the appearance of new links between authors. The accurate prediction of new collaborations between members of a collaboration network can help accelerate the realization of new synergies, foster innovation, and raise productivity. For this study, the authors collected a large data set of publications from 630 conferences of the IEEE and ACM of more than 257, 000 authors, 61, 000 papers, capturing more than 818, 000 collaborations spanning a period of 10 years. The data set is rich in semantic data that allows exploration of many features that were not considered in previous approaches. We considered a comprehensive set of 98 features, and after processing identified eight features as significant. Most significantly, we identified two new features as most significant predictors of future collaborations; 1) the number of common title words, and 2) number of common references in two authors’ papers. The link prediction problem is formulated as a binary classification problem, and three different supervised learning algorithms are evaluated, i.e. Na¨ıve Bayes, C4.5 decision tree and Support Vector Machines. Extensive efforts are made to ensure complete spatial isolation of information used in training and test instances, which to the authors’ best knowledge is unprecedented. Results were validated using a modified form of the classic 10-fold cross validation (the change was necessitated by the way training, and test instances were separated). The Support Vector Machine classifier performed the best among tested approaches, and correctly classified on average more than 80% of test instances and had a receiver operating curve (ROC) area of greater than 0.80.
BibTeX

@InProceedings{shah2014:socialcom, author = {I. A. Shah and M. U. Ilyas and M. Raja and S. Saleh and M. M. Khan and A. M. Qamar and M. Z. Shafiq and A. X. Liu and H. Radha}, booktitle = {International Conference on Social Computing}, title = {Predicting {N}ew {C}ollaborations in {A}cademic {C}itation {N}etworks of {IEEE} and {ACM} {C}onferences}, abstract = {In this paper we study the time evolution of academic collaboration networks by predicting the appearance of new links between authors. The accurate prediction of new collaborations between members of a collaboration network can help accelerate the realization of new synergies, foster innovation, and raise productivity. For this study, the authors collected a large data set of publications from 630 conferences of the IEEE and ACM of more than 257, 000 authors, 61, 000 papers, capturing more than 818, 000 collaborations spanning a period of 10 years. The data set is rich in semantic data that allows exploration of many features that were not considered in previous approaches. We considered a comprehensive set of 98 features, and after processing identified eight features as significant. Most significantly, we identified two new features as most significant predictors of future collaborations; 1) the number of common title words, and 2) number of common references in two authors’ papers. The link prediction problem is formulated as a binary classification problem, and three different supervised learning algorithms are evaluated, i.e. Na¨ıve Bayes, C4.5 decision tree and Support Vector Machines. Extensive efforts are made to ensure complete spatial isolation of information used in training and test instances, which to the authors’ best knowledge is unprecedented. Results were validated using a modified form of the classic 10-fold cross validation (the change was necessitated by the way training, and test instances were separated). The Support Vector Machine classifier performed the best among tested approaches, and correctly classified on average more than 80% of test instances and had a receiver operating curve (ROC) area of greater than 0.80.}, organization = {Academy of Science and Engineering, Stanford University}, year = {2014}, url = {https://research.rug.nl/en/publications/predicting-new-collaborations-in-academic-citation-networks-of-ie}, }
url
Utility-Based HTN Planning (I. Georgievski and A. Lazovik), In European Conference on Artificial Intelligence, 2014.
BibTeX

@inproceedings{geogievski2014:ecai, author = {I. Georgievski and A. Lazovik}, title = {Utility-Based HTN Planning}, booktitle = {European Conference on Artificial Intelligence}, year = {2014}, pages = {1013--1014}, url = {http://dx.doi.org/10.3233/978-1-61499-419-0-1013}, }
url
Spatial optimality in power distribution networks (L. Luo and G.A. Pagani amd M. Rosas-Casals), In IEEE Complexity in Engineering Workshop, 2014.
BibTeX

@inproceedings{luo2014:spatial, title = {Spatial optimality in power distribution networks}, author = {L. Luo and G.A. Pagani amd M. Rosas-Casals}, year = {2014}, booktitle = {IEEE Complexity in Engineering Workshop}, pages = {1--4}, url = {http://dx.doi.org/10.1109/CompEng.2014.6994687}, }
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
Towards a Robustness Evaluation Framework for BPEL Engines (S. Harrer, F. Nizamic, G. Wirtz and A. Lazovik), In International Conference on Service Oriented Computing & Applications, 2014.
BibTeX

@inproceedings{harrer2014:framework, title = {Towards a Robustness Evaluation Framework for BPEL Engines}, author = {S. Harrer and F. Nizamic and G. Wirtz and A. Lazovik}, year = {2014}, booktitle = {International Conference on Service Oriented Computing & Applications}, pages = {199--206}, url = {http://www.cs.rug.nl/~faris/pubs/TBP14.pdf}, }
url
Breaching IM Session Privacy Using Causality (S. Saleh, M. Raja, M. Shahnawaz, M. U. Ilyas, K. Khurshid, M. Shafiq, A. X. Liu, H. Radha and S. S. Karande), In Global Communications Conference, 2014.
Abstract
The breach of privacy in encrypted instant messenger (IM) service is a serious threat to user anonymity. Performance of previous de-anonymization strategies was limited to 65%. We perform network de-anonymization by taking advantage of the cause-effect relationship between sent and received packet streams and demonstrate this approach on a data set of Yahoo! IM service traffic traces. An investigation of various measures of causality shows that IM networks can be breached with a hit rate of 99%. A KCI Causality based approach alone can provide a true positive rate of about 97%. Individual performances of Granger, Zhang and IGCI causality are limited owing to the very low SNR of packet traces and variable network delays.
BibTeX

@InProceedings{saleh2014:globecom, author = {S. Saleh and M. Raja and M. Shahnawaz and M. U. Ilyas and K. Khurshid and M. Shafiq and A. X. Liu and H. Radha and S. S. Karande}, booktitle = {Global Communications Conference}, title = {Breaching {IM} {S}ession {P}rivacy {U}sing {C}ausality}, abstract={The breach of privacy in encrypted instant messenger (IM) service is a serious threat to user anonymity. Performance of previous de-anonymization strategies was limited to 65%. We perform network de-anonymization by taking advantage of the cause-effect relationship between sent and received packet streams and demonstrate this approach on a data set of Yahoo! IM service traffic traces. An investigation of various measures of causality shows that IM networks can be breached with a hit rate of 99%. A KCI Causality based approach alone can provide a true positive rate of about 97%. Individual performances of Granger, Zhang and IGCI causality are limited owing to the very low SNR of packet traces and variable network delays.}, organization = {IEEE}, pages = {686--691}, year = {2014}, doi = {10.1109/GLOCOM.2014.7036887}, url = {https://research.rug.nl/en/publications/breaching-im-session-privacy-using-causality}, }
url doi
Itemset-based Mining of Constraints for Enacting Smart Environments (V. Degeler, A. Lazovik, F. Leotta and M. Mecella), In Symposium on Activity and Context Modeling and Recognition, 2014.
BibTeX

@inproceedings{degeler2014:mining, author = {V. Degeler and A. Lazovik and F. Leotta and M. Mecella}, title = {Itemset-based Mining of Constraints for Enacting Smart Environments}, booktitle = {Symposium on Activity and Context Modeling and Recognition}, year = {2014}, pages = {41--46}, url = {http://dx.doi.org/10.1109/PerComW.2014.6815162}, }
url
A survey of formal business process verification: From soundness to variability (H. Groefsema and D. Bucur), In Proceedings of International Symposium on Business Modeling and Software Design, SciTePress, 2013.
Abstract
Formal verification of business process models is of interest to a number of application areas, including checking for basic process correctness, business compliance, and process variability. A large amount of work on these topics exist, while a comprehensive overview of the field and its directions is lacking. We provide an overview and critical reflections on existing approaches.

Keywords: Business Process Management, Veriﬁcation, Model Checking, Survey
BibTeX

@inproceedings{groefsema2013:bmsd, title = "A survey of formal business process verification: From soundness to variability", abstract = "Formal verification of business process models is of interest to a number of application areas, including checking for basic process correctness, business compliance, and process variability. A large amount of work on these topics exist, while a comprehensive overview of the field and its directions is lacking. We provide an overview and critical reflections on existing approaches.", keywords = "Business Process Management, Veriﬁcation, Model Checking, Survey", author = "H. Groefsema and D. Bucur", year = "2013", month = jul, language = "English", pages = "198–203", booktitle = "Proceedings of International Symposium on Business Modeling and Software Design", publisher = "SciTePress", note = "Third International Symposium on Business Modeling and Software Design (BMSD 2013) ; Conference date: 08-07-2013 Through 10-07-2013", doi = "10.5220/0004775401980203", url = "https://research.rug.nl/en/publications/a-survey-of-formal-business-process-verification-from-soundness-t", pdf = "https://www.cs.rug.nl/ds/uploads/pubs/groefsema-bmsd.pdf", }
url pdf doi
An Evolutionary Framework for Routing Protocol Analysis in Wireless Sensor Networks (D. Bucur, G. Iacca, G. Squillero and A. Tonda), In European Conference on the Applications of Evolutionary and bio-inspired Computation, volume 7835, 2013.
BibTeX

@inproceedings{bucur2013:framework, author = {D. Bucur and G. Iacca and G. Squillero and A. Tonda}, title = {An Evolutionary Framework for Routing Protocol Analysis in Wireless Sensor Networks}, booktitle = {European Conference on the Applications of Evolutionary and bio-inspired Computation}, year = {2013}, volume = {7835}, pages = {1--11}, url = {http://link.springer.com/chapter/10.1007%2F978-3-642-37192-9_1}, }
url
Wireless sensor network based monitoring system for photovoltaic panels in extreme GCC climate conditions: A literature review of current approaches (D. Düştegör and N.M. Felemban), In , 2013.
Abstract
Photovoltaic system performance highly depends on environmental conditions. Hence system requirements to optimize energy yield are unique, and in most cases no relevant data are available to make implementation decisions. This is why monitoring of such systems is very essential for initial system evaluation, and continuous output optimization. This paper is the result of a thorough literature survey about existing performance monitoring system for photovoltaic panels, aiming to propose a system tailored for photovoltaic panels under the very particular environmental conditions experienced in the GCC region, as these countries are in an area with tremendous potential for development of solar energy projects. A wireless sensor network based monitoring system is proposed, that measures data relevant for desert climate like dust, temperature and humidity. A small-scale prototype is described, along with initial experimental results. © 2013 IEEE.

Keywords: PV panels, Renewable energy, monitoring system, wireless sensor network
BibTeX

@inproceedings{Dustegor2013, abstract = {Photovoltaic system performance highly depends on environmental conditions. Hence system requirements to optimize energy yield are unique, and in most cases no relevant data are available to make implementation decisions. This is why monitoring of such systems is very essential for initial system evaluation, and continuous output optimization. This paper is the result of a thorough literature survey about existing performance monitoring system for photovoltaic panels, aiming to propose a system tailored for photovoltaic panels under the very particular environmental conditions experienced in the GCC region, as these countries are in an area with tremendous potential for development of solar energy projects. A wireless sensor network based monitoring system is proposed, that measures data relevant for desert climate like dust, temperature and humidity. A small-scale prototype is described, along with initial experimental results. © 2013 IEEE.}, author = {D. Düştegör and N.M. Felemban}, doi = {10.1109/IEEEGCC.2013.6705798}, isbn = {9781479907243}, journal = {2013 7th IEEE GCC Conference and Exhibition, GCC 2013}, keywords = {PV panels,Renewable energy,monitoring system,wireless sensor network}, title = {Wireless sensor network based monitoring system for photovoltaic panels in extreme GCC climate conditions: A literature review of current approaches}, year = {2013}, }
doi
A Machine Learning Approach for Vehicle Classification using Passive Infrared and Ultrasonic Sensors (E. U. Warriach and C. Claudel), In ACM/IEEE Conference on Information Processing in Sensor Networks, 2013.
BibTeX

@inproceedings{warriach2013:machine, author = {E. U. Warriach and C. Claudel}, title = {A Machine Learning Approach for Vehicle Classification using Passive Infrared and Ultrasonic Sensors}, booktitle = {ACM/IEEE Conference on Information Processing in Sensor Networks}, year = {2013}, series = {IPSN '13}, pages = {333--334}, url = {http://delivery.acm.org/10.1145/2470000/2461434/p333-warriach.pdf?ip=129.125.75.5&id=2461434&acc=ACTIVE%20SERVICE&key=C2716FEBFA981EF1BEAE10AEAAC8E630201988BD3445D12D&CFID=181803508&CFTOKEN=15716161&__acm__=1374054792_cfe784c0fa4854c410fd749cf420b29c}, }
url
Testing of Distributed Service-Oriented Systems (F. Nizamic), In ICSOC, volume 8377, 2013.
BibTeX

@inproceedings{nizamic2013:icsocds, title={Testing of Distributed Service-Oriented Systems}, author = {F. Nizamic}, booktitle = {ICSOC}, volume = {8377}, series = {Lecture Notes in Computer Science}, year = {2013}, url = {http://www.cs.rug.nl/~faris/pubs/TSO13.pdf}, }
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
Planning for Coordination of Devices in Energy-Smart Envronments (I. Georgievski), In Doctoral Consortium of the 23rd International Conference on Automated Planning and Scheduling, 2013.
BibTeX

@inproceedings{georgievski2013:icapsdc, title={Planning for Coordination of Devices in Energy-Smart Envronments}, author = {I. Georgievski}, booktitle = {Doctoral Consortium of the 23rd International Conference on Automated Planning and Scheduling}, series = {(ICAPS'13)}, year = {2013}, url = {http://icaps13.icaps-conference.org/documents/dc/georgievski.pdf}, }
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
Continuous Correctness of Business Processes against Process Interference (N. R. T. P. Van Beest and and D. Bucur), In IEEE International Conference on Service Oriented Computing and Applications, 2013.
BibTeX

@inproceedings{vanbeest2013t:soca, author = {N. R. T. P. Van Beest and and D. Bucur}, year = {2013}, booktitle = {IEEE International Conference on Service Oriented Computing and Applications}, title = {Continuous Correctness of Business Processes against Process Interference}, pages = {110--117}, url = {http://dx.doi.org/10.1109/SOCA.2013.39}, }
url
Capacity Analysis of Combined IPTV and VoIP over IEEE 802.11n (S. Saleh, Z. Shah and A. Baig), In 38th Annual IEEE Conference on Local Computer Networks, 2013.
Abstract
Internet Protocol Television (IPTV) and Voice over Internet Protocol (VoIP) have gained unprecedented growth rates in the past few years. Data rate and high coverage area of IEEE 802.11n motivate the concept of combined IPTV and VoIP over IEEE 802.11n. Transmission of combined IPTV and VoIP over a wireless network is a challenging task. In this paper, we deal with the capacity evaluation of combined IPTV and VoIP over IEEE 802.11n. We evaluate the use of Datagram Congestion Control Protocol (DCCP) at transport layer of IPTV and VoIP. Our study shows that DCCP can enhance capacity of IPTV by 25%. Our study confirms that performance of DCCP deteriorates severely in presence of any other UDP flow because of congestion-less mechanism of UDP. Our fairness analysis with TCP traffic shows that IPTV and VoIP using DCCP provides fair share in bandwidth to TCP with 19% increase in combined capacity. We study the effect of IEEE 802.11n parameters and obtain optimal values. We show the optimal values and trends of Access Point (AP) parameters including Queue size, Transmission Opportunity, Aggregation and Block ACK etc. Our study shows that nearly 9 more VoIP users are supported with a queue size of 70 packets and transmission opportunity of 9. Our study concludes that selection of DCCP and optimized parameters over IEEE 802.11n can enhance the capacity of IPTV and VoIP by atleast 25% and 19% respectively as compared to the use of UDP.
BibTeX

@InProceedings{saleh2013:lcn, author = {S. Saleh and Z. Shah and A. Baig}, booktitle = {38th Annual IEEE Conference on Local Computer Networks}, title = {Capacity {A}nalysis of {C}ombined {IPTV} and {V}o{IP} over {IEEE} 802.11n}, abstract = {Internet Protocol Television (IPTV) and Voice over Internet Protocol (VoIP) have gained unprecedented growth rates in the past few years. Data rate and high coverage area of IEEE 802.11n motivate the concept of combined IPTV and VoIP over IEEE 802.11n. Transmission of combined IPTV and VoIP over a wireless network is a challenging task. In this paper, we deal with the capacity evaluation of combined IPTV and VoIP over IEEE 802.11n. We evaluate the use of Datagram Congestion Control Protocol (DCCP) at transport layer of IPTV and VoIP. Our study shows that DCCP can enhance capacity of IPTV by 25%. Our study confirms that performance of DCCP deteriorates severely in presence of any other UDP flow because of congestion-less mechanism of UDP. Our fairness analysis with TCP traffic shows that IPTV and VoIP using DCCP provides fair share in bandwidth to TCP with 19% increase in combined capacity. We study the effect of IEEE 802.11n parameters and obtain optimal values. We show the optimal values and trends of Access Point (AP) parameters including Queue size, Transmission Opportunity, Aggregation and Block ACK etc. Our study shows that nearly 9 more VoIP users are supported with a queue size of 70 packets and transmission opportunity of 9. Our study concludes that selection of DCCP and optimized parameters over IEEE 802.11n can enhance the capacity of IPTV and VoIP by atleast 25% and 19% respectively as compared to the use of UDP.}, organization = {IEEE}, pages = {785--792}, year = {2013}, doi = {10.1109/LCN.2013.6761333}, url = {https://research.rug.nl/en/publications/capacity-analysis-of-combined-iptv-and-voip-over-ieee-80211n}, }
url doi
IPTV Capacity Analysis using DCCP over IEEE 802.11n (S. Saleh, Z. Shah and A. Baig), In 78th Vehicular Technology Conference, 2013.
Abstract
Internet Protocol Television (IPTV) has gained an enormous growth rate by revolutionizing personal entertainment. High data rates with increased coverage radius of IEEE 802.11n Wireless Local Area Networks (WLANs) motivate the concept of wireless IPTV. Streaming of Television contents over highly pervasive wireless environment with satisfactory Quality of Service (QoS) is a challenging task. Focusing on wireless IPTV, our work deals with the capacity evaluation of IPTV users over IEEE 802.11n. We first present an upper capacity limit for supporting maximum number of users over IEEE 802.11n. We then propose that 4-times packet size is the optimal frame aggregation size for IPTV which maximizes users capacity and QoS. Finally, we suggest the use of Datagram Congestion Control Protocol (DCCP) at transport layer for IPTV. We show that DCCP capacity for IPTV increases upto 35% by reducing packet losses at Access Point (AP), compared to User Datagram Protocol (UDP). We further evaluate fairness of IPTV traffic in the presence of Transmission Control Protocol (TCP) traffic in the network. Our study concludes that IPTV using DCCP over IEEE 802.11n not only provides increased user's capacity but also co-exists fairly with TCP traffic.
BibTeX

@InProceedings{saleh2013:vtc, author = {S. Saleh and Z. Shah and A. Baig}, booktitle = {78th Vehicular Technology Conference}, title = {I{PTV} {C}apacity {A}nalysis using {DCCP} over {IEEE} 802.11n}, abstract = {Internet Protocol Television (IPTV) has gained an enormous growth rate by revolutionizing personal entertainment. High data rates with increased coverage radius of IEEE 802.11n Wireless Local Area Networks (WLANs) motivate the concept of wireless IPTV. Streaming of Television contents over highly pervasive wireless environment with satisfactory Quality of Service (QoS) is a challenging task. Focusing on wireless IPTV, our work deals with the capacity evaluation of IPTV users over IEEE 802.11n. We first present an upper capacity limit for supporting maximum number of users over IEEE 802.11n. We then propose that 4-times packet size is the optimal frame aggregation size for IPTV which maximizes users capacity and QoS. Finally, we suggest the use of Datagram Congestion Control Protocol (DCCP) at transport layer for IPTV. We show that DCCP capacity for IPTV increases upto 35% by reducing packet losses at Access Point (AP), compared to User Datagram Protocol (UDP). We further evaluate fairness of IPTV traffic in the presence of Transmission Control Protocol (TCP) traffic in the network. Our study concludes that IPTV using DCCP over IEEE 802.11n not only provides increased user's capacity but also co-exists fairly with TCP traffic.}, organization = {IEEE}, pages = {1--5}, year = {2013}, doi = {10.1109/VTCFall.2013.6692252}, url = {https://research.rug.nl/en/publications/iptv-capacity-analysis-using-dccp-over-ieee-80211n} }
url doi
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
Dynamic Constraint Reasoning in Smart Environments (V. Degeler and A. Lazovik), In IEEE International Conference on Tools with Artificial Intelligence, 2013.
BibTeX

@inproceedings{degeler2013:dynamic, author = {V. Degeler and A. Lazovik}, title = {Dynamic Constraint Reasoning in Smart Environments}, booktitle = {IEEE International Conference on Tools with Artificial Intelligence}, year = {2013}, url = {http://vdegeler.com/files/13rmedcsp.pdf}, note = {To appear}, }
url
Service-Oriented Architecture for Smart Environments (V. Degeler, L. I. Lopera Gonzalez, M. Leva, P. Shrubsole, S. Bonomi, O. Amft and A. Lazovik), In IEEE International Conference on Service Oriented Computing and Applications, 2013.
BibTeX

@inproceedings{degeler2013:soasme, author = {V. Degeler and L. I. Lopera Gonzalez and M. Leva and P. Shrubsole and S. Bonomi and O. Amft and A. Lazovik}, title = {Service-Oriented Architecture for Smart Environments}, booktitle = {IEEE International Conference on Service Oriented Computing and Applications}, year = {2013}, url = {http://vdegeler.com/files/13gbsoca.pdf}, pages = {99--104}, }
url
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
Service Ecologies for Home/Building Automation (M. Caruso, C. Di Ciccio, E. Iacomussi, E. Kaldeli, A. Lazovik and M. Mecella), In 10th Int. IFAC Symposium on Robot Control, 2012.
BibTeX

@inproceedings{caruso2012:ecologies, author = {M. Caruso and C. Di Ciccio and E. Iacomussi and E. Kaldeli and A. Lazovik and M. Mecella}, title = {Service Ecologies for Home/Building Automation}, booktitle = {10th Int. IFAC Symposium on Robot Control}, year = {2012}, }
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
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
Automatic Detection of Business Process Interference (N.R.T.P. van Beest, E. Kaldeli, P. Bulanov, J.C. Wortmann and A. Lazovik), In International Workshop on Knowledge-intensive Business Processes, 2012.
BibTeX

@inproceedings{vanbeest2012:detection, author = {N.R.T.P. van Beest and E. Kaldeli and P. Bulanov and J.C. Wortmann and A. Lazovik}, title = {Automatic Detection of Business Process Interference}, booktitle = {International Workshop on Knowledge-intensive Business Processes}, year = {2012}, url = {http://ceur-ws.org/Vol-861/KiBP2012_invited_1.pdf}, }
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
Cost-efficient Context-aware Rule Maintenance (V. Degeler and A. Lazovik), In Workshop on Context Modeling and Reasoning, 2012.
BibTeX

@inproceedings{degeler2012:comorea, title = {Cost-efficient Context-aware Rule Maintenance}, author = {V. Degeler and A. Lazovik}, booktitle = {Workshop on Context Modeling and Reasoning}, pages = {608--612}, year = {2012}, url = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6197587&tag=1}, }
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
OpenFlow supporting inter-domain virtual machine migration (Boughzala, Bochra, Ali, Racha Ben, Lemay, Mathieu, Lemieux, Yves and Cherkaoui, Omar), In 2011 Eighth International Conference on Wireless and Optical Communications Networks, 2011.
BibTeX

@inproceedings{boughzala2011openflow, title={OpenFlow supporting inter-domain virtual machine migration}, author={Boughzala, Bochra and Ali, Racha Ben and Lemay, Mathieu and Lemieux, Yves and Cherkaoui, Omar}, booktitle={2011 Eighth International Conference on Wireless and Optical Communications Networks}, pages={1--7}, year={2011}, organization={IEEE} }
An agent-based wide area protection scheme for self-healing grids (D. Düştegör), In , 2011.
Abstract
This paper presents a wide area protection multi-agent system with high degree of tolerance to faults. Agents in this protection system detect and locate faults by comparing current measurements across the protected component following principles of conventional differential protection; yet they perform sensor data integrity evaluation through a trip confirmation mechanism, by cooperating and collaborating with neighbor agents. This mechanism prevent from possible false trips caused by measurement failure or a failure of communication channel, resulting in explicit sensor failure detection and location. A missing sensor restoration mechanism is initiated to mitigate the effects of sensor failure, applying a self-healing strategy. The principles of cooperation and collaboration are presented, and the structure and hierarchy of protection agents are designed. © 2011 IEEE.

Keywords: Distributed Energy Resources, Distributed-Intelligence, Fault Detection, Location and Isolation, Multi-Agent System, Self-Healing, Wide-Area Protection
BibTeX

@inproceedings{Dustegor2011d, abstract = {This paper presents a wide area protection multi-agent system with high degree of tolerance to faults. Agents in this protection system detect and locate faults by comparing current measurements across the protected component following principles of conventional differential protection; yet they perform sensor data integrity evaluation through a trip confirmation mechanism, by cooperating and collaborating with neighbor agents. This mechanism prevent from possible false trips caused by measurement failure or a failure of communication channel, resulting in explicit sensor failure detection and location. A missing sensor restoration mechanism is initiated to mitigate the effects of sensor failure, applying a self-healing strategy. The principles of cooperation and collaboration are presented, and the structure and hierarchy of protection agents are designed. © 2011 IEEE.}, author = {D. Düştegör}, doi = {10.1109/ISGT-MidEast.2011.6220803}, isbn = {9781467309875}, journal = {2011 IEEE PES Conference on Innovative Smart Grid Technologies - Middle East, ISGT Middle East 2011}, keywords = {Distributed Energy Resources,Distributed-Intelligence,Fault Detection,Location and Isolation,Multi-Agent System,Self-Healing,Wide-Area Protection}, title = {An agent-based wide area protection scheme for self-healing grids}, year = {2011}, }
doi
A distributed fault protection method for power grid with high penetration of renewable energy sources (D. Düştegör, T. El Mezyani and S.K. Srivastava), In , 2011.
Abstract
This study addresses the fault protection issues that will be caused by the increased penetration of Renewable Energy Sources (RES). A new Distributed Wide Area Differential Protection (DWADP) scheme is proposed to overcome these problems, and hence to improve reliability of power systems. Tools of intelligence are integrated at the relay level, capable of generating optimal responses, based on communication with direct neighbors only, instead of a system wide communication, thus minimizing both the required bandwidth and the degree of connectivity between different relays. The proposed DWADP scheme contains a conventional differential protection scheme cascaded with a trip confirmation mechanism (TCM), which performs sensor data integrity evaluation, and a missing sensor restoration mechanism (MSRM). Hence, false trip can be avoided, while locating sensor failures, thus making it possible to take preventive action. © 2011 IEEE.

Keywords: Fault Location, Fault Tolerance, Power System Protection, Renewable Energy Sources
BibTeX

@inproceedings{Dustegor2011b, abstract = {This study addresses the fault protection issues that will be caused by the increased penetration of Renewable Energy Sources (RES). A new Distributed Wide Area Differential Protection (DWADP) scheme is proposed to overcome these problems, and hence to improve reliability of power systems. Tools of intelligence are integrated at the relay level, capable of generating optimal responses, based on communication with direct neighbors only, instead of a system wide communication, thus minimizing both the required bandwidth and the degree of connectivity between different relays. The proposed DWADP scheme contains a conventional differential protection scheme cascaded with a trip confirmation mechanism (TCM), which performs sensor data integrity evaluation, and a missing sensor restoration mechanism (MSRM). Hence, false trip can be avoided, while locating sensor failures, thus making it possible to take preventive action. © 2011 IEEE.}, author = {D. Düştegör and T. El Mezyani and S.K. Srivastava}, doi = {10.1109/SmartGridComm.2011.6102386}, isbn = {9781457717024}, journal = {2011 IEEE International Conference on Smart Grid Communications, SmartGridComm 2011}, keywords = {Fault Location,Fault Tolerance,Power System Protection,Renewable Energy Sources}, title = {A distributed fault protection method for power grid with high penetration of renewable energy sources}, year = {2011}, }
doi
A sensor failure resilience metric for ship-board power system (D. Düştegör, T.E. Mezyani and P.G. McLaren), In , 2011.
Abstract
This study defines a metric of resilience to sensor faults for ship-board power system. Hence, one is able to compare different power system topology with respect to their robustness to sensor faults, which provides valuable information in the design phase. For a given power system topology, we first present a distributed wide area differential protection (DWAPS) scheme, that is able to cope with the difficulties caused by short cables used to connect the various busbars on board. The proposed scheme is an elaboration of previous studies yet integrates tools of intelligence at the relay level based on a communication with direct neighbors only, instead of a system wide communication, thus minimizing both the required bandwidth and the degree of connectivity between different relays. We then demonstrate how to explicitly reconstruct lost data after sensor failure. Finally, we define the minimum number of sensor that makes this restoration possible as sensor failure resilience metric. © 2011 IEEE.
BibTeX

@inproceedings{Dustegor2011c, abstract = {This study defines a metric of resilience to sensor faults for ship-board power system. Hence, one is able to compare different power system topology with respect to their robustness to sensor faults, which provides valuable information in the design phase. For a given power system topology, we first present a distributed wide area differential protection (DWAPS) scheme, that is able to cope with the difficulties caused by short cables used to connect the various busbars on board. The proposed scheme is an elaboration of previous studies yet integrates tools of intelligence at the relay level based on a communication with direct neighbors only, instead of a system wide communication, thus minimizing both the required bandwidth and the degree of connectivity between different relays. We then demonstrate how to explicitly reconstruct lost data after sensor failure. Finally, we define the minimum number of sensor that makes this restoration possible as sensor failure resilience metric. © 2011 IEEE.}, author = {D. Düştegör and T.E. Mezyani and P.G. McLaren}, doi = {10.1109/ESTS.2011.5770874}, isbn = {9781424492725}, journal = {2011 IEEE Electric Ship Technologies Symposium, ESTS 2011}, title = {A sensor failure resilience metric for ship-board power system}, year = {2011}, }
doi
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
Testing for Highly Distributed Service-oriented Systems using Virtual Environments (F. Nizamic, R. Groenboom and A. Lazovik), In Postproceedings of 17th Dutch Testing Day, 2011.
BibTeX

@inproceedings{nizamic2011:testing, title = {Testing for Highly Distributed Service-oriented Systems using Virtual Environments}, author = {F. Nizamic and R. Groenboom and A. Lazovik}, booktitle = {Postproceedings of 17th Dutch Testing Day}, year = {2011}, url = {http://eprints.eemcs.utwente.nl/21523/}, }
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
Sensor optimization and placement for enhanced power system monitoring using entropy (T. El-Mezyani, S.K. Srivastava, D.A. Cartes and D. Düştegör), In , 2011.
Abstract
In this paper we propose a new methodology for sensor optimization and placement in a power system. The objectives of this study are to identify basic concepts on sensor optimization and placements to enhance the reliability and for efficient sensor data collection, processing, and transmission. Two approaches based on automatic control and information theory have been proposed. Condition of observability and fault detectability and isolability is developed to determine the optimal number of sensors and to determine the set of candidate sensors necessary for state estimation and fault detection and isolation. An entropy-based heuristic is proposed for the selection of the best sensors candidate that increases the information gain, thereby decreasing the drawback of system complexity and information uncertainty. © 2011 IEEE.
BibTeX

@inproceedings{Dustegor2011, abstract = {In this paper we propose a new methodology for sensor optimization and placement in a power system. The objectives of this study are to identify basic concepts on sensor optimization and placements to enhance the reliability and for efficient sensor data collection, processing, and transmission. Two approaches based on automatic control and information theory have been proposed. Condition of observability and fault detectability and isolability is developed to determine the optimal number of sensors and to determine the set of candidate sensors necessary for state estimation and fault detection and isolation. An entropy-based heuristic is proposed for the selection of the best sensors candidate that increases the information gain, thereby decreasing the drawback of system complexity and information uncertainty. © 2011 IEEE.}, author = {T. El-Mezyani and S.K. Srivastava and D.A. Cartes and D. Düştegör}, doi = {10.1109/ESTS.2011.5770864}, isbn = {9781424492725}, journal = {2011 IEEE Electric Ship Technologies Symposium, ESTS 2011}, title = {Sensor optimization and placement for enhanced power system monitoring using entropy}, year = {2011}, }
doi
Interpretation of Inconsistencies via Context Consistency Diagrams (V. Degeler and A. Lazovik), In Annual IEEE International Conference on Pervasive Computing and Communications, 2011.
BibTeX

@inproceedings{degeler2011:diagrams, title = {Interpretation of Inconsistencies via Context Consistency Diagrams}, author = {V. Degeler and A. Lazovik}, booktitle = {Annual IEEE International Conference on Pervasive Computing and Communications}, year = {2011}, url = {http://www.cs.rug.nl/~lazovik/papers/2011/degeler.lazovik.artCCD.pdf}, pages = {20--27}, }
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
Resolving Business Process Interference via Dynamic Reconfiguration (N.R.T.P. van Beest, P. Bulanov, H. Wortmann and A. Lazovik), In International Conference on Service Oriented Computing, 2010.
BibTeX

@inproceedings{vanbeest2010:resolving, title = {Resolving Business Process Interference via Dynamic Reconfiguration}, author = {N.R.T.P. van Beest and P. Bulanov and H. Wortmann and A. Lazovik}, booktitle = {International Conference on Service Oriented Computing}, year = {2010}, url = {http://www.cs.rug.nl/~lazovik/papers/2010/rug-sasleg-icsoc10.pdf}, }
url
Mining Twitter in the Cloud: A Case Study (P. Noordhuis, M. Heijkoop and A. Lazovik), In IEEE 3rd International Conference on Cloud Computing, 2010.
BibTeX

@inproceedings{noordhuis2010:twitter, title = {Mining Twitter in the Cloud: A Case Study}, author = {P. Noordhuis and M. Heijkoop and A. Lazovik}, booktitle = {IEEE 3rd International Conference on Cloud Computing}, year = {2010}, url = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5558003}, pages = {107--114}, }
url
Parity space approach for enhanced fault detection and intelligent sensor network design in power systems (T. El-Mezyani, D. Düştegör, S.K. Srivastava and D.A. Cartes), In , 2010.
Abstract
In this study, the model-based fault detection and isolation (FDI) approach of parity-space is adapted to the diagnosis of sensor faults in power systems. Hardware redundancy is conventionally utilized to overcome this problem. However, this is an expensive solution. Instead, we propose to detect and locate faults by the systematic use of the system's analytical redundancy, with a global view of the system. This redundancy can be used to detect and isolate sensor failure as well. We also give necessary and sufficient conditions for a sensor network to be able detect faults, sensor failures included. Hence, the sensor configuration problem boils down to an optimization problem that can be intelligently guided by our method. The principle of parity-space approach is described in detail and illustrated on a simple power system model. The method is then validated through simulation. ©2010 IEEE.

Keywords: Fault diagnosis, Power system protection, Sensor, Wide-Area protection
BibTeX

@inproceedings{Dustegor2010, abstract = {In this study, the model-based fault detection and isolation (FDI) approach of parity-space is adapted to the diagnosis of sensor faults in power systems. Hardware redundancy is conventionally utilized to overcome this problem. However, this is an expensive solution. Instead, we propose to detect and locate faults by the systematic use of the system's analytical redundancy, with a global view of the system. This redundancy can be used to detect and isolate sensor failure as well. We also give necessary and sufficient conditions for a sensor network to be able detect faults, sensor failures included. Hence, the sensor configuration problem boils down to an optimization problem that can be intelligently guided by our method. The principle of parity-space approach is described in detail and illustrated on a simple power system model. The method is then validated through simulation. ©2010 IEEE.}, author = {T. El-Mezyani and D. Düştegör and S.K. Srivastava and D.A. Cartes}, doi = {10.1109/PES.2010.5590102}, isbn = {9781424483570}, journal = {IEEE PES General Meeting, PES 2010}, keywords = {Fault diagnosis,Power system protection,Sensor,Wide-Area protection}, title = {Parity space approach for enhanced fault detection and intelligent sensor network design in power systems}, year = {2010}, }
doi
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
Maintenance of customized processes (P. Bulanov), In PhD symposium, hosted by 7th International Conference on Service Oriented Computing, 2009.
BibTeX

@inproceedings{bulanov2009:icsoc, title={Maintenance of customized processes}, author = {P. Bulanov}, booktitle = {PhD symposium, hosted by 7th International Conference on Service Oriented Computing}, pages = {25--30}, url = {http://ceur-ws.org/Vol-548/paper5.pdf}, year = {2009}, }
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}, }
Structural analysis for assessment of monitoring possibilities: Application to simple power system topologies (D. Düştegör, S.V. Poroseva, M.Y. Hussaini and S.L. Woodruff), In , 2008.
Abstract
Any power system, either an integrated power system in an all-electric ship or a utility power system, needs to be highly reliable. Reliability of a complex system strongly depends on the possibility of detecting faults and isolating them from each other, i.e., on the monitoring potential of the system. The area of power system engineering that is concerned with the fault detection and isolation is called protection. As power systems becoming more and more complex, current standards for their protection should be adjusted accordingly to meet the challenges associated with increased system complexity. The standard approach used in power system protection is local, that is, current and voltage sensors are placed at or near individual breakers that open up to isolate a fault (short circuit). Coordination between breakers is achieved indirectly by setting the voltage or current trip points of the breakers differently so they open up in a desired sequence. Wide-area (global) protection is a new research direction. Wide-area protection schemes provide protection at more unified, global level than local protection schemes, and often operate as a backup level of protection. However, these schemes are usually developed manually, that is, the arrangement of protective actions within areas are made by hand, following heuristic considerations. More systematic and automated approaches are required for successful wide-area protection of larger systems. The objective of the current study is to adapt the model-based fault detection and isolation approach based on structural analysis to power systems in order to evaluate the monitoring potential of a given power system topology (architecture) in a systematic and automated manner. A new methodology is applied to evaluate the monitoring potential of a few simple topologies. © 2008 IEEE.

Keywords: Fault detection and isolation, Power systems, Protection algorithms, Structural analysis
BibTeX

@inproceedings{Dustegor20108b, abstract = {Any power system, either an integrated power system in an all-electric ship or a utility power system, needs to be highly reliable. Reliability of a complex system strongly depends on the possibility of detecting faults and isolating them from each other, i.e., on the monitoring potential of the system. The area of power system engineering that is concerned with the fault detection and isolation is called protection. As power systems becoming more and more complex, current standards for their protection should be adjusted accordingly to meet the challenges associated with increased system complexity. The standard approach used in power system protection is local, that is, current and voltage sensors are placed at or near individual breakers that open up to isolate a fault (short circuit). Coordination between breakers is achieved indirectly by setting the voltage or current trip points of the breakers differently so they open up in a desired sequence. Wide-area (global) protection is a new research direction. Wide-area protection schemes provide protection at more unified, global level than local protection schemes, and often operate as a backup level of protection. However, these schemes are usually developed manually, that is, the arrangement of protective actions within areas are made by hand, following heuristic considerations. More systematic and automated approaches are required for successful wide-area protection of larger systems. The objective of the current study is to adapt the model-based fault detection and isolation approach based on structural analysis to power systems in order to evaluate the monitoring potential of a given power system topology (architecture) in a systematic and automated manner. A new methodology is applied to evaluate the monitoring potential of a few simple topologies. © 2008 IEEE.}, author = {D. Düştegör and S.V. Poroseva and M.Y. Hussaini and S.L. Woodruff}, doi = {10.1109/PES.2008.4596702}, isbn = {9781424419067}, journal = {IEEE Power and Energy Society 2008 General Meeting: Conversion and Delivery of Electrical Energy in the 21st Century, PES}, keywords = {Fault detection and isolation,Power systems,Protection algorithms,Structural analysis}, title = {Structural analysis for assessment of monitoring possibilities: Application to simple power system topologies}, year = {2008}, }
doi
A new methodology for automated assessment of fault detection and isolation possibilities in large power systems (D. Düştegör, S.V. Poroseva, M.Y. Hussaini and S.L. Woodruff), In , 2008.
Abstract
Any power system, whether an integrated power system in an all-electric ship or a utility power system, needs to be highly reliable. Reliability of a complex system strongly depends on the monitoring possibilities of the system. The area of power system engineering that is concerned with fault detection and isolation is called protection. As power systems become more complex, current methods for their protection should be adjusted accordingly to meet the challenges associated with increased system complexity. The standard approach for power system protection is local, that is, current and voltage sensors are placed at or near individual breakers that can open in order to isolate a fault. Coordination between breakers is achieved indirectly by setting the voltage or current trip points of the breakers differently so that they open in a desired sequence. Wide-area protection is a new research direction that provides protection at a more unified level, and often operates as a backup level of protection. However, these schemes are usually developed manually following heuristic considerations. This study proposes a new methodology based on the structural analysis of control theory, and provides the possibility of a systematic and automated approach to global power-system protection. © 2008 SIMULATION COUNCILS, INC.

Keywords: Fault detection and isolation, Power systems, Protection algorithms, Structural analysis
BibTeX

@inproceedings{Dustegor2008, abstract = {Any power system, whether an integrated power system in an all-electric ship or a utility power system, needs to be highly reliable. Reliability of a complex system strongly depends on the monitoring possibilities of the system. The area of power system engineering that is concerned with fault detection and isolation is called protection. As power systems become more complex, current methods for their protection should be adjusted accordingly to meet the challenges associated with increased system complexity. The standard approach for power system protection is local, that is, current and voltage sensors are placed at or near individual breakers that can open in order to isolate a fault. Coordination between breakers is achieved indirectly by setting the voltage or current trip points of the breakers differently so that they open in a desired sequence. Wide-area protection is a new research direction that provides protection at a more unified level, and often operates as a backup level of protection. However, these schemes are usually developed manually following heuristic considerations. This study proposes a new methodology based on the structural analysis of control theory, and provides the possibility of a systematic and automated approach to global power-system protection. © 2008 SIMULATION COUNCILS, INC.}, author = {D. Düştegör and S.V. Poroseva and M.Y. Hussaini and S.L. Woodruff}, isbn = {9781622763603}, journal = {Grand Challenges in Modeling and Simulation Symposium 2008, GCMS 2008, Part of the 2008 Summer Simulation Multiconference, SummerSim 2008}, keywords = {Fault detection and isolation,Power systems,Protection algorithms,Structural analysis}, title = {A new methodology for automated assessment of fault detection and isolation possibilities in large power systems}, year = {2008}, }
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
Adaptive structural analysis for FDI design in evolving systems (D. Düştegör, V. Cocquempot and M. Staroswiecki), In , volume 6, 2006.
Abstract
Although structural analysis for Fault Detection and Isolation (FDI) is a well formalized method, a significant effort has still to be made concerning implementation issues and algorithmic aspects in order to make the method better applicable for real-life industrial problems. System's evolution is one of these points to be considered. The main contribution of this paper is an adaptive/evolutive algorithm that avoids unnecessary duplication of work by efficiently making use of already generated results. Copyright © 2006 IFAC.

Keywords: Adaptive algorithm, FDI, Structural analysis, System evolution
BibTeX

@inproceedings{Dustegor206b, abstract = {Although structural analysis for Fault Detection and Isolation (FDI) is a well formalized method, a significant effort has still to be made concerning implementation issues and algorithmic aspects in order to make the method better applicable for real-life industrial problems. System's evolution is one of these points to be considered. The main contribution of this paper is an adaptive/evolutive algorithm that avoids unnecessary duplication of work by efficiently making use of already generated results. Copyright © 2006 IFAC.}, author = {D. Düştegör and V. Cocquempot and M. Staroswiecki}, isbn = {9783902661142}, issn = {14746670}, issue = {PART 1}, journal = {IFAC Proceedings Volumes (IFAC-PapersOnline)}, keywords = {Adaptive algorithm,FDI,Structural analysis,System evolution}, title = {Adaptive structural analysis for FDI design in evolving systems}, volume = {6}, year = {2006}, }
Structural analysis for residual generation: Towards implementation (D. Düştegör, V. Cocquempot and M. Staroswiecki), In , volume 2, 2004.
Abstract
In that paper an innovative way of dealing with the generation of residuals for fault-detection and isolation based on structural information is presented. The developed technique considers implementation issues therefore it has a more realistic point of view compared to classical structural approaches. First practical issues that can be encountered such as computational complexity or implementation considerations are introduced. Then the way of incorporating them to the existing structural analysis framework is explained. Finally, we show how the Stable Marriage Problem can be successfully adapted in order to choose the most suited matching that leads to residual computational sequences. The algorithm has been implemented and tested using a real life benchmark model: the Damadics valve © 2004 IEEE.
BibTeX

@inproceedings{Dustegor204c, abstract = {In that paper an innovative way of dealing with the generation of residuals for fault-detection and isolation based on structural information is presented. The developed technique considers implementation issues therefore it has a more realistic point of view compared to classical structural approaches. First practical issues that can be encountered such as computational complexity or implementation considerations are introduced. Then the way of incorporating them to the existing structural analysis framework is explained. Finally, we show how the Stable Marriage Problem can be successfully adapted in order to choose the most suited matching that leads to residual computational sequences. The algorithm has been implemented and tested using a real life benchmark model: the Damadics valve © 2004 IEEE.}, author = {D. Düştegör and V. Cocquempot and M. Staroswiecki}, journal = {Proceedings of the IEEE International Conference on Control Applications}, title = {Structural analysis for residual generation: Towards implementation}, volume = {2}, year = {2004}, }
Improving fault isolability properties by structural analysis of faulty behavior models: Application to the damadics benchmark problem (Erik Frisk, Dilek Düştegör, Mattias Krysander and Vincent Cocquempot), In , volume 36, 2003.
Abstract
Structural analysis is a powerful tool for early determination of detectability/isolability possibilities. It is shown how different levels of knowledge about faults can be incorporated in a structural fault-isolability analysis and how they result in different isolability properties. The results are evaluated on the DAMADICS valve benchmark model. It is also shown how to determine which faults in the benchmark that need further modeling to get desired isolability properties of the diagnosis system.
BibTeX

@inproceedings{Frisk2003, abstract = {Structural analysis is a powerful tool for early determination of detectability/isolability possibilities. It is shown how different levels of knowledge about faults can be incorporated in a structural fault-isolability analysis and how they result in different isolability properties. The results are evaluated on the DAMADICS valve benchmark model. It is also shown how to determine which faults in the benchmark that need further modeling to get desired isolability properties of the diagnosis system.}, author = {Erik Frisk and Dilek Düştegör and Mattias Krysander and Vincent Cocquempot}, doi = {10.1016/S1474-6670(17)36641-7}, issn = {14746670}, issue = {5}, journal = {IFAC Proceedings Volumes (IFAC-PapersOnline)}, title = {Improving fault isolability properties by structural analysis of faulty behavior models: Application to the damadics benchmark problem}, volume = {36}, year = {2003}, }
doi

Visiting address

By category

By author (members)

By author (affiliate)

By author (alumni/former)

By year

Conference Papers and Demos

Abstract

BibTeX

Abstract

BibTeX

Abstract

BibTeX

Abstract

BibTeX

Abstract

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

Abstract

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

Abstract

BibTeX

Abstract

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

Abstract

BibTeX

Abstract

BibTeX

BibTeX

BibTeX

Abstract

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

Abstract

BibTeX

BibTeX

BibTeX