Abdelwaheb Ayari

Publication Activity (10 Years)

Years Active: 1996-2003
Publications (10 Years): 0

University of Freiburg, Freiburg im Breisgau, Germany (PHD)

Education History

University of Freiburg, Freiburg im Breisgau, Germany

PHD

Publications

Abdelwaheb Ayari, David A. Basin, Felix Klaedtke
Decision procedures for inductive Boolean functions based on alternating automata. Theor. Comput. Sci. 300 (1-3) (2003)
Abdelwaheb Ayari, David A. Basin
QUBOS: Deciding Quantified Boolean Logic Using Propositional Satisfiability Solvers. FMCAD (2002)
Abdelwaheb Ayari, David A. Basin
A Higher-order Interpretation of Deductive Tableau. J. Symb. Comput. 31 (5) (2001)
Abdelwaheb Ayari, David A. Basin, Felix Klaedtke
Decision Procedures for Inductive Boolean Functions Based on Alternating Automata. CAV (2000)
Abdelwaheb Ayari, David A. Basin
Bounded Model Construction for Monadic Second-Order Logics. CAV (2000)
Abdelwaheb Ayari, David A. Basin, Stefan Friedrich
Structural and Behavioral Modeling with Monadic Logics. ISMVL (1999)
Abdelwaheb Ayari, David A. Basin, Andreas Podelski
LISA: A Specification Language Based on WS2S. CSL (1997)
Abdelwaheb Ayari, David A. Basin
Generic System Support for Deductive Program Development. TACAS (1996)