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