dblp.uni-trier.dewww.uni-trier.de

Dejvuth Suwimonteerabuth

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Felix Berger [3]
2Ahmed Bouajjani [4]
3Javier Esparza [1] [2] [3] [4] [5]
4Stefan Schwoon [1] [2] [3] [4] [5]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)