Distributed Systems

Publications

    2022


    1. Network Testing Utilizing ProgrammableNetworking Hardware. (, , , and ), In IEEE Communications Magazine, IEEE, .

      BibTeX



      url
    2. On the Incremental Reconfiguration of Time-sensitive Networks at Runtime (, , , , and ), In Proceedings of the IFIP Networking Conference., IFIP, .

      BibTeX



    3. Enhancing Flexibility for Dynamic Time-Sensitive Network Configurations (, , , , and ), In Proceedings of the 3rd KuVS Fachgespräch on Network Softwarization, Universität Tübingen, .

      BibTeX



      doi
    4. Travel light: state shedding for efficient operator migration (, , and ), In Proceedings of the 16th ACM International Conference on Distributed and Event-Based Systems (DEBS'22), ACM press, .

      BibTeX



      doi
    5. FA2: Fast, Accurate Autoscaling for Serving Deep Learning Inference with SLA Guarantees (, , , and ), In Proceedings of the 28th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2022), IEEE, .

      BibTeX



    6. PANDA: performance prediction for parallel and dynamic stream processing (, , and ), In Proceedings of the 16th ACM International Conference on Distributed and Event-Based Systems, ACM press, .

      BibTeX



      doi
    7. Window-based Parallel Operator Execution with In-Network Computing: Proceedings (, and ), In Proceedings of the 16th ACM International Conference on Distributed and Event-based Systems (DEBS '22), ACM New York, NY, USA, .

      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



      doi
    8. On the Use of the Conformance and Compliance Keywords During Verification of Business Processes (, and ), In BPM 2022 Forum, Springer International Publishing, .

      Abstract

      A wealth of techniques have been developed over the past decades to help organizations understand their processes, verify correctness against requirements and diagnose potential problems. In general, these techniques for verification 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 each 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, the 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 and the artifacts they apply to. Moreover, we explore the consequences when these terms are used incorrectly. In doing so, we aim to improve transfer from research to practical applications and increase adoption of relevant approaches and new advances in the field by clarifying the relation between available techniques and the intended verification goals.


      Keywords: Conformance, Compliance, Verification, Review


      BibTeX



    2021


    1. Multi-Energy Management of Buildings in Smart Grids (), University of Groningen, .

      BibTeX



      urldoi
    2. Automated Service Composition Using AI Planning and Beyond (), Chapter in (M. Aiello, A. Bouguettaya, D. A. Tamburri, W. J. van den Heuvel, eds.), Springer International Publishing, .

      BibTeX



      urldoi
    3. TCEP: Transitions in Operator Placement to Adapt to Dynamic Network Environments. (, , , , and ), In In Journal of Computer and Systems Sciences (JCSS), Special Issue on Algorithmic Theory of Dynamic Networks and its Applications., Elsevier, volume 122, .

      BibTeX



      urldoi
    4. OpenBNG: Central office network functions on programmable data plane hardware (, , , , , , , , , and ), In International Journal of Network Management, Wiley, volume 31, .

      BibTeX



      urldoi
    5. SVNN: an efficient PacBio-specific pipeline for structural variations calling using neural networks (, and ), In BMC bioinformatics, BioMed Central, volume 22, .

      BibTeX



    6. Adaptive On-the-fly Changes in Distributed Processing Pipelines (, , and ), In Frontiers in Big Data, Frontiers, .

      BibTeX



    7. A multi-robot allocation model for multi-object based on Global Optimal Evaluation of Revenue (, , , and ), In International Journal of Advanced Robotic Systems, volume 9, .

      Abstract

      The problem of global optimal evaluation for multi-robot allocation has gained attention constantly, especially in a multi-objective environment, but most algorithms based on swarm intelligence are difficult to give a convergent result. For solving the problem, we established a Global Optimal Evaluation of Revenue method of multi-robot for multi-tasks based on the real textile combing production workshop, consumption, and different task characteristics of mobile robots. The Global Optimal Evaluation of Revenue method could traversal calculates the profit of each robot corresponding to different tasks with global traversal over a finite set, then an optimization result can be converged to the global optimal value avoiding the problem that individual optimization easy to fall into local optimal results. In the numerical simulation, for fixed set of multi-object and multi-task, we used different numbers of robots allocation operation. We then compared with other methods: Hungarian, the auction method, and the method based on game theory. The results showed that Global Optimal Evaluation of Revenue reduced the number of robots used by at least 17%, and the delay time could be reduced by at least 16.23%.


      Keywords: global optimal, multi-robot, path planning, response time, task allocation


      BibTeX



      urldoi
    8. Digital Twins: an enabler for digital transformation ( and ), Chapter in The Digital Transformation handbook, .

      BibTeX



      url
    9. Accelerating the Performance of Data Analytics using Network-centric Processing (), 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, .

      BibTeX



      doi
    10. Leveraging Flexibility of Time-Sensitive Networks for dynamic Reconfigurability (, , , , and ), In Proceedings of IFIP Networking 2021, IFIP, .

      BibTeX



      url
    11. Leveraging PIFO Queues for Scheduling in Time-Sensitive Networks (, , , , , and ), In In the Proceedings of the IEEE International Symposium on Local and Metropolitan Area Networks (LANMAN 2021)., IEEE, .

      BibTeX



      urldoi
    12. P4-CoDel: Experiences on Programmable Data Plane Hardware (, , , , and ), In Proceedings of the IEEE International Conference on Communications (ICC 2021): Next-Generation Networking and Internet Symposium, IEEE, .

      BibTeX



      urldoi
    13. Towards QoE-Driven Optimization of Multi-Dimensional Content Streaming (, , , , , , and ), In Proceedings of the Conference on Networked Systems 2021 (NetSys 2021), European Association of Software Science and Technology, .

      BibTeX



      urldoi
    14. "log data compliance" (, , and ), .

      Abstract

      This disclosure relates to a computer analysing log data. The computer receives log data comprising traces having log events from respective process executions. The computer creates a stream of log events, wherein the stream is sorted by the event time. The computer iterates over the stream of log events, and for each log event, executes update functions that define updates of a set of variables based on the log events. The set of variables comprises at least one cross-trace variable to calculate an updated value of the set of variables. The update functions define updates of the cross-trace variable in response to the log events of the traces. The computer further executes evaluation functions on the set of variables to determine compliance in relation to the log data based on the updated value. The evaluation functions represent compliance rules based on the set of variables including the cross-trace variable.


      BibTeX



      urlpdf

    2020


    1. Office Occupancy Detection based on Power Meters and BLE Beaconing (), University of Groningen, .

      BibTeX



      urldoi
    2. Optimization of energy distribution in smart grids (), University of Groningen, .

      BibTeX



      url
    3. The Internet of Everything: Smart things and their impact on business models (, , , , and ), In Journal of Business Research, .

      BibTeX



      urldoi
    4. Efficient conditional compliance checking of business process models (, and ), In Computers in Industry, volume 115, .

      BibTeX



      urldoi
    5. Workload Scheduling on heterogeneous Mobile Edge Cloud in 5G networks to Minimize SLA Violation (, , and ), In arXiv preprint arXiv:2003.02820, .

      BibTeX



    6. OpenBNG: Central office network functions on programmable data plane hardware (, , , , , , , , , and ), In International Journal of Network Management, Wiley, .

      BibTeX



      doi
    7. Grußwort der Gastherausgeber zum Thema Fog Computing (, , and ), In Informatik Spektrum, Springer Science and Business Media LLC, volume 42, .

      BibTeX



      doi
    8. Unsupervised approach towards analysing the public transport bunching swings formation phenomenon (, , , and ), In Public Transport, .

      BibTeX



      urldoi
    9. Theorie: processen van voortijdig schoolverlaten en begeleiding om dat te voorkomen (, , , and ), Chapter in Voortijdig schoolverlaten voorkomen Perspectieven van wetenschap, praktijk en beleid (M. A. E. van der Gaag, N. R. Snell, G. G. Bron, E. S. Kunnen, eds.), Uitgeverij Acco, .

      BibTeX



      url
    10. Procesonderzoek: processen van uitvallen, blijven en begeleiding (, , , , , and ), Chapter in Voortijdig schoolverlaten voorkomen Perspectieven van wetenschap, praktijk en beleid (M. A. E. van der Gaag, N. R. Snell, G. G. Bron, E. S. Kunnen, eds.), Uitgeverij Acco, .

      BibTeX



      url
    11. Towards Service-Oriented and Intelligent Microgrids (, and ), In Proceedings of the 3rd International Conference on Applications of Intelligent Systems, Association for Computing Machinery, .

      BibTeX



      urldoi
    12. Predictive Multi-Objective Scheduling with Dynamic Prices and Marginal CO2-Emission Intensities ( and ), In ACM e-Energy 2020, .

      BibTeX



    13. Sustainability Choices when Cooking Pasta (, and ), In ACM e-Energy 2020, .

      BibTeX



    14. Operator as a Service: Stateful Serverless Complex Event Processing (, , , and ), In Proceedings of the 2020 IEEE International Conference on Big Data, IEEE, .

      BibTeX



      doi
    15. The Community Structure of Constraint Satisfaction Problems and Its Correlation with Search Time ( and ), In 2020 IEEE 32nd International Conference on Tools with Artificial Intelligence (ICTAI), volume , .

      BibTeX



      doi
    16. Microbursts in Software and Hardware-based Traffic Load Generation (, and ), In Proceedings of the IEEE/IFIP Network Operations and Management Symposium (NOMS), IEEE, .

      BibTeX



      doi
    17. Flexible Content-based Publish/Subscribe over Programmable Data Planes (, , , and ), In Proceedings of the IEEE/IFIP Network Operations and Management Symposium (NOMS), IEEE, .

      BibTeX



      doi
    18. P4STA: High Performance Packet Timestamping with Programmable Packet Processors (, , , and ), In Proceedings of the IEEE/IFIP Network Operations and Management Symposium (NOMS), IEEE, .

      BibTeX



      doi

    2019


    1. The u-can-act Platform: A Tool to Study Intra-individual Processes of Early School Leaving and Its Prevention Using Multiple Informants (, , , , and ), In Frontiers in Psychology, volume 10, .

      BibTeX



      urldoi
    2. Energy management for user's thermal and power needs: A survey ( and ), In Energy Reports, volume 5, .

      BibTeX



      urldoi
    3. IMOS: improved meta-aligner and Minimap2 on spark (, and ), In BMC bioinformatics, Springer, volume 20, .

      BibTeX



    4. Variability in business processes: Automatically obtaining a generic specification (, , and ), In Information Systems, volume 80, .

      BibTeX



      urldoi
    5. Office Multi-Occupancy Detection using BLE Beacons and Power Meters (, and ), In 2019 IEEE 10th Annual Ubiquitous Computing, Electronics, and Mobile Communication Conference, .

      BibTeX



    6. Temporal Analysis of 911 Emergency Calls Through Time Series Modeling (, , and ), In The International Conference on Advances in Emerging Trends and Technologies, .

      BibTeX



    7. Prediction of Imports of Household Appliances in Ecuador Using LSTM Networks (, , and ), In Conference on Information Technologies and Communication of Ecuador, .

      BibTeX



    8. Predictive CO2-Efficient Scheduling of Hybrid Electric and Thermal Loads ( and ), In 2019 IEEE International Conference on Energy Internet (ICEI), .

      BibTeX



    9. ECiDA: Evolutionary Changes in Data Analysis (, , , , , , , and ), In ICT.Open, Hilversum, The Netherlands, .

      BibTeX



      url
    10. Development of a decision-aid for patients with depression considering treatment options: prediction of treatment response using a data-driven approach (, , , , , , , , , and ), In ISPOR Europe 2019, Copenhagen, Denmark, .

      BibTeX



      url
    11. Time to get personal? The impact of researchers’ choices on the selection of treatment targets using the experience sampling methodology (, , , , , , , , , and ), PsyArXiv, .

      BibTeX



      urldoi

    2018


    1. The Web Was Done by Amateurs: A Reflection on One of the Largest Collective Systems Ever Engineered (), Springer, .

      BibTeX



    2. The non-existent average individual: Automated personalization in psychopathology research by leveraging the capabilities of data science (), University of Groningen, .

      BibTeX



      url
    3. Multi-User Low Intrusive Occupancy Detection (, , and ), In Sensors, MDPI, volume 18, .

      BibTeX



      urldoi
    4. Topological Considerations on Decentralised Energy Exchange in the Smart Grid ( and ), In Procedia Computer Science, volume 130, .

      BibTeX



      urldoi
    5. Zero-queue ethernet congestion control protocol based on available bandwidth estimation (, and ), In Journal of network and computer applications, Elsevier, volume 105, .

      BibTeX



    6. Exploring the emotional dynamics of subclinically depressed individuals with and without anhedonia: An experience sampling study (, , , , and ), In Journal of Affective Disorders, volume 228, .

      BibTeX



      urldoi
    7. Topological Considerations on the Use of Batteries to Enhance the Reliability of HV-Grids (, , and ), In Journal of Energy Storage, volume 18, .

      BibTeX



      urldoi
    8. A task-based greedy scheduling algorithm for minimizing energy of mapreduce jobs ( and ), In Journal of grid computing, Springer, volume 16, .

      BibTeX



    9. Shedding Light on the Dark Corners of the Internet: A Survey of Tor Research (, and ), In Journal of Network and Computer Applications, Elsevier, volume 114, .

      BibTeX



    10. One for All, All for One: A Heterogeneous Data Plane for Flexible P4 Processing (, , , and ), In arXiv e-prints, .

      BibTeX



    11. Personalized Physical Activity Coaching: A Machine Learning Approach (, , , and ), In Sensors, volume 18, .

      BibTeX



      urldoi
    12. Adaptive Provisioning of Heterogeneous Cloud Resources for Big Data Processing (, , , and ), In Big Data and Cognitive Computing, volume 2, .

      BibTeX



      doi
    13. A Formal Model for Compliance Verification of Service Compositions (, and ), In IEEE Transactions on Services Computing, volume 11, .

      BibTeX



      doi
    14. Low-power Appliance Recognition using Recurrent Neural Networks (, , and ), In Applications of Intelligent Systems, .

      BibTeX



    15. Household CO2-efficient energy management ( and ), In Energy Informatics, Springer, .

      BibTeX



    16. Mining Sequential Patterns for Appliance Usage Prediction (, , , and ), In International Conference on Smart Cities and Green ICT Systems, .

      BibTeX



    17. Modeling 911 emergency events in Cuenca-Ecuador using geo-spatial data (, , and ), In International Conference on Technology Trends, .

      BibTeX



    18. LOD-GF: an integral linked open data generation framework (, , , , , and ), In Conference on Information Technologies and Communication of Ecuador, .

      BibTeX



    19. Robustness of reconfigurable complex systems by a multi-agent simulation: Application on power distribution systems (, , , and ), In 2018 Annual IEEE International Systems Conference (SysCon), .

      BibTeX



      doi

    2017


    1. two bestsellers (), Saccargia Holding BV Publisher, .

      BibTeX



    2. Indoor self-localization via bluetooth low energy beacons (, , and ), In IDRBT JOURNAL OF IJBT, volume 1, .

      BibTeX



    3. Metrics for Sustainable Data Centers ( and ), In IEEE Transactions on Sustainable Computing, .

      BibTeX



    4. MuGKeG: Secure Multi-channel Group Key Generation Algorithm for Wireless Networks (, , and ), In Wireless Personal Communications, Springer, volume 96, .

      BibTeX



    5. A Stochastic Model for Transit Latency in OpenFlow SDNs (, , , and ), In Computer Networks, Elsevier, volume 113, .

      BibTeX



    6. Planning meets activity recognition: Service coordination for intelligent buildings (, , , , and ), In Pervasive and Mobile Computing, Elsevier, volume 38, .

      BibTeX



      url
    7. Sizing and Siting of Large-Scale Batteries in Transmission Grids to Optimize the Use of Renewables (, , , and ), In IEEE Journal on Emerging and Selected Topics in Circuits and Systems, volume 7, .

      BibTeX



      url
    8. Automated Generation Algorithm for Synthetic Medium Voltage Radial Distribution Systems (, , and ), In IEEE Journal on Emerging and Selected Topics in Circuits and Systems, volume 7, .

      BibTeX



      url
    9. Semantic web and augmented reality for searching people, events and points of interest within of a university campus (, , and ), In 2017 XLIII Latin American Computer Conference (CLEI), .

      BibTeX



    10. Tv program recommender using user authentication on middleware ginga (, , , and ), In 2017 IEEE Second Ecuador Technical Chapters Meeting (ETCM), .

      BibTeX



    11. Runtime Modifications of Spark Data Processing Pipelines (, , , and ), In 2017 International Conference on Cloud and Autonomic Computing, ICCAC, .

      BibTeX



      url
    12. Automated compliance verification of business processes in Apromore (, and ), In Proceedings of the BPM Demo Track 2017, .

      BibTeX



    13. Methodological guidelines for publishing library data as linked data (, , , , and ), In 2017 International Conference on Information Systems and Computer Science (INCISCOS), .

      BibTeX



    14. Cloud Ready Applications Composed via HTN Planning (, , and ), In IEEE International Conference on Service Oriented Computing and Applications, .

      BibTeX



    15. Post Summarization of Microblogs of Sporting Events (, , , and ), In Proceedings of the 26th International Conference on World Wide Web Companion, .

      BibTeX



    16. Challenges and trends about smart big geospatial data: A position paper (, and ), In 2017 IEEE International Conference on Big Data (Big Data), .

      BibTeX



    17. Comparison of Energy Consumption in Wi-Fi and Bluetooth Communication in a Smart Building (, , and ), In IEEE Annual Computing and Communication Workshop and Conference, .

      BibTeX



      url
    18. Prediction of Running Injuries from Training Load: a Machine Learning Approach (, , and ), In International Conference on eHealth, Telemedicine, and Social Medicine, .

      BibTeX



      url
    19. Power-Based Device Recognition for Occupancy Detection (, , and ), In Service-Oriented Computing - ICSOC 2017 Workshops, volume in press, .

      BibTeX



      doi

    2016


    1. A Smart Energy System for Sustainable Buildings: The Case of the Bernoulliborg (), Rijksuniversiteit Groningen, .

      BibTeX



      url
    2. Business Process Variability: A Study into Process Management and Verification (), Rijksuniversiteit Groningen, .

      BibTeX



      url
    3. 5th IFIP WG 2.14 European Conference Service-Oriented and Cloud Computing, (M. Aiello, E. B. Johnsen, S. Dustdar, I. Georgievski, eds.), Springer, volume 9846, .

      BibTeX



      url
    4. Analytical Modeling of End-to-End Delay in OpenFlow Based Networks (, , , , and ), In IEEE Access, IEEE, volume 5, .

      BibTeX



    5. A Novel Strategy for Optimising Decentralised Energy Exchange for Prosumers ( and ), In Energies, MDPI, volume 9, .

      BibTeX



      url
    6. Optimizing groups of colluding strong attackers in mobile urban communication networks with evolutionary algorithms (, , , and ), In Applied Soft Computing, Elsevier, volume 40, .

      BibTeX



      url
    7. Domain-Independent Planning for Services in Uncertain and Dynamic Environments ( and ), In Artificial Intelligence, Elsevier, volume 236, .

      BibTeX



      url
    8. Let's get Physiqual - an intuitive and generic method to combine ssensor technology with ecological momentary assessments (, , , , , and ), In Journal of Biomedical Informatics, volume 63, .

      BibTeX



      url
    9. From the grid to the smart grid, topologically ( and ), In Physica A, Elsevier, volume 449, .

      BibTeX



      url
    10. Automatic RDF-ization of big data semi-structured datasets (, , , and ), In Maskana, volume 7, .

      BibTeX



    11. Automated planning for ubiquitous computing ( and ), In ACM Comput. Surv., ACM, volume 49, .

      BibTeX



      url
    12. Temporal dynamics of health and well-being: A crowdsourcing approach to momentary assessments and automated generation of personalized feedback (, , , , , , and ), In Psychosomatic Medicine, .

      BibTeX



    13. Detecting similar areas of knowledge using semantic and data mining technologies (, , , , and ), In Electronic Notes in Theoretical Computer Science, Elsevier, volume 329, .

      BibTeX



    14. Sentiment Classification of Tweets using Hierarchical Classification (, , , and ), In International Conference on Communications, .

      BibTeX



    15. Pfpsim: A programmable forwarding plane simulator (, , , , , and ), In 2016 ACM/IEEE Symposium on Architectures for Networking and Communications Systems (ANCS), .

      BibTeX



    16. Power Management of Personal Computers based on User Behaviour (, , and ), In International Conference on Smart Cities and Green ICT Systems, .

      BibTeX



      url
    17. Benchmark Datasets for Fault Detection and Classification in Sensor Data (, , and ), In International Conference on Sensor Networks, .

      BibTeX



      url
    18. Proactive ethernet congestion control based on link utilization estimation (, , , , and ), In 2016 international conference on computing, networking and communications (icnc), .

      BibTeX



    19. Influence Maximization in Social Networks with Genetic Algorithms ( and ), In European Conference on the Applications of Evolutionary and Bio-inspired Computation (Evo* EvoApplications), track EvoComplex: Evolutionary Algorithms and Complex Systems, .

      BibTeX



      url
    20. Detecting National Political Unrest on Twitter (, , , and ), In International Conference on Communications, .

      BibTeX



    21. On the relationship between automation and occupants in smart buildings ( and ), In International Conference on ICT for Sustainability, .

      BibTeX



      url
    22. Memory-efficient string matching for intrusion detection systems using a high-precision pattern grouping algorithm (, , and ), In Proceedings of the 2016 symposium on architectures for networking and communications systems, .

      BibTeX



    23. A price-based approach for voltage regulation and power loss minimization for the electrical power distribution system (, and ), In 55th IEEE Conference on Decision and Control, .

      BibTeX



      url