@article(bouajjani-et-al-context-free-grammars,
 author       = "Ahmed Bouajjani and Javier Esparza and Alain Finkel and Oded Maler and Peter Rossmanith and Bernard Willems and Pierre Wolper",
 year         = "2000",
 title        = "An efficient automata approach to some problems on context-free grammars",
 journal      = "Inf. Process. Lett.",
 volume       = "74",
 number       = "5-6",
 pages        = "221--227",
 doi          = "10.1016/S0020-0190(00)00055-7",
)
@inproceedings(Bouajjani:1997:RAP:646732.701281,
 author       = "Ahmed Bouajjani and Javier Esparza and Oded Maler",
 year         = "1997",
 title        = "Reachability Analysis of Pushdown Automata: Application to Model-Checking",
 booktitle    = "CONCUR '97",
 series       = "LNCS",
 volume       = "1243",
 publisher    = "Springer",
 pages        = "135--150",
 doi          = "10.1007/3-540-63141-0\_10",
)
@incollection(concur05-rsa-dpn,
 author       = "Ahmed Bouajjani and Markus M{\"u}ller-Olm and Tayssir Touili",
 year         = "2005",
 title        = "Regular Symbolic Analysis of Dynamic Networks of Pushdown Systems",
 booktitle    = "CONCUR '05",
 series       = "LNCS",
 volume       = "3653",
 publisher    = "Springer",
 pages        = "473--487",
 doi          = "10.1007/11539452\_36",
)
@article(buechi-regular-systems,
 author       = "J.~Richard B{\"u}chi",
 year         = "1964",
 title        = "Regular canonical systems",
 journal      = "Archiv f{\"u}r mathematische Logik und Grundlagenforschung",
 volume       = "6",
 pages        = "91--111",
 doi          = "10.1007/BF01969548",
)
@misc(tata2007,
 author       = "H.~Comon and M.~Dauchet and R.~Gilleron and C.~L{\"o}ding and F.~Jacquemard and D.~Lugiez and S.~Tison and M.~Tommasi",
 year         = "2007",
 title        = "Tree Automata Techniques and Applications",
 howpublished = "Available on: \url {http://www.grappa.univ-lille3.fr/tata}",
)
@article(springerlink:10.1007/BF01704020,
 author       = "Joost Engelfriet",
 year         = "1975",
 title        = "Bottom-up and top-down tree transformations--- a comparison",
 journal      = "Theory of Computing Systems",
 volume       = "9",
 pages        = "198--231",
 doi          = "10.1007/BF01704020",
)
@inproceedings(Esparza:1999,
 author       = "Javier Esparza and Jens Knoop",
 year         = "1999",
 title        = "An Automata-Theoretic Approach to Interprocedural Data-Flow Analysis",
 booktitle    = "FoSSaCS '99",
 series       = "LNCS",
 volume       = "1578",
 publisher    = "Springer",
 pages        = "14--30",
 doi          = "10.1007/3-540-49019-1\_2",
)
@inproceedings(esparza-podelski-pre-post-ipfg,
 author       = "Javier Esparza and Andreas Podelski",
 year         = "2000",
 title        = "Efficient Algorithms for pre$^{\unhbox \voidb@x \hbox {*}}$ and post$^{\unhbox \voidb@x \hbox {*}}$ on Interprocedural Parallel Flow Graphs",
 booktitle    = "POPL '00",
 publisher    = "ACM",
 pages        = "1--11",
 doi          = "10.1145/325694.325697",
)
@incollection(join-lock-sens-fwd,
 author       = "Thomas Gawlitza and Peter Lammich and Markus M{\"u}ller-Olm and Helmut Seidl and Alexander Wenner",
 year         = "2011",
 title        = "Join-Lock-Sensitive Forward Reachability Analysis for Concurrent Programs with Dynamic Process Creation",
 booktitle    = "VMCAI '11",
 series       = "LNCS",
 volume       = "6538",
 publisher    = "Springer",
 pages        = "199--213",
 doi          = "10.1007/978-3-642-18275-4\_15",
)
@phdthesis(giffhorn12thesis,
 author       = "Dennis Giffhorn",
 year         = "2012",
 title        = "Slicing of Concurrent Programs and its Application to Information Flow Control",
 school       = "Karlsruher Institut f{\"u}r Technologie, Fakult{\"a}t f{\"u}r Informatik",
)
@article(hammer09ijis,
 author       = "Christian Hammer and Gregor Snelting",
 year         = "2009",
 title        = "Flow-sensitive, context-sensitive, and object-sensitive information flow control based on program dependence graphs",
 journal      = "International Journal of Information Security",
 volume       = "8",
 number       = "6",
 pages        = "399--422",
 doi          = "10.1007/s10207-009-0086-1",
)
@inproceedings(DBLP:conf/lics/KahlonG06,
 author       = "Vineet Kahlon and Aarti Gupta",
 year         = "2006",
 title        = "An Automata-Theoretic Approach for Model Checking Threads for {LTL} Properties",
 booktitle    = "LICS '06",
 publisher    = "IEEE",
 pages        = "101--110",
 doi          = "10.1109/LICS.2006.11",
)
@inproceedings(DBLP:conf/cav/KahlonIG05,
 author       = "Vineet Kahlon and Franjo Ivancic and Aarti Gupta",
 year         = "2005",
 title        = "Reasoning About Threads Communicating via Locks",
 booktitle    = "CAV '05",
 series       = "LNCS",
 volume       = "3576",
 publisher    = "Springer",
 pages        = "505--518",
 doi          = "10.1007/11513988\_49",
)
@inproceedings(random-isolation,
 author       = "Nicholas Kidd and Thomas Reps and Julian Dolby and Mandana Vaziri",
 year         = "2009",
 title        = "Finding Concurrency-Related Bugs Using Random Isolation",
 booktitle    = "VMCAI '09",
 series       = "LNCS 5403",
 publisher    = "Springer",
 pages        = "198--213",
 doi          = "10.1007/978-3-540-93900-9\_18",
)
@incollection(cav09-ps-dpn-trc,
 author       = "Peter Lammich and Markus M{\"u}ller-Olm and Alexander Wenner",
 year         = "2009",
 title        = "Predecessor Sets of Dynamic Pushdown Networks with Tree-Regular Constraints",
 booktitle    = "CAV '09",
 series       = "LNCS",
 volume       = "5643",
 publisher    = "Springer",
 pages        = "525--539",
 doi          = "10.1007/978-3-642-02658-4\_39",
)
@inproceedings(lugiez-schnoebelen-pa-concur,
 author       = "Denis Lugiez and Philippe Schnoebelen",
 year         = "1998",
 title        = "The Regular Viewpoint on PA-Processes",
 editor       = "Davide Sangiorgi and Robert de~Simone",
 booktitle    = "CONCUR '98",
 series       = "LNCS",
 volume       = "1466",
 publisher    = "Springer",
 pages        = "50--66",
 doi          = "10.1007/BFb0055615",
)
@article(lugiez-schnoebelen-regular-pa,
 author       = "Denis Lugiez and Philippe Schnoebelen",
 year         = "2002",
 title        = "The regular viewpoint on PA-processes",
 journal      = "Theoretical Computer Science",
 volume       = "274",
 number       = "1--2",
 pages        = "89 -- 115",
 doi          = "10.1016/S0304-3975(00)00306-6",
)
@inproceedings(Muller-Olm:2001:OSP:380752.380864,
 author       = "Markus M\"{u}ller-Olm and Helmut Seidl",
 year         = "2001",
 title        = "On Optimal Slicing of Parallel Programs",
 booktitle    = "STOC '01",
 publisher    = "ACM",
 pages        = "647--656",
 doi          = "10.1145/380752.380864",
)
@article(Ramalingam:2000:CSA:349214.349241,
 author       = "G.~Ramalingam",
 year         = "2000",
 title        = "Context-sensitive synchronization-sensitive analysis is undecidable",
 journal      = "ACM Trans. Program. Lang. Syst.",
 volume       = "22",
 number       = "2",
 pages        = "416--430",
 doi          = "10.1145/349214.349241",
)
@inproceedings(schmidt-dfa-mc-ai,
 author       = "David~A. Schmidt",
 year         = "1998",
 title        = "Data Flow Analysis is Model Checking of Abstract Interpretations",
 booktitle    = "POPL '98",
 publisher    = "ACM",
 pages        = "38--48",
 doi          = "10.1145/268946.268950",
)
@inproceedings(schmidt-steffen,
 author       = "David~A. Schmidt and Bernhard Steffen",
 year         = "1998",
 title        = "Program Analysis as Model Checking of Abstract Interpretations",
 editor       = "Giorgio Levi",
 booktitle    = "SAS '98",
 series       = "LNCS",
 volume       = "1503",
 publisher    = "Springer",
 pages        = "351--380",
 doi          = "10.1007/3-540-49727-7\_22",
)
@incollection(steffen-dfa-mc,
 author       = "Bernhard Steffen",
 year         = "1991",
 title        = "Data Flow Analysis as Model Checking",
 booktitle    = "Theoretical Aspects of Computer Software",
 series       = "LNCS",
 volume       = "526",
 publisher    = "Springer",
 pages        = "346--364",
 doi          = "10.1007/3-540-54415-1\_54",
)