@book{fraenkel2011,
  added-at = {2012-02-14T08:50:53.000+0100},
  address = {Baden-Baden},
  author = {Fraenkel, Ernst and Brünneck, Alexander von},
  biburl = {http://www.bibsonomy.org/bibtex/2dfe9c1cdd8a78b20e3767de3802b8072/droessler},
  description = {UB Kassel},
  interhash = {89433663133cff0d53cadb389e69edde},
  intrahash = {dfe9c1cdd8a78b20e3767de3802b8072},
  isbn = {3-8252-3529-7},
  keywords = {politik komparatistik demokratie},
  publisher = {Nomos},
  series = {UTB},
  title = {Deutschland und die westlichen Demokratien},
  url = {http://opac.bibliothek.uni-kassel.de/DB=1/PPN?PPN=230491820},
  volume = {3529 : Politikwissenschaft},
  year = 2011
}

@phdthesis{so70642,
  added-at = {2012-02-08T14:46:42.000+0100},
  address = {Enschede},
  author = {{Foerster}, Theodor Ernst-Christoph Martin Joachim},
  biburl = {http://www.bibsonomy.org/bibtex/279f7f8450e9f6055f04ce4382f2cb103/juku},
  interhash = {c0aee280afb726196350f94a1d41a1a9},
  intrahash = {79f7f8450e9f6055f04ce4382f2cb103},
  keywords = {generalization maarb ocl webservice},
  month = {February},
  publisher = {University of Twente},
  series = {ITC dissertation ; no. 165},
  title = {55 - Web-based architecture for on-demand maps - integrating meaningful generalization processing},
  url = {http://doc.utwente.nl/70642/},
  year = 2010
}

@article{journals/sigops/BeschastnikhBEKA11,
  added-at = {2012-02-08T00:00:00.000+0100},
  author = {Beschastnikh, Ivan and Brun, Yuriy and Ernst, Michael D. and Krishnamurthy, Arvind and Anderson, Thomas E.},
  biburl = {http://www.bibsonomy.org/bibtex/292b6ec4c7e977f6b42185a9539d490f2/dblp},
  ee = {http://doi.acm.org/10.1145/2094091.2094101},
  interhash = {27c72b32081e4cab34c186e63bda4351},
  intrahash = {92b6ec4c7e977f6b42185a9539d490f2},
  journal = {Operating Systems Review},
  keywords = {dblp},
  number = 3,
  pages = {39-46},
  title = {Mining temporal invariants from partially ordered logs.},
  url = {http://dblp.uni-trier.de/db/journals/sigops/sigops45.html#BeschastnikhBEKA11},
  volume = 45,
  year = 2011
}

@inproceedings{conf/itc/ErnstSJ89,
  added-at = {2012-02-08T00:00:00.000+0100},
  author = {Ernst, Rolf and Sutarwala, S. and Jou, J.-Y.},
  biburl = {http://www.bibsonomy.org/bibtex/2a7198d63e6784169e4193c8a616112d6/dblp},
  booktitle = {ITC},
  crossref = {conf/itc/1989},
  ee = {http://dx.doi.org/10.1109/TEST.1989.82389},
  interhash = {eaf5cfa30606537a1bef77169129287c},
  intrahash = {a7198d63e6784169e4193c8a616112d6},
  keywords = {dblp},
  pages = 937,
  publisher = {IEEE Computer Society},
  title = {TSG: A Test System Generator for Debugging and Regression Test of High-Level Behavioral Synthesis Tools.},
  url = {http://dblp.uni-trier.de/db/conf/itc/itc1989.html#ErnstSJ89},
  year = 1989
}

@inproceedings{conf/itc/MachlinGKU88,
  added-at = {2012-02-08T00:00:00.000+0100},
  author = {Machlin, Deborah and 0002, David Gross and Kadkade, Sudhir and Ulrich, Ernst},
  biburl = {http://www.bibsonomy.org/bibtex/2ba47bf7bdfc809aea93888601cfeeb63/dblp},
  booktitle = {ITC},
  crossref = {conf/itc/1988},
  ee = {http://dx.doi.org/10.1109/TEST.1988.207839},
  interhash = {d0453d7184d49c6e9f494e63317b728f},
  intrahash = {ba47bf7bdfc809aea93888601cfeeb63},
  keywords = {dblp},
  pages = {574-581},
  publisher = {IEEE Computer Society},
  title = {Switch-Level Concurrent Fault Simulation Based on a General Purpose List Traversal Mechanism.},
  url = {http://dblp.uni-trier.de/db/conf/itc/itc1988.html#MachlinGKU88},
  year = 1988
}

@inproceedings{conf/itc/DembaUPG88,
  added-at = {2012-02-08T00:00:00.000+0100},
  author = {Demba, Stephen R. and Ulrich, Ernst and Panetta, Karen and Giramma, David},
  biburl = {http://www.bibsonomy.org/bibtex/2e18f516fe29b850f3f985b305a78b60a/dblp},
  booktitle = {ITC},
  crossref = {conf/itc/1988},
  ee = {http://dx.doi.org/10.1109/TEST.1988.207875},
  interhash = {68fa04871094891e84db7148caaf27a6},
  intrahash = {e18f516fe29b850f3f985b305a78b60a},
  keywords = {dblp},
  pages = {877-883},
  publisher = {IEEE Computer Society},
  title = {Experiences with Concurrent Fault Simulation of Diagnostic Programs.},
  url = {http://dblp.uni-trier.de/db/conf/itc/itc1988.html#DembaUPG88},
  year = 1988
}

@article{journals/taco/BogdanskiRSG12,
  added-at = {2012-02-07T00:00:00.000+0100},
  author = {Bogdanski, Bartosz and Reinemo, Sven-Arne and Sem-Jacobsen, Frank Olaf and Gran, Ernst Gunnar},
  biburl = {http://www.bibsonomy.org/bibtex/290d14ef7b2124669c2e48c541cf7118d/dblp},
  ee = {http://doi.acm.org/10.1145/2086696.2086734},
  interhash = {5c132b7b197f122b3b442ab2e4a77460},
  intrahash = {90d14ef7b2124669c2e48c541cf7118d},
  journal = {TACO},
  keywords = {dblp},
  number = 4,
  pages = 55,
  title = {sFtree: A fully connected and deadlock-free switch-to-switch routing algorithm for fat-trees.},
  url = {http://dblp.uni-trier.de/db/journals/taco/taco8.html#BogdanskiRSG12},
  volume = 8,
  year = 2012
}

@article{Frick2011,
  abstract = {Handling of the geothermal fluid, which is typically a complex mixture of salt solution and dissolved gases, is one of the main challenges for designing and operating reliable and efficient geothermal power plants. In the geothermal fluid loop, undesired mineral precipitation and fluid-material interactions must be prevented and the design and dimensioning of all components must be adapted according to the characteristics of the geothermal fluid. This paper outlines geochemical and process engineering aspects as well as research activities in these fields and introduces the Groß Schönebeck site, which is a central site for geothermal research.},
  added-at = {2012-02-06T16:57:10.000+0100},
  author = {Frick, Stephanie and Regenspurg, Simona and Kranz, Stefan and Milsch, Harald and Saadat, Ali and Francke, Henning and Brandt, Wulf and Huenges, Ernst},
  biburl = {http://www.bibsonomy.org/bibtex/2f5807250213c154ec201527b03ec7885/thorade},
  description = {Geochemical and Process Engineering Challenges for Geothermal Power Generation - Frick - 2011 - Chemie Ingenieur Technik - Wiley Online Library},
  doi = {10.1002/cite.201100131},
  interhash = {59fa01f1f66c68cdaa2fa73e5d6cea1d},
  intrahash = {f5807250213c154ec201527b03ec7885},
  issn = {1522-2640},
  journal = {Chemie Ingenieur Technik},
  keywords = {2011 Groß-Schönebeck geothermal},
  number = 12,
  pages = {2093--2104},
  publisher = {WILEY-VCH Verlag},
  title = {Geochemical and Process Engineering Challenges for Geothermal Power Generation},
  url = {http://dx.doi.org/10.1002/cite.201100131},
  volume = 83,
  year = 2011
}

@article{journals/eor/KrishnamoorthyEB12,
  added-at = {2012-02-06T00:00:00.000+0100},
  author = {Krishnamoorthy, M. and Ernst, A. T. and Baatar, D.},
  biburl = {http://www.bibsonomy.org/bibtex/2515182a03751e5a769f921c75827b8f4/dblp},
  ee = {http://dx.doi.org/10.1016/j.ejor.2011.11.034},
  interhash = {c1ad7de8015e8b5a9fb8db5ef97119d2},
  intrahash = {515182a03751e5a769f921c75827b8f4},
  journal = {European Journal of Operational Research},
  keywords = {dblp},
  number = 1,
  pages = {34-48},
  title = {Algorithms for large scale Shift Minimisation Personnel Task Scheduling Problems.},
  url = {http://dblp.uni-trier.de/db/journals/eor/eor219.html#KrishnamoorthyEB12},
  volume = 219,
  year = 2012
}

@inproceedings{conf/itc/AderholzAR08,
  added-at = {2012-02-06T00:00:00.000+0100},
  author = {Aderholz, Ernst and Ahrens, Heiko and Rohleder, Michael},
  biburl = {http://www.bibsonomy.org/bibtex/23cfc1cf38bcdfbfb957b36ded134ebb5/dblp},
  booktitle = {ITC},
  crossref = {conf/itc/2008},
  editor = {Young, Douglas and Touba, Nur A.},
  ee = {http://dx.doi.org/10.1109/TEST.2008.4700609},
  interhash = {8a20956922bbe4bcce15e2b0e248a1cf},
  intrahash = {3cfc1cf38bcdfbfb957b36ded134ebb5},
  isbn = {978-1-4244-2403-0},
  keywords = {dblp},
  pages = {1-10},
  publisher = {IEEE},
  title = {Bridging the gap between Design and Test Engineering for Functional Pattern Development.},
  url = {http://dblp.uni-trier.de/db/conf/itc/itc2008.html#AderholzAR08},
  year = 2008
}

@inproceedings{conf/itc/OReillyKWP10,
  added-at = {2012-02-06T00:00:00.000+0100},
  author = {O'Reilly, Jim and Khoche, Ajay and Wahl, Ernst and Parnas, Bruce R.},
  biburl = {http://www.bibsonomy.org/bibtex/2b1d4ed62b11156587924fda5784a1ec9/dblp},
  booktitle = {ITC},
  crossref = {conf/itc/2010},
  editor = {Press, Ron and Volkerink, Erik H.},
  ee = {http://dx.doi.org/10.1109/TEST.2010.5699254},
  interhash = {39e87adedf01c08382f794e79368aca6},
  intrahash = {b1d4ed62b11156587924fda5784a1ec9},
  isbn = {978-1-4244-7206-2},
  keywords = {dblp},
  pages = {506-515},
  publisher = {IEEE},
  title = {STIL P1450.4: A standard for test flow specification.},
  url = {http://dblp.uni-trier.de/db/conf/itc/itc2010.html#OReillyKWP10},
  year = 2010
}

@inproceedings{conf/sies/NeukirchnerSSSE11,
  added-at = {2012-02-03T00:00:00.000+0100},
  author = {Neukirchner, Moritz and Stein, Steffen and Schrom, Harald and Schlatow, Johannes and Ernst, Rolf},
  biburl = {http://www.bibsonomy.org/bibtex/21022facd6d9b3f03f4d8279891114ff5/dblp},
  booktitle = {SIES},
  crossref = {conf/sies/2011},
  ee = {http://doi.ieeecomputersociety.org/10.1109/SIES.2011.5953651},
  interhash = {8c8f4310b864364141d08ef50eb66894},
  intrahash = {1022facd6d9b3f03f4d8279891114ff5},
  isbn = {978-1-61284-818-1},
  keywords = {dblp},
  pages = {18-27},
  publisher = {IEEE},
  title = {Contract-based dynamic task management for mixed-criticality systems.},
  url = {http://dblp.uni-trier.de/db/conf/sies/sies2011.html#NeukirchnerSSSE11},
  year = 2011
}

@inproceedings{conf/iis/FreyK11,
  added-at = {2012-02-03T00:00:00.000+0100},
  author = {Frey, Gerhard and Kani, Ernst},
  biburl = {http://www.bibsonomy.org/bibtex/200c5bdb28429812de7db6ac5450b4882/dblp},
  booktitle = {SIIS},
  crossref = {conf/iis/2011},
  editor = {Bouvry, Pascal and Klopotek, Mieczyslaw A. and Leprévost, Franck and Marciniak, Malgorzata and Mykowiecka, Agnieszka and Rybinski, Henryk},
  ee = {http://dx.doi.org/10.1007/978-3-642-25261-7_1},
  interhash = {ff29eebb7fec0fd6f8fcb6e11d7f9c2e},
  intrahash = {00c5bdb28429812de7db6ac5450b4882},
  isbn = {978-3-642-25260-0},
  keywords = {dblp},
  pages = {1-19},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Correspondences on Hyperelliptic Curves and Applications to the Discrete Logarithm.},
  url = {http://dblp.uni-trier.de/db/conf/iis/siis2011.html#FreyK11},
  volume = 7053,
  year = 2011
}

@article{journals/corr/abs-1201-6181,
  added-at = {2012-02-01T00:00:00.000+0100},
  author = {Jung, Tobias and Martin, Sylvain and Ernst, Damien and Leduc, Guy},
  biburl = {http://www.bibsonomy.org/bibtex/2ebb040d32e75ce51f865ffe350ef48a1/dblp},
  ee = {http://arxiv.org/abs/1201.6181},
  interhash = {b33c8bb4a85c590dafef2fed345b8477},
  intrahash = {ebb040d32e75ce51f865ffe350ef48a1},
  journal = {CoRR},
  keywords = {dblp},
  title = {Contextual Multi-armed Bandits for the Prevention of Spam in VoIP Networks},
  url = {http://dblp.uni-trier.de/db/journals/corr/corr1201.html#abs-1201-6181},
  volume = {abs/1201.6181},
  year = 2012
}

@article{journals/corr/abs-1201-6190,
  added-at = {2012-02-01T00:00:00.000+0100},
  author = {Jung, Tobias and Martin, Sylvain and Nassar, Mohamed and Ernst, Damien and Leduc, Guy},
  biburl = {http://www.bibsonomy.org/bibtex/2623338a5c6f8ef63b6502b831c1389d3/dblp},
  ee = {http://arxiv.org/abs/1201.6190},
  interhash = {5494687acfdf4d82b186a08b2e9ed4d9},
  intrahash = {623338a5c6f8ef63b6502b831c1389d3},
  journal = {CoRR},
  keywords = {dblp},
  title = {Outbound SPIT Filter with Optimal Performance Guarantees},
  url = {http://dblp.uni-trier.de/db/journals/corr/corr1201.html#abs-1201-6190},
  volume = {abs/1201.6190},
  year = 2012
}

@inproceedings{conf/icse/DietlDEMS11,
  added-at = {2012-01-28T00:00:00.000+0100},
  author = {Dietl, Werner and Dietzel, Stephanie and Ernst, Michael D. and Muslu, Kivanç and Schiller, Todd W.},
  biburl = {http://www.bibsonomy.org/bibtex/2d12b34c86fcc425d2a5e2ef56aac3c26/dblp},
  booktitle = {ICSE},
  crossref = {conf/icse/2011},
  editor = {Taylor, Richard N. and Gall, Harald and Medvidovic, Nenad},
  ee = {http://doi.acm.org/10.1145/1985793.1985889},
  interhash = {097c1907ba26df191127a3b81d318193},
  intrahash = {d12b34c86fcc425d2a5e2ef56aac3c26},
  isbn = {978-1-4503-0445-0},
  keywords = {dblp},
  pages = {681-690},
  publisher = {ACM},
  title = {Building and using pluggable type-checkers.},
  url = {http://dblp.uni-trier.de/db/conf/icse/icse2011.html#DietlDEMS11},
  year = 2011
}

@inproceedings{conf/icse/SpotoE11,
  added-at = {2012-01-28T00:00:00.000+0100},
  author = {Spoto, Fausto and Ernst, Michael D.},
  biburl = {http://www.bibsonomy.org/bibtex/275abb94fe830e48cb836278484324a01/dblp},
  booktitle = {ICSE},
  crossref = {conf/icse/2011},
  editor = {Taylor, Richard N. and Gall, Harald and Medvidovic, Nenad},
  ee = {http://doi.acm.org/10.1145/1985793.1985826},
  interhash = {e31a7e85d67c00f8e4c06697ad9a4a0a},
  intrahash = {75abb94fe830e48cb836278484324a01},
  isbn = {978-1-4503-0445-0},
  keywords = {dblp},
  pages = {231-240},
  publisher = {ACM},
  title = {Inference of field initialization.},
  url = {http://dblp.uni-trier.de/db/conf/icse/icse2011.html#SpotoE11},
  year = 2011
}

@inproceedings{conf/icse/BayneCE11,
  added-at = {2012-01-28T00:00:00.000+0100},
  author = {Bayne, Michael and Cook, Richard and Ernst, Michael D.},
  biburl = {http://www.bibsonomy.org/bibtex/23ade0badda12277c1b44791d32955c79/dblp},
  booktitle = {ICSE},
  crossref = {conf/icse/2011},
  editor = {Taylor, Richard N. and Gall, Harald and Medvidovic, Nenad},
  ee = {http://doi.acm.org/10.1145/1985793.1985864},
  interhash = {1b433fd11388b265beec7ecd1b0bf5a6},
  intrahash = {3ade0badda12277c1b44791d32955c79},
  isbn = {978-1-4503-0445-0},
  keywords = {dblp},
  pages = {521-530},
  publisher = {ACM},
  title = {Always-available static and dynamic feedback.},
  url = {http://dblp.uni-trier.de/db/conf/icse/icse2011.html#BayneCE11},
  year = 2011
}

@article{journals/ijprai/ChiachiaMRE11,
  added-at = {2012-01-27T00:00:00.000+0100},
  author = {Chiachia, Giovani and Marana, Aparecido Nilceu and Ruf, Tobias and Ernst, Andreas},
  biburl = {http://www.bibsonomy.org/bibtex/2f9594df6902606924930e3d733abe9f1/dblp},
  ee = {http://dx.doi.org/10.1142/S0218001411009068},
  interhash = {089d3142f3e0719a8628eb7434feae3a},
  intrahash = {f9594df6902606924930e3d733abe9f1},
  journal = {IJPRAI},
  keywords = {dblp},
  number = 8,
  pages = {1337-1348},
  title = {Census Histograms: a Simple Feature Extraction and Matching Approach for Face Recognition.},
  url = {http://dblp.uni-trier.de/db/journals/ijprai/ijprai25.html#ChiachiaMRE11},
  volume = 25,
  year = 2011
}

@inproceedings{conf/codes/HenkelBBBBCEEHHHKLMPRSSTTWW11,
  added-at = {2012-01-26T00:00:00.000+0100},
  author = {Henkel, Jörg and Bauer, Lars and Becker, Joachim and Bringmann, Oliver and Brinkschulte, Uwe and Chakraborty, Samarjit and Engel, Michael and Ernst, Rolf and Härtig, Hermann and Hedrich, Lars and Herkersdorf, Andreas and Kapitza, Rüdiger and Lohmann, Daniel and Marwedel, Peter and Platzner, Marco and Rosenstiel, Wolfgang and Schlichtmann, Ulf and Spinczyk, Olaf and Tahoori, Mehdi Baradaran and Teich, Jürgen and Wehn, Norbert and Wunderlich, Hans-Joachim},
  biburl = {http://www.bibsonomy.org/bibtex/2ecbf913a295b4064d523c4c738f42fa6/dblp},
  booktitle = {CODES+ISSS},
  crossref = {conf/codes/2011},
  editor = {Dick, Robert P. and Madsen, Jan},
  ee = {http://doi.acm.org/10.1145/2039370.2039384},
  interhash = {297af85af5632cef6dbfda98b79a897a},
  intrahash = {ecbf913a295b4064d523c4c738f42fa6},
  isbn = {978-1-4503-0715-4},
  keywords = {dblp},
  pages = {69-78},
  publisher = {ACM},
  title = {Design and architectures for dependable embedded systems.},
  url = {http://dblp.uni-trier.de/db/conf/codes/codes2011.html#HenkelBBBBCEEHHHKLMPRSSTTWW11},
  year = 2011
}