Publications (BibTeX format)
@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},
}