| 2008 |
|---|
| 6 | EE | Bahareh Badban,
Wan Fokkink,
Jaco van de Pol:
Mechanical Verification of a Two-Way Sliding Window Protocol.
CPA 2008: 179-202 |
| 2007 |
|---|
| 5 | EE | Bahareh Badban,
Jaco van de Pol,
Olga Tveretina,
Hans Zantema:
Generalizing DPLL and satisfiability for equalities.
Inf. Comput. 205(8): 1188-1211 (2007) |
| 2006 |
|---|
| 4 | EE | Bahareh Badban,
Martin Fränzle,
Jan Peleska,
Tino Teige:
Test automation for hybrid systems.
SOQUA 2006: 14-21 |
| 2005 |
|---|
| 3 | EE | Bahareh Badban,
Jaco van de Pol:
Zero, successor and equality in BDDs.
Ann. Pure Appl. Logic 133(1-3): 101-123 (2005) |
| 2 | EE | Bahareh Badban,
Wan Fokkink,
Jan Friso Groote,
Jun Pang,
Jaco van de Pol:
Verification of a sliding window protocol in µCRL and PVS.
Formal Asp. Comput. 17(3): 342-388 (2005) |
| 2004 |
|---|
| 1 | EE | Wan Fokkink,
Jan Friso Groote,
Jun Pang,
Bahareh Badban,
Jaco van de Pol:
Verifying a Sliding Window Protocol in µCRL.
AMAST 2004: 148-163 |
