Statistics
Publications
4
Citations
86
H-Index
4
Active since
2004
Affiliations
Bahareh Badban is an author at Centrum Wiskunde & Informatica specializing in formal methods, formal verification, and engineering.
Publications per year
2004–2007
4
4
Verification of a sliding window protocol in <i>μ</i> CRL and PVS
Bahareh Badban, Wan Fokkink, Jan Friso Groote et al. · Formal Aspects of Computing · 2005 · 38 citations
Test automation for hybrid systems
Bahareh Badban, Martin Fränzle, Jan Peleška et al. · 2006 · 26 citations
Interval Analysis Techniques, Engineering, Computational Testing +15
Zero, successor and equality in BDDs
Bahareh Badban, Jaco van de Pol · Annals of Pure and Applied Logic · 2004 · 11 citations · Full text
Generalizing DPLL and satisfiability for equalities
Bahareh Badban, Jaco van de Pol, Olga Tveretina et al. · Information and Computation · 2007 · 11 citations · Full text
1–4 of 4