The use of formal methods in parallel operating systems. - John A. Keane; Walter Hussak (COMPSAC, 1992)

Representation of Coherency Classes for Parallel Systems. - Walter Hussak; John A. Keane (SPDP, 1993)

A Formal Approach to Determining Parallel Resource Bindings: Experience Report. - John A. Keane; Walter Hussak (ICSE, 1994)

Concurrency Control of Tiered Flat Transactions. - Walter Hussak; John A. Keane (BNCOD, 1995)

Temporal analysis of a microkernel. - Walter Hussak (Softw. Eng. J., 1995)

On CCS with Parametric Relabelling. - Walter Hussak (Formal Aspects Comput., 1996)

Expressing Requirements on a Parallel System Formally. - Walter Hussak; John A. Keane (Requir. Eng., 1996)

Formal Analysis of Memory Requirements. - Walter Hussak; John A. Keane (Requir. Eng., 1999)

A Design Phase Directed Formal Verification Process. - John A. Keane; Walter Hussak (Softw. Qual. J., 1999)

A Method of Verification in Design. - John A. Keane; Walter Hussak (HICSS, 2000)

Formal development of remote interfaces for large-scale real-time systems. - Walter Hussak; Shaun H. Yang (SMC (1), 2004)

Serializable histories in quantified propositional temporal logic. - Walter Hussak (Int. J. Comput. Math., 2004)

Formal reduction of interfaces to large-scale process control systems. - Walter Hussak; Shuang-Hua Yang (Int. J. Autom. Comput., 2007)

Modeling Data Scheduling for Mobile Transactions in Broadcasting Environment. - Ahmad Alqerem; Walter Hussak (Int. Arab J. Inf. Technol., 2008)

The serializability problem for a temporal logic of transaction queries. - Walter Hussak (J. Appl. Non Class. Logics, 2008)

Decidable Cases of First-order Temporal Logic with Functions. - Walter Hussak (Stud Logica, 2008)

Monodic temporal logic with quantified propositional variables. - Walter Hussak (J. Log. Comput., 2012)

Star graph automorphisms and disjoint Hamilton cycles. - Parisa Derakhshan; Walter Hussak (Int. J. Comput. Math., 2013)

Disjoint Hamilton cycles in transposition graphs. - Walter Hussak (Discret. Appl. Math., 2016)

Optimal Bounds for Disjoint Hamilton Cycles in Star Graphs. - Parisa Derakhshan; Walter Hussak (Int. J. Found. Comput. Sci., 2018)

On Termination of a Flooding Process. - Walter Hussak; Amitabh Trehan (PODC, 2019)

On the Termination of Flooding. - Walter Hussak; Amitabh Trehan (STACS, 2020)

Terminating cases of flooding. - Walter Hussak; Amitabh Trehan (CoRR, 2020)

Specification of synchronous network flooding in temporal logic. - Ra'Ed Bani-Abdelrahman; Rafat Alshorman; Walter Hussak; Amitabh Trehan (Int. Arab J. Inf. Technol., 2020)

Termination of amnesiac flooding. - Walter Hussak; Amitabh Trehan (Distributed Comput., 2023)