BibTeX records: Emanuele D'Osualdo

download as .bib file

@inproceedings{DBLP:conf/csfw/DOsualdoOT17,
  author    = {Emanuele D'Osualdo and
               Luke Ong and
               Alwen Tiu},
  title     = {Deciding Secrecy of Security Protocols for an Unbounded Number of
               Sessions: The Case of Depth-Bounded Processes},
  booktitle = {30th {IEEE} Computer Security Foundations Symposium, {CSF} 2017, Santa
               Barbara, CA, USA, August 21-25, 2017},
  pages     = {464--480},
  year      = {2017},
  crossref  = {DBLP:conf/csfw/2017},
  url       = {https://doi.org/10.1109/CSF.2017.32},
  doi       = {10.1109/CSF.2017.32},
  timestamp = {Mon, 16 Oct 2017 15:00:33 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/csfw/DOsualdoOT17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/DOsualdoO16,
  author    = {Emanuele D'Osualdo and
               C.{-}H. Luke Ong},
  title     = {On Hierarchical Communication Topologies in the {\textbackslash}pi
               -calculus},
  booktitle = {Programming Languages and Systems - 25th European Symposium on Programming,
               {ESOP} 2016, Held as Part of the European Joint Conferences on Theory
               and Practice of Software, {ETAPS} 2016, Eindhoven, The Netherlands,
               April 2-8, 2016, Proceedings},
  pages     = {149--175},
  year      = {2016},
  crossref  = {DBLP:conf/esop/2016},
  url       = {https://doi.org/10.1007/978-3-662-49498-1\_7},
  doi       = {10.1007/978-3-662-49498-1\_7},
  timestamp = {Fri, 19 May 2017 01:25:18 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esop/DOsualdoO16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/DOsualdoMZ16,
  author    = {Emanuele D'Osualdo and
               Roland Meyer and
               Georg Zetzsche},
  title     = {First-order logic with reachability for infinite-state systems},
  booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
               Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
  pages     = {457--466},
  year      = {2016},
  crossref  = {DBLP:conf/lics/2016},
  url       = {https://doi.org/10.1145/2933575.2934552},
  doi       = {10.1145/2933575.2934552},
  timestamp = {Tue, 06 Nov 2018 16:58:05 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lics/DOsualdoMZ16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DOsualdoO16,
  author    = {Emanuele D'Osualdo and
               C.{-}H. Luke Ong},
  title     = {On Hierarchical Communication Topologies in the pi-calculus},
  journal   = {CoRR},
  volume    = {abs/1601.01725},
  year      = {2016},
  url       = {http://arxiv.org/abs/1601.01725},
  archivePrefix = {arXiv},
  eprint    = {1601.01725},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/DOsualdoO16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/DOsualdo15,
  author    = {Emanuele D'Osualdo},
  title     = {Verification of message passing concurrent systems},
  school    = {University of Oxford, {UK}},
  year      = {2015},
  url       = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.711956},
  timestamp = {Thu, 15 Feb 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/phd/ethos/DOsualdo15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DOsualdoO15,
  author    = {Emanuele D'Osualdo and
               Luke Ong},
  title     = {A Type System for proving Depth Boundedness in the pi-calculus},
  journal   = {CoRR},
  volume    = {abs/1502.00944},
  year      = {2015},
  url       = {http://arxiv.org/abs/1502.00944},
  archivePrefix = {arXiv},
  eprint    = {1502.00944},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/DOsualdoO15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/DOsualdoKO13,
  author    = {Emanuele D'Osualdo and
               Jonathan Kochems and
               C.{-}H. Luke Ong},
  title     = {Automatic Verification of Erlang-Style Concurrency},
  booktitle = {Static Analysis - 20th International Symposium, {SAS} 2013, Seattle,
               WA, USA, June 20-22, 2013. Proceedings},
  pages     = {454--476},
  year      = {2013},
  crossref  = {DBLP:conf/sas/2013},
  url       = {https://doi.org/10.1007/978-3-642-38856-9\_24},
  doi       = {10.1007/978-3-642-38856-9\_24},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sas/DOsualdoKO13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1303-2201,
  author    = {Emanuele D'Osualdo and
               Jonathan Kochems and
               C.{-}H. Luke Ong},
  title     = {Automatic Verification of Erlang-Style Concurrency},
  journal   = {CoRR},
  volume    = {abs/1303.2201},
  year      = {2013},
  url       = {http://arxiv.org/abs/1303.2201},
  archivePrefix = {arXiv},
  eprint    = {1303.2201},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1303-2201},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agere/DOsualdoKO12,
  author    = {Emanuele D'Osualdo and
               Jonathan Kochems and
               Luke Ong},
  title     = {Soter: an automatic safety verifier for erlang},
  booktitle = {Proceedings of the 2nd edition on Programming systems, languages and
               applications based on actors, agents, and decentralized control abstractions,
               AGERE! 2012, October 21-22, 2012, Tucson, Arizona, {USA}},
  pages     = {137--140},
  year      = {2012},
  crossref  = {DBLP:conf/agere/2012},
  url       = {https://doi.org/10.1145/2414639.2414658},
  doi       = {10.1145/2414639.2414658},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/agere/DOsualdoKO12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csfw/2017,
  title     = {30th {IEEE} Computer Security Foundations Symposium, {CSF} 2017, Santa
               Barbara, CA, USA, August 21-25, 2017},
  publisher = {{IEEE} Computer Society},
  year      = {2017},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8048777},
  isbn      = {978-1-5386-3217-8},
  timestamp = {Mon, 16 Oct 2017 15:00:33 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/csfw/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esop/2016,
  editor    = {Peter Thiemann},
  title     = {Programming Languages and Systems - 25th European Symposium on Programming,
               {ESOP} 2016, Held as Part of the European Joint Conferences on Theory
               and Practice of Software, {ETAPS} 2016, Eindhoven, The Netherlands,
               April 2-8, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9632},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-662-49498-1},
  doi       = {10.1007/978-3-662-49498-1},
  isbn      = {978-3-662-49497-4},
  timestamp = {Fri, 19 May 2017 01:25:18 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esop/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lics/2016,
  editor    = {Martin Grohe and
               Eric Koskinen and
               Natarajan Shankar},
  title     = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
               Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
  publisher = {{ACM}},
  year      = {2016},
  url       = {https://doi.org/10.1145/2933575},
  doi       = {10.1145/2933575},
  isbn      = {978-1-4503-4391-6},
  timestamp = {Tue, 06 Nov 2018 16:58:05 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lics/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sas/2013,
  editor    = {Francesco Logozzo and
               Manuel F{\"{a}}hndrich},
  title     = {Static Analysis - 20th International Symposium, {SAS} 2013, Seattle,
               WA, USA, June 20-22, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7935},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-38856-9},
  doi       = {10.1007/978-3-642-38856-9},
  isbn      = {978-3-642-38855-2},
  timestamp = {Wed, 24 May 2017 08:27:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sas/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/agere/2012,
  editor    = {Gul A. Agha and
               Rafael H. Bordini and
               Assaf Marron and
               Alessandro Ricci},
  title     = {Proceedings of the 2nd edition on Programming systems, languages and
               applications based on actors, agents, and decentralized control abstractions,
               AGERE! 2012, October 21-22, 2012, Tucson, Arizona, {USA}},
  publisher = {{ACM}},
  year      = {2012},
  url       = {http://dl.acm.org/citation.cfm?id=2414639},
  isbn      = {978-1-4503-1630-9},
  timestamp = {Wed, 23 Apr 2014 20:19:01 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/agere/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier