Login / Signup
Md Tauseef Alam
ORCID
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 2
Top Topics
Formal Verification
Timed Automata
Bounded Model Checking
Temporal Logic
Top Venues
Blockchain
Frontiers Blockchain
</>
Publications
</>
Md Tauseef Alam
,
Raju Halder
,
Abyayananda Maiti
Formal verification of the pub-sub blockchain interoperability protocol using stochastic timed automata.
Frontiers Blockchain
6 (2023)
Md Tauseef Alam
,
Sujit Chowdhury
,
Raju Halder
,
Abyayananda Maiti
Blockchain Domain-Specific Languages: Survey, Classification, and Comparison.
Blockchain
(2021)