Skip to content

Commit

Permalink
deploy: fcb6730
Browse files Browse the repository at this point in the history
  • Loading branch information
@srba
srba committed Aug 21, 2024
1 parent 4a489eb commit dc9ac40
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
2 changes: 1 addition & 1 deletion about/index.html
View file
Original file line number Diff line number Diff line change
@@ -1 +1 @@
<!doctype html><html lang=en><head><title>tapaal.net: About</title><link rel=stylesheet type=text/css href=/css/style.css media=screen><link rel=icon href=/images/favicon.png type=image/png></head><body><div id=header><div id=title><img src=/images/tapaal.png alt> &nbsp;TAPAAL</div><div id=menu><ul id=nav><li><a href=/ title=Introduction onfocus=blurLink(this);>Introduction</a></li><li><a href=/features/ title=Features onfocus=blurLink(this);>Features</a></li><li><a href=/screenshots/ title=Screenshots onfocus=blurLink(this);>Screenshots</a></li><li><a href=/download/ title=Download onfocus=blurLink(this);>Download</a></li><li><a href=/documentation/ title=Documentation onfocus=blurLink(this);>Documentation</a></li><li><a href=/about/ title=About onfocus=blurLink(this);>About</a></li></ul></div></div><div id=content><div id=right><div class=post-content><h1 id=contact-information>Contact Information</h1><p>To contact the development team, send an email to <a href=mailto:tapaal@cs.aau.dk>tapaal@cs.aau.dk</a></p><h1 id=development-team>Development Team</h1><h3 id=current-core-team>Current Core Team</h3><ul><li><a href=https://vbn.aau.dk/da/persons/128861>Peter G. Jensen</a></li><li><a href=https://yrke.dk>Kenneth Yrke Joergensen</a></li><li><a href=http://www.cs.aau.dk/~srba>Jiri Srba</a></li><li><a href=https://github.com/mtygesen>Mikkel Tygesen</a></li></ul><h4 id=gui-and-translations><strong>GUI and Translations</strong>:</h4><ul><li>Mathias Andersen</li><li>Sine Viesmose Birch</li><li>Jacob Hjort Bundgaard</li><li>Joakim Byg</li><li><a href=https://github.com/Malleek>Malo Dautry</a></li><li>Jakob Dyhr</li><li>Louise Foshammer</li><li>Lasse Jacobsen</li><li>Morten Jacobsen</li><li>Thomas Stig Jacobsen</li><li>Jacob Jon Jensen</li><li>Mads Johannsen</li><li>Mikael H. Moeller</li><li>Christoffer Moesgaard</li><li>Malte Neve-Graesboell</li><li>Kristian Morsing Pedersen</li><li>Thomas Pedersen</li><li><a href=https://github.com/LenaSaid>Lena Said</a></li><li>Niels N. Samuelsen</li><li>Mathias G. Soerensen</li><li>Jakob H. Taankvist</li><li>Peter H. Taankvist</li><li><a href=https://github.com/mtygesen>Mikkel Tygesen</a></li></ul><h3 id=tapaal-continuous-engine-verifytapn>TAPAAL Continuous Engine (verifytapn):</h3><ul><li><a href=http://www.cs.aau.dk/~adavid>Alexandre David</a></li><li>Lasse Jacobsen</li><li>Morten Jacobsen</li><li><a href=http://www.cs.aau.dk/~srba>Jiri Srba</a></li></ul><h3 id=tapaal-discrete-engine-verifydtapn>TAPAAL Discrete Engine (verifydtapn):</h3><ul><li>Mathias Andersen</li><li>Peter G. Jensen</li><li>Heine G. Larsen</li><li><a href=http://www.cs.aau.dk/~srba>Jiri Srba</a></li><li>Mathias G. Soerensen</li><li>Jakob H. Taankvist</li></ul><h3 id=tapaal-untimed-engine-verifypn>TAPAAL Untimed Engine (verifypn):</h3><ul><li>Alexander Bilgram</li><li>Frederik Meyer Boenneland</li><li>Malo Dautry</li><li>Jesper Adriaan van Diepen</li><li>Jakob Dyhr</li><li>Peter Fogh</li><li>Emil Gybel Henriksen</li><li>Jonas Finnemann Jensen</li><li>Lasse Steen Jensen</li><li>Peter Gjøl Jensen</li><li>Nicolaj Østerby Jensen</li><li>Tobias Skovgaard Jepsen</li><li>Mads Johannsen</li><li>Kenneth Yrke Jørgensen</li><li>Isabella Kaufmann</li><li>Alan Mozafar Khorsid</li><li>Andreas Hairing Klostergaard</li><li>Esben Nielsen</li><li>Søren Moss Nielsen</li><li>Thomas Søndersø Nielsen</li><li>Samuel Pastva</li><li>Thomas Pedersen</li><li>Theodor Risager</li><li>Jiri Srba</li><li>Adam Moloney Stück</li><li>Andreas Sebastian Sørensen</li><li>Mathias Mehl Sørensen</li><li>Peter Haar Taankvist</li><li>Rasmus Grønkjær Tollund</li><li>Nikolaj Jensen Ulrik</li><li>Simon Mejlby Virenfeldt</li><li>Lars Kærlund Østergaard</li></ul><h1 id=other-contributors>Other Contributors</h1><p>We would like to thank the following people for their involvement in the TAPAAL project:</p><ul><li>Gideon Blegmand</li><li>Thomas Frandsen</li><li>Michael Garde</li><li>Henrik N. Ginnerup</li><li>Mark Glavind</li><li>Rasmus H. Hansen</li><li>Jacob Buchreitz Harbo</li><li>Arild Martin Moeller Haugstad</li><li>Daniel Heidemann</li><li>Martin Chmelik</li><li>Martin Christensen</li><li>Niels Christensen</li><li>Sebastian Lassen</li><li>Martin Leginus</li><li>Jose Antonio Mateo</li><li>Thomas Birch Mogensen</li><li>Nichlas Korgaard Moeller</li><li>Heidi Selmer Nielsen</li><li>Daniel O. Nykjær</li><li>Marius Pallisgaard Olsen</li><li>Christian Hoegh Pedersen</li><li>Morten Turn Pedersen</li><li>Long Huy Phan</li><li>Kenneth Sejersgaard-Jacobsen</li><li>Christian Stephansen</li><li>Mikkel Holm Soegaard</li><li>Valdas Zemaitis</li></ul><h1 id=acknowledgments>Acknowledgments</h1><p>We would like to thank</p><ul><li>the <a href=http://www.uppaal.org/><span style=color:#0066b3;text-decoration:none;background:inherit>UPPAAL</span></a> development team in special <a href=http://www.cs.aau.dk/~adavid><span style=color:#0066b3;text-decoration:none;background:inherit>Alexandre David</span></a> and Arild Martin Moeller Haugstad for their help with UPPAAL, </li><li>Krishna Prasad Gundam and Ye Tian for their comments and suggestions for the very first version of the translation algorithms, </li><li><span style=color:#0066b3;text-decoration:none;background:inherit><a href=http://www.imm.dtu.dk/~mjas/ title="Opens external link in new window">Michael J. A. Smith</a></span> for providing us with the idea and example code for the improved query designer, and </li><li>the PIPE2 development teams for creating and releasing <span style=font-size:12.92px>PIPE2 </span>under an open source license, making the development of TAPAAL possible.</li></ul><p>Without these people the development of TAPAAL would not have been possible.</p></div></div><div id=left><div class=box><h1>News</h1><div class=news-latest-container><div class=news-latest-item><h2>2024-08-06 - <a href=/news/mcc24-three-gold-medals/>TAPAAL gets back 3 gold medals at MCC&#39;24</a></h2></div><div class=news-latest-item><h2>2023-05-10 - <a href=/news/mcc23-one-gold-medal/>TAPAAL wins a gold medal at MCC&#39;23</a></h2></div><div class=news-latest-item><h2>2023-02-24 - <a href=/news/tapaal-3.9.5/>TAPAAL 3.9.5</a></h2></div><div class=news-latest-item><h2>2023-01-24 - <a href=/news/tapaal-3.9.4/>TAPAAL 3.9.4</a></h2></div><h2><a href=/news>More news</a></h2></div></div><div class=box><div style=font-size:.8em>TAPAAL (Aalborg University)<br>(c) 2008-2022</div><div style=font-size:.8em><a href=https://github.com/TAPAAL/www.tapaal.net/blob/master/content/about.md>Edit this page</a></div></div></div></div></body></html>
<!doctype html><html lang=en><head><title>tapaal.net: About</title><link rel=stylesheet type=text/css href=/css/style.css media=screen><link rel=icon href=/images/favicon.png type=image/png></head><body><div id=header><div id=title><img src=/images/tapaal.png alt> &nbsp;TAPAAL</div><div id=menu><ul id=nav><li><a href=/ title=Introduction onfocus=blurLink(this);>Introduction</a></li><li><a href=/features/ title=Features onfocus=blurLink(this);>Features</a></li><li><a href=/screenshots/ title=Screenshots onfocus=blurLink(this);>Screenshots</a></li><li><a href=/download/ title=Download onfocus=blurLink(this);>Download</a></li><li><a href=/documentation/ title=Documentation onfocus=blurLink(this);>Documentation</a></li><li><a href=/about/ title=About onfocus=blurLink(this);>About</a></li></ul></div></div><div id=content><div id=right><div class=post-content><h1 id=contact-information>Contact Information</h1><p>To contact the development team, send an email to <a href=mailto:tapaal@cs.aau.dk>tapaal@cs.aau.dk</a></p><h1 id=development-team>Development Team</h1><h3 id=current-core-team>Current Core Team</h3><ul><li><a href=https://github.com/tand00>Tanguy Dubois</a></li><li><a href=https://vbn.aau.dk/da/persons/128861>Peter G. Jensen</a></li><li><a href=https://yrke.dk>Kenneth Yrke Joergensen</a></li><li><a href=http://www.cs.aau.dk/~srba>Jiri Srba</a></li><li><a href=https://github.com/mtygesen>Mikkel Tygesen</a></li></ul><h4 id=gui-and-translations><strong>GUI and Translations</strong>:</h4><ul><li>Mathias Andersen</li><li>Sine Viesmose Birch</li><li>Jacob Hjort Bundgaard</li><li>Joakim Byg</li><li><a href=https://github.com/Malleek>Malo Dautry</a></li><li><a href=https://github.com/tand00>Tanguy Dubois</a></li><li>Jakob Dyhr</li><li>Louise Foshammer</li><li>Lasse Jacobsen</li><li>Morten Jacobsen</li><li>Thomas Stig Jacobsen</li><li>Jacob Jon Jensen</li><li>Mads Johannsen</li><li>Mikael H. Moeller</li><li>Christoffer Moesgaard</li><li>Malte Neve-Graesboell</li><li>Kristian Morsing Pedersen</li><li>Thomas Pedersen</li><li><a href=https://github.com/LenaSaid>Lena Said</a></li><li>Niels N. Samuelsen</li><li>Mathias G. Soerensen</li><li>Jakob H. Taankvist</li><li>Peter H. Taankvist</li><li><a href=https://github.com/mtygesen>Mikkel Tygesen</a></li></ul><h3 id=tapaal-continuous-engine-verifytapn>TAPAAL Continuous Engine (verifytapn):</h3><ul><li><a href=http://www.cs.aau.dk/~adavid>Alexandre David</a></li><li>Lasse Jacobsen</li><li>Morten Jacobsen</li><li><a href=http://www.cs.aau.dk/~srba>Jiri Srba</a></li></ul><h3 id=tapaal-discrete-engine-verifydtapn>TAPAAL Discrete Engine (verifydtapn):</h3><ul><li>Mathias Andersen</li><li><a href=https://github.com/tand00>Tanguy Dubois</a></li><li>Peter G. Jensen</li><li>Heine G. Larsen</li><li><a href=http://www.cs.aau.dk/~srba>Jiri Srba</a></li><li>Mathias G. Soerensen</li><li>Jakob H. Taankvist</li><li><a href=https://github.com/mtygesen>Mikkel Tygesen</a></li></ul><h3 id=tapaal-untimed-engine-verifypn>TAPAAL Untimed Engine (verifypn):</h3><ul><li>Alexander Bilgram</li><li>Frederik Meyer Boenneland</li><li>Malo Dautry</li><li>Jesper Adriaan van Diepen</li><li>Jakob Dyhr</li><li>Peter Fogh</li><li>Emil Gybel Henriksen</li><li>Jonas Finnemann Jensen</li><li>Lasse Steen Jensen</li><li>Peter Gjøl Jensen</li><li>Nicolaj Østerby Jensen</li><li>Tobias Skovgaard Jepsen</li><li>Mads Johannsen</li><li>Kenneth Yrke Jørgensen</li><li>Isabella Kaufmann</li><li>Alan Mozafar Khorsid</li><li>Andreas Hairing Klostergaard</li><li>Esben Nielsen</li><li>Søren Moss Nielsen</li><li>Thomas Søndersø Nielsen</li><li>Samuel Pastva</li><li>Thomas Pedersen</li><li>Theodor Risager</li><li>Jiri Srba</li><li>Adam Moloney Stück</li><li>Andreas Sebastian Sørensen</li><li>Mathias Mehl Sørensen</li><li>Peter Haar Taankvist</li><li>Rasmus Grønkjær Tollund</li><li>Nikolaj Jensen Ulrik</li><li>Simon Mejlby Virenfeldt</li><li>Lars Kærlund Østergaard</li></ul><h1 id=other-contributors>Other Contributors</h1><p>We would like to thank the following people for their involvement in the TAPAAL project:</p><ul><li>Gideon Blegmand</li><li>Thomas Frandsen</li><li>Michael Garde</li><li>Henrik N. Ginnerup</li><li>Mark Glavind</li><li>Rasmus H. Hansen</li><li>Jacob Buchreitz Harbo</li><li>Arild Martin Moeller Haugstad</li><li>Daniel Heidemann</li><li>Martin Chmelik</li><li>Martin Christensen</li><li>Niels Christensen</li><li>Sebastian Lassen</li><li>Martin Leginus</li><li>Jose Antonio Mateo</li><li>Thomas Birch Mogensen</li><li>Nichlas Korgaard Moeller</li><li>Heidi Selmer Nielsen</li><li>Daniel O. Nykjær</li><li>Marius Pallisgaard Olsen</li><li>Christian Hoegh Pedersen</li><li>Morten Turn Pedersen</li><li>Long Huy Phan</li><li>Kenneth Sejersgaard-Jacobsen</li><li>Christian Stephansen</li><li>Mikkel Holm Soegaard</li><li>Valdas Zemaitis</li></ul><h1 id=acknowledgments>Acknowledgments</h1><p>We would like to thank</p><ul><li>the <a href=http://www.uppaal.org/><span style=color:#0066b3;text-decoration:none;background:inherit>UPPAAL</span></a> development team in special <a href=http://www.cs.aau.dk/~adavid><span style=color:#0066b3;text-decoration:none;background:inherit>Alexandre David</span></a> and Arild Martin Moeller Haugstad for their help with UPPAAL, </li><li>Krishna Prasad Gundam and Ye Tian for their comments and suggestions for the very first version of the translation algorithms, </li><li><span style=color:#0066b3;text-decoration:none;background:inherit><a href=http://www.imm.dtu.dk/~mjas/ title="Opens external link in new window">Michael J. A. Smith</a></span> for providing us with the idea and example code for the improved query designer, and </li><li>the PIPE2 development teams for creating and releasing <span style=font-size:12.92px>PIPE2 </span>under an open source license, making the development of TAPAAL possible.</li></ul><p>Without these people the development of TAPAAL would not have been possible.</p></div></div><div id=left><div class=box><h1>News</h1><div class=news-latest-container><div class=news-latest-item><h2>2024-08-06 - <a href=/news/mcc24-three-gold-medals/>TAPAAL gets back 3 gold medals at MCC&#39;24</a></h2></div><div class=news-latest-item><h2>2023-05-10 - <a href=/news/mcc23-one-gold-medal/>TAPAAL wins a gold medal at MCC&#39;23</a></h2></div><div class=news-latest-item><h2>2023-02-24 - <a href=/news/tapaal-3.9.5/>TAPAAL 3.9.5</a></h2></div><div class=news-latest-item><h2>2023-01-24 - <a href=/news/tapaal-3.9.4/>TAPAAL 3.9.4</a></h2></div><h2><a href=/news>More news</a></h2></div></div><div class=box><div style=font-size:.8em>TAPAAL (Aalborg University)<br>(c) 2008-2022</div><div style=font-size:.8em><a href=https://github.com/TAPAAL/www.tapaal.net/blob/master/content/about.md>Edit this page</a></div></div></div></div></body></html>
Loading

0 comments on commit dc9ac40

Please sign in to comment.