Dejvuth Suwimonteerabuth

Publication Activity (10 Years)

Years Active: 2002-2010
Publications (10 Years): 0

Technical University Munich, Germany (PHD)

Education History

Technical University Munich, Germany

PHD

Publications

Dejvuth Suwimonteerabuth
Computing Minimum-Height Certificate Trees in SPKI/SDSI. IICS (2010)
Dejvuth Suwimonteerabuth, Javier Esparza, Stefan Schwoon
Symbolic Context-Bounded Analysis of Multithreaded Java Programs. SPIN (2008)
Ahmed Bouajjani, Javier Esparza, Stefan Schwoon, Dejvuth Suwimonteerabuth
SDSIrep: A Reputation System Based on SDSI. TACAS (2008)
Dejvuth Suwimonteerabuth, Felix Berger, Stefan Schwoon, Javier Esparza
jMoped: A Test Environment for Java Programs. CAV (2007)
Dejvuth Suwimonteerabuth, Stefan Schwoon, Javier Esparza
Efficient Algorithms for Alternating Pushdown Systems with an Application to the Computation of Certificate Chains. ATVA (2006)
Dejvuth Suwimonteerabuth, Stefan Schwoon, Javier Esparza
jMoped: A Java Bytecode Checker Based on Moped. TACAS (2005)
Dejvuth Suwimonteerabuth, Prabhas Chongstitvatana
Online robot learning by reward and punishment for a mobile robot. IROS (2002)