Htdp and dmda in the battlefield: a case study in first-year programming instruction. - Annette Bieniusa; Markus Degen 001; Phillip Heidegger; Peter Thiemann 001; Stefan Wehr; Martin Gasbichler; Michael Sperber; Marcus Crestani; Herbert Klaeren; Eric Knauel (FDPE@ICFP, 2008)

Recency Types for Analyzing Scripting Languages. - Phillip Heidegger; Peter Thiemann 001 (ECOOP, 2010)

DOM Transactions for Testing JavaScript. - Phillip Heidegger; Annette Bieniusa; Peter Thiemann 001 (TAIC PART, 2010)

Contract-Driven Testing of JavaScript Code. - Phillip Heidegger; Peter Thiemann 001 (TOOLS (48), 2010)

A Heuristic Approach for Computing Effects. - Phillip Heidegger; Peter Thiemann 001 (TOOLS (49), 2011)

Access permission contracts for scripting languages. - Phillip Heidegger; Annette Bieniusa; Peter Thiemann 001 (POPL, 2012)

JSConTest: Contract-Driven Testing and Path Effect Inference for JavaScript. - Phillip Heidegger; Peter Thiemann 001 (J. Object Technol., 2012)

Increasing software quality of JavaScript programs: an approach based on type systems = Verbesserung der Software Qualität von JavaScript Programmen. - Phillip Heidegger (2013)

Tracking assets in source code with Security Annotations. - Daniel Haak; Raphael Mayr; Jan-Philipp Steghöfer; Alexandra Teynor; Phillip Heidegger (ICSE Companion, 2024)