Login / Signup
Ali Shamakhi
ORCID
Publication Activity (10 Years)
Years Active: 2019-2021
Publications (10 Years): 2
Top Topics
Deterministic Finite Automaton
Automated Verification
Alternating Time Temporal Logic
Model Checking
Top Venues
TACAS (2)
APLAS
</>
Publications
</>
Ali Shamakhi
,
Hossein Hojjat
,
Philipp Rümmer
Towards String Support in JayHorn (Competition Contribution).
TACAS (2)
(2021)
Hossein Hojjat
,
Philipp Rümmer
,
Ali Shamakhi
On Strings in Software Model Checking.
APLAS
(2019)