Walter Hussak

According to our database, Walter Hussak authored at least 25 papers between 1992 and 2023.

Collaborative distances:

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

2023

Termination of amnesiac flooding.

Walter Hussak, Amitabh Trehan

Distributed Comput., June, 2023

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

Terminating cases of flooding.

Walter Hussak, Amitabh Trehan

CoRR, 2020

On the Termination of Flooding.

Walter Hussak, Amitabh Trehan

Proceedings of the 37th International Symposium on Theoretical Aspects of Computer Science, 2020

2019

On Termination of a Flooding Process.

Walter Hussak, Amitabh Trehan

Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing, 2019

2018

Optimal Bounds for Disjoint Hamilton Cycles in Star Graphs.

Parisa Derakhshan, Walter Hussak

Int. J. Found. Comput. Sci., 2018

2016

Disjoint Hamilton cycles in transposition graphs.

Walter Hussak

Discret. Appl. Math., 2016

2013

Star graph automorphisms and disjoint Hamilton cycles.

Parisa Derakhshan, Walter Hussak

Int. J. Comput. Math., 2013

2012

Monodic temporal logic with quantified propositional variables.

Walter Hussak

J. Log. Comput., 2012

2008

Decidable Cases of First-order Temporal Logic with Functions.

Walter Hussak

Stud Logica, 2008

The serializability problem for a temporal logic of transaction queries.

Walter Hussak

J. Appl. Non Class. Logics, 2008

Modeling Data Scheduling for Mobile Transactions in Broadcasting Environment.

Ahmad Alqerem, Walter Hussak

Int. Arab J. Inf. Technol., 2008

2007

Formal reduction of interfaces to large-scale process control systems.

Walter Hussak, Shuang-Hua Yang

Int. J. Autom. Comput., 2007

2004

Serializable histories in quantified propositional temporal logic.

Walter Hussak

Int. J. Comput. Math., 2004

Formal development of remote interfaces for large-scale real-time systems.

Walter Hussak, Shaun H. Yang

Proceedings of the IEEE International Conference on Systems, 2004

2000

A Method of Verification in Design.

John A. Keane, Walter Hussak

Proceedings of the 33rd Annual Hawaii International Conference on System Sciences (HICSS-33), 2000

1999

A Design Phase Directed Formal Verification Process.

John A. Keane, Walter Hussak

Softw. Qual. J., 1999

Formal Analysis of Memory Requirements.

Walter Hussak, John A. Keane

Requir. Eng., 1999

1996

Expressing Requirements on a Parallel System Formally.

Walter Hussak, John A. Keane

Requir. Eng., 1996

On CCS with Parametric Relabelling.

Walter Hussak

Formal Aspects Comput., 1996

1995

Temporal analysis of a microkernel.

Walter Hussak

Softw. Eng. J., 1995

Concurrency Control of Tiered Flat Transactions.

Walter Hussak, John A. Keane

Proceedings of the Advances in Databases, 13th British National Conference on Databases, 1995

1994

A Formal Approach to Determining Parallel Resource Bindings: Experience Report.

John A. Keane, Walter Hussak

Proceedings of the 16th International Conference on Software Engineering, 1994

1993

Representation of Coherency Classes for Parallel Systems.

Walter Hussak, John A. Keane

Proceedings of the Fifth IEEE Symposium on Parallel and Distributed Processing, 1993

1992

The use of formal methods in parallel operating systems.

John A. Keane, Walter Hussak

Proceedings of the Sixteenth Annual International Computer Software and Applications Conference, 1992