Contact Information

To contact the development team, send an email to tapaal@cs.aau.dk

Development Team

Current Core Team

GUI and Translations:

  • Mathias Andersen
  • Sine Viesmose Birch
  • Jacob Hjort Bundgaard
  • Joakim Byg
  • Malo Dautry
  • Jakob Dyhr
  • Louise Foshammer
  • Lasse Jacobsen
  • Morten Jacobsen
  • Thomas Stig Jacobsen
  • Jacob Jon Jensen
  • Mads Johannsen
  • Mikael H. Moeller
  • Christoffer Moesgaard
  • Malte Neve-Graesboell
  • Kristian Morsing Pedersen
  • Thomas Pedersen
  • Lena Said
  • Niels N. Samuelsen
  • Mathias G. Soerensen
  • Jakob H. Taankvist
  • Peter H. Taankvist
  • Mikkel Tygesen

TAPAAL Continuous Engine (verifytapn):

TAPAAL Discrete Engine (verifydtapn):

  • Mathias Andersen
  • Peter G. Jensen
  • Heine G. Larsen
  • Jiri Srba
  • Mathias G. Soerensen
  • Jakob H. Taankvist

TAPAAL Untimed Engine (verifypn):

  • Alexander Bilgram
  • Frederik Meyer Boenneland
  • Malo Dautry
  • Jesper Adriaan van Diepen
  • Jakob Dyhr
  • Peter Fogh
  • Emil Gybel Henriksen
  • Jonas Finnemann Jensen
  • Lasse Steen Jensen
  • Peter Gjøl Jensen
  • Nicolaj Østerby Jensen
  • Tobias Skovgaard Jepsen
  • Mads Johannsen
  • Kenneth Yrke Jørgensen
  • Isabella Kaufmann
  • Alan Mozafar Khorsid
  • Andreas Hairing Klostergaard
  • Esben Nielsen
  • Søren Moss Nielsen
  • Thomas Søndersø Nielsen
  • Samuel Pastva
  • Thomas Pedersen
  • Theodor Risager
  • Jiri Srba
  • Adam Moloney Stück
  • Andreas Sebastian Sørensen
  • Mathias Mehl Sørensen
  • Peter Haar Taankvist
  • Rasmus Grønkjær Tollund
  • Nikolaj Jensen Ulrik
  • Simon Mejlby Virenfeldt
  • Lars Kærlund Østergaard

Other Contributors

We would like to thank the following people for their involvement in the TAPAAL project:

  • Gideon Blegmand
  • Thomas Frandsen
  • Michael Garde
  • Henrik N. Ginnerup
  • Mark Glavind
  • Rasmus H. Hansen
  • Jacob Buchreitz Harbo
  • Arild Martin Moeller Haugstad
  • Daniel Heidemann
  • Martin Chmelik
  • Martin Christensen
  • Niels Christensen
  • Sebastian Lassen
  • Martin Leginus
  • Jose Antonio Mateo
  • Thomas Birch Mogensen
  • Nichlas Korgaard Moeller
  • Heidi Selmer Nielsen
  • Daniel O. Nykjær
  • Marius Pallisgaard Olsen
  • Christian Hoegh Pedersen
  • Morten Turn Pedersen
  • Long Huy Phan
  • Kenneth Sejersgaard-Jacobsen
  • Christian Stephansen
  • Mikkel Holm Soegaard
  • Valdas Zemaitis

Acknowledgments

We would like to thank

  • the UPPAAL development team in special Alexandre David and Arild Martin Moeller Haugstad for their help with UPPAAL, 
  • Krishna Prasad Gundam and Ye Tian for their comments and suggestions for the very first version of the translation algorithms, 
  • Michael J. A. Smith for providing us with the idea and example code for the improved query designer, and 
  • the PIPE2 development teams for creating and releasing PIPE2 under an open source license, making the development of TAPAAL possible.

Without these people the development of TAPAAL would not have been possible.