Generic System Support for Deductive Program Development. - Abdelwaheb Ayari; David A. Basin (TACAS, 1996)

LISA: A Specification Language Based on WS2S. - Abdelwaheb Ayari; David A. Basin; Andreas Podelski (CSL, 1997)

Structural and Behavioral Modeling with Monadic Logics. - Abdelwaheb Ayari; David A. Basin; Stefan Friedrich 001 (ISMVL, 1999)

Bounded Model Construction for Monadic Second-Order Logics. - Abdelwaheb Ayari; David A. Basin (CAV, 2000)

A Higher-order Interpretation of Deductive Tableau. - Abdelwaheb Ayari; David A. Basin (J. Symb. Comput., 2001)

QUBOS: Deciding Quantified Boolean Logic Using Propositional Satisfiability Solvers. - Abdelwaheb Ayari; David A. Basin (FMCAD, 2002)

Decision procedures for inductive Boolean functions based on alternating automata. - Abdelwaheb Ayari; David A. Basin; Felix Klaedtke (Theor. Comput. Sci., 2003)

System verification tools based on monadic logics. - Abdelwaheb Ayari (2003)