Space-time universality of field calculus, 20th International Conference on Coordination Models and Languages, vol.10852, pp.1-20, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01821491
Compositional blocks for optimal self-healing gradients, 11th International Conference on Self-Adaptive and Self-Organizing Systems, pp.91-100, 2017. ,
Run-time management of computation domains in field calculus, 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W), pp.192-197, 2016. ,
A higher-order calculus of computational fields, ACM Transactions on Computational Logic, vol.20, issue.1, p.55, 2019. ,
URL : https://hal.archives-ouvertes.fr/hal-02313736
Aggregate programming for the Internet of Things, IEEE Computer, vol.48, issue.9, pp.22-30, 2015. ,
Adaptive opportunistic airborne sensor sharing, ACM Transactions on Autonomous and Adaptive Systems, vol.13, issue.1, 2018. ,
A service computing manifesto: the next 10 years, Communications of the ACM, vol.60, issue.4, pp.64-72, 2017. ,
Modelling and Simulation of Opportunistic IoT Services with Aggregate Computing, Future Generation Computer Systems, vol.91, pp.252-262, 2018. ,
Simulating large-scale aggregate MASs with Alchemist and Scala, FedCSIS Proceedings, pp.1495-1504, 2016. ,
Collective abstractions and platforms for large-scale selfadaptive IoT, 3rd International Workshops on Foundations and Applications of Self* Systems (FAS*W), pp.106-111, 2018. ,
Programming actor-based collective adaptive systems, Programming with Actors, vol.10789, pp.94-122, 2018. ,
Cooperative forest fire surveillance using a team of small unmanned air vehicles, International Journal of Systems Science, vol.37, issue.6, pp.351-360, 2006. ,
One trillion edges: Graph processing at facebook-scale. VLDB Endowment, Proceedings, vol.8, issue.12, pp.1804-1815, 2015. ,
Botanical Computing: A Developmental Approach to Generating Inter connect Topologies on an Amorphous Computer, 1999. ,
Mobile data collection in sensor networks: The TinyLime middleware, Pervasive and Mobile Computing, vol.4, pp.446-469, 2005. ,
Type-based self-stabilisation for computational fields, Logical Methods in Computer Science, vol.11, issue.4, 2015. ,
The SCEL language: Design, implementation, verification, Software Engineering for Collective Autonomic Systems: The ASCENS Approach, pp.3-71, 2015. ,
MapReduce: simplified data processing on large clusters, Communications of the ACM, vol.51, issue.1, pp.107-113, 2008. ,
Airborne communication networks for small unmanned aircraft systems, Proceedings of the IEEE, vol.96, issue.12, pp.2008-2027, 2008. ,
Computations in space and space in computations, Unconventional Programming Paradigms, vol.3566, pp.137-152, 2005. ,
Opportunistic service composition in dynamic ad hoc environments, IEEE Trans. on Services Computing, vol.7, issue.4, pp.642-653, 2014. ,
Survey of important issues in UAV communication networks, IEEE Communications Surveys & Tutorials, vol.18, issue.2, pp.1123-1152, 2016. ,
A survey of multi-agent organizational paradigms, The Knowledge engineering review, vol.19, issue.4, pp.281-316, 2004. ,
Featherweight Java: A minimal core calculus for Java and GJ, ACM Transactions on Programming Languages and Systems, vol.23, issue.3, pp.396-450, 2001. ,
Asynchronous distributed execution of fixpoint-based computational fields, Logical Methods in Computer Science, vol.13, issue.1, 2017. ,
Programming pervasive and mobile computing applications: The TOTA approach, ACM Transactions on Software Engineering Methodologies, vol.18, issue.4, pp.1-56, 2009. ,
, Programmable Self-Assembly: Constructing Global Shape using Biologically-inspired Local Interactions and Origami Mathematics, 2001.
Region streams: Functional macroprogramming for sensor networks, WS on Data Managem. for Sensor Nets, pp.78-87, 2004. ,
Improving gossip dynamics through overlapping replicates, 18th International Conference on Coordination Models and Languages, vol.9686, pp.192-207, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01631721
Chemical-oriented simulation of computational systems with ALCHEMIST, Journal of Simulation, vol.7, issue.3, pp.202-215, 2013. ,
The promise of edge computing, IEEE Computer, vol.49, issue.5, pp.78-81, 2016. ,
Principles for engineering IoT cloud systems, IEEE Cloud Computing, vol.2, issue.2, pp.68-76, 2015. ,
A bridging model for parallel computation, Communications of ACM, vol.33, issue.8, pp.103-111, 1990. ,
Engineering resilient collective adaptive systems by self-stabilisation, ACM Transactions on Modelling and Computer Simulation, vol.28, issue.2, 2018. ,
From fieldbased coordination to aggregate computing, 20th Int. Conf. on Coordination Models and Languages, vol.10852, pp.252-279, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01821488
On execution platforms for large-scale aggregate computing, ACM UbiComp: Adjunct, pp.1321-1326, 2016. ,
Hood: a neighborhood abstraction for sensor networks, Conf. on Mobile systems, applications, and services, 2004. ,
Toward sociotechnical urban superorganisms, IEEE Computer, vol.45, issue.8, pp.76-78, 2012. ,
Developing pervasive multi-agent systems with nature-inspired coordination, Pervasive and Mobile Computing, 2014. ,