Login / Signup
Brinio Hond
Publication Activity (10 Years)
Years Active: 2013-2021
Publications (10 Years): 2
Top Topics
Security Problems
Automatically Detecting
Finite Automata
Top Venues
CoRR
ESSoS
Inf. Comput.
LATA
</>
Publications
</>
Evangelos Chatzikalymnios
,
Wan J. Fokkink
,
Dick Grune
,
Brinio Hond
,
Peter Rutgers
Detecting useless transitions in pushdown automata.
Inf. Comput.
279 (2021)
Dick Grune
,
Wan J. Fokkink
,
Evangelos Chatzikalymnios
,
Brinio Hond
,
Peter Rutgers
Detecting Useless Transitions in Pushdown Automata.
LATA
(2017)
Fabian van den Broek
,
Brinio Hond
,
Arturo Cedillo Torres
Security Testing of GSM Implementations.
ESSoS
(2014)
Wan J. Fokkink
,
Dick Grune
,
Brinio Hond
,
Peter Rutgers
Detecting Useless Transitions in Pushdown Automata.
CoRR
(2013)