dblp.uni-trier.dewww.uni-trier.de

Bahareh Badban Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2008
6EEBahareh Badban, Wan Fokkink, Jaco van de Pol: Mechanical Verification of a Two-Way Sliding Window Protocol. CPA 2008: 179-202
2007
5EEBahareh Badban, Jaco van de Pol, Olga Tveretina, Hans Zantema: Generalizing DPLL and satisfiability for equalities. Inf. Comput. 205(8): 1188-1211 (2007)
2006
4EEBahareh Badban, Martin Fränzle, Jan Peleska, Tino Teige: Test automation for hybrid systems. SOQUA 2006: 14-21
2005
3EEBahareh Badban, Jaco van de Pol: Zero, successor and equality in BDDs. Ann. Pure Appl. Logic 133(1-3): 101-123 (2005)
2EEBahareh Badban, Wan Fokkink, Jan Friso Groote, Jun Pang, Jaco van de Pol: Verification of a sliding window protocol in µCRL and PVS. Formal Asp. Comput. 17(3): 342-388 (2005)
2004
1EEWan Fokkink, Jan Friso Groote, Jun Pang, Bahareh Badban, Jaco van de Pol: Verifying a Sliding Window Protocol in µCRL. AMAST 2004: 148-163

Coauthor Index

1Wan Fokkink [1] [2] [6]
2Martin Fränzle [4]
3Jan Friso Groote [1] [2]
4Jun Pang [1] [2]
5Jan Peleska [4]
6Jaco van de Pol [1] [2] [3] [5] [6]
7Tino Teige [4]
8Olga Tveretina [5]
9Hans Zantema [5]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)