Hichem Rami Ait El Hara

According to our database, Hichem Rami Ait El Hara authored at least 7 papers between 2024 and 2026.

Collaborative distances:

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

2026

Smt.ml: A Multi-Backend Frontend for SMT Solvers in OCaml.

João Madeira Pereira, Filipe Marques, Pedro Adão, Hichem Rami Ait El Hara, Léo Andrès, Arthur Carcano, Pierre Chambart, Petar Maksimovic, Nuno Santos, José Fragoso Santos

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

2025

Reasoning over n-indexed sequences in SMT.

Hichem Rami Ait El Hara, François Bobot, Guillaume Bury

Acta Informatica, September, 2025

Theory of sequences tailored for program verification. (Théorie des séquences adaptée à la vérification des programmes).

Hichem Rami Ait El Hara

PhD thesis, 2025

Relational Abstractions Based on Labeled Union-Find.

Dorian Lesbre, Matthieu Lemerre, Hichem Rami Ait El Hara, François Bobot

Proc. ACM Program. Lang., 2025

Constraint Propagation for Bit-Vectors in Alt-Ergo.

Hichem Rami Ait El Hara, Guillaume Bury, Basile Clément, Pierre Villemot

Proceedings of the Joint Proceedings of the 23rd International Workshop on Satisfiability Modulo Theories and the 16th Pragmatics of SAT International Workshop co-located with the 31st International Conference on Principles and Practice of Constraint Programming, 2025

2024

An SMT theory for N-Indexed Sequences.

Hichem Rami Ait El Hara, François Bobot, Guillaume Bury

Proceedings of the 22nd International Workshop on Satisfiability Modulo Theories co-located with the 36th International Conference on Computer Aided Verification (CAV 2024), 2024

On SMT Theory Design: The Case of Sequences.

Hichem Rami Ait El Hara, François Bobot, Guillaume Bury

Proceedings of the LPAR 2024 Complementary Volume, Port Louis, Mauritius, May 26-31, 2024, 2024