Aggregate Programming for the Internet of Things

No abstract is available for this paper.

• Publication year

  2015

• Venue

  Computer

• Publication date

  2015-09-23

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1109/MC.2015.261
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Protelis: practical aggregate programming

  2015cited by this paper
• Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields

  2015cited by this paper
• Building Blocks for Aggregate Programming of Self-Organising Applications

  2014cited by this paper
• Towards a Unified Model of Spatial Computing Corrected Version

  2014cited by this paper
• HPC from a self-organisation perspective: The case of crowd steering at the urban scale

  2014cited by this paper
• Introduction to Crowd Science

  2014cited by this paper
• Chemical-oriented simulation of computational systems with ALCHEMIST

  2013cited by this paper
• Predicting Social Density in Mass Events to Prevent Crowd Disasters

  2013cited by this paper
• Formal and Practical Aspects of Domain-Specific Languages: Recent Developments

  2012cited by this paper
• Organizing the Aggregate: Languages for Spatial Computing

  2012cited by this paper
• Internet of things: Vision, applications and research challenges

  2012cited by this paper
• The Internet of Things: A survey

  2010cited by this paper
• Programming pervasive and mobile computing applications: The TOTA approach

  2009cited by this paper
• MapReduce: simplified data processing on large clusters

  2008cited by this paper
• Supporting aggregate queries over ad-hoc wireless sensor networks

  2002cited by this paper
• Programmable self-assembly: constructing global shape using biologically-inspired local interactions and origami mathematics

  2001cited by this paper
• Pedestrian planning and design

  1971cited by this paper
• Pervasive and Mobile Computing ( ) – Pervasive and Mobile Computing Developing Pervasive Multi-agent Systems with Nature-inspired Coordination

  year unknowncited by this paper

• HarmoniKt: a Unifying Middleware for Heterogeneous Robot Fleets

  2026cites this paper
• Lambdas at the Far Edge: a Tale of Flying Lambdas and Lambdas on Wheels

  2026cites this paper
• A Field-Based Approach for Runtime Replanning in Swarm Robotics Missions

  2025influential citation
• Aggregate Runtime Verification for Emergency Healthcare in Crowded Events

  2025cites this paper
• A Language-based Approach to Macroprogramming for IoT Systems through Large Language Models

  2025influential citation
• A Rust-Based Distributed Execution Platform for Aggregate Computing in Resource-Constrained Environments

  2025cites this paper
• Sparse Self-Federated Learning for Energy Efficient Cooperative Intelligence in Society 5.0

  2025cites this paper
• Context-Role Oriented Programming in Julia: Advancing Swarm Programming

  2025cites this paper
• Design patterns for swarms engineered with context-role-oriented modeling

  2025cites this paper
• Decentralized proximity-aware clustering for collective self-federated learning

  2025cites this paper
• Programming IoT systems: A focused conceptual framework and survey of approaches

  2025cites this paper
• FBFL: A Field-Based Coordination Approach for Data Heterogeneity in Federated Learning

  2025cites this paper
• FieldVMC: an asynchronous model and platform for self-organising morphogenesis of artificial structures

  2025influential citation
• CoMPass: A Roadmap to Collaborative Perception and Autonomy in Maritime Systems

  2025cites this paper
• Robust Communication Through Collective Adaptive Relay Schemes for Maritime Vessels

  2025cites this paper
• Scalability through Pulverisation: Declarative deployment reconfiguration at runtime

  2024cites this paper
• Towards Intelligent Pulverized Systems: a Modern Approach for Edge-Cloud Services

  2024cites this paper
• ScaRLib: Towards a hybrid toolchain for aggregate computing and many-agent reinforcement learning

  2024cites this paper
• Proximity-based Self-Federated Learning

  2024cites this paper
• A model-based approach for formal verification and performance evaluation of energy harvesting architectures in IoT systems: A case study of a long-term healthcare application

  2024cites this paper
• The eXchange Calculus (XC): A functional programming language design for distributed collective systems

  2024cites this paper
• Software Engineering for Collective Cyber-Physical Ecosystems

  2024cites this paper
• An Architecture and Prototype for Monitoring Distributed Simulations of Distributed Systems

  2024cites this paper
• Improving the Simulation Performance for Aggregate Programs Through Compiler Plugins

  2024cites this paper
• Multiplatform Self-Organizing Systems Through a Kotlin-MP Implementation of Aggregate Computing

  2024cites this paper
• An Aggregate Vascular Morphogenesis Controller for Engineered Self-Organising Spatial Structures

  2024cites this paper
• Decentralized Multi-Drone Coordination for Wildlife Video Acquisition

  2024cites this paper
• Towards Self-Adaptive Cooperative Learning in Collective Systems

  2024cites this paper
• Flexible Self-organisation for the Cloud-Edge Continuum: a Macro-programming Approach

  2024influential citation
• Dynamic IoT deployment reconfiguration: A global-level self-organisation approach

  2024cites this paper
• Towards Adaptive Trajectories for Mixed Autonomous and Human-Operated Ships

  2024cites this paper
• Optimising Aggregate Monitors for Spatial Logic of Closure Spaces Properties

  2024cites this paper
• Real-Time Guarantees for SLCS Monitors in XC

  2024cites this paper
• Engineering Distributed Collective Intelligence in Cyber-Physical Swarms

  2024cites this paper
• FCPP+Miosix: Scaling Aggregate Programming to Embedded Systems

  2023cites this paper
• Parallelising an Aggregate Programming Framework with Message-Passing Interface

  2023cites this paper
• Field-informed Reinforcement Learning of Collective Tasks with Graph Neural Networks

  2023cites this paper
• Self-Organisation Programming: A Functional Reactive Macro Approach

  2023cites this paper
• Combining Static and Runtime Verification with AC and Coq

  2023cites this paper
• Aggregate Programming for Customized Building Management and Users Preference Implementation

  2023cites this paper
• Space-fluid Adaptive Sampling by Self-Organisation

  2022influential citation
• Formal models for the verification, performance evaluation, and comparison of IoT communication protocols

  2022cites this paper
• Small gain conditions for finite time input-to-state stability of interconnected discrete time systems

  2022cites this paper
• Implementation of an IoT Wearable Prototype on a Standard AI Architecture

  2022cites this paper
• Towards Automated Engineering for Collective Adaptive Systems: Vision and Research Directions

  2022influential citation
• Aggregate Drone Monitoring of Wildfires

  2022cites this paper
• Machine Learning for Aggregate Computing: a Research Roadmap

  2022cites this paper
• Dynamic Decentralization Domains for the Internet of Things

  2022cites this paper
• Addressing Collective Computations Efficiency: Towards a Platform-level Reinforcement Learning Approach

  2022influential citation
• Self-stabilising Priority-Based Multi-Leader Election and Network Partitioning

  2022cites this paper
• A field-based computing approach to sensing-driven clustering in robot swarms

  2022cites this paper
• Near-optimal knowledge-free resilient leader election

  2022cites this paper
• Predictive Semantics for Past-CTL Runtime Monitors

  2022cites this paper
• ScaFi: A Scala DSL and Toolkit for Aggregate Programming

  2022cites this paper
• A parallel data-structure for modular programming of triangulated computing media.

  2022cites this paper
• A Collective Adaptive Approach to Decentralised k-Coverage in Multi-robot Systems

  2022cites this paper
• On the Modeling and Verification of Collective and Cooperative Systems

  2022cites this paper
• Functional Programming for Distributed Systems with XC (Artifact)

  2022cites this paper
• Towards Reinforcement Learning-based Aggregate Computing

  2022influential citation
• Space-Fluid Adaptive Sampling: A Field-Based, Self-organising Approach

  2022cites this paper
• Extensible 3D Simulation of Aggregated Systems with FCPP

  2022cites this paper
• A Methodology and Simulation-Based Toolchain for Estimating Deployment Performance of Smart Collective Services at the Edge

  2022cites this paper
• Aggregate Processes as Distributed Adaptive Services for the Industrial Internet of Things

  2022cites this paper
• Distributed runtime verification by past-CTL and the field calculus

  2022cites this paper
• Macroprogramming: Concepts, State of the Art, and Opportunities of Macroscopic Behaviour Modelling

  2022influential citation
• Engineering collective intelligence at the edge with aggregate processes

  2021cites this paper
• Partitioned integration and coordination via the self-organising coordination regions pattern

  2021cites this paper
• Digital Twins, Virtual Devices, and Augmentations for Self-Organising Cyber-Physical Collectives

  2021cites this paper
• Augmented Collective Digital Twins for Self-Organising Cyber-Physical Systems

  2021cites this paper
• Towards Pulverised Architectures for Collective Adaptive Systems through Multi-Tier Programming

  2021cites this paper
• Optimal resilient distributed data collection in mobile edge environments

  2021cites this paper
• RM for users’ safety and security in the built environment

  2021cites this paper
• Towards aggregate monitoring of spatio-temporal properties

  2021cites this paper
• ScaFi-Web: A Web-Based Application for Field-Based Coordination Programming

  2021cites this paper
• Simulation of Large Scale Computational Ecosystems with Alchemist: A Tutorial

  2021cites this paper
• Tuple-Based Coordination in Large-Scale Situated Systems

  2021cites this paper
• A Programming Approach to Collective Autonomy

  2021influential citation
• Adaptive distributed monitors of spatial properties for cyber-physical systems

  2021influential citation
• Stability and Resilience of Distributed Information Spreading in Aggregate Computing

  2021cites this paper
• Operads for complex system design specification, analysis and synthesis

  2021cites this paper
• Aggregate centrality measures for IoT-based coordination

  2021cites this paper
• Time-Fluid Field-Based Coordination

  2020cites this paper
• A Design of the ViaBots Model for Industrial Assembly Line Application

  2020cites this paper
• BRAIN-IoT: Paving the Way for Next-Generation Internet of Things

  2020cites this paper
• Coordination Models and Languages: 22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings

  2020cites this paper
• Resilient Distributed Collection Through Information Speed Thresholds

  2020cites this paper
• FCPP: an efficient and extensible Field Calculus framework

  2020cites this paper
• Collective Adaptive Systems as Coordination Media: The Case of Tuples in Space-Time

  2020cites this paper
• On the Social Implications of Collective Adaptive Systems

  2020cites this paper
• FScaFi : A Core Calculus for Collective Adaptive Systems Programming

  2020cites this paper
• Construction of multi-level data aggregation trees for energy efficiency and delivery delay in machine-to-machine communications

  2020cites this paper
• Pulverization in Cyber-Physical Systems: Engineering the Self-Organizing Logic Separated from Deployment

  2020influential citation
• Time-Fluid Field-Based Coordination through Programmable Distributed Schedulers

  2020influential citation
• A Resilient Leader Election Algorithm Using Aggregate Computing Blocks

  2020cites this paper
• Computation Against a Neighbour

  2020cites this paper
• Self-Organization and Resilience for Networked Systems: Design Principles and Open Research Issues

  2019cites this paper
• On Context-Orientation in Aggregate Programming

  2019cites this paper
• Modelling and simulation of Opportunistic IoT Services with Aggregate Computing

  2019cites this paper
• Exploring Scope of Computational Intelligence in IoT Security Paradigm

  2019cites this paper
• Robust Stability of Spreading Blocks in Aggregate Programming

  2019cites this paper