Publications (BibTeX format)

@Article{lcheck2017,
  author =       {Jan Midtgaard and Anders M\o{}ller},
  title =        {QuickChecking Static Analysis Properties},
  journal =      {Software Testing, Verification and Reliability},
  volume =       {?},
  pages =        {?-?},
  year =         {2017},
  publisher =    {Wiley},
  note =         {Accepted for publication.
                  Earlier version in Proc. IEEE International Conference on
                  Software Testing, Verification, and Validation (ICST) 2015},
}
@InProceedings{tajsexperience2017,
  author =       {Esben Sparre Andreasen and Anders M\o{}ller and Benjamin Barslev Nielsen},
  title =        {Systematic Approaches for Increasing Soundness and Precision of Static Analyzers},
  booktitle =    {Proc. 6th International Workshop on the State Of the Art in Program Analysis (SOAP)},
  year =         {2017},
  month =        {June},
}
@InProceedings{simian2017,
  author =       {Marina Billes and Anders M\o{}ller and Michael Pradel},
  title =        {Systematic Black-Box Analysis of Collaborative Web Applications},
  booktitle =    {Proc. 38th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)},
  year =         {2017},
  month =        {June},
}
@InProceedings{eventracecommander2017,
  author =       {Christoffer Quist Adamsen and Anders M\o{}ller and Rezwana Karim and Manu Sridharam and Frank Tip and Koushik Sen},
  title =        {Repairing Event Race Errors by Controlling Nondeterminism},
  booktitle =    {Proc. 39th International Conference on Software Engineering (ICSE)},
  year =         {2017},
  month =        {May},
}
@InProceedings{tstools2017,
  author =       {Erik Krogh Kristensen and Anders M\o{}ller},
  title =        {Inference and Evolution of TypeScript Declaration Files},
  booktitle =    {Proc. 20th International Conference on Fundamental Approaches to Software Engineering (FASE)},
  year =         {2017},
  month =        {April},
}
@Article{fletch2017,
  author =       {Erik Ernst and Anders M\o{}ller and Mathias Schwarz and Fabio Strocco},
  title =        {Message Safety in {D}art},
  journal =      {Science of Computer Programming}, 
  volume =       {133P1},
  pages =        {51-73},
  year =         {2017},
  publisher =    {Elsevier},
  note =         {Accepted for publication.
                  Earlier version in Proc. 11th Dynamic Languages Symposium (DLS) 2015},
}
@InProceedings{safedart2016,
  author =       {Thomas S. Heinze and Anders M\o{}ller and Fabio Strocco},
  title =        {Type Safety Analysis for {D}art},
  booktitle =    {Proc. 12th Dynamic Languages Symposium (DLS)},
  year =         {2016},
  month =        {October},
}
@InProceedings{undart2016,
  author =       {Gianluca Mezzetti and Anders M\o{}ller and Fabio Strocco},
  title =        {Type Unsoundness in Practice: An Empirical Study of {D}art},
  booktitle =    {Proc. 12th Dynamic Languages Symposium (DLS)},
  year =         {2016},
  month =        {October},
}
@InProceedings{goodenough2016,
  author =       {Christoffer Quist Adamsen and Gianluca Mezzetti and Anders M\o{}ller},
  title =        {Analyzing Test Completeness for Dynamic Languages},
  booktitle =    {Proc. 25th International Symposium on Software Testing and Analysis (ISSTA)},
  year =         {2016},
  month =        {July},
}
@InProceedings{crowdie2016,
  author =       {Magnus Madsen and Frank Tip and Esben Andreasen and Koushik Sen and Anders M\o{}ller},
  title =        {Feedback-Directed Instrumentation for Deployed {J}ava{S}cript Applications},
  booktitle =    {Proc. 38th International Conference on Software Engineering (ICSE)},
  year =         {2016},
  month =        {May},
}
@InProceedings{r4_2015,
  author =       {Casper S. Jensen and Anders M\o{}ller and Veselin Raychev and Dimitar Dimitrov and Martin Vechev},
  title =        {Stateless Model Checking of Event-Driven Applications},
  booktitle =    {Proc. ACM SIGPLAN Conference on Object-Oriented Programming, 
                  Systems, Languages, and Applications (OOPSLA)},
  year =         {2015},
  month =        {October},
}
@Article{xmlgraphs2011,
  author =       {Erik Ernst and Anders M\o{}ller and Mathias Schwarz and Fabio Strocco},
  title =        {Message Safety in {D}art},
  journal =      {Science of Computer Programming}, 
  year =         {2016},
  publisher =    {Elsevier},
  note =         {Accepted for publication.
                  Earlier version in 
                  Proc 11th Dynamic Languages Symposium (DLS) 2015},
}
@InProceedings{fletch2015,
  author =       {Erik Ernst and Anders M\o{}ller and Mathias Schwarz and Fabio Strocco},
  title =        {Message Safety in {D}art},
  booktitle =    {Proc. 11th Dynamic Languages Symposium (DLS)},
  year =         {2015},
  month =        {October},
}
@Misc{spa,
  author =       {Anders M\o{}ller and Michael I. Schwartzbach},
  title =        {Static Program Analysis},
  year =         {2015},
  month =        {May},
  note =         {Department of Computer Science, Aarhus University,
                  \texttt{http://cs.au.dk/\~{}amoeller/spa/}},
}
@InProceedings{thor2015,
  author =       {Christoffer Quist Adamsen and Gianluca Mezzetti and Anders M\o{}ller},
  title =        {Systematic Execution of {A}ndroid Test Suites in Adverse Conditions},
  booktitle =    {Proc. 24th International Symposium on Software Testing and Analysis (ISSTA)},
  year =         {2015},
  month =        {July},
}
@article{soundiness2015,
  author =       {Livshits, Benjamin and Sridharan, Manu and Smaragdakis, Yannis and 
                  Lhot\'{a}k, Ond\v{r}ej and Amaral, J. Nelson and Chang, Bor-Yuh Evan and 
                  Guyer, Samuel Z. and Khedker, Uday P. and M{\o}ller, Anders and Vardoulakis, Dimitrios},
  title =        {In Defense of Soundiness: A Manifesto},
  journal =      {Commun. {ACM}},
  volume =       {58},
  number =       {2},
  pages =        {44-46},
  year =         {2015},
}
@InProceedings{lcheck2015,
  author =       {Jan Midtgaard and Anders M\o{}ller},
  title =        {QuickChecking Static Analysis Properties},
  booktitle =    {Proc. IEEE International Conference on 
                  Software Testing, Verification, and Validation (ICST)},
  year =         {2015},
  month =        {April},
}
@Misc{fletch2014,
  author =       {Erik Ernst and Anders M\o{}ller and Mathias Schwarz and Fabio Strocco},
  title =        {Managing Gradual Typing with Message-Safety in {D}art},
  year =         {2014},
  month =        {October},
  notes =        {21th International Workshop on Foundations of Object-Oriented Languages (FOOL)}
}
@InProceedings{tscheck2014,
  author =       {Asger Feldthaus and Anders M\o{}ller},
  title =        {Checking Correctness of {T}ype{S}cript Interfaces for {J}ava{S}cript Libraries},
  booktitle =    {Proc. ACM SIGPLAN Conference on Object-Oriented Programming, 
                  Systems, Languages, and Applications (OOPSLA)},
  year =         {2014},
  month =        {October},
}
@InProceedings{jquery2014,
  author =       {Esben Andreasen and Anders M\o{}ller},
  title =        {Determinacy in Static Analysis for j{Q}uery},
  booktitle =    {Proc. ACM SIGPLAN Conference on Object-Oriented Programming, 
                  Systems, Languages, and Applications (OOPSLA)},
  year =         {2014},
  month =        {October},
}
@InProceedings{sparse2014,
  author =       {Magnus Madsen and Anders M\o{}ller},
  title =        {Sparse Dataflow Analysis with Pointers and Reachability},
  booktitle =    {Proc. 21st International Static Analysis Symposium (SAS)},
  year =         {2014},
  month =        {September},
  series =       {LNCS},
  publisher =    {Springer-Verlag},
}
@Article{clientstate2014,
  author =       {Anders M\o{}ller and Mathias Schwarz},
  title =        {Automated Detection of Client-State Manipulation Vulnerabilities},
  journal =      {Transactions on Software Engineering and Methodology},
  volume =       {23},
  number =       {4},
  month =        {August},
  year =         {2014},
  publisher =    {ACM},
  note =         {Earlier version in 
                  Proc. 34th International Conference on Software Engineering (ICSE) 2012},
}
@InProceedings{renaming2013,
  author =       {Asger Feldthaus and Anders M\o{}ller},
  title =        {Semi-Automatic Rename Refactoring for {J}ava{S}cript},
  booktitle =    {Proc. ACM SIGPLAN Conference on Object-Oriented Programming, 
                  Systems, Languages, and Applications (OOPSLA)},
  year =         {2013},
  month =        {October},
}
@InProceedings{ail2013,
  author =       {Casper S. Jensen and Anders M\o{}ller and Zhendong Su},
  title =        {Server Interface Descriptions for Automated Testing of JavaScript Web Applications},
  booktitle =    {Proc. 9th joint meeting of the European Software Engineering Conference
                  and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE)},
  year =         {2013},
  month =        {August},
}
@InProceedings{collider2013,
  author =       {Casper S. Jensen and Mukul R. Prasad and Anders M\o{}ller},
  title =        {Automated Testing with Targeted Event Sequence Generation},
  booktitle =    {Proc. 22nd International Symposium on Software Testing and Analysis (ISSTA)},
  year =         {2013},
  month =        {July},
}
@InProceedings{unevalizer2012,
  author =       {Simon Holm Jensen and Peter A. Jonsson and Anders M\o{}ller},
  title =        {Remedying the Eval that Men Do},
  booktitle =    {Proc. 21st International Symposium on Software Testing and Analysis (ISSTA)},
  year =         {2012},
  month =        {July},
}
@Misc{stop2012,
  author =       {Esben Andreasen and Asger Feldthaus and Simon Holm Jensen and 
                  Casper S. Jensen and Peter A. Jonsson and Magnus Madsen and
                  Anders M\o{}ller},
  title =        {Improving Tools for {J}ava{S}cript Programmers (Position Paper)},
  year =         {2012},
  note =         {International Workshop on Script to Program Evolution (STOP)}
}
@InProceedings{clientstate2012,
  author =       {Anders M\o{}ller and Mathias Schwarz},
  title =        {Automated Detection of Client-State Manipulation Vulnerabilities},
  booktitle =    {Proc. 34th International Conference on Software Engineering (ICSE)},
  year =         {2012},
  month =        {June},
}
@InProceedings{jsrefactor2011,
  author =       {Asger Feldthaus and Todd Millstein and Anders M\o{}ller and Max Sch\"a{}fer and Frank Tip},
  title =        {Tool-supported Refactoring for {J}ava{S}cript},
  booktitle =    {Proc. ACM SIGPLAN Conference on Object-Oriented Programming, 
                  Systems, Languages, and Applications (OOPSLA)},
  year =         {2011},
  month =        {October},
}
@InProceedings{dom2011,
  author =       {Simon Holm Jensen and Magnus Madsen and Anders M\o{}ller},
  title =        {Modeling the {HTML} {DOM} and Browser {API} in Static Analysis of {J}ava{S}cript Web Applications},
  booktitle =    {Proc. 8th joint meeting of the European Software Engineering Conference
                  and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE)},
  year =         {2011},
  month =        {September},
}
@InProceedings{htmlcfg2011,
  author =       {Anders M\o{}ller and Mathias Schwarz},
  title =        {{HTML} Validation of Context-Free Languages},
  booktitle =    {Proc. 14th International Conference on
                  Foundations of Software Science and Computation Structures (FoSSaCS)},
  year =         {2011},
  month =        {March},
  series =       {LNCS},
  volume =       {6604},
  publisher =    {Springer-Verlag},
}
@InProceedings{artemis2011,
  author =       {Shay Artzi and Julian Dolby and Simon Holm Jensen and 
                  Anders M\o{}ller and Frank Tip},
  title =        {A Framework for Automated Testing of {J}ava{S}cript Web Applications},
  booktitle =    {Proc. 33rd International Conference on Software Engineering (ICSE)},
  year =         {2011},
  month =        {May},
}
@Article{xmlgraphs2011,
  author =       {Anders M\o{}ller and Michael I. Schwartzbach},
  title =        {{XML} Graphs in Program Analysis},
  journal =      {Science of Computer Programming}, 
  volume =       {76},
  number =       {6},
  pages =        {492-515},
  month =        {June},
  year =         {2011},
  publisher =    {Elsevier},
  note =         {Earlier version in 
                  Proc.\ ACM SIGPLAN Workshop on Partial Evaluation and 
                  Program Manipulation (PEPM) 2007},
}
@InProceedings{lazypropagation2010,
  author =       {Simon Holm Jensen and Anders M\o{}ller and Peter Thiemann},
  title =        {Interprocedural Analysis with Lazy Propagation},
  booktitle =    {Proc. 17th International Static Analysis Symposium (SAS)},
  year =         {2010},
  month =        {September},
  series =       {LNCS},
  volume =       {6337},
  publisher =    {Springer-Verlag},
}
@Article{ambiguity2010,
  author =       {Claus Brabrand and Robert Giegerich and Anders M\o{}ller},
  title =        {Analyzing Ambiguity of Context-Free Grammars},
  journal =      {Science of Computer Programming}, 
  volume =       {75},
  number =       {3},
  pages =        {176-191},
  month =        {March},
  year =         {2010},
  publisher =    {Elsevier},
  note =         {Earlier version in Proc.\ 12th International Conference 
                  on Implementation and Application of Automata (CIAA) 2007,
                  Springer-Verlag LNCS vol.\ 4783},
}
@Manual{jsamanual2009,
  author =       {Asger Feldthaus and Anders M{\o}ller},
  title =        {The Big Manual for the {J}ava {S}tring {A}nalyzer},
  organization = {Department of Computer Science, Aarhus University},
  month =        {November},
  year =         {2009},
  note =         {Available from \texttt{\small http://www.brics.dk/JSA/}}
}
@InProceedings{tajs2009,
  author =       {Simon Holm Jensen and Anders M\o{}ller and Peter Thiemann},
  title =        {Type Analysis for {J}ava{S}cript},
  booktitle =    {Proc. 16th International Static Analysis Symposium (SAS)},
  year =         {2009},
  month =        {August},
  series =       {LNCS},
  volume =       {5673},
  publisher =    {Springer-Verlag},
}
@InProceedings{jwig2009,
  author =       {Anders M\o{}ller and Mathias Schwarz},
  title =        {{JWIG}: Yet Another Framework for Maintainable and Secure Web Applications},
  booktitle =    {Proc. 5th International Conference on Web Information Systems and Technologies (WEBIST)}, 
  year =         {2009},
  month =        {March},
}
@TechReport{sax2008,
  author =       {Anders M\o{}ller},
  title =        {Static Analysis for Event-Based {XML} Processing},
  year =         {2008},
  month =        {January},
  institution =  {BRICS},
  number =       {RS-08-01},
  note =         {Presented at Programming Language Technologies for XML (PLAN-X)},
}
@InProceedings{ambiguity2007,
  author =       {Claus Brabrand and Robert Giegerich and Anders M\o{}ller},
  title =        {Analyzing Ambiguity of Context-Free Grammars},
  booktitle =    {Proc. 12th International Conference 
                  on Implementation and Application of Automata (CIAA)}, 
  year =         {2007},
  month =        {July},
  series =       {LNCS},
  volume =       {4783},
  publisher =    {Springer-Verlag},
}
@Article{xsugar2008,
  author =       {Claus Brabrand and Anders M\o{}ller and Michael I. Schwartzbach},
  title =        {Dual Syntax for {XML} Languages},
  journal =      {Information Systems},
  year =         {2008},
  month =        {June},
  volume =       {33},
  number =       {4},
  publisher =    {Elsevier},
  note =         {Earlier version in Proc.\ 10th International Workshop 
                  on Database Programming Languages (DBPL) 2005,
                  Springer-Verlag LNCS vol.\ 3774}
}
@Article{xslt2007,
  author =       {Anders M\o{}ller and Mads \O{}sterby Olesen and Michael I. Schwartzbach},
  title =        {Static Validation of {XSL} {T}ransformations},
  journal =      {ACM Transactions on Programming Languages and Systems},
  year =         {2007},
  month =        {July},
  volume =       {29},
  number =       {4},
}
@InProceedings{xmlgraphs2007,
  author =       {Anders M\o{}ller and Michael I. Schwartzbach},
  title =        {{XML} Graphs in Program Analysis},
  booktitle =    {Proc. ACM SIGPLAN Workshop on Partial Evaluation and 
                  Program Manipulation (PEPM)},
  year =         {2007},
  month =        {January},
}
@InProceedings{servlets2006,
  author =       {Christian Kirkegaard and Anders M\o{}ller},
  title =        {Static Analysis for {J}ava {S}ervlets and {JSP}},
  booktitle =    {Proc. 13th International Static Analysis Symposium (SAS)},
  year =         {2006},
  month =        {August},
  series =       {LNCS},
  volume =       {4134},
  publisher =    {Springer-Verlag},
  note =         {Full version available as BRICS RS-06-10},
}
@Book{ixwt,
  author =       {Anders M\o{}ller and Michael I. Schwartzbach},
  title =        {An Introduction to {XML} and {W}eb Technologies},
  publisher =    {Addison-Wesley},
  year =         {2006},
  isbn =         {0321269667}
}
@Article{contracts2006,
  author =       {Henning B\"o{}ttger and Anders M\o{}ller and Michael I. Schwartzbach},
  title =        {Contracts for Cooperation between {W}eb Service Programmers and {HTML} Designers},
  journal =      {Journal of Web Engineering},
  year =         {2006},
  volume =       {5},
  number =       {1},
  pages =        {65--89},
}
@TechReport{xactschemas2005,
  author =       {Christian Kirkegaard and Anders M\o{}ller},
  title =        {Type Checking with {XML} {S}chema in {X}act},
  institution =  {BRICS},
  number =       {RS-05-31},
  year =         {2005},
  month =        {September},
  note =         {Presented at Programming Language Technologies for XML (PLAN-X)},
}
@InProceedings{xmltypes2005,
  author =       {Anders M\o{}ller and Michael I. Schwartzbach},
  title =        {The Design Space of Type Checkers for {XML} Transformation Languages},
  booktitle =    {Proc. 10th International Conference on Database Theory (ICDT)},
  year =         {2005},
  month =        {January},
  volume =       {3363},
  series =       {LNCS},
  publisher =    {Springer-Verlag},
  pages =        {17--36},
}
@InProceedings{xactrun2004,
  author =       {Aske Simon Christensen and Christian Kirkegaard and Anders M\o{}ller},
  title =        {A Runtime System for {XML} Transformations in {J}ava},
  booktitle =    {Proc. Database and XML Technologies, 
                  2nd International XML Database Symposium (XSym)},
  year =         {2004},
  month =        {August},
  volume =       {3186},
  series =       {LNCS},
  publisher =    {Springer-Verlag},
}
@Article{xact2004,
  author =       {Christian Kirkegaard and Anders M\o{}ller and Michael I. Schwartzbach},
  title =        {Static Analysis of {XML} Transformations in {J}ava},
  journal =      {IEEE Transactions on Software Engineering},
  year =         {2004},
  month =        {March},
  volume =       {30},
  number =       {3},
  pages =        {181--192},
}
@InProceedings{strings2003,
  author =       {Aske Simon Christensen and Anders M\o{}ller and Michael I. Schwartzbach},
  title =        {Precise Analysis of String Expressions},
  booktitle =    {Proc. 10th International Static Analysis Symposium (SAS)},
  year =         {2003},
  month =        {June},
  volume =       {2694},
  series =       {LNCS},
  publisher =    {Springer-Verlag},
  pages =        {1--18},
  note =         {Available from \texttt{\small http://www.brics.dk/JSA/}},
}
@Article{jwig2003,
  author =       {Aske Simon Christensen and Anders M\o{}ller and Michael I. Schwartzbach},
  title =        {Extending {Java} for High-Level {Web} Service Construction},
  journal =      {ACM Transactions on Programming Languages and Systems},
  year =         {2003},
  month =        {November},
  volume =       {25},
  number =       {6},
  pages =        {814--875},
}
@Misc{dsd2spec2002,
  author =       {Anders M\o{}ller},
  title =        {{Document Structure Description} 2.0},
  year =         {2002},
  month =        {December},
  note =         {BRICS, Department of Computer Science, Aarhus University,
                  Notes Series NS-02-7.
                  Available from \texttt{\small http://www.brics.dk/DSD/}},
}
@Manual{jwigman2002,
  author =       {Aske Simon Christensen and Anders M{\o}ller},
  title =        {{JWIG User Manual}},
  organization = {BRICS, Department of Computer Science, Aarhus University},
  month =        {June},
  year =         {2002},
  note =         {Notes Series NS-02-6.
                  Available from \texttt{\small http://www.brics.dk/JWIG/manual/}}
}
@PhdThesis{amoeller2002,
  author =       {Anders M\o{}ller},
  title =        {Program Verification with Monadic Second-Order Logic \&
                  Languages for {W}eb Service Development},
  school =       {BRICS, Department of Computer Science, Aarhus University},
  year =         {2002},
  month =        {June},
}
@TechReport{summarygraphs2002,
  author =       {Aske Simon Christensen and Anders M\o{}ller and Michael I. Schwartzbach},
  title =        {Static Analysis for Dynamic {XML}},
  institution =  {BRICS},
  number =       {RS-02-24},
  year =         {2002},
  month =        {May},
  note =         {Presented at Programming Language Technologies for XML (PLAN-X) 2002},
}
@Misc{www2002,
  author =       {Anders M\o{}ller and Michael I. Schwartzbach},
  title =        {Interactive {Web} Services with {Java}},
  year =         {2002},
  month =        {April},
  note =         {BRICS, Department of Computer Science, Aarhus University,
                  Notes Series NS-02-1.
                  Available from \texttt{\small http://www.brics.dk/\~{}amoeller/WWW/}},
}
@Article{caching2002,
  author =       {Claus Brabrand and Anders M\o{}ller and Steffan Olesen 
                  and Michael I. Schwartzbach},
  title =        {Language-Based Caching of Dynamically Generated {HTML}},
  journal =      {World Wide Web Journal},
  year =         {2002},
  volume =       {5},
  number =       {4},
  pages =        {305--323},
  note =         {Kluwer},
}
@Article{bigwig2002,
  author =       {Claus Brabrand and Anders M\o{}ller and Michael I. Schwartzbach},
  title =        {The {\tt <bigwig>} Project},
  journal =      {ACM Transactions on Internet Technology},
  year =         {2002},
  volume =       {2},
  number =       {2},
  pages =        {79--114},
}
@Article{dsd2002,
  author =       {Nils Klarlund and Anders M\o{}ller and Michael I. Schwartzbach},
  title =        {The {DSD} Schema Language},
  journal =      {Automated Software Engineering},
  year =         {2002},
  volume =       {9},
  number =       {3},
  pages =        {285--319},
  note =         {Kluwer.
                  Earlier version in Proc.\ 3rd ACM SIGPLAN-SIGSOFT Workshop on 
                  Formal Methods in Software Practice (FMSP) 2000},
}
@Article{monasecrets2002,
  author =       {Nils Klarlund and Anders M\o{}ller and Michael I. Schwartzbach},
  title =        {{MONA} Implementation Secrets},
  journal = 	 {International Journal of Foundations of Computer Science},
  year =         {2002},
  volume =       {13},
  number =       {4},
  pages =        {571--586},
  note =         {World Scientific Publishing Company.
                  Earlier version in Proc.\ 5th International Conference 
                  on Implementation and Application of Automata (CIAA) 2000, 
                  Springer-Verlag LNCS vol.\ 2088},
}
@InProceedings{valid2001,
  author =       {Claus Brabrand and Anders M\o{}ller and Michael I. Schwartzbach},
  title =        {Static Validation of Dynamically Generated {HTML}},
  booktitle =    {Proc. ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for
                  Software Tools and Engineering (PASTE)},
  year =         {2001},
  month =        {June},
  pages =        {221--231},
}
@InProceedings{pale2001,
  author =       {Anders M\o{}ller and Michael I. Schwartzbach},
  title =        {The Pointer Assertion Logic Engine},
  booktitle =    {Proc. ACM SIGPLAN Conference on Programming Language 
                  Design and Implementation (PLDI)},
  year =         {2001},
  month =        {June},
  note =         {Also in SIGPLAN Notices 36(5) (May 2001)},
}
@Manual{monamanual2001,
  author =       {Nils Klarlund and Anders M{\o}ller},
  title =        {{MONA Version 1.4 User Manual}},
  organization = {BRICS, Department of Computer Science, Aarhus University},
  month =        {January},
  year =         {2001},
  note =         {Notes Series NS-01-1.
                  Available from \texttt{\small http://www.brics.dk/mona/}. 
                  Revision of BRICS NS-98-3}
}
@Misc{xml2001,
  author =       {Anders M\o{}ller and Michael I. Schwartzbach},
  title =        {The {XML} Revolution - Technologies for the future {W}eb},
  year =         {2001},
  month =        {December},
  note =         {BRICS, Department of Computer Science, Aarhus University,
                  Notes Series NS-01-8.
                  Available from \texttt{\small http://www.brics.dk/\~{}amoeller/XML/}.
                  Revision of BRICS NS-00-8},
}
@Article{powerforms2000,
  author =       {Claus Brabrand and Anders M\o{}ller and Mikkel Ricky 
                  and Michael I. Schwartzbach},
  title =        {{PowerForms}: Declarative Client-Side Form Field Validation},
  journal =      {World Wide Web Journal},
  year =         {2000},
  month =        {December},
  volume =       {3},
  number =       {4},
  pages =        {205--314},
  note =         {Kluwer},
}
@MastersThesis{progress2000,
  author =       {Anders M\o{}ller},
  title =        {{MONA}, {DSD}, and {\tt <bigwig>}},
  school =       {Aarhus University},
  month =        {May},
  year =         {2000},
  note =         {BRICS Ph.D.\ Progress Report},
}
@Misc{dsdspec2000,
  author =       {Nils Klarlund and Anders M\o{}ller and Michael I. Schwartzbach},
  title =        {{Document Structure Description} 1.0},
  year =         {2000},
  month =        {December},
  note =         {BRICS, Department of Computer Science, Aarhus University,
                  Notes Series NS-00-7.
                  Available from \texttt{\small http://www.brics.dk/DSD/}},
}
@InProceedings{trees2000,
  author =       {Jacob Elgaard and Anders M\o{}ller and Michael I. Schwartzbach},
  title =        {Compile-Time Debugging of {C} Programs Working on Trees},
  booktitle =    {Proc. Programming Languages and Systems,
                  9th European Symposium on Programming (ESOP)},
  year =         {2000},
  month =        {March/April},
  volume =       {1782},
  series =       {LNCS},
  publisher =    {Springer-Verlag},
  pages =        {182--194},
}
@Article{runtime1999,
  author =       {Claus Brabrand and Anders M\o{}ller and Anders Sandholm 
                  and Michael I. Schwartzbach},
  title =        {A Runtime System for Interactive {W}eb Services},
  journal =      {Computer Networks},
  year =         {1999},
  month =        {May},
  volume =       {31},
  number =       {11-16},
  pages =        {1391--1401},
  note =         {Elsevier.
                  Also in Proc. 8th International World Wide Web Conference (WWW) 1999},
}
@InProceedings{mona1998,
  author =       {Jacob Elgaard and Nils Klarlund and Anders M{\o}ller},
  title =        {{MONA} 1.x: new techniques for {WS1S} and {WS2S}},
  booktitle =    {Proc. 10th International Conference on 
                  Computer-Aided Verification (CAV)},
  year =         {1998},
  month =        {June/July},
  volume =       {1427},
  series =       {LNCS},
  publisher =    {Springer-Verlag},
  pages =        {516--520},
}