Dejvuth Suwimonteerabuth (Selection)

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

5		Dejvuth Suwimonteerabuth, Javier Esparza, Stefan Schwoon: Symbolic Context-Bounded Analysis of Multithreaded Java Programs. SPIN 2008: 270-287
4		Ahmed Bouajjani, Javier Esparza, Stefan Schwoon, Dejvuth Suwimonteerabuth: SDSIrep: A Reputation System Based on SDSI. TACAS 2008: 501-516
3		Dejvuth Suwimonteerabuth, Felix Berger, Stefan Schwoon, Javier Esparza: jMoped: A Test Environment for Java Programs. CAV 2007: 164-167
2		Dejvuth Suwimonteerabuth, Stefan Schwoon, Javier Esparza: Efficient Algorithms for Alternating Pushdown Systems with an Application to the Computation of Certificate Chains. ATVA 2006: 141-153
1		Dejvuth Suwimonteerabuth, Stefan Schwoon, Javier Esparza: jMoped: A Java Bytecode Checker Based on Moped. TACAS 2005: 541-545

Selection of 5 from 5 records - Dejvuth Suwimonteerabuth has 4 coauthors