Steven Ramsay : Publications
Conference papers
-
[1]
Bisimilarity in Fresh−Register Automata
Andrzej S. Murawski‚ Steven J. Ramsay and Nikos Tzevelekos
In 30th Annual ACM/IEEE Symposium on Logic in Computer Science‚ LICS 2015‚ Kyoto‚ Japan‚ July 6−10‚ 2015. Pages 156–167. 2015.
Details about Bisimilarity in Fresh−Register Automata | BibTeX data for Bisimilarity in Fresh−Register Automata
-
[2]
Game Semantic Analysis of Equivalence in IMJ
Andrzej S. Murawski‚ Steven J. Ramsay and Nikos Tzevelekos
In Automated Technology for Verification and Analysis − 13th International Symposium‚ ATVA 2015‚ Shanghai‚ China‚ October 12−15‚ 2015‚ Proceedings. Pages 411–428. 2015.
Details about Game Semantic Analysis of Equivalence in IMJ | BibTeX data for Game Semantic Analysis of Equivalence in IMJ
-
[3]
A Contextual Equivalence Checker for IMJ _
Andrzej S. Murawski‚ Steven J. Ramsay and Nikos Tzevelekos
In Automated Technology for Verification and Analysis − 13th International Symposium‚ ATVA 2015‚ Shanghai‚ China‚ October 12−15‚ 2015‚ Proceedings. Pages 234–240. 2015.
Details about A Contextual Equivalence Checker for IMJ _ | BibTeX data for A Contextual Equivalence Checker for IMJ _
-
[4]
Exact Intersection Type Abstractions for Safety Checking of Recursion Schemes
Steven J. Ramsay
In Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming‚ Kent‚ Canterbury‚ United Kingdom‚ September 8−10‚ 2014. Pages 175–186. 2014.
Details about Exact Intersection Type Abstractions for Safety Checking of Recursion Schemes | BibTeX data for Exact Intersection Type Abstractions for Safety Checking of Recursion Schemes
-
[5]
A type−directed abstraction refinement approach to higher−order model checking
Steven J. Ramsay‚ Robin P. Neatherway and C.−H. Luke Ong
In The 41st Annual ACM SIGPLAN−SIGACT Symposium on Principles of Programming Languages‚ POPL '14‚ San Diego‚ CA‚ USA‚ January 20−21‚ 2014. Pages 61–72. 2014.
Details about A type−directed abstraction refinement approach to higher−order model checking | BibTeX data for A type−directed abstraction refinement approach to higher−order model checking
-
[6]
Reachability in Pushdown Register Automata
Andrzej S. Murawski‚ Steven J. Ramsay and Nikos Tzevelekos
In Mathematical Foundations of Computer Science 2014 − 39th International Symposium‚ MFCS 2014‚ Budapest‚ Hungary‚ August 25−29‚ 2014. Proceedings‚ Part I. Pages 464–473. 2014.
Details about Reachability in Pushdown Register Automata | BibTeX data for Reachability in Pushdown Register Automata
-
[7]
A traversal−based algorithm for higher−order model checking
Robin P. Neatherway‚ Steven J. Ramsay and C.−H. Luke Ong
In ACM SIGPLAN International Conference on Functional Programming‚ ICFP'12‚ Copenhagen‚ Denmark‚ September 9−15‚ 2012. Pages 353–364. 2012.
Details about A traversal−based algorithm for higher−order model checking | BibTeX data for A traversal−based algorithm for higher−order model checking
-
[8]
Verifying higher−order functional programs with pattern−matching algebraic data types
C.−H. Luke Ong and Steven J. Ramsay
In Proceedings of the 38th ACM SIGPLAN−SIGACT Symposium on Principles of Programming Languages‚ POPL 2011‚ Austin‚ TX‚ USA‚ January 26−28‚ 2011. Pages 587–598. 2011.
Details about Verifying higher−order functional programs with pattern−matching algebraic data types | BibTeX data for Verifying higher−order functional programs with pattern−matching algebraic data types
Technical reports
-
[1]
Model Checking Liveness Properties of Higher−Order Functional Programs
Martin M. Lester‚ Robin P. Neatherway‚ C.−H. Luke Ong and Steven J. Ramsay
2010.
Details about Model Checking Liveness Properties of Higher−Order Functional Programs | BibTeX data for Model Checking Liveness Properties of Higher−Order Functional Programs