Bahareh Badban

Publication Activity (10 Years)

Years Active: 2004-2011
Publications (10 Years): 0

Publications

Bahareh Badban, Martin Lange
Exact Incremental Analysis of Timed Automata with an SMT-Solver. FORMATS (2011)
Bahareh Badban, Mohammad Torabi Dashti
Semi-linear Parikh Images of Regular Expressions via Reduction. MFCS (2010)
Bahareh Badban, Stefan Leue, Jan-Georg Smaus
Automated Invariant Generation for the Verification of Real-Time Systems. WING@ETAPS/IJCAR (2010)
Bahareh Badban, Stefan Leue, Jan-Georg Smaus
Automated Predicate Abstraction for Real-Time Models INFINITY (2009)
Bahareh Badban
A Term Rewriting Technique for Decision Graphs. Electron. Notes Theor. Comput. Sci. 253 (4) (2009)
Bahareh Badban, Wan J. Fokkink, Jaco van de Pol
Mechanical Verification of a Two-Way Sliding Window Protocol. CPA (2008)
Bahareh Badban, Jaco van de Pol, Olga Tveretina, Hans Zantema
Generalizing DPLL and satisfiability for equalities. Inf. Comput. 205 (8) (2007)
Bahareh Badban, Martin Fränzle, Jan Peleska, Tino Teige
Test automation for hybrid systems. SOQUA (2006)
Bahareh Badban, Jaco van de Pol
Zero, successor and equality in BDDs. Ann. Pure Appl. Log. 133 (1-3) (2005)
Bahareh Badban, Wan J. Fokkink, Jan Friso Groote, Jun Pang, Jaco van de Pol
Verification of a sliding window protocol in µCRL and PVS. Formal Aspects Comput. 17 (3) (2005)
Wan J. Fokkink, Jan Friso Groote, Jun Pang, Bahareh Badban, Jaco van de Pol
Verifying a Sliding Window Protocol in µCRL. AMAST (2004)