Bahareh Badban

According to our database, Bahareh Badban authored at least 11 papers between 2004 and 2011.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2011

Exact Incremental Analysis of Timed Automata with an SMT-Solver.

Bahareh Badban, Martin Lange

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2011

2010

Semi-linear Parikh Images of Regular Expressions via Reduction.

Bahareh Badban, Mohammad Torabi Dashti

Proceedings of the Mathematical Foundations of Computer Science 2010, 2010

Automated Invariant Generation for the Verification of Real-Time Systems.

Bahareh Badban, Stefan Leue, Jan-Georg Smaus

Proceedings of the Second International Workshop on Invariant Generation, 2010

2009

A Term Rewriting Technique for Decision Graphs.

Bahareh Badban

Proceedings of the Fifth International Workshop on Computing with Terms and Graphs, 2009

Automated Predicate Abstraction for Real-Time Models

Bahareh Badban, Stefan Leue, Jan-Georg Smaus

Proceedings of the Proceedings International Workshop on Verification of Infinite-State Systems, 2009

2008

Mechanical Verification of a Two-Way Sliding Window Protocol.

Bahareh Badban, Wan J. Fokkink, Jaco van de Pol

Proceedings of the thirty-first Communicating Process Architectures Conference, 2008

2007

Generalizing DPLL and satisfiability for equalities.

Bahareh Badban, Jaco van de Pol, Olga Tveretina, Hans Zantema

Inf. Comput., 2007

2006

Test automation for hybrid systems.

Bahareh Badban, Martin Fränzle, Jan Peleska, Tino Teige

Proceedings of the Third International Workshop on Software Quality Assurance, 2006

2005

Verification of a sliding window protocol in µCRL and PVS.

Bahareh Badban, Wan J. Fokkink, Jan Friso Groote, Jun Pang, Jaco van de Pol

Formal Aspects Comput., 2005

Zero, successor and equality in BDDs.

Bahareh Badban, Jaco van de Pol

Ann. Pure Appl. Log., 2005

2004

Verifying a Sliding Window Protocol in µCRL.

Wan J. Fokkink, Jan Friso Groote, Jun Pang, Bahareh Badban, Jaco van de Pol

Proceedings of the Algebraic Methodology and Software Technology, 2004