Walter Hussak

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