Emanuele D'Osualdo : Publications

Click here to download all publications in a single bibtex file

@article{Soter:TR:arXiv,
  title = "Automatic Verification of {Erlang}-Style Concurrency",
  author = "E. D'Osualdo and J. Kochems and C.-H. L. Ong",
  year = "2013",
  journal = "CoRR",
  note = "Available at \url{http://arxiv.org/abs/1303.2201}",
  volume = "abs/1303.2201",
}

@incollection{Soter:SAS13,
  title = "Automatic Verification of Erlang-Style Concurrency",
  author = "D’Osualdo, Emanuele and Kochems, Jonathan and Ong, C.-H.Luke",
  year = "2013",
  booktitle = "Static Analysis",
  editor = "Logozzo, Francesco and Fähndrich, Manuel",
  isbn = "978-3-642-38855-2",
  keywords = "Erlang; Infinite-state Systems Verification; Petri Nets",
  pages = "454-476",
  publisher = "Springer Berlin Heidelberg",
  series = "Lecture Notes in Computer Science",
  url = "http://dx.doi.org/10.1007/978-3-642-38856-9_24",
  volume = "7935",
  doi = "10.1007/978-3-642-38856-9_24",
}

@inproceedings{Soter:AGERE,
  title = "Soter: an Automatic Safety Verifier for {Erlang}",
  author = "D'Osualdo, Emanuele and Kochems, Jonathan and Ong, Luke",
  year = "2012",
  booktitle = "Proceedings of the 2nd edition on Programming systems, languages and applications based on actors, agents, and decentralized control abstractions",
  location = "Tucson, Arizona, USA",
  note = "\url{http://mjolnir.cs.ox.ac.uk/soter/papers/soter-demo.pdf}",
  pages = "137--140",
  publisher = "ACM",
  series = "AGERE! '12",
  url = "http://doi.acm.org/10.1145/2414639.2414658",
}