@inproceedings{DBLP:conf/concur/KochemsO13,
  title = "Safety Verification of Asynchronous Pushdown Systems with Shaped Stacks",
  author = "Jonathan Kochems and C.-H. Luke Ong",
  year = "2013",
  booktitle = "CONCUR",
  pages = "288-302",
}
@inproceedings{DBLP:conf/sas/DOsualdoKO13,
  title = "Automatic Verification of Erlang-Style Concurrency",
  author = "Emanuele D'Osualdo and Jonathan Kochems and C.-H. Luke Ong",
  year = "2013",
  booktitle = "SAS",
  pages = "454-476",
}
@inproceedings{D'Osualdo:2012:SAS:2414639.2414658,
  title = "Soter: an automatic safety verifier for erlang",
  author = "D'Osualdo, Emanuele and Kochems, Jonathan and Ong, Luke",
  year = "2012",
  address = "New York, NY, USA",
  booktitle = "Proceedings of the 2nd edition on Programming systems, languages and applications based on actors, agents, and decentralized control abstractions",
  isbn = "978-1-4503-1630-9",
  keywords = "erlang, infinite-state model checking, petri nets, static analysis, verification",
  location = "Tucson, Arizona, USA",
  pages = "137--140",
  publisher = "ACM",
  series = "AGERE! '12",
  url = "http://doi.acm.org/10.1145/2414639.2414658",
  doi = "10.1145/2414639.2414658",
}
@inproceedings{<a href="http://dblp.uni-trier.de/db/about/bibtex.html">DBLP</a>:conf/rta/KochemsO11,
  title = "Improved Functional Flow and Reachability Analyses Using Indexed Linear Tree Grammars",
  author = "Jonathan Kochems and C.-H. Luke Ong",
  year = "2011",
  booktitle = "RTA",
  pages = "187-202",
}