Jonathan Kochems : Publications
-
[1]
Automatic Verification of Erlang−Style Concurrency
Emanuele D'Osualdo‚ Jonathan Kochems and C.−H. Luke Ong
In SAS. Pages 454−476. 2013.
Details about Automatic Verification of Erlang−Style Concurrency | BibTeX data for Automatic Verification of Erlang−Style Concurrency
-
[2]
Improved Functional Flow and Reachability Analyses Using Indexed Linear Tree Grammars
Jonathan Kochems and C.−H. Luke Ong
In RTA. Pages 187−202. 2011.
Details about Improved Functional Flow and Reachability Analyses Using Indexed Linear Tree Grammars | BibTeX data for Improved Functional Flow and Reachability Analyses Using Indexed Linear Tree Grammars
-
[3]
Safety Verification of Asynchronous Pushdown Systems with Shaped Stacks
Jonathan Kochems and C.−H. Luke Ong
In CONCUR. Pages 288−302. 2013.
Details about Safety Verification of Asynchronous Pushdown Systems with Shaped Stacks | BibTeX data for Safety Verification of Asynchronous Pushdown Systems with Shaped Stacks
-
[4]
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. New York‚ NY‚ USA. 2012. ACM.
Details about Soter: an automatic safety verifier for erlang | BibTeX data for Soter: an automatic safety verifier for erlang | DOI (10.1145/2414639.2414658) | Link to Soter: an automatic safety verifier for erlang