, Meld: A declarative approach to programming ensembles, 2007 IEEE/RSJ International Conference on Intelligent Robots and Systems, pp.2794-2800, 2007.
DOI : 10.1109/IROS.2007.4399480
, Resilient Blocks for Summarising Distributed Data, ALP4IoT workshop, 2017.
DOI : 10.1109/SASO.2015.16
, Compositional Blocks for Optimal Self-Healing Gradients, 2017 IEEE 11th International Conference on Self-Adaptive and Self-Organizing Systems (SASO), pp.91-100, 2017.
DOI : 10.1109/SASO.2017.18
, Aggregate Graph Statistics, ALP4IoT workshop, 2017.
DOI : 10.1145/2968219.2979129
URL : http://arxiv.org/pdf/1802.01788
, Optimally-Self-Healing Distributed Gradient Structures Through Bounded Information Speed, International Conference on Coordination Models and Languages (COORDINATION), pp.59-77, 2017.
DOI : 10.1007/978-3-642-30829-1_15
URL : https://hal.archives-ouvertes.fr/hal-01657344
, Composable continuous-space programs for robotic swarms, Neural Computing and Applications, vol.12, issue.2, pp.825-847, 2010.
DOI : 10.1007/s00521-010-0382-8
, Mean-field framework for performance evaluation of push???pull gossip protocols, advances in Quantitative Evaluation of Systems, pp.157-179, 2011.
DOI : 10.1016/j.peva.2010.08.025
, Flexible self-healing gradients, Proceedings of the 2009 ACM symposium on Applied Computing, SAC '09, pp.1197-1201, 2009.
DOI : 10.1145/1529282.1529550
, A tactical command approach to human control of vehicle swarms, AAAI Fall Symposium: Human Control of Bioinspired Swarms, 2012.
, Superdiffusive Dispersion and Mixing of Swarms, ACM Transactions on Autonomous and Adaptive Systems, vol.10, issue.2, p.10, 2015.
DOI : 10.1038/nature06518
, Abstract, The Knowledge Engineering Review, vol.309, issue.04, pp.325-342, 2016.
DOI : 10.1109/TAC.2005.864190
, Infrastructure for Engineered Emergence on Sensor/Actuator Networks, IEEE Intelligent Systems, vol.21, issue.2, pp.10-19, 2006.
DOI : 10.1109/MIS.2006.29
URL : http://www.swiss.ai.mit.edu/projects/amorphous/papers/intelsys05.pdf
, Fast self-healing gradients, Proceedings of the 2008 ACM symposium on Applied computing , SAC '08, pp.1969-1975, 2008.
DOI : 10.1145/1363686.1364163
, Organizing the Aggregate, pp.436-501, 2013.
DOI : 10.4018/978-1-4666-2092-6.ch016
, Aggregate Programming for the Internet of Things, Computer, vol.48, issue.9, pp.22-30, 2015.
DOI : 10.1109/MC.2015.261
, Opportunistic Sharing of Airborne Sensors, 2016 International Conference on Distributed Computing in Sensor Systems (DCOSS), pp.25-32, 2016.
DOI : 10.1109/DCOSS.2016.43
, Adaptive Task Reallocation for Airborne Sensor Sharing, 2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W), pp.168-173, 2016.
DOI : 10.1109/FAS-W.2016.46
, Building Blocks for Aggregate Programming of Self-Organising Applications, 2014 IEEE Eighth International Conference on Self-Adaptive and Self-Organizing Systems Workshops, pp.8-13, 2014.
DOI : 10.1109/SASOW.2014.6
, Aggregate programming: From foundations to applications In: Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems, pp.233-260, 2016.
, Self-Adaptation to Device Distribution in the Internet of Things, ACM Transactions on Autonomous and Adaptive Systems, vol.12, issue.3, p.12, 2017.
DOI : 10.1145/2957760
, NASA World Wind: Opensource GIS for Mission Operations, 2007 IEEE Aerospace Conference, 2007.
DOI : 10.1109/AERO.2007.352954
URL : http://www.ic.arc.nasa.gov/m/pub/1259h/1259%20(Bell).pdf
, Implementing Domain-Specific Languages with Xtext and Xtend, 2E, 2016.
, The concurrent language, Shared Prolog, ACM Transactions on Programming Languages and Systems, vol.13, issue.1, pp.99-123, 1991.
DOI : 10.1145/114005.102807
, Coordination Models: A Guided Tour, Coordination of Internet Agents: Models, Technologies, and Applications, pp.6-24, 2001.
DOI : 10.1007/978-3-662-04401-8_1
, Programming a Paintable Computer, 2002.
, MARS: a programmable coordination architecture for mobile agents, IEEE Internet Computing, vol.4, issue.4, pp.26-35, 2000.
DOI : 10.1109/4236.865084
, On the collective sort problem for distributed tuple spaces, Science of Computer Programming, vol.74, issue.9, pp.702-722, 2009.
DOI : 10.1016/j.scico.2008.09.018
URL : https://doi.org/10.1016/j.scico.2008.09.018
, Combining Trust and Aggregate Computing, pp.507-522, 2018.
DOI : 10.1016/j.jnca.2011.03.005
, Simulating large-scale aggregate MASs with Alchemist and Scala, Federated Conference on Computer Science and Information Systems (FedCSIS), pp.1495-1504, 2016.
, Towards Aggregate Programming in Scala, First Workshop on Programming Models and Languages for Distributed Computing on, PMLDC '16, p.5, 2016.
DOI : 10.1007/11520184_4
, Programming actor-based collective adaptive systems In: Programming with Actors -State-of-the-Art and Research Perspectives Church, A.: A set of postulates for the foundation of logic, Lecture Notes in Computer Science Annals of Mathematics, vol.10789, issue.332, pp.346-366, 1932.
, Distributed Recovery for Enterprise Services, 2015 IEEE 9th International Conference on Self-Adaptive and Self-Organizing Systems, pp.111-120, 2015.
DOI : 10.1109/SASO.2015.19
, Self-assembly and self-repairing topologies, Workshop on Adaptability in Multi-Agent Systems, RoboCup Australian Open, 2003.
, Botanical Computing: A Developmental Approach to Generating Inter connect Topologies on an Amorphous Computer, 1999.
, Blackboard systems, Journal of AI Expert, vol.9, issue.6, pp.40-47, 1991.
, Mobile data collection in sensor networks: The TinyLime middleware, Pervasive and Mobile Computing, vol.1, issue.4, pp.446-469, 2005.
DOI : 10.1016/j.pmcj.2005.08.003
, Combinatory logi, 1958.
, Principal type-schemes for functional programs, Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '82, pp.207-212, 1982.
DOI : 10.1145/582153.582176
URL : http://web.cs.wpi.edu/~cs4536/c12/milner-damas_principal_types.pdf
, Type-based Self-stabilisation for Computational Fields, Logical Methods in Computer Science, vol.11, issue.4, 2015.
DOI : 10.2168/LMCS-11(4:21)2015
URL : https://lmcs.episciences.org/1622/pdf
, A type-sound calculus of computational fields, Science of Computer Programming, vol.117, pp.17-44, 2016.
DOI : 10.1016/j.scico.2015.11.005
, Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields, Formal Techniques for Distributed Objects, Components, and Systems, pp.113-128, 2015.
DOI : 10.1007/978-3-319-19195-9_8
URL : https://hal.archives-ouvertes.fr/hal-01767321
, A Lyapunov analysis for the robust stability of an adaptive Bellman-Ford algorithm, 2016 IEEE 55th Conference on Decision and Control (CDC), pp.7282-7287, 2016.
DOI : 10.1109/CDC.2016.7799393
, KLAIM: a kernel language for agents interaction and mobility, IEEE Transactions on Software Engineering, vol.24, issue.5, pp.315-330, 1998.
DOI : 10.1109/32.685256
, A Formal Approach to Autonomic Systems Programming, ACM Transactions on Autonomous and Adaptive Systems, vol.9, issue.2, pp.1-729, 2014.
DOI : 10.1145/2209249.2209268
, A survey of autonomic communications, ACM Transactions on Autonomous and Adaptive Systems, vol.1, issue.2, pp.223-259, 2006.
DOI : 10.1145/1186778.1186782
, Self Stabilization, Journal of Aerospace Computing, Information, and Communication, vol.1, issue.6, 2000.
DOI : 10.1038/scientificamerican0603-54
URL : https://hal.archives-ouvertes.fr/inria-00627780
, The SDEF programming system, Journal of Parallel and Distributed Computing, vol.7, issue.2, pp.201-231, 1989.
DOI : 10.1016/0743-7315(89)90018-X
, Description and composition of bio-inspired design patterns: a complete overview, Natural Computing, vol.6, issue.2/3, pp.43-67, 2013.
DOI : 10.1145/1968513.1968517
URL : https://digital.csic.es/bitstream/10261/133261/1/accesoRestringido.pdf
, Towards a Foundational API for Resilient Distributed Systems Design, 2017 IEEE 2nd International Workshops on Foundations and Applications of Self* Systems (FAS*W), 2017.
DOI : 10.1109/FAS-W.2017.116
, JavaSpaces Principles, Patterns, and Practice: Principles, Patterns and Practices. The Jini Technology Series, 1999.
, Generative communication in Linda, ACM Transactions on Programming Languages and Systems, vol.7, issue.1, pp.80-112, 1985.
DOI : 10.1145/2363.2433
URL : http://www.cis.umassd.edu/~hxu/courses/cis602/papers/p80-gelernter-linda.pdf
, Computational models for integrative and developmental biology, 2002.
URL : https://hal.archives-ouvertes.fr/hal-00827466
, Computations in Space and Space in Computations, In: Unconventional Programming Paradigms Lecture Notes in Computer Science, vol.3566, pp.137-152, 2005.
DOI : 10.1007/11527800_11
, 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.
DOI : 10.1145/503502.503505
URL : http://www.cis.upenn.edu/~bcpierce/papers/fj-toplas.pdf
, Toward Predicting Distributed Systems Dynamics, 2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, pp.68-73, 2015.
DOI : 10.1109/SASOW.2015.16
, Starlisp Reference Manual. Thinking Machines Corporation, 1988.
, A fixpoint-based calculus for graphshaped computational fields, 17th International Conference on Coordination Models and Languages (COORDINATION), pp.101-116, 2015.
, Asynchronous distributed execution of fixpoint-based computational fields, Logical Methods in Computer Science, vol.13, issue.1, 2017.
, TAG, ACM SIGOPS Operating Systems Review, vol.36, issue.SI, pp.131-146, 2002.
DOI : 10.1145/844128.844142
, Programming pervasive and mobile computing applications, ACM Transactions on Software Engineering and Methodology, vol.18, issue.4, pp.1-56, 2009.
DOI : 10.1145/1538942.1538945
, Co-fields: Towards a unifying approach to the engineering of swarm intelligent systems. In: Engineering Societies in the Agents World III, pp.68-81, 2003.
, Coordination of distributed components using LogOp, International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA), pp.109-114, 2003.
, Adaptiveness in Linda-Based Coordination Models, Engineering Self-Organising Systems: Nature-Inspired Approaches to Software Engineering , LNAI, pp.212-232, 2004.
DOI : 10.1007/978-3-540-24701-2_15
, Law-governed interaction: a coordination and control mechanism for heterogeneous distributed systems, ACM Transactions on Software Engineering and Methodology, vol.9, issue.3, pp.273-305, 2000.
DOI : 10.1145/352591.352592
, Error in Self-Stabilizing Spanning-Tree Estimation of Collective State, 2017 IEEE 2nd International Workshops on Foundations and Applications of Self* Systems (FAS*W), pp.1-6, 2017.
DOI : 10.1109/FAS-W.2017.112
, LIME, ACM Transactions on Software Engineering and Methodology, vol.15, issue.3, pp.279-328, 2006.
DOI : 10.1145/1151695.1151698
, Programmable Self-Assembly: Constructing Global Shape using Biologically-inspired Local Interactions and Origami Mathematics, 2001.
, Region streams, Proceeedings of the 1st international workshop on Data management for sensor networks in conjunction with VLDB 2004, DMSN '04, pp.78-87, 2004.
DOI : 10.1145/1052199.1052213
, Unifying functional and object-oriented programming with Scala, Communications of the ACM, vol.57, issue.4, pp.76-86, 2014.
DOI : 10.1145/2591013
, From tuple spaces to tuple centres, Science of Computer Programming, vol.41, issue.3, pp.277-294, 2001.
DOI : 10.1016/S0167-6423(01)00011-9
, Coordination artifacts: Environment-based coordination for intelligent agents, 3rd International Joint Conference on Autonomous Agents and Multiagent Systems, pp.286-293, 2004.
, Coordination models and languages: from parallel computing to self-organisation, The Knowledge Engineering Review, vol.6, issue.01, pp.53-59, 2011.
DOI : 10.1016/S0167-6423(01)00011-9
, Concurrent Modeling of Alternative Worlds with Polyagents, pp.128-141, 2007.
DOI : 10.1007/978-3-540-76539-4_10
, Improving Gossip Dynamics Through Overlapping Replicates, 18th International Conference on Coordination Models and Languages (COORDINATION), pp.192-207, 2016.
DOI : 10.1109/MC.2012.280
URL : https://hal.archives-ouvertes.fr/hal-01631721
, Chemical-oriented simulation of computational systems with ALCHEMIST, Journal of Simulation, vol.7, issue.1, pp.202-215, 2013.
DOI : 10.1108/17427371111172997
, Protelis, Proceedings of the 30th Annual ACM Symposium on Applied Computing , SAC '15, pp.1846-1853, 2015.
DOI : 10.1016/j.procs.2011.09.006
, Self Organization in Coordination Systems Using a WordNet-Based Ontology, 2010 Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2010.
DOI : 10.1109/SASO.2010.35
, Resource discovery with evolving tuples, International workshop on Engineering of software services for pervasive environments in conjunction with the 6th ESEC/FSE joint meeting, ESSPE '07, pp.1-10, 2007.
DOI : 10.1145/1294904.1294905
, Using Swarm Intelligence in Linda Systems, In: Engineering Societies in the Agents World IV Lecture Notes in Computer Science, vol.3071, pp.519-519, 2004.
DOI : 10.1007/978-3-540-25946-6_3
, On competitive self-composition in pervasive services, Science of Computer Programming, vol.78, issue.5, pp.556-568, 2013.
DOI : 10.1016/j.scico.2012.10.002
, Engineering resilient collective adaptive systems by self-stabilisation. arXiv preprint, 2017.
, Engineering Resilient Collective Adaptive Systems by Self-Stabilisation, ACM Transactions on Modeling and Computer Simulation, vol.28, issue.2, 2018.
DOI : 10.1145/601858.601861
, A higher-order calculus of computational fields. arXiv preprint arXiv, pp.1610-08116, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01767321
, Resiliency with Aggregate Computing: State of the Art and Roadmap, Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems (FORECAST), 2016.
DOI : 10.1145/990064.990079
, Efficient engineering of complex selforganising systems by self-stabilising fields, 9th International Conference on Self-Adaptive and Self-Organizing Systems (SASO), pp.81-90, 2015.
DOI : 10.1109/saso.2015.16
, Biochemical Tuple Spaces for Self-organising Coordination, In: Lecture Notes in Computer Science, vol.227, issue.4, pp.143-162, 2009.
DOI : 10.1016/j.entcs.2008.12.111
, Spatial Coordination of Pervasive Services through Chemical-Inspired Tuple Spaces, ACM Transactions on Autonomous and Adaptive Systems, vol.6, issue.2, pp.1-1424, 2011.
DOI : 10.1145/1968513.1968517
URL : http://www.agentgroup.ing.unimo.it/Zambonelli/PDF/TAAS11.pdf
, A framework for modelling and implementing self-organising coordination, Proceedings of the 2009 ACM symposium on Applied Computing, SAC '09, pp.1353-1360, 2009.
DOI : 10.1145/1529282.1529585
, On execution platforms for large-scale aggregate computing, Proceedings of the 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing Adjunct, UbiComp '16, pp.1321-1326, 2016.
DOI : 10.1145/2800835.2809509
, A Calculus of Self-stabilising Computational Fields, 16th International Conference on Coordination Models and Languages (COORDINA- TION), pp.163-178, 2014.
DOI : 10.1007/978-3-662-43376-8_11
URL : https://hal.archives-ouvertes.fr/hal-01290075
, A Calculus of Computational Fields, Advances in Service-Oriented and Cloud Computing, pp.114-128, 2013.
DOI : 10.1007/978-3-642-45364-9_11
URL : https://hal.archives-ouvertes.fr/hal-01290075
, Engineering MAS environment with artifacts, 2nd International Workshop " Environments for Multi-Agent Systems " (E4MAS 2005). AAMAS 2005, 2005.
, Linda in Space-Time: An Adaptive Coordination Model for Mobile Ad-Hoc Environments, 14th International Conference on Coordination Models and Languages (COORDINATION), pp.212-229, 2012.
DOI : 10.1007/978-3-642-30829-1_15
URL : https://hal.archives-ouvertes.fr/hal-01529604
, Aggregate plans for multiagent systems, International Journal of Agent-Oriented Software Engineering, vol.5, issue.4, pp.336-365, 2017.
DOI : 10.1504/IJAOSE.2017.087638
, Hood, Proceedings of the 2nd international conference on Mobile systems, applications, and services , MobiSYS '04, 2004.
DOI : 10.1145/990064.990079
, T Spaces. IBM Journal of Research and Development, vol.37, issue.3, pp.454-474, 1998.
, A Theory of Local-to-Global Algorithms for One-Dimensional Spatial Multi-Agent Systems, 2007.
, The cougar approach to in-network query processing in sensor networks, ACM SIGMOD Record, vol.31, issue.3, pp.9-18, 2002.
DOI : 10.1145/601858.601861