Login / Signup
Nazim Sebih
Publication Activity (10 Years)
Years Active: 2014-2015
Publications (10 Years): 0
Top Topics
Automated Verification
Linear Temporal Logic
Reactive Systems
Model Checking
Top Venues
SETTA
CANDAR
Int. J. Netw. Comput.
</>
Publications
</>
Nazim Sebih
,
Masami Hagiya
,
Franz Weitl
,
Mitsuharu Yamamoto
,
Cyrille Artho
,
Yoshinori Tanabe
Software Model Checking of UDP-based Distributed Applications.
Int. J. Netw. Comput.
5 (2) (2015)
Franz Weitl
,
Nazim Sebih
,
Cyrille Artho
,
Masami Hagiya
,
Yoshinori Tanabe
,
Yoriyuki Yamagata
,
Mitsuharu Yamamoto
Cardinality of UDP Transmission Outcomes.
SETTA
(2015)
Nazim Sebih
,
Franz Weitl
,
Cyrille Artho
,
Masami Hagiya
,
Yoshinori Tanabe
,
Mitsuharu Yamamoto
Software Model Checking of UDP-based Distributed Applications.
CANDAR
(2014)