 | 2008 |
|---|
| 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 |
| 2007 |
|---|
| 3 | | Dejvuth Suwimonteerabuth,
Felix Berger,
Stefan Schwoon,
Javier Esparza:
jMoped: A Test Environment for Java Programs.
CAV 2007: 164-167 |
| 2006 |
|---|
| 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 |
| 2005 |
|---|
| 1 | | Dejvuth Suwimonteerabuth,
Stefan Schwoon,
Javier Esparza:
jMoped: A Java Bytecode Checker Based on Moped.
TACAS 2005: 541-545 |
