Karim Tekkal

According to our database, Karim Tekkal authored at least 2 papers in 2009.

Collaborative distances:

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

2009

Towards an Industrial Use of FLUCTUAT on Safety-Critical Avionics Software.

David Delmas, Eric Goubault, Sylvie Putot, Jean Souyris, Karim Tekkal, Franck Védrine

Proceedings of the Formal Methods for Industrial Critical Systems, 2009

HybridFluctuat: A Static Analyzer of Numerical Programs within a Continuous Environment.

Olivier Bouissou, Eric Goubault, Sylvie Putot, Karim Tekkal, Franck Védrine

Proceedings of the Computer Aided Verification, 21st International Conference, 2009