BibSonomyburst/author/TillmannBibSonomy RSS feed for /author/Tillmann2012-02-15T22:50:43+01:00http://www.bibsonomy.org/bibtex/20773ece0bc0b35322da74b1cab10fb0a/antjeantje2012-02-04T20:54:37+01:00PISA <span class="authorEditorList"><a href="/author/Stanat"> Stanat</a>, <a href="/author/Artelt"> Artelt</a>, <a href="/author/Baumert"> Baumert</a>, <a href="/author/Klieme"> Klieme</a>, <a href="/author/Neubrand"> Neubrand</a>, <a href="/author/Prenzel"> Prenzel</a>, <a href="/author/Schiefele"> Schiefele</a>, <a href="/author/Schneider"> Schneider</a>, <a href="/author/Schümer"> Schümer</a>, <a href="/author/Tillmann"> Tillmann</a>, and <a href="/author/Weiß"> Weiß</a> </span> (<em>2003</em>)Sat Feb 04 20:54:37 CET 2012PISA 2000 -- Die Studie im Überblick. Grundlagen, Methoden und Ergebnisse2003PISA http://www.bibsonomy.org/bibtex/257540ec499dfd0da9a8a977367a53164/dblpdblp2012-01-28T00:00:00+01:00dblp <span class="authorEditorList"><a href="/author/Cadar">Cristian Cadar</a>, <a href="/author/Godefroid">Patrice Godefroid</a>, <a href="/author/Khurshid">Sarfraz Khurshid</a>, <a href="/author/Pasareanu">Corina S. Pasareanu</a>, <a href="/author/Sen">Koushik Sen</a>, <a href="/author/Tillmann">Nikolai Tillmann</a>, and <a href="/author/Visser">Willem Visser</a> </span><em>ICSE, </em><em>page 1066-1071. </em><em>ACM, </em>(<em>2011</em>)Sat Jan 28 00:00:00 CET 2012ICSEconf/icse/20111066-1071Symbolic execution for software testing in practice: preliminary assessment.2011dblp http://www.bibsonomy.org/bibtex/20834a0f249592249b95ec7071616d54e/dblpdblp2012-01-28T00:00:00+01:00dblp <span class="authorEditorList"><a href="/author/Xiao">Xusheng Xiao</a>, <a href="/author/Xie">Tao Xie</a>, <a href="/author/Tillmann">Nikolai Tillmann</a>, and <a href="/author/de Halleux">Jonathan de Halleux</a> </span><em>ICSE, </em><em>page 611-620. </em><em>ACM, </em>(<em>2011</em>)Sat Jan 28 00:00:00 CET 2012ICSEconf/icse/2011611-620Precise identification of problems for structural test generation.2011dblp http://www.bibsonomy.org/bibtex/2f611e2bc4f233bcfdce0382f118f68d7/dblpdblp2012-01-28T00:00:00+01:00dblp <span class="authorEditorList"><a href="/author/Ge">Xi Ge</a>, <a href="/author/Taneja">Kunal Taneja</a>, <a href="/author/Xie">Tao Xie</a>, and <a href="/author/Tillmann">Nikolai Tillmann</a> </span><em>ICSE, </em><em>page 992-994. </em><em>ACM, </em>(<em>2011</em>)Sat Jan 28 00:00:00 CET 2012ICSEconf/icse/2011992-994DyTa: dynamic symbolic execution guided with static verification results.2011dblp http://www.bibsonomy.org/bibtex/250777ba1e649fd3c8d7c708f28be9538/dblpdblp2012-01-28T00:00:00+01:00dblp <span class="authorEditorList"><a href="/author/Xiao">Xusheng Xiao</a>, <a href="/author/Xie">Tao Xie</a>, <a href="/author/Tillmann">Nikolai Tillmann</a>, and <a href="/author/de Halleux">Jonathan de Halleux</a> </span><em>ICSE, </em><em>page 1004-1006. </em><em>ACM, </em>(<em>2011</em>)Sat Jan 28 00:00:00 CET 2012ICSEconf/icse/20111004-1006Covana: precise identification of problems in pex.2011dblp http://www.bibsonomy.org/bibtex/289d094fa296ed83fa0930dc284c18b38/dblpdblp2012-01-17T00:00:00+01:00dblp <span class="authorEditorList"><a href="/author/Vanoverberghe">Dries Vanoverberghe</a>, <a href="/author/de Halleux">Jonathan de Halleux</a>, <a href="/author/Tillmann">Nikolai Tillmann</a>, and <a href="/author/Piessens">Frank Piessens</a> </span><em>SOFSEM, </em><em>volume 7147 of Lecture Notes in Computer Science, </em><em>page 542-553. </em><em>Springer, </em>(<em>2012</em>)Tue Jan 17 00:00:00 CET 2012SOFSEMconf/sofsem/2012542-553Lecture Notes in Computer ScienceState Coverage: Software Validation Metrics beyond Code Coverage.71472012dblp http://www.bibsonomy.org/bibtex/222788a3d08ec1f8b5ca9f65fcb621bd4/dblpdblp2012-01-13T00:00:00+01:00dblp <span class="authorEditorList"><a href="/author/Rendel">Tillmann Rendel</a>, and <a href="/author/Ostermann">Klaus Ostermann</a> </span><em>Haskell, </em><em>page 1-12. </em><em>ACM, </em>(<em>2010</em>)Fri Jan 13 00:00:00 CET 2012Haskellconf/haskell/20101-12Invertible syntax descriptions: unifying parsing and pretty printing.2010dblp http://www.bibsonomy.org/bibtex/2b7ecd2bcbda7af78d6b988ffcba1f662/professprofess2012-01-11T09:23:37+01:00Identität InformellesLernen Internet <span class="authorEditorList"><a href="/author/Tillmann">Angela Tillmann</a> </span><em>Juventa, </em><em>Weinheim und München, </em>(<em>2008</em>)Wed Jan 11 09:23:37 CET 2012Weinheim und MünchenIdentitätsspielraum Internet: Lernprozesse und Selbstbildungspraktiken von Mädchen und jungen Frauen in der virtuellen Welt 2008Identität InformellesLernen Internet http://www.bibsonomy.org/bibtex/23db6b10b2a64c4789fb064663a8ab949/dblpdblp2011-12-23T00:00:00+01:00dblp <span class="authorEditorList"><a href="/author/Tillmann">Christoph Tillmann</a>, <a href="/author/Vogel">Stephan Vogel</a>, <a href="/author/Ney">Hermann Ney</a>, and <a href="/author/Zubiaga">A. Zubiaga</a> </span><em>ACL, </em><em>page 289-296. </em><em>Morgan Kaufmann Publishers / ACL, </em>(<em>1997</em>)Fri Dec 23 00:00:00 CET 2011ACLconf/acl/1997289-296A DP based Search Using Monotone Alignments in Statistical Translation.1997dblp http://www.bibsonomy.org/bibtex/2d2292be31d8da615aced93e4ff505a19/dblpdblp2011-12-23T00:00:00+01:00dblp <span class="authorEditorList"><a href="/author/Collins">Michael Collins</a>, <a href="/author/Hajic">Jan Hajic</a>, <a href="/author/Ramshaw">Lance A. Ramshaw</a>, and <a href="/author/Tillmann">Christoph Tillmann</a> </span><em>ACL, </em><em>ACL, </em>(<em>1999</em>)Fri Dec 23 00:00:00 CET 2011ACLconf/acl/1999A Statistical Parser for Czech.1999dblp http://www.bibsonomy.org/bibtex/2e41be75d09b045ad27985ecdb2f0bf82/dblpdblp2011-12-21T00:00:00+01:00dblp <span class="authorEditorList"><a href="/author/Tillmann">Christoph Tillmann</a>, and <a href="/author/Hewavitharana">Sanjika Hewavitharana</a> </span><em>INTERSPEECH, </em><em>page 2093-2096. </em><em>ISCA, </em>(<em>2011</em>)Wed Dec 21 00:00:00 CET 2011INTERSPEECHconf/interspeech/20112093-2096An Efficient Unified Extraction Algorithm for Bilingual Data.2011dblp http://www.bibsonomy.org/bibtex/25b85e0000ea436c8ebc04f97149b1547/dblpdblp2011-12-20T00:00:00+01:00dblp <span class="authorEditorList"><a href="/author/Apfelbaum">Roel Apfelbaum</a>, <a href="/author/Ben-Dan">Itay Ben-Dan</a>, <a href="/author/Felsner">Stefan Felsner</a>, <a href="/author/Miltzow">Tillmann Miltzow</a>, <a href="/author/Pinchasi">Rom Pinchasi</a>, <a href="/author/Ueckerdt">Torsten Ueckerdt</a>, and <a href="/author/Ziv">Ran Ziv</a> </span><em>JoCG</em> <em>2(1):128-143</em> (<em>2011</em>)Tue Dec 20 00:00:00 CET 2011JoCG1128-143Points with Large Quadrant Depth.22011dblp http://www.bibsonomy.org/bibtex/2a003332538e4d07225287e564e334576/dblpdblp2011-12-20T00:00:00+01:00dblp <span class="authorEditorList"><a href="/author/Xie">Tao Xie</a>, <a href="/author/Tillmann">Nikolai Tillmann</a>, <a href="/author/de Halleux">Jonathan de Halleux</a>, and <a href="/author/Schulte">Wolfram Schulte</a> </span><em>DSN, </em><em>page 359-368. </em><em>IEEE, </em>(<em>2009</em>)Tue Dec 20 00:00:00 CET 2011DSNconf/dsn/2009359-368Fitness-guided path exploration in dynamic symbolic execution.2009dblp http://www.bibsonomy.org/bibtex/26e4fb7a82c86e619d95f74d7f92c3cc3/dblpdblp2011-12-19T00:00:00+01:00dblp <span class="authorEditorList"><a href="/author/Erdweg">Sebastian Erdweg</a>, <a href="/author/Kats">Lennart C. L. Kats</a>, <a href="/author/Rendel">Tillmann Rendel</a>, <a href="/author/Kästner">Christian Kästner</a>, <a href="/author/Ostermann">Klaus Ostermann</a>, and <a href="/author/Visser">Eelco Visser</a> </span><em>GPCE, </em><em>page 167-176. </em><em>ACM, </em>(<em>2011</em>)Mon Dec 19 00:00:00 CET 2011GPCEconf/gpce/2011167-176Growing a language environment with editor libraries.2011dblp http://www.bibsonomy.org/bibtex/20126f64e81e041787e31b7d031eba277/dblpdblp2011-12-19T00:00:00+01:00dblp <span class="authorEditorList"><a href="/author/Erdweg">Sebastian Erdweg</a>, <a href="/author/Rendel">Tillmann Rendel</a>, <a href="/author/Kästner">Christian Kästner</a>, and <a href="/author/Ostermann">Klaus Ostermann</a> </span><em>OOPSLA, </em><em>page 391-406. </em><em>ACM, </em>(<em>2011</em>)Mon Dec 19 00:00:00 CET 2011OOPSLAconf/oopsla/2011391-406SugarJ: library-based syntactic language extensibility.2011dblp http://www.bibsonomy.org/bibtex/2b3c7734d22c23003753b3beb899dd6d1/dblpdblp2011-12-19T00:00:00+01:00dblp <span class="authorEditorList"><a href="/author/Kästner">Christian Kästner</a>, <a href="/author/Giarrusso">Paolo G. Giarrusso</a>, <a href="/author/Rendel">Tillmann Rendel</a>, <a href="/author/Erdweg">Sebastian Erdweg</a>, <a href="/author/Ostermann">Klaus Ostermann</a>, and <a href="/author/Berger">Thorsten Berger</a> </span><em>OOPSLA, </em><em>page 805-824. </em><em>ACM, </em>(<em>2011</em>)Mon Dec 19 00:00:00 CET 2011OOPSLAconf/oopsla/2011805-824Variability-aware parsing in the presence of lexical macros and conditional compilation.2011dblp http://www.bibsonomy.org/bibtex/2bd0cc8271f89280a4beaf6573529ccff/dblpdblp2011-12-19T00:00:00+01:00dblp <span class="authorEditorList"><a href="/author/Erdweg">Sebastian Erdweg</a>, <a href="/author/Kats">Lennart C. L. Kats</a>, <a href="/author/Rendel">Tillmann Rendel</a>, <a href="/author/Kästner">Christian Kästner</a>, <a href="/author/Ostermann">Klaus Ostermann</a>, and <a href="/author/Visser">Eelco Visser</a> </span><em>OOPSLA Companion, </em><em>page 17-18. </em><em>ACM, </em>(<em>2011</em>)Mon Dec 19 00:00:00 CET 2011OOPSLA Companionconf/oopsla/2011c17-18Library-based model-driven software development with SugarJ.2011dblp http://www.bibsonomy.org/bibtex/2b78245857fcb28999c17f04b9b1f5816/dblpdblp2011-12-19T00:00:00+01:00dblp <span class="authorEditorList"><a href="/author/Erdweg">Sebastian Erdweg</a>, <a href="/author/Kats">Lennart C. L. Kats</a>, <a href="/author/Rendel">Tillmann Rendel</a>, <a href="/author/Kästner">Christian Kästner</a>, <a href="/author/Ostermann">Klaus Ostermann</a>, and <a href="/author/Visser">Eelco Visser</a> </span><em>OOPSLA Companion, </em><em>page 187-188. </em><em>ACM, </em>(<em>2011</em>)Mon Dec 19 00:00:00 CET 2011OOPSLA Companionconf/oopsla/2011c187-188SugarJ: library-based language extensibility.2011dblp http://www.bibsonomy.org/bibtex/2db2aedf1238039d0a8da2a8913d08996/dblpdblp2011-12-05T00:00:00+01:00dblp <span class="authorEditorList"><a href="/author/Miltzow">Tillmann Miltzow</a> </span><em>CoRR</em> (<em>2011</em>)Mon Dec 05 00:00:00 CET 2011CoRRTron, a combinatorial Game on abstract Graphsabs/1110.32112011dblp http://www.bibsonomy.org/bibtex/212967d143a233d13d1181d24b19ee1a4/dblpdblp2011-12-02T00:00:00+01:00dblp <span class="authorEditorList"><a href="/author/Bishop">Judith Bishop</a>, <a href="/author/de Halleux">Jonathan de Halleux</a>, <a href="/author/Tillmann">Nikolai Tillmann</a>, <a href="/author/Horspool">R. Nigel Horspool</a>, <a href="/author/Syme">Don Syme</a>, and <a href="/author/Xie">Tao Xie</a> </span><em>SAICSIT Conf., </em><em>page 338-340. </em><em>ACM, </em>(<em>2011</em>)Fri Dec 02 00:00:00 CET 2011SAICSIT Conf.conf/saicsit/2011338-340Browser-based software for technology transfer.2011dblp