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:

HATS HATSEnvisage EnvisageHyVar HyVarSirius Sirius

  • HATS: Highly Adaptive and Trustworthy Software using Formal Methods
  • Envisage: Engineering Virtualized Services
  • HyVar: Scalable Hybrid Variability
  • SIRIUS: Enabling digitalization in and beyond the oil and gas industry

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