Dejvuth Suwimonteerabuth

According to our database, Dejvuth Suwimonteerabuth authored at least 8 papers between 2002 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

Computing Minimum-Height Certificate Trees in SPKI/SDSI.

Dejvuth Suwimonteerabuth

Proceedings of the 10th International Conference on Innovative Internet Community Services (I²CS), 2010

2009

Reachability in pushdown systems: algorithms and applications.

Dejvuth Suwimonteerabuth

PhD thesis, 2009

2008

SDSIrep: A Reputation System Based on SDSI.

Ahmed Bouajjani, Javier Esparza, Stefan Schwoon, Dejvuth Suwimonteerabuth

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008

Symbolic Context-Bounded Analysis of Multithreaded Java Programs.

Dejvuth Suwimonteerabuth, Javier Esparza, Stefan Schwoon

Proceedings of the Model Checking Software, 2008

2007

jMoped: A Test Environment for Java Programs.

Dejvuth Suwimonteerabuth, Felix Berger, Stefan Schwoon, Javier Esparza

Proceedings of the Computer Aided Verification, 19th International Conference, 2007

2006

Efficient Algorithms for Alternating Pushdown Systems with an Application to the Computation of Certificate Chains.

Dejvuth Suwimonteerabuth, Stefan Schwoon, Javier Esparza

Proceedings of the Automated Technology for Verification and Analysis, 2006

2005

jMoped: A Java Bytecode Checker Based on Moped.

Dejvuth Suwimonteerabuth, Stefan Schwoon, Javier Esparza

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005

2002

Online robot learning by reward and punishment for a mobile robot.

Dejvuth Suwimonteerabuth, Prabhas Chongstitvatana

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, Lausanne, Switzerland, September 30, 2002