We stand with Ukraine  

Bachir Berkane

According to our database1, Bachir Berkane authored at least 4 papers between 1992 and 2025.

Collaborative distances:
  • Dijkstra number2 of six.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2025
A High-Throughput Implementation of the MUSIC Algorithm Using AMD Versal AI Engine.
[BibTeX]
[DOI]
Peifang Zhou
,
Bachir Berkane
,
Vlad Druz
,
Mark Rollins
Proceedings of the 33rd IEEE Annual International Symposium on Field-Programmable Custom Computing Machines, 2025

1993
A Unified Framework for Describing and Verifying Hardware Synchronous Sequential Systems.
[BibTeX]
[DOI]
Ghislaine Thuau
,
Bachir Berkane
Formal Methods Syst. Des., 1993

1992
Vérification des systèmes matériels numériques séquentiels synchrones : application du langage Lustre et de l'outil de vérification Lesar. (Verification of synchronous sequential digital hardware systems. Application of the langage Lustre and the verification tool Lesar).
[BibTeX]
[DOI]
Bachir Berkane
PhD thesis, 1992

Using the Language Lustre for Sequential Circuit Verification.
[BibTeX]
Ghislaine Thuau
,
Bachir Berkane
Proceedings of the Designing Correct Circuits, 1992


  Loading...