-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathbibliography.bib
242 lines (218 loc) · 9.64 KB
/
bibliography.bib
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
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
% Encoding: UTF-8
@InProceedings{BeyerLoeweWendler2015,
author = {Dirk Beyer and Stefan Löwe and Philipp Wendler},
title = {Benchmarking and Resource Measurement},
booktitle = {Proceedings of the 22nd International Symposium on Model Checking of Software (SPIN~2015, Stellenbosch, South Africa, August 24--26)},
year = {2015},
editor = {Bernd Fischer and Jaco Geldenhuys},
volume = {9232},
series = {Lecture Notes in Computer Science},
publisher = {Springer-Verlag, Heidelberg},
isbn = {978-3-319-23403-8},
pages = {160--178},
doi = {10.1007/978-3-319-23404-5_12},
url = {http://www.sosy-lab.org/~dbeyer/Publications/2015-SPIN.Benchmarking_and_Resource_Measurement.pdf},
urldate = {2016-05-25},
abstract = {Proper benchmarking and resource measurement is an important topic, because benchmarking is a widely-used method for the comparative evaluation of tools and algorithms in many research areas. It is essential for researchers, tool developers, and users, as well as for competitions. We formulate a set of requirements that are indispensable for reproducible benchmarking and reliable resource measurement of automatic solvers, verifiers, and similar tools, and discuss limitations of existing methods and benchmarking tools. Fulfilling these requirements in a benchmarking framework is complex and can (on Linux) currently only be done by using the cgroups feature of the kernel. We provide \textsc{BenchExec}, a ready-to-use, tool-independent, and free implementation of a benchmarking framework that fulfills all presented requirements, masking reproducible benchmarksing and reliable resource measurement easy. Our framework is able to work with a wide range of different tools and has proven its reliability and usefulness in the International Competition on Software Verification.},
}
@Unpublished{BeyerLoeweWendler2016,
author = {Dirk Beyer and Stefan Löwe and Philipp Wendler},
title = {Benchmarking and Resource Measurement},
year = {2016},
pubstate = {to be published},
abstract = {Proper benchmarking and resource measurement is an important topic, because benchmarking is a widely-used method for te comparative evaluation of tools and algorithms in many research areas. It is essential for researchers, tool developers, and users, as well as for competitions. We formulate a set of requirements that are indispensable for reproducible benchmarking and reliable resource measurement of automatic solvers, verifiers, and similar tools, and discuss limitations of existing methods and benchmarking tools. Fulfilling these requirements in a benchmarking framework is complex and can (on Linux) currently only be done by using the cgroups feature of the kernel. We provide \textsc{BenchExec}, a ready-to-use, tool-independent, and free implementation of a benchmarking framewokr that fulfills all presented requirements, making reproducible benchmarking and reliable resource measurement easy. Our framework is able to work with a wide range of different tools and has proven its reliability and usefulness in the International Competition on Software Verification.},
}
@Article{Neubauer1996,
author = {Marion Neubauer},
title = {Feinheiten bei wissenschaftlichen Publikationen -- Mikrotypographie-Regeln, Teil I},
journaltitle = {Die \TeX{}nische Komödie},
year = {1996},
volume = {4/96},
pages = {23--40},
url = {http://www.dante.de/tex/Dokumente/dtk-neubauer.pdf},
urldate = {2016-05-25},
}
@Article{Neubauer1997,
author = {Marion Neubauer},
title = {Feinheiten bei wissenschaftlichen Publikationen -- Mikrotypographie-Regeln, Teil II},
journaltitle = {Die \TeX{}nische Komödie},
year = {1997},
volume = {1/97},
pages = {25--44},
url = {http://www.dante.de/tex/Dokumente/dtk-neubauer.pdf},
urldate = {2016-05-25},
}
@Book{Voss2010,
author = {Herbert Voß},
title = {Tabellen mit \LaTeX},
year = {2010},
edition = {2},
publisher = {Lehmanns Media, Berlin},
isbn = {978-3-86541-370-3},
timestamp = {2016-05-26},
}
@Book{Voss2012,
author = {Herbert Voß},
title = {Einführung in \LaTeX},
year = {2012},
publisher = {Lehmanns Media, Berlin},
isbn = {978-3-86541-462-5},
timestamp = {2016-05-26},
}
@Book{Mittelbach2008,
author = {Frank Mittelbach and Michel Goossens and Johannes Braams and David Carlisle and Chris Rowley},
title = {The \LaTeX Companion},
year = {2008},
edition = {2},
publisher = {Addison-Wesley, Boston, USA},
isbn = {0-201-36299-6},
timestamp = {2016-05-26},
}
@Article{Ziegenhagen2010,
author = {Uwe Ziegenhagen},
title = {Datenanalyse mit Sweave, \LaTeX{} und R},
journaltitle = {Die \TeX{}nische Komödie},
year = {2010},
volume = {4/10},
pages = {35--45},
url = {http://www.dante.de/DTK/Ausgaben/dtk104.pdf},
urldate = {2016-05-26},
timestamp = {2016-05-26},
}
@Article{Jackson2002,
author = {Laura E. Jackson and Herbert Voß},
title = {Die Plot-Funktionen von {\texttt{pst-plot}}},
journaltitle = {Die \TeX{}nische Komödie},
year = {2002},
volume = {2/02},
pages = {27--34},
timestamp = {2016-05-26},
}
@Book{Voss2016,
author = {Herbert Voß},
title = {PSTricks -- Grafik mit PostScript für \TeX und \LaTeX},
year = {2016},
edition = {7},
publisher = {Lehmanns Media, Berlin},
isbn = {3-86541-858-6},
timestamp = {2016-05-27},
}
@InProceedings{Leisch2002,
author = {Friedrich Leisch},
title = {Sweave: Dynamic Generation of Statistical Reports Using Literate Data Analysis},
booktitle = {Proceedings in Computational Statistics (Compstat~2002)},
year = {2002},
editor = {Wolfgang Härdle and Bernd Rönz},
publisher = {Physica Verlag, Heidelberg},
isbn = {3-7908-1517-9},
pages = {575--580},
url = {https://www.statistik.lmu.de/~leisch/Sweave/Sweave-compstat2002.pdf},
urldate = {2016-05-27},
timestamp = {2016-05-27},
}
@Article{Ihaka1998,
author = {Ross Ihaka},
title = {R: Past and Future History},
journaltitle = {Computing Science and Statistics},
year = {1998},
pages = {392--396},
url = {https://www.stat.auckland.ac.nz/~ihaka/downloads/Interface98.pdf},
urldate = {2016-05-27},
timestamp = {2016-05-27},
}
@Book{Knuth1992,
author = {Donald E. Knuth},
title = {Literate Programming},
year = {1992},
publisher = {Stanford University Center for the Study of Language and Information},
isbn = {978-0-937073-80-3},
timestamp = {2016-05-27},
}
@Online{Oetiker2015,
author = {Tobias Oetiker and Hubert Partl and Irene Hyna and Elisabeth Schlegl},
title = {The Not So Short Introduction to \hologo{LaTeX2e}},
year = {2015},
url = {http://tug.ctan.org/info/lshort/english/lshort.pdf},
subtitle = {Or \hologo{LaTeX2e} in 157 minutes},
version = {5.05},
urldate = {2016-05-27},
timestamp = {2016-05-27},
}
@Online{Daniel2015,
author = {Marco Daniel and Patrick Gundlach and Walter Schmidt and Jörg Knappen and Hubert Partl and Irene Hyna},
title = {\hologo{LaTeX2e}-Kurzbeschreibung},
year = {2015},
url = {http://www.ctan.org/tex-archive/info/lshort/german/l2kurz.pdf},
version = {3.0a},
urldate = {2016-05-27},
timestamp = {2016-05-27},
}
@Manual{Fear2016,
author = {Simon Fear},
title = {Publication quality tables in \LaTeX},
year = {2016},
series = {CTAN},
url = {http://mirrors.ctan.org/macros/latex/contrib/booktabs/booktabs.pdf},
urldate = {2016-05-27},
timestamp = {2016-05-27},
}
@Book{Schlosser2011,
author = {Joachim Schlosser},
title = {Wissenschaftliche Arbeiten schreiben mit \LaTeX},
year = {2011},
edition = {4},
publisher = {Verlagsgruppe Hüthig-Jehle-Rehm},
isbn = {978-3826691027},
timestamp = {2016-05-27},
}
@Online{Schlepzig2010,
author = {Max Schlepzig},
title = {Why should a table caption be placed above the table?},
year = {2010},
url = {http://tex.stackexchange.com/q/3243/14622},
organization = {TeX -- LaTeX Stack Exchange},
urldate = {2016-05-27},
timestamp = {2016-05-27},
}
@Manual{Wright2016,
author = {Joseph Wright},
title = {\textsf{siunitx}---A comprehensive (SI) units package},
year = {2016},
series = {CTAN},
url = {http://mirrors.ctan.org/macros/latex/contrib/siunitx/siunitx.pdf},
urldate = {2016-05-28},
timestamp = {2016-05-28},
}
@Manual{WilliamsKelley2016,
author = {Thomas Williams and Colin Kelley},
title = {gnuplot 5.0},
year = {2016},
url = {http://www.gnuplot.info/docs_5.0/gnuplot.pdf},
urldate = {2016-06-11},
}
@Manual{Feuersaenger2016,
author = {Christian Feuersänger},
title = {Manual for Package \textsc{pgfplots}},
year = {2016},
series = {CTAN},
url = {http://mirrors.ctan.org/graphics/pgf/contrib/pgfplots/doc/pgfplots.pdf},
urldate = {2016-06-11},
}
@Manual{Zandt2007,
author = {Timothy Van Zandt},
title = {PSTricks: PostScript macros for Generic TeX},
year = {2007},
series = {CTAN},
url = {http://mirrors.ctan.org/graphics/pstricks/base/doc/pst-user.pdf},
urldate = {2016-06-11},
}
@Manual{Voss2016a,
author = {Herbert Voß},
title = {\texttt{pst-plot}},
year = {2016},
subtitle = {plotting data and functions},
series = {CTAN},
url = {http://mirrors.ctan.org/graphics/pstricks/contrib/pst-plot/doc/pst-plot-doc.pdf},
urldate = {2016-06-11},
}
@Comment{jabref-meta: databaseType:biblatex;}