References

  1. Luca Aceto, Antonis Achilleos, Adrian Francalanza & Anna Ingólfsdóttir (2018): A Framework for Parameterized Monitorability. In: Foundations of Software Science and Computation Structures, Lecture Notes in Computer Science 10803. Springer, pp. 203–220, doi:10.1007/978-3-319-89366-2_11.
  2. Giorgio Audrito, Jacob Beal, Ferruccio Damiani & Mirko Viroli (2018): Space-Time Universality of Field Calculus. In: Coordination Models and Languages, Lecture Notes in Computer Science 10852. Springer, pp. 1–20, doi:10.1007/978-3-319-92408-3_1.
  3. Giorgio Audrito & Sergio Bergamini (2017): Resilient Blocks for Summarising Distributed Data. In: Proceedings of ALP4IoT@iFM 2017, EPTCS 264, pp. 23–26, doi:10.4204/EPTCS.264.3.
  4. Giorgio Audrito, Roberto Casadei, Ferruccio Damiani & Mirko Viroli (2017): Compositional Blocks for Optimal Self-Healing Gradients. In: 11th IEEE International Conference on Self-Adaptive and Self-Organizing Systems. IEEE Computer Society, pp. 91–100, doi:10.1109/SASO.2017.18.
  5. Giorgio Audrito, Ferruccio Damiani & Mirko Viroli (2018): Optimal single-path information propagation in gradient-based algorithms. Sci. Comput. Program. 166, pp. 146–166, doi:10.1016/j.scico.2018.06.002.
  6. Giorgio Audrito, Ferruccio Damiani, Mirko Viroli & Enrico Bini (2018): Distributed Real-Time Shortest-Paths Computations with the Field Calculus. In: 2018 IEEE Real-Time Systems Symposium (RTSS), pp. 23–34, doi:10.1109/RTSS.2018.00013.
  7. Giorgio Audrito, Mirko Viroli, Ferruccio Damiani, Danilo Pianini & Jacob Beal (2019): A Higher-Order Calculus of Computational Fields. ACM Trans. Comput. Logic 20(1), pp. 5:1–5:55, doi:10.1145/3285956.
  8. David A. Basin, Felix Klaedtke & Eugen Zalinescu (2015): Failure-aware Runtime Verification of Distributed Systems. In: Harsha & Ramalingam, pp. 590–603, doi:10.4230/LIPIcs.FSTTCS.2015.590.
  9. Andreas Bauer & Yliès Falcone (2016): Decentralised LTL monitoring. Formal Methods in System Design 48(1-2), pp. 46–93, doi:10.1007/s10703-016-0253-8.
  10. Jacob Beal, Stefan Dulman, Kyle Usbeck, Mirko Viroli & Nikolaus Correll (2013): Organizing the Aggregate: Languages for Spatial Computing. In: Formal and Practical Aspects of Domain-Specific Languages: Recent Developments, chapter 16. IGI Global, pp. 436–501, doi:10.4018/978-1-4666-2092-6.ch016. A longer version available at: http://arxiv.org/abs/1202.5509.
  11. Jacob Beal, Danilo Pianini & Mirko Viroli (2015): Aggregate Programming for the Internet of Things. IEEE Computer 48(9), pp. 22–30, doi:10.1109/MC.2015.261.
  12. Jacob Beal, Mirko Viroli, Danilo Pianini & Ferruccio Damiani (2017): Self-Adaptation to Device Distribution in the Internet of Things. ACM Transaction on Autonomous and Adaptive Systems 12(3), pp. 12:1–12:29, doi:10.1145/3105758.
  13. Nicola Bicocchi, Marco Mamei & Franco Zambonelli (2012): Self-organizing virtual macro sensors. TAAS 7(1), pp. 2:1–2:28, doi:10.1145/2168260.2168262.
  14. Roberto Casadei & Mirko Viroli (2016): Towards Aggregate Programming in Scala. In: First Workshop on Programming Models and Languages for Distributed Computing, PMLDC '16. ACM, New York, NY, USA, pp. 5:1–5:7, doi:10.1145/2957319.2.
  15. Daniel Coore (1999): Botanical Computing: A Developmental Approach to Generating Inter connect Topologies on an Amorphous Computer. MIT, Cambridge, MA, USA. Available at http://hdl.handle.net/1721.1/80483.
  16. Carlo Curino, Matteo Giani, Marco Giorgetta, Alessandro Giusti, Amy L. Murphy & Gian Pietro Picco (2005): Mobile data collection in sensor networks: The TinyLime. Pervasive and Mobile Computing 1(4), pp. 446–469, doi:10.1016/j.pmcj.2005.08.003.
  17. Ferruccio Damiani, Mirko Viroli & Jacob Beal (2016): A type-sound calculus of computational fields. Science of Computer Programming 117, pp. 17–44, doi:10.1016/j.scico.2015.11.005.
  18. Jose Luis Fernandez-Marquez, Giovanna Di Marzo Serugendo, Sara Montagna, Mirko Viroli & Josep Lluís Arcos (2013): Description and composition of bio-inspired design patterns: a complete overview. Natural Computing 12(1), pp. 43–67, doi:10.1007/s11047-012-9324-y.
  19. Bernd Finkbeiner, Christopher Hahn, Marvin Stenger & Leander Tentrup (2017): Monitoring Hyperproperties. In: Lahiri & Reger, pp. 190–207, doi:10.1007/978-3-319-67531-2_12.
  20. Adrian Francalanza, Jorge A. Pérez & César Sánchez (2018): Runtime Verification for Decentralised and Distributed Systems. In: Ezio Bartocci & Yliès Falcone: Lectures on Runtime Verification: Introductory and Advanced Topics, Lecture Notes in Computer Science 10457. Springer, pp. 176–210, doi:10.1007/978-3-319-75632-5_6.
  21. Jean-Louis Giavitto, Olivier Michel, Julien Cohen & Antoine Spicher (2004): Computations in Space and Space in Computations. In: Unconventional Programming Paradigms, Lecture Notes in Computer Science 3566. Springer, pp. 137–152, doi:10.1007/11527800_11.
  22. Prahladh Harsha & G. Ramalingam (2015): 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2015. LIPIcs 45. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, doi:10.4230/LIPIcs.FSTTCS.2015.i.
  23. Shuvendu K. Lahiri & Giles Reger (2017): Runtime Verification - 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings. Lecture Notes in Computer Science 10548. Springer, doi:10.1007/978-3-319-67531-2.
  24. Martin Leucker & Christian Schallhart (2009): A brief account of runtime verification. J. Log. Algebr. Program. 78(5), pp. 293–303, doi:10.1016/j.jlap.2008.08.004.
  25. Alberto Lluch-Lafuente, Michele Loreti & Ugo Montanari (2017): Asynchronous Distributed Execution Of Fixpoint-Based Computational Fields. Logical Methods in Computer Science 13(1), doi:10.23638/LMCS-13(1:13)2017.
  26. Marco Mamei & Franco Zambonelli (2009): Programming pervasive and mobile computing applications: The TOTA approach. ACM Trans. on Software Engineering Methodologies 18(4), pp. 1–56, doi:10.1145/1538942.1538945.
  27. Ryan Newton & Matt Welsh (2004): Region streams: functional macroprogramming for sensor networks. In: Workshop on Data Management for Sensor Networks, ACM International Conference Proceeding Series 72. ACM, pp. 78–87, doi:10.1145/1052199.1052213.
  28. Yuichi Nishiwaki (2016): Digamma-Calculus: A Universal Programming Language of Self-Stabilizing Computational Fields. In: eCAS, Self-Adaptive and Self-Organizing Systems Workshops. IEEE, pp. 198–203, doi:10.1109/FAS-W.2016.51.
  29. K. Sen, A. Vardhan, G. Agha & G. Rosu (2004): Efficient decentralized monitoring of safety in distributed systems. In: 26th Intl. Conf. on Software Engineering, pp. 418–427, doi:10.1109/ICSE.2004.1317464.
  30. Volker Stolz & Eric Bodden (2006): Temporal Assertions using AspectJ. Electr. Notes Theor. Comput. Sci. 144(4), pp. 109–124, doi:10.1016/j.entcs.2006.02.007.
  31. Mirko Viroli, Giorgio Audrito, Jacob Beal, Ferruccio Damiani & Danilo Pianini (2018): Engineering Resilient Collective Adaptive Systems by Self-Stabilisation. ACM Transactions on Modelling and Computer Simulation 28(2), pp. 16:1–16:28, doi:10.1145/3177774.
  32. Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei & Danilo Pianini (2018): From Field-Based Coordination to Aggregate Computing. In: Coordination Models and Languages, Lecture Notes in Computer Science 10852. Springer, pp. 252–279, doi:10.1007/978-3-319-92408-3_12.
  33. Kamin Whitehouse, Cory Sharp, David E. Culler & Eric A. Brewer (2004): Hood: A Neighborhood Abstraction for Sensor Networks. In: 2nd International Conference on Mobile Systems, Applications, and Services. ACM / USENIX, pp. 99–110, doi:10.1145/990064.990079.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org