Stephen Skeirik

Publication Activity (10 Years)

Years Active: 2013-2022
Publications (10 Years): 11

Top Topics

Inductive Reasoning

Modal Operators

Top Venues

Publications

José Meseguer, Stephen Skeirik
On Ground Convergence and Completeness of Conditional Equational Program Hierarchies. WRLA@ETAPS (2022)
Stephen Skeirik, Andrei Stefanescu, José Meseguer
A Constructor-Based Reachability Logic for Rewrite Theories. Fundam. Informaticae 173 (4) (2020)
José Meseguer, Stephen Skeirik
Inductive Reasoning with Equality Predicates, Contextual Rewriting and Variant-Based Simplification. WRLA@ETAPS (2020)
Stephen Skeirik, José Meseguer, Camilo Rocha
Verification of the IBOS Browser Security Properties in Reachability Logic. CoRR (2020)
Stephen Skeirik, José Meseguer, Camilo Rocha
Verification of the IBOS Browser Security Properties in Reachability Logic. WRLA@ETAPS (2020)
Stephen Skeirik, José Meseguer
Metalevel algorithms for variant satisfiability. J. Log. Algebraic Methods Program. 96 (2018)
José Meseguer, Stephen Skeirik
Equational formulas and pattern operations in initial order-sorted algebras. Formal Aspects Comput. 29 (3) (2017)
Stephen Skeirik, Andrei Stefanescu, José Meseguer
A Constructor-Based Reachability Logic for Rewrite Theories. LOPSTR (2017)
Stephen Skeirik, Andrei Stefanescu, José Meseguer
A Constructor-Based Reachability Logic for Rewrite Theories. CoRR (2017)
Stephen Skeirik, José Meseguer
Metalevel Algorithms for Variant Satisfiability. WRLA (2016)
José Meseguer, Stephen Skeirik
Equational Formulas and Pattern Operations in Initial Order-Sorted Algebras. LOPSTR (2015)
Si Liu, Muntasir Raihan Rahman, Stephen Skeirik, Indranil Gupta, José Meseguer
Formal Modeling and Analysis of Cassandra in Maude. ICFEM (2014)
Stephen Skeirik, Rakesh B. Bobba, José Meseguer
Formal Analysis of Fault-tolerant Group Key Management Using ZooKeeper. CCGRID (2013)