Abdelwaheb Ayari

According to our database, Abdelwaheb Ayari authored at least 8 papers between 1996 and 2003.

Collaborative distances:

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

2003

System verification tools based on monadic logics.

Abdelwaheb Ayari

PhD thesis, 2003

2002

QUBOS: Deciding Quantified Boolean Logic Using Propositional Satisfiability Solvers.

Abdelwaheb Ayari, David A. Basin

Proceedings of the Formal Methods in Computer-Aided Design, 4th International Conference, 2002

2001

A Higher-order Interpretation of Deductive Tableau.

Abdelwaheb Ayari, David A. Basin

J. Symb. Comput., 2001

2000

Decision Procedures for Inductive Boolean Functions Based on Alternating Automata.

Abdelwaheb Ayari, David A. Basin, Felix Klaedtke

Proceedings of the Computer Aided Verification, 12th International Conference, 2000

Bounded Model Construction for Monadic Second-Order Logics.

Abdelwaheb Ayari, David A. Basin

Proceedings of the Computer Aided Verification, 12th International Conference, 2000

1999

Structural and Behavioral Modeling with Monadic Logics.

Abdelwaheb Ayari, David A. Basin, Stefan Friedrich

Proceedings of the 29th IEEE International Symposium on Multiple-Valued Logic, 1999

1997

LISA: A Specification Language Based on WS2S.

Abdelwaheb Ayari, David A. Basin, Andreas Podelski

Proceedings of the Computer Science Logic, 11th International Workshop, 1997

1996

Generic System Support for Deductive Program Development.

Abdelwaheb Ayari, David A. Basin

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1996