2008 |
5 | EE | Dejvuth Suwimonteerabuth,
Javier Esparza,
Stefan Schwoon:
Symbolic Context-Bounded Analysis of Multithreaded Java Programs.
SPIN 2008: 270-287 |
4 | EE | Ahmed Bouajjani,
Javier Esparza,
Stefan Schwoon,
Dejvuth Suwimonteerabuth:
SDSIrep: A Reputation System Based on SDSI.
TACAS 2008: 501-516 |
2007 |
3 | EE | Dejvuth Suwimonteerabuth,
Felix Berger,
Stefan Schwoon,
Javier Esparza:
jMoped: A Test Environment for Java Programs.
CAV 2007: 164-167 |
2006 |
2 | EE | 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 | EE | Dejvuth Suwimonteerabuth,
Stefan Schwoon,
Javier Esparza:
jMoped: A Java Bytecode Checker Based on Moped.
TACAS 2005: 541-545 |