Search the dblp DataBase

Publications of Author

1. Wan Fokkink, Jan Friso Groote, Jun Pang, Bahareh Badban, Jaco van de Pol
   Verifying a Sliding Window Protocol in µCRL. [Citation Graph (0, 0)][DBLP]
   AMAST, 2004, pp:148-163 [Conf]
   
2. Bahareh Badban, Martin Fränzle, Jan Peleska, Tino Teige
   Test automation for hybrid systems. [Citation Graph (0, 0)][DBLP]
   SOQUA, 2006, pp:14-21 [Conf]
   
3. Bahareh Badban, Jaco van de Pol
   Zero, successor and equality in BDDs. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2005, v:133, n:1-3, pp:101-123 [Journal]
   
4. Bahareh Badban, Wan Fokkink, Jan Friso Groote, Jun Pang, Jaco van de Pol
   Verification of a sliding window protocol in µCRL and PVS. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2005, v:17, n:3, pp:342-388 [Journal]
   
5. Bahareh Badban, Jaco van de Pol, Olga Tveretina, Hans Zantema
   Generalizing DPLL and satisfiability for equalities. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 2007, v:205, n:8, pp:1188-1211 [Journal]
   
6. 
   Semi-linear Parikh Images of Regular Expressions via Reduction. [Citation Graph (, )][DBLP]
   
   
7. 
   Mechanical Verification of a Two-Way Sliding Window Protocol. [Citation Graph (, )][DBLP]
   
   
8. 
   Automated Predicate Abstraction for Real-Time Models [Citation Graph (, )][DBLP]
   
   
9. 
   A Term Rewriting Technique for Decision Graphs. [Citation Graph (, )][DBLP]