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

A Constructor-Based Reachability Logic for Rewrite Theories.

Stephen Skeirik, Andrei Stefanescu, José Meseguer

Fundam. Informaticae, 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

2018

Metalevel algorithms for variant satisfiability.

Stephen Skeirik, José Meseguer

J. Log. Algebraic Methods Program., 2018

2017

Equational formulas and pattern operations in initial order-sorted algebras.

José Meseguer, Stephen Skeirik

Formal Aspects Comput., 2017

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