Formal Analysis of Fault-tolerant Group Key Management Using ZooKeeper. - Stephen Skeirik; Rakesh B. Bobba; José Meseguer 001 (CCGRID, 2013)

Formal Modeling and Analysis of Cassandra in Maude. - Si Liu 003; Muntasir Raihan Rahman; Stephen Skeirik; Indranil Gupta; José Meseguer 001 (ICFEM, 2014)

Equational formulas and pattern operations in initial order-sorted algebras. - José Meseguer 001; Stephen Skeirik (Formal Aspects Comput., 2017)

Metalevel algorithms for variant satisfiability. - Stephen Skeirik; José Meseguer 001 (J. Log. Algebraic Methods Program., 2018)

Rewriting-based symbolic methods for distributed system verification - Stephen Skeirik (2019)

Inductive Reasoning with Equality Predicates, Contextual Rewriting and Variant-Based Simplification. - José Meseguer 001; Stephen Skeirik (WRLA@ETAPS, 2020)

Verification of the IBOS Browser Security Properties in Reachability Logic. - Stephen Skeirik; José Meseguer 001; Camilo Rocha (WRLA@ETAPS, 2020)

A Constructor-Based Reachability Logic for Rewrite Theories. - Stephen Skeirik; Andrei Stefanescu; José Meseguer 001 (Fundam. Informaticae, 2020)

On Ground Convergence and Completeness of Conditional Equational Program Hierarchies. - José Meseguer 001; Stephen Skeirik (WRLA@ETAPS, 2022)