| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Frank Pfenning, Klaas Pruiksma |
Relating Message Passing and Shared Memory, Proof-Theoretically.  |
COORDINATION  |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Cruz-Filipe, Eva Graversen, Fabrizio Montesi, Marco Peressotti |
Reasoning About Choreographic Programs. |
COORDINATION |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Valentina Castiglioni, Michele Loreti, Simone Tini |
Stark: A Software Tool for the Analysis of Robustness in the unKnown Environment. |
COORDINATION |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | José Proença, Luc Edixhoven |
Caos: A Reusable Scala Web Animator of Operational Semantics. |
COORDINATION |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Salman Farhat, Simon Bliudze, Laurence Duchien, Olga Kouchnarenko |
Toward Run-time Coordination of Reconfiguration Requests in Cloud Computing Systems. |
COORDINATION |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Salim Chehida, Akram Idani, Mario Cortes Cornax, Germán Vega |
A Formal MDE Framework for Inter-DSL Collaboration. |
COORDINATION |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonah Pears, Laura Bocchi, Andy King |
Safe Asynchronous Mixed-Choice for Timed Interactions. |
COORDINATION |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Gianluca Aguzzi, Roberto Casadei, Mirko Viroli |
MacroSwarm: A Field-Based Compositional Framework for Swarm Programming. |
COORDINATION |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Domini, Filippo Cavallari, Gianluca Aguzzi, Mirko Viroli |
ScaRLib: A Framework for Cooperative Many Agent Deep Reinforcement Learning in Scala. |
COORDINATION |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Sung-Shik Jongmans, Antónia Lopes (eds.) |
Coordination Models and Languages - 25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings |
COORDINATION |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudio Antares Mezzina, Francesco Tiezzi 0001, Nobuko Yoshida |
Rollback Recovery in Session-Based Programming. |
COORDINATION |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Mão de Ferro, Tiago Cogumbreiro, Francisco Martins |
Shelley: A Framework for Model Checking Call Ordering on Hierarchical Systems. |
COORDINATION |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Cosimo Laneve, Alessandro Parenti, Giovanni Sartor |
Legal Contracts Amending with [inline-graphic not available: see fulltext]. |
COORDINATION |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Gianluca Torta, Mirko Viroli |
Programming Distributed Collective Processes for Dynamic Ensembles and Collective Tasks. |
COORDINATION |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Loïc Desgeorges, Loïc Germerie Guizouarn |
RSC to the ReSCu: Automated Verification of Systems of Communicating Automata. |
COORDINATION |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher, Narongrit Unwerawattana |
JoT: A Jolie Framework for Testing Microservices. |
COORDINATION |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Gianluca Aguzzi, Roberto Casadei, Mirko Viroli |
Towards Reinforcement Learning-based Aggregate Computing. |
COORDINATION |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Bartoletti, Maurizio Murgia 0001, Roberto Zunino |
A Sound Up-to-n, δ Bisimilarity for PCTL. |
COORDINATION |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Audrito, Luigi Rapetta, Gianluca Torta |
Extensible 3D Simulation of Aggregated Systems with FCPP. |
COORDINATION |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonis Achilleos, Léo Exibard, Adrian Francalanza, Karoliina Lehtinen, Jasmine Xuereb |
A Synthesis Tool for Optimal Monitors in a Branching-Time Setting. |
COORDINATION |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura Bocchi, Julien Lange, Simon Thompson, A. Laura Voinea |
A Model of Actors and Grey Failures. |
COORDINATION |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Léo Exibard, Adrian Francalanza, Anna Ingólfsdóttir |
A Monitoring Tool for Linear-Time μHML. |
COORDINATION |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicola Del Giudice 0002, Lorenzo Matteucci, Michela Quadrini, Aniqa Rehman, Michele Loreti |
Sibilla: A Tool for Reasoning about Collective Systems. |
COORDINATION |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Casadei, Stefano Mariani 0001, Danilo Pianini, Mirko Viroli, Franco Zambonelli |
Space-Fluid Adaptive Sampling: A Field-Based, Self-organising Approach. |
COORDINATION |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Wang Yi 0001, Morteza Mohaqeqi, Susanne Graf |
MIMOS: A Deterministic Model for the Design and Update of Real-Time Systems. |
COORDINATION |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Franco Barbanera, Ivan Lanese, Emilio Tuosto |
Formal Choreographic Languages. |
COORDINATION |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher |
Model-Driven Generation of Microservice Interfaces: From LEMMA Domain Models to Jolie APIs. |
COORDINATION |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice H. ter Beek, Marjan Sirjani (eds.) |
Coordination Models and Languages - 24th IFIP WG 6.1 International Conference, COORDINATION 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings |
COORDINATION |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Viganò 0001 |
Formal Methods for Socio-technical Security - (Formal and Automated Analysis of Security Ceremonies). |
COORDINATION |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura Bussi, Fabio Gadducci, Francesco Santini 0001 |
Soft Concurrent Constraint Programming with Local Variables. |
COORDINATION |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Gianluca Aguzzi, Roberto Casadei, Niccolò Maltoni, Danilo Pianini, Mirko Viroli |
ScaFi-Web: A Web-Based Application for Field-Based Coordination Programming. |
COORDINATION |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Bacchiani, Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro |
Microservice Dynamic Architecture-Level Deployment Orchestration. |
COORDINATION |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | João Mota, Marco Giunti, António Ravara |
Java Typestate Checker. |
COORDINATION |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Chad Nester |
The Structure of Concurrent Process Histories. |
COORDINATION |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Eva Maria Kuehn |
A Practical Tool-Chain for the Development of Coordination Scenarios - Graphical Modeler, DSL, Code Generators and Automaton-Based Simulator. |
COORDINATION |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Hannes Saffrich, Peter Thiemann 0001 |
Relating Functional and Imperative Session Types. |
COORDINATION |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas, Catia Trubiani, Emilio Tuosto |
Towards Probabilistic Session-Type Monitoring. |
COORDINATION |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher, Sabine Sachweh |
Jolie and LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices. |
COORDINATION |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Casadei, Mirko Viroli, Alessandro Ricci, Giorgio Audrito |
Tuple-Based Coordination in Large-Scale Situated Systems. |
COORDINATION |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Dagnino, Paola Giannini, Mariangiola Dezani-Ciancaglini |
Deconfined Global Types for Asynchronous Sessions. |
COORDINATION |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Rudolf Schlatte, Einar Broch Johnsen, Eduard Kamburjan, Silvia Lizeth Tapia Tarifa |
Modeling and Analyzing Resource-Sensitive Actors: A Tutorial Introduction. |
COORDINATION |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Chuta Sano, Stephanie Balzer, Frank Pfenning |
Manifestly Phased Communication via Shared Session Types. |
COORDINATION |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente |
A Theory of Automated Market Makers in DeFi. |
COORDINATION |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Basile 0001, Maurice H. ter Beek |
A Clean and Efficient Implementation of Choreography Synthesis for Behavioural Contracts. |
COORDINATION |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Bacchiani, Mario Bravetti, Julien Lange, Gianluigi Zavattaro |
A Session Subtyping Tool. |
COORDINATION |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Leandro Galrinho, João Costa Seco, Søren Debois, Thomas T. Hildebrandt, Håkon Normann, Tijs Slaats |
ReGraDa: Reactive Graph Data. |
COORDINATION |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Zak Cutner, Nobuko Yoshida |
Safe Session-Based Asynchronous Coordination in Rust. |
COORDINATION |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Ferruccio Damiani, Ornela Dardha (eds.) |
Coordination Models and Languages - 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021, Proceedings |
COORDINATION |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Riccardo Bianchini, Francesco Dagnino |
Asynchronous Global Types in Co-logic Programming. |
COORDINATION |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Alex Coto, Roberto Guanciale, Emilio Tuosto |
Choreographic Development of Message-Passing Applications - A Tutorial. |
COORDINATION |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Espen Tønnessen Nordli, Phu Hong Nguyen, Franck Chauvel, Hui Song |
Event-Based Customization of Multi-tenant SaaS Using Microservices. |
COORDINATION |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Julius Roeder, Benjamin Rouxel, Sebastian Altmeyer, Clemens Grelck |
Towards Energy-, Time- and Security-Aware Multi-core Coordination. |
COORDINATION |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Gast, Diego Latella, Mieke Massink |
Refined Mean Field Analysis: The Gossip Shuffle Protocol Revisited. |
COORDINATION |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Leonardo Frittelli, Facundo Maldonado, Hernán C. Melgratti, Emilio Tuosto |
A Choreography-Driven Approach to APIs: The OpenDXL Case Study. |
COORDINATION |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Bartoletti, Maurizio Murgia 0001, Roberto Zunino |
Renegotiation and Recursion in Bitcoin Contracts. |
COORDINATION |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Agustín Eloy Martinez Suñé, Carlos Gustavo López Pombo |
Quality of Service Ranking by Quantifying Partial Compliance of Requirements. |
COORDINATION |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Bartoletti, Letterio Galletta, Maurizio Murgia 0001 |
A True Concurrent Model of Smart Contracts Executions. |
COORDINATION |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice H. ter Beek, Rolf Hennicker, Jetty Kleijn |
Team Automata@Work: On Safe Communication. |
COORDINATION |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | José Proença, Guillermina Cledou |
ARx: Reactive Programming for Synchronous Connectors. |
COORDINATION |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Bliudze, Laura Bocchi (eds.) |
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 |
COORDINATION |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Di Stefano 0001, Frédéric Lang, Wendelin Serwe |
Combining SLiVER with CADP to Analyze Multi-agent Systems. |
COORDINATION |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrian Francalanza, Jasmine Xuereb |
On Implementing Symbolic Controllability. |
COORDINATION |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiyue Zhang, Yi Li, Meng Sun 0002 |
Towards a Formally Verified EVM in Production Environment. |
COORDINATION |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria Pittou, George Rahonis |
Architecture Modelling of Parametric Component-Based Systems. |
COORDINATION |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Audrito, Sergio Bergamini, Ferruccio Damiani, Mirko Viroli |
Resilient Distributed Collection Through Information Speed Thresholds. |
COORDINATION |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Autili, Amleto Di Salle, Claudio Pompilio, Massimo Tivoli |
CHOReVOLUTION: Hands-On In-Service Training for Choreography-Based Systems. |
COORDINATION |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Danilo Pianini, Stefano Mariani 0001, Mirko Viroli, Franco Zambonelli |
Time-Fluid Field-Based Coordination. |
COORDINATION |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Lagaillardie, Rumyana Neykova, Nobuko Yoshida |
Implementing Multiparty Session Types in Rust. |
COORDINATION |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Giunti |
GoPi: Compiling Linear and Static Channels in Go. |
COORDINATION |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | G. Michele Pinna |
Operational Representation of Dependencies in Context-Dependent Event Structures. |
COORDINATION |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Mahsa Zarneshan, Fatemeh Ghassemi, Marjan Sirjani |
Formal Modeling and Analysis of Medical Systems. |
COORDINATION |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Franco Barbanera, Ivan Lanese, Emilio Tuosto |
Choreography Automata. |
COORDINATION |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Artem Usov, Ornela Dardha |
SFJ: An Implementation of Semantic Featherweight Java. |
COORDINATION |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Vagia Karyoti, Paulina Paraponiari |
Weighted PCL over Product Valuation Monoids. |
COORDINATION |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Agustín E. Martinez Suñé, Carlos Gustavo López Pombo |
Automatic Quality-of-Service Evaluation in Service-Oriented Computing. |
COORDINATION |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Hanne Riis Nielson, Emilio Tuosto (eds.) |
Coordination Models and Languages - 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019, Proceedings |
COORDINATION |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | G. Michele Pinna |
Representing Dependencies in Event Structures. |
COORDINATION |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini, Mirko Viroli |
The share Operator for Field-Based Coordination. |
COORDINATION |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Basile 0001, Maurice H. ter Beek, Rosario Pugliese |
Bridging the Gap Between Supervisory Control and Coordination of Services: Synthesis of Orchestrations and Choreographies. |
COORDINATION |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Casadei, Danilo Pianini, Mirko Viroli, Antonio Natali |
Self-organising Coordination Regions: A Pattern for Edge Computing. |
COORDINATION |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Autili, Amleto Di Salle, Francesco Gallo, Claudio Pompilio, Massimo Tivoli |
CHOReVOLUTION: Automating the Realization of Highly-Collaborative Distributed Applications. |
COORDINATION |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Hernán C. Melgratti, Claudio Antares Mezzina, Irek Ulidowski |
Reversing P/T Nets. |
COORDINATION |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Guanciale |
DiRPOMS: Automatic Checker of Distributed Realizability of POMSets. |
COORDINATION |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Wen Kokke, J. Garrett Morris, Philip Wadler |
Towards Races in Linear Logic. |
COORDINATION |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Fabrizio Montesi, Marco Peressotti, Stefano Pio Zingaro |
No More, No Less - A Formal Model for Serverless Computing. |
COORDINATION |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Marie Jacquet, Manel Barkallah |
Scan: A Simple Coordination Workbench. |
COORDINATION |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Bliudze, Ludovic Henrio, Eric Madelaine |
Verification of Concurrent Design Patterns with Data. |
COORDINATION |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Casadei, Mirko Viroli, Giorgio Audrito, Danilo Pianini, Ferruccio Damiani |
Aggregate Processes in Field Calculus. |
COORDINATION |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Rocco De Nicola, Tan Duong, Michele Loreti |
ABEL - A Domain Specific Framework for Programming with Attribute-Based Communication. |
COORDINATION |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillermina Cledou, José Proença, Bernhard H. C. Sputh, Eric Verhulst |
Coordination of Tasks on a Real-Time OS. |
COORDINATION |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei, Danilo Pianini |
From Field-Based Coordination to Aggregate Computing. |
COORDINATION |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Eva Kühn, Sophie Therese Radschek, Nahla A. El-Araby |
Distributed Coordination Runtime Assertions for the Peer Model. |
COORDINATION |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Denis Darquennes, Jean-Marie Jacquet, Isabelle Linden |
On Multiplicities in Tuple-Based Coordination Languages: The Bach Family of Languages and Its Expressiveness Study. |
COORDINATION |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Kiko Fernandez-Reyes, Dave Clarke 0001, Elias Castegren, Huu-Phuc Vo |
Forward to a Promising Future. |
COORDINATION |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Gaétan Hains, Ludovic Henrio, Pierre Leca, Wijnand Suijlen |
Active Objects for Coordinating BSP Computations (Short Paper). |
COORDINATION |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Linas Kaminskas, Alberto Lluch-Lafuente |
Aggregation Policies for Tuple Spaces. |
COORDINATION |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Sutra, Patrick Marlier, Valerio Schiavoni, François Trahay |
Boosting Transactional Memory with Stricter Serializability. |
COORDINATION |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovanna Di Marzo Serugendo, Michele Loreti (eds.) |
Coordination Models and Languages - 20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings |
COORDINATION |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Bravetti, Gianluigi Zavattaro |
Foundations of Coordination and Contracts and Their Contribution to Session Type Theory. |
COORDINATION |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Kasper Dokter, Farhad Arbab |
Rule-Based Form for Stream Constraints. |
COORDINATION |
2018 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license