Acknowledgments

Projects

The development of the ABS language and tools has been supported by a number of European FP7 and H2020 research projects.

  • HATS: Highly Adaptive and Trustworthy Software using Formal Methods

  • Envisage: Engineering Virtualized Services

  • HyVar: Scalable Hybrid Variability

HATS Envisage HyVar

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
  • 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
  • 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
  • Lars Tveito
  • Peter Y.H. Wong
  • Ingrid Chieh Yu
  • Miky Zamalloa
  • Gianluigi Zavatarro