***************
Acknowledgments
***************

Projects
========

The development of the ABS language and tools has been supported by a
number of research projects supported by the European Commission and
the Research Council of Norway.

.. list-table::
   :widths: auto
   :class: acknowledgments

   * - .. image:: images/hats-logo.jpg
          :height: 2em

     - `HATS
       <https://web.archive.org/web/20181127101833/http://www.hats-project.eu/>`__:
       Highly Adaptive and Trustworthy Software using Formal Methods

   * - .. image:: images/envisage-logo.jpg
          :height: 2em

     - `Envisage
       <https://web.archive.org/web/20260000000000*/envisage-project.eu/>`__:
       Engineering Virtualized Services

   * - .. image:: images/hyvar-logo.png
          :height: 2em

     - `HyVar <http://hyvar-project.eu/hyvar/>`__: Scalable Hybrid
       Variability

   * - .. image:: images/sirius-logo.png
          :height: 2em

     - `SIRIUS <https://sirius-labs.no/>`__: Enabling digitalization in
       and beyond the oil and gas industry

   * - .. image:: images/NebulOuS-logotype.png
          :height: 2em

     - `NebulOuS <https://nebulouscloud.eu/>`__: Advancing cloud
       continuum excellence

Contributors
============

The following people have contributed to the ABS language and tools so far:

- Elvira Albert
- Ade Azurat
- Nikolaos Bezirgiannis
- Joakim Bjørk
- Frank de Boer
- Andrea Borgarelli
- Richard Bubel
- Dave Clarke
- Jesús Correas
- Ferruccio Damiani
- Crystal Chang Din
- Antonio Flores-Montoya
- Abel Garcia
- Samir Genaim
- Elena Giachino
- Miguel Gómez-Zamalloa
- Georg Göri
- Stijn de Gouw
- Reiner Hähnle
- Einar Broch Johnsen
- Eduard Kamburjan
- Ivan Lanese
- Cosimo Laneve
- Michael Lienhardt
- Kelly Lin
- Enrique Martin-Martin
- Jacopo Mauro
- Radu Muschevici
- Behrooz Nobakht
- Olaf Owe
- Luca Paolini
- Björn Petersen
- Germán Puebla
- Violet Ka I Pun
- Guillermo Román-Díez
- Ina Schaefer
- Rudi Schlatte
- Vlad Serbanescu
- Faiza Shehzad
- Oliver Stahl
- Martin Steffen
- Volker Stolz
- S. Lizeth Tapia Tarifa
- Gianluca Turin
- Lars Tveito
- Peter Y.H. Wong
- Ingrid Chieh Yu
- Miky Zamalloa
- Gianluigi Zavatarro