Contact Information

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

Development Team

GUI and Translations:

Past contributors:

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

TAPAAL Continuous Engine (verifytapn):

TAPAAL Discrete Engine (verifytapn):

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

TAPAAL Untimed Engine (verifypn):

  • Frederik M. Boenneland
  • Jakob Dyhr
  • Jonas Finnemann Jensen
  • Peter G. Jensen
  • Mads Johannsen
  • Andreas H. Klostergaard
  • Thomas Soendersoe Nielsen
  • Jiri Srba
  • Lars Kaerlund Oestergaard

CTL untimed engine:

  • Peter Fogh
  • Lasse Steen Jensen
  • Tobias Skovgaard Jepsen
  • Isabella Kaufmann
  • Soeren Moss Nielsen
  • Samuel Pastva

Other Contributors

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

  • Gideon Blegmand
  • Thomas Frandsen
  • Michael Garde
  • Mark Glavind
  • Jacob Buchreitz Harbo
  • Arild Martin Moeller Haugstad
  • Daniel Heidemann
  • Martin Chmelik
  • Martin Christensen
  • Niels Christensen
  • Martin Leginus
  • Jose Antonio Mateo
  • Thomas Birch Mogensen
  • Nichlas Korgaard Moeller
  • Heidi Selmer Nielsen
  • 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.