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
requirements.txt
← Index requirements.txt plaintext 
asn1crypto==1.5.1
dotnetfile==0.2.4
elasticsearch==8.15.0
magika==1.0.1
modules==1.0.0
pefile==2023.2.7
py7zr==0.22.0
python-magic==0.4.27
pyzipper==0.3.6
py-tlsh==4.7.2
bitstring==4.2.3
Pillow==10.4.0
setuptools==75.1.0
ppdeep==20200505
cryptography==43.0.3
flare-floss==3.1.1
#stringsifter==3.20230711
signify==0.7.1
yara-x==1.9.0
xxhash==3.6.0
git+https://github.com/wbond/oscrypto.git@1547f535001ba568b239b8797465536759c742a3
pycryptodomex==3.20.0
redis==6.4.0
clickhouse-connect==0.8.13
minio==7.2.15
requests==2.33.1
pyelftools==0.32
python-dotenv
psutil
numpy
mmh3
blake3
machofile==2026.02.10
lief==0.17.3
androguard>=4.1
permhash
jsbeautifier>=1.14.0
chardet==7.4.1
pyjsparser>=2.7.1

# Development and linting tools
flake8
pylint
black
isort