Bahareh Badban

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