Anders Møller

Anders Møller, Mathias Schwarz: Automated detection of client-state manipulation vulnerabilities. ICSE 2012: 749-759

Simon Holm Jensen, Peter A. Jonsson, Anders Møller: Remedying the eval that men do. ISSTA 2012: 34-44

Anders Møller, Michael I. Schwartzbach: XML graphs in program analysis. Sci. Comput. Program. 76(6): 492-515 (2011)

Anders Møller, Mathias Schwarz: HTML Validation of Context-Free Languages. FOSSACS 2011: 426-440

Shay Artzi, Julian Dolby, Simon Holm Jensen, Anders Møller, Frank Tip: A framework for automated testing of javascript web applications. ICSE 2011: 571-580

Asger Feldthaus, Todd D. Millstein, Anders Møller, Max Schäfer, Frank Tip: Tool-supported refactoring for JavaScript. OOPSLA 2011: 119-138

Asger Feldthaus, Todd D. Millstein, Anders Møller, Max Schäfer, Frank Tip: Refactoring towards the good parts of javascript. OOPSLA Companion 2011: 189-190

Simon Holm Jensen, Magnus Madsen, Anders Møller: Modeling the HTML DOM and browser API in static analysis of JavaScript web applications. SIGSOFT FSE 2011: 59-69

Claus Brabrand, Robert Giegerich, Anders Møller: Analyzing ambiguity of context-free grammars. Sci. Comput. Program. 75(3): 176-191 (2010)

Simon Holm Jensen, Anders Møller, Peter Thiemann: Interprocedural Analysis with Lazy Propagation. SAS 2010: 320-339

Simon Holm Jensen, Anders Møller, Peter Thiemann: Type Analysis for JavaScript. SAS 2009: 238-255

Anders Møller, Mathias Schwarz: JWIG: Yet Another Framework for Maintainable and Secure Web Applications. WEBIST 2009: 47-53

Claus Brabrand, Anders Møller, Michael I. Schwartzbach: Dual syntax for XML languages. Inf. Syst. 33(4-5): 385-406 (2008)

Anders Møller: Static Analysis for Event-Based XML Processing. PLAN-X 2008

Anders Møller, Mads Østerby Olesen, Michael I. Schwartzbach: Static validation of XSL transformations. ACM Trans. Program. Lang. Syst. 29(4) (2007)

Anders Møller, Michael I. Schwartzbach: XML graphs in program analysis. PEPM 2007: 1-10

Claus Brabrand, Robert Giegerich, Anders Møller: Analyzing Ambiguity of Context-Free Grammars. CIAA 2007: 214-225

Anders Møller, Michael I. Schwartzbach: An introduction to XML and web technologies. Addison-Wesley 2006, isbn 978-0-321-26966-9, pp. I-XXII, 1-542

Henning Böttger, Anders Møller, Michael I. Schwartzbach: Contracts for Cooperation between Web Service Programmers and HTML Designers. J. Web Eng. 5(1): 65-90 (2006)

Christian Kirkegaard, Anders Møller: Type Checking with XML Schema in XACT. PLAN-X 2006: 14-23

Christian Kirkegaard, Anders Møller: XACT - XML Transformations in Java. PLAN-X 2006: 87

Christian Kirkegaard, Anders Møller: Static Analysis for Java Servlets and JSP. SAS 2006: 336-352

Claus Brabrand, Anders Møller, Michael I. Schwartzbach: Dual Syntax for XML Languages. DBPL 2005: 27-41

Anders Møller, Michael I. Schwartzbach: The Design Space of Type Checkers for XML Transformation Languages. ICDT 2005: 17-36

Anders Møller: Verifying Programs that Manipulate Pointers: (Invited Talk). Electr. Notes Theor. Comput. Sci. 98: 3-4 (2004)

Christian Kirkegaard, Anders Møller, Michael I. Schwartzbach: Static Analysis of XML Transformations in Java. IEEE Trans. Software Eng. 30(3): 181-192 (2004)

Aske Simon Christensen, Christian Kirkegaard, Anders Møller: A Runtime System for XML Transformations in Java. XSym 2004: 143-157

Aske Simon Christensen, Anders Møller, Michael I. Schwartzbach: Extending Java for high-level Web service construction. ACM Trans. Program. Lang. Syst. 25(6): 814-875 (2003)

Aske Simon Christensen, Anders Møller, Michael I. Schwartzbach: Precise Analysis of String Expressions. SAS 2003: 1-18

Nils Klarlund, Anders Møller, Michael I. Schwartzbach: The DSD Schema Language. Autom. Softw. Eng. 9(3): 285-319 (2002)

Nils Klarlund, Anders Møller, Michael I. Schwartzbach: MONA Implementation Secrets. Int. J. Found. Comput. Sci. 13(4): 571-586 (2002)

Claus Brabrand, Anders Møller, Michael I. Schwartzbach: The <bigwig> project. ACM Trans. Internet Techn. 2(2): 79-114 (2002)

Claus Brabrand, Anders Møller, Steffan Olesen, Michael I. Schwartzbach: Language-Based Caching of Dynamiclly Generated HTML. World Wide Web 5(4): 305-324 (2002)

Claus Brabrand, Anders Møller, Michael I. Schwartzbach: Static validation of dynamically generated HTML. PASTE 2001: 38-45

Anders Møller, Michael I. Schwartzbach: The Pointer Assertion Logic Engine. PLDI 2001: 221-231

Claus Brabrand, Anders Møller, Mikkel Ricky, Michael I. Schwartzbach: PowerForms: Declarative client-side form field validation. World Wide Web 3(4): 205-214 (2000)

Jacob Elgaard, Anders Møller, Michael I. Schwartzbach: Compile-Time Debugging of C Programs Working on Trees. ESOP 2000: 119-134

Nils Klarlund, Anders Møller, Michael I. Schwartzbach: DSD: A schema language for XML. FMSP 2000: 101-111

Nils Klarlund, Anders Møller, Michael I. Schwartzbach: MONA Implementation Secrets. CIAA 2000: 182-194

Claus Brabrand, Anders Møller, Anders Sandholm, Michael I. Schwartzbach: A Runtime System for Interactive Web Services. Computer Networks 31(11-16): 1391-1401 (1999)

Jacob Elgaard, Nils Klarlund, Anders Møller: MONA 1.x: New Techniques for WS1S and WS2S. CAV 1998: 516-520