Emanuele D'Osualdo : Publications
-
[1]
Automatic Verification of Erlang−Style Concurrency
E. D'Osualdo‚ J. Kochems and C.−H. L. Ong
In CoRR. Vol. abs/1303.2201. 2013.
Available at http://arxiv.org/abs/1303.2201
Details about Automatic Verification of Erlang−Style Concurrency | BibTeX data for Automatic Verification of Erlang−Style Concurrency
-
[2]
Automatic Verification of Erlang−Style Concurrency
Emanuele D’Osualdo‚ Jonathan Kochems and C.−H.Luke Ong
In Francesco Logozzo and Manuel Fähndrich, editors, Static Analysis. Vol. 7935 of Lecture Notes in Computer Science. Pages 454−476. Springer Berlin Heidelberg. 2013.
Details about Automatic Verification of Erlang−Style Concurrency | BibTeX data for Automatic Verification of Erlang−Style Concurrency | DOI (10.1007/978-3-642-38856-9_24) | Link to Automatic Verification of Erlang−Style Concurrency
-
[3]
Soter: an Automatic Safety Verifier for Erlang
Emanuele D'Osualdo‚ Jonathan Kochems and Luke Ong
In Proceedings of the 2nd edition on Programming systems‚ languages and applications based on actors‚ agents‚ and decentralized control abstractions. Pages 137–140. ACM. 2012.
http://mjolnir.cs.ox.ac.uk/soter/papers/soter-demo.pdf
Details about Soter: an Automatic Safety Verifier for Erlang | BibTeX data for Soter: an Automatic Safety Verifier for Erlang | Link to Soter: an Automatic Safety Verifier for Erlang