Walter Hussak

Publication Activity (10 Years)

Years Active: 1992-2023
Publications (10 Years): 8

Top Topics

Mazurkiewicz Traces

Neighboring Nodes

Rewrite Systems

Top Venues

Int. J. Found. Comput. Sci.

Discret. Appl. Math.

Publications

Walter Hussak, Amitabh Trehan
Termination of amnesiac flooding. Distributed Comput. 36 (2) (2023)
Ra'Ed Bani-Abdelrahman, Rafat Alshorman, Walter Hussak, Amitabh Trehan
Specification of synchronous network flooding in temporal logic. Int. Arab J. Inf. Technol. 17 (6) (2020)
Walter Hussak, Amitabh Trehan
Terminating cases of flooding. CoRR (2020)
Walter Hussak, Amitabh Trehan
On the Termination of Flooding. STACS (2020)
Walter Hussak, Amitabh Trehan
On Termination of a Flooding Process. PODC (2019)
Walter Hussak, Amitabh Trehan
On The Termination of a Flooding Process. CoRR (2019)
Parisa Derakhshan, Walter Hussak
Optimal Bounds for Disjoint Hamilton Cycles in Star Graphs. Int. J. Found. Comput. Sci. 29 (3) (2018)
Walter Hussak
Disjoint Hamilton cycles in transposition graphs. Discret. Appl. Math. 206 (2016)
Parisa Derakhshan, Walter Hussak
Star graph automorphisms and disjoint Hamilton cycles. Int. J. Comput. Math. 90 (3) (2013)
Walter Hussak
Monodic temporal logic with quantified propositional variables. J. Log. Comput. 22 (3) (2012)
Walter Hussak
The serializability problem for a temporal logic of transaction queries. J. Appl. Non Class. Logics 18 (1) (2008)
Ahmad Alqerem, Walter Hussak
Modeling Data Scheduling for Mobile Transactions in Broadcasting Environment. Int. Arab J. Inf. Technol. 5 (4) (2008)
Walter Hussak
Decidable Cases of First-order Temporal Logic with Functions. Stud Logica 88 (2) (2008)
Walter Hussak, Shuang-Hua Yang
Formal reduction of interfaces to large-scale process control systems. Int. J. Autom. Comput. 4 (4) (2007)
Walter Hussak, Shaun H. Yang
Formal development of remote interfaces for large-scale real-time systems. SMC (1) (2004)
Walter Hussak
Serializable histories in quantified propositional temporal logic. Int. J. Comput. Math. 81 (10) (2004)
John A. Keane, Walter Hussak
A Method of Verification in Design. HICSS (2000)
John A. Keane, Walter Hussak
A Design Phase Directed Formal Verification Process. Softw. Qual. J. 8 (4) (1999)
Walter Hussak, John A. Keane
Formal Analysis of Memory Requirements. Requir. Eng. 4 (4) (1999)
Walter Hussak, John A. Keane
Expressing Requirements on a Parallel System Formally. Requir. Eng. 1 (4) (1996)
Walter Hussak
On CCS with Parametric Relabelling. Formal Aspects Comput. 8 (2) (1996)
Walter Hussak, John A. Keane
Concurrency Control of Tiered Flat Transactions. BNCOD (1995)
Walter Hussak
Temporal analysis of a microkernel. Softw. Eng. J. 10 (1) (1995)
John A. Keane, Walter Hussak
A Formal Approach to Determining Parallel Resource Bindings: Experience Report. ICSE (1994)
Walter Hussak, John A. Keane
Representation of Coherency Classes for Parallel Systems. SPDP (1993)
John A. Keane, Walter Hussak
The use of formal methods in parallel operating systems. COMPSAC (1992)