Stephen Skeirik

According to our database, Stephen Skeirik authored at least 9 papers between 2013 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

On Ground Convergence and Completeness of Conditional Equational Program Hierarchies.

José Meseguer, Stephen Skeirik

Proceedings of the Rewriting Logic and Its Applications - 14th International Workshop, 2022

2020

Verification of the IBOS Browser Security Properties in Reachability Logic.

Stephen Skeirik, José Meseguer, Camilo Rocha

Proceedings of the Rewriting Logic and Its Applications - 13th International Workshop, 2020

Inductive Reasoning with Equality Predicates, Contextual Rewriting and Variant-Based Simplification.

José Meseguer, Stephen Skeirik

Proceedings of the Rewriting Logic and Its Applications - 13th International Workshop, 2020

2019

Rewriting-based symbolic methods for distributed system verification

Stephen Skeirik

PhD thesis, 2019

2017

A Constructor-Based Reachability Logic for Rewrite Theories.

Stephen Skeirik, Andrei Stefanescu, José Meseguer

Proceedings of the Logic-Based Program Synthesis and Transformation, 2017

2016

Metalevel Algorithms for Variant Satisfiability.

Stephen Skeirik, José Meseguer

Proceedings of the Rewriting Logic and Its Applications - 11th International Workshop, 2016

2015

Equational Formulas and Pattern Operations in Initial Order-Sorted Algebras.

José Meseguer, Stephen Skeirik

Proceedings of the Logic-Based Program Synthesis and Transformation, 2015

2014

Formal Modeling and Analysis of Cassandra in Maude.

Si Liu, Muntasir Raihan Rahman, Stephen Skeirik, Indranil Gupta, José Meseguer

Proceedings of the Formal Methods and Software Engineering, 2014

2013

Formal Analysis of Fault-tolerant Group Key Management Using ZooKeeper.

Stephen Skeirik, Rakesh B. Bobba, José Meseguer

Proceedings of the 13th IEEE/ACM International Symposium on Cluster, 2013