-
Notifications
You must be signed in to change notification settings - Fork 0
/
Authors.txt
35 lines (31 loc) · 1.83 KB
/
Authors.txt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
Main Authors/Maintainers:
Dirk Beyer (since 2007), Simon Fraser University, Canada / University of Passau, Germany
Stefan Löwe (since 2010), University of Passau, Germany
Philipp Wendler (since 2009), University of Passau, Germany
Former Maintainers:
Erkan Keremoglu (2008 - 2011), Simon Fraser University, Canada
Contributors:
Przemislaw Daca (2011 - 2012), Technical University of Denmark, Denmark
Matthias Dangl (2012 - 2013), University of Passau, Germany
Matthias Dittrich (2013), University of Passau, Germany
Alexander Driemeyer (2012 - 2013), University of Passau, Germany
Gregor Endler (2009 - 2010), University of Passau, Germany
Karlheinz Friedberger (since 2011), University of Passau, Germany
Alberto Griggio (2008 - 2009), Simon Fraser University, Canada / University of Trento, Italy
Peter Häring (since 2011), University of Passau, Germany
Andreas Holzer (2008 - 2013), University of Darmstadt, Germany / TU Vienna, Austria
Marie-Christine Jakobs (since 2012), University of Paderborn, Germany
Michael Käufl (2011), University of Passau, Germany
Steven Kieffer (2011 - 2012), Simon Fraser University, Canada
Petr Muller (2012 - 2013), Brno University of Technology, Czech Republic
Stefan Peters (2011 - 2012), University of Passau, Germany
Alexander von Rhein (2010), University of Passau, Germany
Alexander Schremmer (since 2012), University of Paderborn, Germany
Andreas Stahlbauer (since 2011), University of Passau, Germany
Thomas Stieglmaier (since 2011), University of Passau, Germany
Michael Tautschnig (2008 - 2009), University of Darmstadt, Germany
Gregory Theoduloz (2009 - 2010), EPFL, Switzerland
Daniel Wonisch (2011 - 2012), University of Paderborn, Germany
Geoff Zenger (2007), Simon Fraser University, Canada
Questions and bug reports:
Dirk Beyer: CPAchecker-Users@sosy-lab.org