Stephen Skeirik

14 papers B 1C 3Journal 5Unranked 4
YearRankTypeTitle / Venue / Authors
2022 — conf
On Ground Convergence and Completeness of Conditional Equational Program Hierarchies.
WRLA
José Meseguer, Stephen Skeirik
2020 J jnl
A Constructor-Based Reachability Logic for Rewrite Theories.
Fundam. Informaticae
Stephen Skeirik, Andrei Stefanescu, José Meseguer
2020 — conf
Inductive Reasoning with Equality Predicates, Contextual Rewriting and Variant-Based Simplification.
WRLA
José Meseguer, Stephen Skeirik
2020 — conf
Verification of the IBOS Browser Security Properties in Reachability Logic.
WRLA
Stephen Skeirik, José Meseguer, Camilo Rocha
2020 J jnl
Verification of the IBOS Browser Security Properties in Reachability Logic.
CoRR
Stephen Skeirik, José Meseguer, Camilo Rocha
2019 — —
Rewriting-based symbolic methods for distributed system verification
Stephen Skeirik
2018 J jnl
Metalevel algorithms for variant satisfiability.
J. Log. Algebraic Methods Program.
Stephen Skeirik, José Meseguer
2017 C conf
A Constructor-Based Reachability Logic for Rewrite Theories.
LOPSTR
Stephen Skeirik, Andrei Stefanescu, José Meseguer
2017 J jnl
A Constructor-Based Reachability Logic for Rewrite Theories.
CoRR
Stephen Skeirik, Andrei Stefanescu, José Meseguer
2017 J jnl
Equational formulas and pattern operations in initial order-sorted algebras.
Formal Aspects Comput.
José Meseguer, Stephen Skeirik
2016 — conf
Metalevel Algorithms for Variant Satisfiability.
WRLA
Stephen Skeirik, José Meseguer
2015 C conf
Equational Formulas and Pattern Operations in Initial Order-Sorted Algebras.
LOPSTR
José Meseguer, Stephen Skeirik
2014 C conf
Formal Modeling and Analysis of Cassandra in Maude.
ICFEM
Si Liu, Muntasir Raihan Rahman, Stephen Skeirik, Indranil Gupta, José Meseguer
2013 B conf
Formal Analysis of Fault-tolerant Group Key Management Using ZooKeeper.
CCGRID
Stephen Skeirik, Rakesh B. Bobba, José Meseguer