Anders Møller

  1. 2018
  2. Accepted/In press

    Practical AJAX Race Detection for JavaScript Web Applications. / Adamsen, Christoffer Quist; Møller, Anders; Alimadadi, Saba; Tip, Frank.

    Proc. 12th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE). Association for Computing Machinery, 2018.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  3. Accepted/In press

    Scalability-First Pointer Analysis with Self-Tuning Context-Sensitivity. / Li, Yue; Tan, Tian; Møller, Anders; Smaragdakis, Yannis.

    Proc. 12th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE). Association for Computing Machinery, 2018.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  4. Accepted/In press

    Precision-Guided Context Sensitivity for Pointer Analysis. / Li, Yue; Tan, Tian; Møller, Anders; Smaragdakis, Yannis.

    In: Proceedings of the ACM on Programming Languages , Vol. 2, OOPSLA, 141, 2018, p. 141:1-141:29.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  5. Published

    Type Regression Testing to Detect Breaking Changes in Node.js Libraries (Artifact). / Mezzetti, Gianluca; Møller, Anders; Torp, Martin Toldam.

    In: Dagstuhl Artifacts Series, Vol. 4, No. 3, 2018, p. 8:1-8:2.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  6. 2017
  7. Published

    A Survey of Dynamic Analysis and Test Generation for JavaScript. / Andreasen, Esben; Gong, Liang; Møller, Anders; Pradel, Michael; Selakovic, Marija; Sen, Koushik; Staicu, Cristian-Alexandru.

    In: A C M Computing Surveys, Vol. 50, No. 5, 13.11.2017, p. 66:1-66:36.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  8. Published

    Practical Initialization Race Detection for JavaScript Web Applications. / Adamsen, Christoffer Quist; Møller, Anders; Tip, Frank.

    In: Proceedings of the ACM on Programming Languages , Vol. 1, No. OOPSLA, 66, 01.10.2017, p. 66:1-66:22.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  9. Published

    Type Test Scripts for TypeScript Testing. / Kristensen, Erik Krogh; Møller, Anders.

    In: Proceedings of the ACM on Programming Languages , Vol. 1, No. OOPSLA, 90, 01.10.2017, p. 90:1-90:25.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  10. Published

    QuickChecking static analysis properties. / Midtgaard, Jan; Møller, Anders.

    In: Software Testing, Verification and Reliability, Vol. 27, No. 6, e1640, 09.2017.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  11. Published

    ArtForm: A Tool for Exploring the Codebase of Form-based Websites. / Spencer, Ben; Benedikt, Michael; Møller, Anders; Breugel, Franck van.

    Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis. New York, NY, USA : Association for Computing Machinery, 2017. p. 380-383.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  12. Published

    Systematic Approaches for Increasing Soundness and Precision of Static Analyzers. / Andreasen, Esben Sparre; Møller, Anders; Nielsen, Benjamin Barslev.

    Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis. ed. / Karim Ali ; Cristina Cifuentes . New York, NY, USA : Association for Computing Machinery, 2017. p. 31-36.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  13. Published

    Systematic black-box analysis of collaborative web applications. / Billes, Marina; Møller, Anders; Pradel, Michael.

    PLDI 2017 - Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation. Vol. Part F128414 Association for Computing Machinery, 2017. p. 171-184.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  14. Published

    Repairing Event Race Errors by Controlling Nondeterminism. / Adamsen, Christoffer Quist; Møller, Anders; Karim, Rezwana; Sridharan, Manu; Tip, Frank; Sen, Koushik.

    Proceedings of the 39th International Conference on Software Engineering. Piscataway, NJ, USA : IEEE Press, 2017. p. 289-299.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  15. Published

    Message safety in Dart. / Ernst, Erik; Møller, Anders; Schwarz, Mathias; Strocco, Fabio.

    In: Science of Computer Programming, Vol. 133/1, No. 1, 01.01.2017, p. 51-73.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  16. Published

    Inference and Evolution of TypeScript Declaration Files. / Kristensen, Erik Krogh; Møller, Anders.

    Fundamental Approaches to Software Engineering: : 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings. ed. / Marieke Huisman; Julia Rubin. Vol. 10202 Berlin, Heidelberg : Springer VS, 2017. p. 99-115.

    Research output: Contribution to book/anthology/report/proceedingBook chapterResearchpeer-review

  17. 2016
  18. Published

    Type safety analysis for dart. / Heinze, Thomas S.; Møller, Anders; Strocco, Fabio.

    DLS 2016 - Proceedings of the 12th Symposium on Dynamic Languages. ed. / Roberto Ierusalimschy. Association for Computing Machinery, 2016. p. 1-12.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  19. Published

    Type unsoundness in practice: An empirical study of dart. / Mezzetti, Gianluca; Møller, Anders; Strocco, Fabio.

    DLS 2016 - Proceedings of the 12th Symposium on Dynamic Languages. ed. / Roberto Ierusalimschy. Association for Computing Machinery, 2016. p. 13-24.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  20. Published

    Analyzing Test Completeness for Dynamic Languages. / Adamsen, Christoffer Quist; Mezzetti, Gianluca; Møller, Anders.

    Proceedings of the 25th International Symposium on Software Testing and Analysis: ISSTA 2016. New York, NY, USA : Association for Computing Machinery, 2016. p. 142-153.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  21. Published

    Feedback-directed instrumentation for deployed JavaScript applications. / Madsen, Magnus; Tip, Frank; Andreasen, Esben Sparre; Sen, Koushik; Møller, Anders.

    Proceedings of the 38th International Conference on Software Engineering : ICSE 2016. New York, NY, USA : Association for Computing Machinery, 2016. p. 899-910.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  22. 2015
  23. Published

    In Defense of Soundiness: A Manifesto. / Livshits, Benjamin; Sridharan, Manu; Smaragdakis, Yannis; Lhoták, Ondřej ; Amaral, J. Nelson; Chang, Bor-Yuh Evan; Guyer, Samuel Z.; Khedker, Uday P.; Møller, Anders; Vardoulakis, Dimitrios.

    In: Communications of the A C M, Vol. 58, No. 2, 2015.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  24. Published

    Message Safety in Dart. / Ernst, Erik; Schwarz, Mathias Romme; Strocco, Fabio; Møller, Anders.

    Dynamic Languages Symposium 2015, DLS . 2015.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  25. Published

    QuickChecking Static Analysis Properties. / Midtgaard, Jan; Møller, Anders.

    8th IEEE International Conference on Software Testing, Verification and Validation (ICST), 2015. IEEE, 2015. p. 1-10.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  26. Published

    SOAP'15 : Proceedings of the 4th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis. / Møller, Anders; Naik, Mayur.

    Proceedings of the 4th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis. Association for Computing Machinery, 2015.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  27. Published

    Stateless Model Checking of Event-Driven Applications. / Jensen, Casper Svenning; Møller, Anders; Raychev, Veselin; Dimitrov, Dimitar; Vechev, Martin.

    OOPSLA 2015 : Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications . Association for Computing Machinery, 2015. p. 57-73.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  28. Published

    Systematic Execution of Android Test Suites in Adverse Conditions. / Adamsen, Christoffer Quist; Møller, Anders; Mezzetti, Gianluca.

    Proceedings of the 2015 International Symposium on Software Testing and Analysis, ISSTA '15. Association for Computing Machinery, 2015. p. 83-93 .

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  29. 2014
  30. Published

    Automated Detection of Client-State Manipulation Vulnerabilities. / Møller, Anders; Schwarz, Mathias Romme.

    In: A C M Transactions on Software Engineering and Methodology, Vol. 23/4, 29, 08.2014.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  31. Published

    Checking Correctness of TypeScript Interfaces for JavaScript Libraries. / Feldthaus, Asger; Møller, Anders.

    OOPSLA '14 Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications. Association for Computing Machinery, 2014.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  32. Published

    Determinacy in Static Analysis of jQuery. / Andreasen, Esben; Møller, Anders.

    Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages & Applications, OOPSLA '14. ed. / Andrew Black; Todd Millstein. Association for Computing Machinery, 2014. p. 17-31 .

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  33. Published

    Managing Gradual Typing with Message-Safety in Dart. / Ernst, Erik; Møller, Anders; Schwarz, Mathias Romme; Strocco, Fabio.

    2014. Paper presented at International Workshop on Foundations of Object-Oriented Languages , Portland, United States.

    Research output: Contribution to conferencePaperResearchpeer-review

  34. Published

    Sparse Dataflow Analysis with Pointers and Reachability. / Madsen, Magnus; Møller, Anders.

    Static Analysis: 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings. ed. / Markus Müller-Olm ; Helmut Seidl. Springer VS, 2014. p. 201-218.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  35. 2013
  36. Published

    Automated Testing with Targeted Event Sequence Generation. / Jensen, Casper Svenning; Prasad, Mukul R.; Møller, Anders.

    International Symposium on Software Testing and Analysis (ISSTA), 2013: Proceedings. ed. / Mauro Pezzè; Mark Harman. Association for Computing Machinery, 2013. p. 67-77.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  37. Published

    Semi-Automatic Rename Refactoring for JavaScript. / Feldthaus, Asger; Møller, Anders.

    In: ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages and Applications, 2013, p. 323-338 .

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperConference articleResearchpeer-review

  38. Published

    Server Interface Descriptions for Automated Testing of JavaScript Web Applications. / Jensen, Casper Svenning; Møller, Anders; Su, Zhendong.

    Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2013 . ed. / Bertrand Meyer; Luciano Baresi; Mira Mezini . Association for Computing Machinery, 2013. p. 510-520 .

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  39. 2012
  40. Published

    Automated Detection of Client-State Manipulation Vulnerabilities. / Møller, Anders; Schwarz, Mathias.

    34th International Conference on Software Engineering (ICSE 2012) : Proceedings. ed. / Martin Glinz; Gall Murphy; Mauro Pezzè. IEEE Communications Society, 2012. p. 749 - 759 .

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  41. Published

    Improving Tools for JavaScript Programmers (Position Paper). / Andreasen, Esben; Feldthaus, Asger; Jensen, Simon Holm; Jensen, Casper S.; Jonsson, Peter A.; Madsen, Magnus; Møller, Anders.

    2012. Paper presented at International Workshop on Scripts to Programs, Beijing, China.

    Research output: Contribution to conferencePaperResearchpeer-review

  42. Published

    Remedying the Eval that Men Do. / Jensen, Simon Holm; Jonsson, Peter A.; Møller, Anders.

    2012 International Symposium on Software Testing and Analysis (ISSTA) : Proceedings. ed. / Mats Heimdahl; Zhendong Su. Association for Computing Machinery, 2012. p. 34-44.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  43. 2011
  44. Published

    A Framework for Automated Testing of JavaScript Web Applications. / Artzi, Shay; Dolby, Julian; Jensen, Simon Holm; Møller, Anders; Tip, Frank.

    Proceeding of the 33rd International Conference on Software Engineering. Association for Computing Machinery, 2011. p. 571-580.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  45. Published

    HTML Validation of Context-Free Languages. / Møller, Anders; Schwarz, Mathias Romme.

    In: Lecture Notes in Computer Science, Vol. 6604, 2011, p. 426-440.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperConference articleResearchpeer-review

  46. Published

    Modeling the HTML DOM and Browser API in Static Analysis of JavaScript Web Applications. / Jensen, Simon Holm; Madsen, Magnus; Møller, Anders.

    Proceedings of the 19th ACM SIGSOFT Symposium and the 13th European Conference on Foundations of Software Engineering. ESEC/FSE '11 . Association for Computing Machinery, 2011. p. 59-69.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  47. Published

    Refactoring towards the good parts of JavaScript. / Feldthaus, Asger; Millstein, Todd ; Møller, Anders; Schäfer, Max; Tip, Frank.

    2011. Poster session presented at SPLASH 2011, Portland, Oregon, United States.

    Research output: Contribution to conferencePosterResearchpeer-review

  48. Published

    Tool-supported Refactoring for JavaScript. / Feldthaus, Asger; Millstein, Todd; Møller, Anders; Schäfer, Max; Tip, Frank.

    Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications . Association for Computing Machinery, 2011. p. 119-138.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  49. Published

    XML Graphs in Program Analysis. / Møller, Anders; Schwartzbach, Michael I.

    In: Science of Computer Programming, Vol. 76, No. 6, 2011, p. 492-515.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  50. 2010
  51. Published

    Analyzing Ambiguity of Context-Free Grammars. / Brabrand, Claus; Giegerich, Robert; Møller, Anders.

    In: Science of Computer Programming, Vol. 75, No. 3, 2010, p. 176-191.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  52. Published

    Interprocedural Analysis with Lazy Propagation. / Jensen, Simon Holm; Møller, Anders; Thiemann, Peter.

    In: Lecture Notes in Computer Science, Vol. 6337, 2010, p. 320-339.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperConference articleResearchpeer-review

  53. 2009
  54. Published

    JWIG: Yet Another Framework for Maintainable and Secure Web Applications. / Møller, Anders; Schwarz, Mathias Romme.

    WEBIST 2009 - Proceedings of the Fifth International Conference on Web Information Systems and Technologies. ed. / Joaquim Filipe; José Cordeiro. Institute for Systems and Technologies of Information, Control and Communication, 2009. p. 47-53.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  55. Published

    The Big Manual for the Java String Analyzer : Latest release: version 2.1-1, November 30, 2009. / Feldthaus, Asger; Møller, Anders.

    Aarhus. 2009, Andet.

    Research output: Other contributionResearch

  56. Published

    Type Analysis for JavaScript. / Jensen, Simon Holm; Møller, Anders; Thiemann, Peter.

    In: Lecture Notes in Computer Science, Vol. 5673, 2009, p. 238–255.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperConference articleResearchpeer-review

  57. 2008
  58. Published

    Dual Syntax for XML Languages. / Brabrand, Claus; Møller, Anders; Schwartzbach, Michael Ignatieff.

    In: Information Systems, Vol. 33, No. 4, 2008, p. 385-406.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  59. Published

    Static Analysis for Event-Based XML Processing. / Møller, Anders.

    PLAN-X: Programming Language Technologies for XML: An ACM SIGPLAN Workshop colocated with POPL 2008. Universität Trier, 2008. p. 18-27.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  60. 2007
  61. Published

    Analyzing Ambiguity of Context-Free Grammars. / Brabrand, Claus; Giegerich, Robert; Møller, Anders.

    Proc. 12th International Conference on Implementation and Application of Automata. 2007.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  62. Published

    Static Validation of XSL Transformations. / Møller, Anders; Olesen, Mads Østerby; Schwartzbach, Michael Ignatieff.

    In: A C M Transactions on Programming Languages and Systems, Vol. 29, No. 4, 2007, p. Article 21.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  63. Published

    XML Graphs in Program Analysis. / Møller, Anders; Schwartzbach, Michael Ignatieff.

    Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation. ed. / Ganesan Ramalingam; Eelco Visser. Association for Computing Machinery, 2007. p. 1-10.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearch

  64. 2006
  65. Published

    An Introduction to XML and Web Technologies. / Møller, Anders; Schwartzbach, Michael Ignatieff.

    Essex, UK : Addison-Wesley, 2006. 542 p.

    Research output: Book/anthology/dissertation/reportBookEducation

  66. Published

    Analyzing Ambiguity of Context-Free Grammars. / Brabrand, Claus; Giegerich, Robert; Møller, Anders.

    In: B R I C S Report Series, No. RS-06-09, 2006.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearch

  67. Published

    Contracts for Cooperation between Web Service Programmers and HTML Designers. / Böttger, Henning; Møller, Anders; Schwartzbach, Michael I.

    In: Journal of Web Engineering, Vol. 5, No. 1, 2006, p. 65-90.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  68. Published

    Static Analysis for Event-Based XML Processing. / Møller, Anders.

    In: B R I C S Report Series, No. RS-06-16, 2006.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearch

  69. Published

    Static Analysis for Java Servlets and JSP. / Kirkegaard, Christian; Møller, Anders.

    Static Analysis: 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006. Proceedings. ed. / Kwangkeun Yi. Springer, 2006. p. 336-352.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  70. Published

    Type Checking with XML Schema in XACT. / Kirkegaard, Christian; Møller, Anders.

    2006. Paper presented at PLAN-X 2006: ACM SIGPLAN Workshop on Programming Language Technologies for XML, Charleston, SC, United States.

    Research output: Contribution to conferencePaperResearchpeer-review

  71. 2005
  72. Published

    Dual Syntax for XML Languages. / Brabrand, Claus; Møller, Anders; Schwartzbach, Michael Ignatieff.

    Database Programming Languages: 10th International Workshop, DBPL 2005, Trondheim, Norway, August 28-29, 2005, Revised Selected Papers. Springer, 2005. p. 27-41.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  73. Published

    The Design Space of Type Checkers for XML Transformation Languages. / Møller, Anders; Schwartzbach, Michael Ignatieff.

    Database Theory - ICDT 2005: 10th International Conference, Edinburgh, UK, January 5-7, 2005. Proceedings. Springer, 2005. p. 17-36.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearch

  74. 2004
  75. Published

    A Runtime System for XML Transformations in Java. / Christensen, Aske Simon; Kirkegaard, Christian; Møller, Anders.

    Database and XML Technologies: Second International XML Database Symposium, XSym 2004, Toronto, Canada, August 29-30, 2004. Proceedings. ed. / Zohra Bellahsene; Tova Milo; Michael Rys; Dan Suciu; Rainer Unland. Springer, 2004. p. 143-157.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  76. Published

    Static Analysis of XML Transformations in Java. / Kirkegaard, Christian; Møller, Anders; Schwartzbach, Michael I.

    In: I E E E Transactions on Software Engineering, Vol. 30, No. 3, 2004, p. 181-192.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  77. 2003
  78. Published

    Extending Java for High-Level Web Service Construction. / Christensen, Aske Simon; Møller, Anders; Schwartzbach, Michael Ignatieff.

    In: A C M Transactions on Programming Languages and Systems, Vol. 25, No. 6, 2003, p. 814-875.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  79. Published

    Precise Analysis of String Expressions. / Christensen, Aske Simon; Møller, Anders; Schwartzbach, Michael Ignatieff.

    Static Analysis: 10th International Symposium, SAS 2003 San Diego, CA, USA, June 11-13, 2003 Proceedings. Springer, 2003. p. 1-18.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  80. 2002
  81. Published

    Document Structure Description 2.0. / Møller, Anders.

    In: B R I C S Notes Series, No. NS-02-7, 2002.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearch

  82. Published

    Interactive Web Services with Java. / Møller, Anders; Schwartzbach, Michael Ignatieff.

    Department of Computer Science, Aarhus University, 2002. p. 1-100.

    Research output: Working paperResearch

  83. Published

    JWIG User Manual. / Christensen, Aske Simon; Møller, Anders.

    In: B R I C S Notes Series, No. NS-02-6, 2002.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearch

  84. Published

    Language-Based Caching of Dynamically Generated HTML. / Brabrand, Claus; Møller, Anders; Olesen, Steffan; Schwartzbach, Michael Ignatieff.

    In: World Wide Web (New York), Vol. 5, No. 4, 2002, p. 305-323.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  85. Published

    MONA Implementation Secrets. / Klarlund, Nils; Møller, Anders; Schwartzbach, Michael Ignatieff.

    In: International Journal of Foundations of Computer Science, Vol. 13, No. 4, 2002, p. 571-586.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  86. Published

    Program Verification with Monadic Second-Order Logic & Languages for Web Service Development. / Møller, Anders.

    Århus : Datalogisk Institut, Aarhus Universitet, 2002.

    Research output: Book/anthology/dissertation/reportPh.D. thesisResearch

  87. Published

    Static Analysis for Dynamic XML. / Christensen, Aske Simon; Møller, Anders; Schwartzbach, Michael Ignatieff.

    E-Proceeding of PLAN-X 2002. 2002.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  88. Published

    The <bigwig> Project. / Brabrand, Claus; Møller, Anders; Schwartzbach, Michael Ignatieff.

    In: A C M Transactions on Internet Technology, Vol. 2, No. 2, 2002, p. 79-114.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  89. Published

    The DSD Schema Language. / Klarlund, Nils; Møller, Anders; Schwartzbach, Michael Ignatieff.

    In: Automated Software Engineering, Vol. 9, No. 3, 2002, p. 285-319.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  90. 2001
  91. Published

    MONA Implementation Secrets. / Klarlund, Nils; Møller, Anders; Schwartzbach, Michael Ignatieff.

    Implementation and Application of Automata: 5th International Conference, CIAA 2000 London, Ontario, Canada, July 24-25, 2000 Revised Papers. ed. / Sheng Yu; Andrei Paun. Springer, 2001. p. 182-194.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  92. Published

    MONA Version 1.4 User Manual. / Klarlund, Nils; Møller, Anders.

    In: B R I C S Notes Series, No. NS-01-1, 2001.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearch

  93. Published

    Static Validation of Dynamically Generated HTML. / Brabrand, Claus; Møller, Anders; Schwartzbach, Michael I.

    Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering. Association for Computing Machinery, 2001. p. 38-45.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  94. Published

    The Pointer Assertion Logic Engine. / Møller, Anders; Schwartzbach, Michael Ignatieff.

    Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation. ed. / Mary Lou Sofia. Vol. 36(5) Association for Computing Machinery, 2001. p. 221-231.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  95. Published

    The XML Revolution. / Møller, Anders; Schwartzbach, Michael Ignatieff.

    In: B R I C S Notes Series, No. NS-01-8, 2001.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearch

  96. 2000
  97. Published

    Compile-Time Debugging of C Programs Working on Trees. / Elgaard, Jacob; Møller, Anders; Schwartzbach, Michael I.

    Programming Languages and Systems: 9th European Symposium on Programming, ESOP 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings. ed. / Gert Smolka. Springer, 2000. p. 119-134.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  98. Published

    DSD: A Schema Language for XML. / Klarlund, Nils; Møller, Anders; Schwartzbach, Michael I.

    Proceedings of the third workshop on Formal methods in software practice. Association for Computing Machinery, 2000. p. 101-111.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  99. Published

    Document Structure Description 1.0. / Klarlund, Nils; Møller, Anders; Schwartzbach, Michael I.

    In: B R I C S Notes Series, No. NS-00-7, 2000.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearch

  100. Published

    PowerForms : Declarative Client-side Form Field Validation. / Brabrand, Claus; Møller, Anders; Ricky, Mikkel; Schwartzbach, Michael Ignatieff.

    In: World Wide Web (New York), Vol. 3, No. 4, 2000, p. 205-214.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  101. 1999
  102. Published

    A Runtime System for Interactive Web Services. / Brabrand, Claus; Møller, Anders; Sandholm, Anders; Schwartzbach, Michael Ignatieff.

    In: Computer Networks, Vol. 31, No. 11-16, 1999, p. 1391-1401.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  103. Published

    A Runtime System for Interactive Web Services. / Brabrand, Claus; Møller, Anders; Sandholm, Anders; Schwartzbach, Michael I.

    Proceedings of the 8th International World Wide Web Conference. Elsevier, 1999.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  104. 1998
  105. Published

    MONA 1.x: New Techniques for WS1S and WS2S. / Elgaard, Jacob; Klarlund, Nils; Møller, Anders.

    Computer Aided Verification: 10th International Conference, CAV'98 Vancouver, BC, Canada, June 28 – July 2, 1998 Proceedings. ed. / Alan J. Hu; Moshe Y. Vardi. Springer, 1998. p. 516-520.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review