Browse
Walter Hussak
Walter's public data
Specification of synchronous network flooding in temporal logic
R Bani Abdelrahman
2020-06-19T13:01:24Z
On the termination of flooding
Walter Hussak
2020-02-12T14:19:33Z
On termination of a flooding process
Walter Hussak
2019-09-02T11:23:57Z
Optimal bounds for disjoint Hamilton cycles in star graphs
Parisa Derakhshan
2017-06-27T13:14:22Z
Disjoint Hamilton cycles in transposition graphs
Walter Hussak
2016-03-04T09:15:24Z
Symmetry and optimality of disjoint Hamilton cycles in star graphs
Parisa Derakhshan
2015-11-05T13:55:35Z
Monodic temporal logic with quantified propositional variables
Walter Hussak
2014-06-13T07:59:33Z
CONFIDENTIAL FILE
Star graph automorphisms and disjoint Hamilton cycles
Parisa Derakhshan
2014-06-09T10:59:58Z
Temporal analysis of a microkernel
Walter Hussak
2009-02-04T12:40:50Z
Representation of coherency classes for parallel systems
Walter Hussak
2009-02-04T12:39:20Z
Location dependent transaction for mobile environment
Ahmad H. Al-Qerem
2009-02-04T12:37:51Z
Multi-step transactions specification and verification in a mobile database community
Rafat Alshorman
2009-02-04T12:35:57Z
A formal approach to determining parallel resource bindings
Walter Hussak
2009-02-02T14:41:52Z
A method of verification in design: an operating system case study
John A. Keane
2009-02-02T14:41:27Z
The use of formal methods in parallel operating systems
John A. Keane
2009-02-02T14:40:57Z
Formal development of remote interfaces for large- scale real-time systems
Walter Hussak
2009-01-28T10:28:02Z
CONFIDENTIAL FILE
Decidable cases of first-order temporal logic with functions
Walter Hussak
2008-04-08T07:54:01Z
