TAPAALContact 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
- Tanguy Dubois
- 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):
- Alexandre David
- Lasse Jacobsen
- Morten Jacobsen
- Jiri Srba
TAPAAL Discrete Engine (verifydtapn):
- Mathias Andersen
- Tanguy Dubois
- Peter G. Jensen
- Heine G. Larsen
- Jiri Srba
- Mathias G. Soerensen
- Jakob H. Taankvist
- Mikkel Tygesen
TAPAAL Untimed Engine (verifypn):
- Alexander Bilgram
- Frederik Meyer Boenneland
- Emil Normann Brandt
- Malo Dautry
- Jesper Adriaan van Diepen
- Jakob Dyhr
- Peter Fogh
- Emil Gybel Henriksen
- Jens Emil Fink Højriis
- 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.