sign in · help · news · about ·

BibSonomy :: author :: Tillmann ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(186)

<< < 1 | 2 | 3 > >>

PISA 2000 -- Die Studie im Überblick. Grundlagen, Methoden und Ergebnisse
Stanat, Artelt, Baumert, Klieme, Neubrand, Prenzel, Schiefele, Schneider, Schümer, Tillmann, and Weiß (2003)
to PISA by antje on Feb 4, 2012, 8:54 PM
URL | BibTeX
Symbolic execution for software testing in practice: preliminary assessment.
Cristian Cadar, Patrice Godefroid, Sarfraz Khurshid, Corina S. Pasareanu, Koushik Sen, Nikolai Tillmann, and Willem Visser ICSE, page 1066-1071. ACM, (2011)
to dblp by dblp on Jan 28, 2012, 12:00 AM
URL | BibTeX
Precise identification of problems for structural test generation.
Xusheng Xiao, Tao Xie, Nikolai Tillmann, and Jonathan de Halleux ICSE, page 611-620. ACM, (2011)
to dblp by dblp on Jan 28, 2012, 12:00 AM
URL | BibTeX
DyTa: dynamic symbolic execution guided with static verification results.
Xi Ge, Kunal Taneja, Tao Xie, and Nikolai Tillmann ICSE, page 992-994. ACM, (2011)
to dblp by dblp on Jan 28, 2012, 12:00 AM
URL | BibTeX
Covana: precise identification of problems in pex.
Xusheng Xiao, Tao Xie, Nikolai Tillmann, and Jonathan de Halleux ICSE, page 1004-1006. ACM, (2011)
to dblp by dblp on Jan 28, 2012, 12:00 AM
URL | BibTeX
State Coverage: Software Validation Metrics beyond Code Coverage.
Dries Vanoverberghe, Jonathan de Halleux, Nikolai Tillmann, and Frank Piessens SOFSEM, volume 7147 of Lecture Notes in Computer Science, page 542-553. Springer, (2012)
to dblp by dblp on Jan 17, 2012, 12:00 AM
URL | BibTeX
Invertible syntax descriptions: unifying parsing and pretty printing.
Tillmann Rendel, and Klaus Ostermann Haskell, page 1-12. ACM, (2010)
to dblp by dblp on Jan 13, 2012, 12:00 AM
URL | BibTeX
Identitätsspielraum Internet: Lernprozesse und Selbstbildungspraktiken von Mädchen und jungen Frauen in der virtuellen Welt
Angela Tillmann Juventa, Weinheim und München, (2008)
to Identität InformellesLernen Internet by profess and 1 other user on Jan 11, 2012, 9:23 AM
BibTeX
A DP based Search Using Monotone Alignments in Statistical Translation.
Christoph Tillmann, Stephan Vogel, Hermann Ney, and A. Zubiaga ACL, page 289-296. Morgan Kaufmann Publishers / ACL, (1997)
to dblp by dblp on Dec 23, 2011, 12:00 AM
URL | BibTeX
A Statistical Parser for Czech.
Michael Collins, Jan Hajic, Lance A. Ramshaw, and Christoph Tillmann ACL, ACL, (1999)
to dblp by dblp on Dec 23, 2011, 12:00 AM
URL | BibTeX
An Efficient Unified Extraction Algorithm for Bilingual Data.
Christoph Tillmann, and Sanjika Hewavitharana INTERSPEECH, page 2093-2096. ISCA, (2011)
to dblp by dblp on Dec 21, 2011, 12:00 AM
URL | BibTeX
Points with Large Quadrant Depth.
Roel Apfelbaum, Itay Ben-Dan, Stefan Felsner, Tillmann Miltzow, Rom Pinchasi, Torsten Ueckerdt, and Ran Ziv JoCG 2(1):128-143 (2011)
to dblp by dblp on Dec 20, 2011, 12:00 AM
URL | BibTeX
Fitness-guided path exploration in dynamic symbolic execution.
Tao Xie, Nikolai Tillmann, Jonathan de Halleux, and Wolfram Schulte DSN, page 359-368. IEEE, (2009)
to dblp by dblp on Dec 20, 2011, 12:00 AM
URL | BibTeX
Growing a language environment with editor libraries.
Sebastian Erdweg, Lennart C. L. Kats, Tillmann Rendel, Christian Kästner, Klaus Ostermann, and Eelco Visser GPCE, page 167-176. ACM, (2011)
to dblp by dblp on Dec 19, 2011, 12:00 AM
URL | BibTeX
SugarJ: library-based syntactic language extensibility.
Sebastian Erdweg, Tillmann Rendel, Christian Kästner, and Klaus Ostermann OOPSLA, page 391-406. ACM, (2011)
to dblp by dblp on Dec 19, 2011, 12:00 AM
URL | BibTeX
Variability-aware parsing in the presence of lexical macros and conditional compilation.
Christian Kästner, Paolo G. Giarrusso, Tillmann Rendel, Sebastian Erdweg, Klaus Ostermann, and Thorsten Berger OOPSLA, page 805-824. ACM, (2011)
to dblp by dblp and 3 other users on Dec 19, 2011, 12:00 AM
URL | BibTeX
Library-based model-driven software development with SugarJ.
Sebastian Erdweg, Lennart C. L. Kats, Tillmann Rendel, Christian Kästner, Klaus Ostermann, and Eelco Visser OOPSLA Companion, page 17-18. ACM, (2011)
to dblp by dblp on Dec 19, 2011, 12:00 AM
URL | BibTeX
SugarJ: library-based language extensibility.
Sebastian Erdweg, Lennart C. L. Kats, Tillmann Rendel, Christian Kästner, Klaus Ostermann, and Eelco Visser OOPSLA Companion, page 187-188. ACM, (2011)
to dblp by dblp on Dec 19, 2011, 12:00 AM
URL | BibTeX
Tron, a combinatorial Game on abstract Graphs
Tillmann Miltzow CoRR (2011)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Browser-based software for technology transfer.
Judith Bishop, Jonathan de Halleux, Nikolai Tillmann, R. Nigel Horspool, Don Syme, and Tao Xie SAICSIT Conf., page 338-340. ACM, (2011)
to dblp by dblp on Dec 2, 2011, 12:00 AM
URL | BibTeX

<< < 1 | 2 | 3 > >>publications per page: 5 10 20 50 100