We stand with Ukraine  

Mikhail Lebedev

Orcid: 0000-0002-0207-7672

Affiliations:
  • Russian Academy of Sciences, RAS, Institute for System Programming, ISP, Moscow, Russia


According to our database1, Mikhail Lebedev authored at least 2 papers between 2016 and 2023.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
High-Level Synthesis versus Hardware Construction.
[BibTeX]
[DOI]
Alexander Kamkin
,
Mikhail M. Chupilko
,
Mikhail Lebedev
,
Sergey A. Smolov
,
Georgi Gaydadjiev
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

2016
An EFSM-driven and model checking-based approach to functional test generation for hardware designs.
[BibTeX]
[DOI]
Alexander S. Kamkin
,
Mikhail Lebedev
,
Sergey A. Smolov
Proceedings of the 2016 IEEE East-West Design & Test Symposium, 2016


  Loading...