Sign in
Mikhail Lebedev
ORCID
Publication Activity (10 Years)
Years Active: 2011-2023
Publications (10 Years): 3
Top Topics
Hardware Designs
Formal Specification
Alternating Time Temporal Logic
Model Checking
Top Venues
EWDTS
NER
DATE
</>
Publications
</>
Alexander Kamkin
,
Mikhail M. Chupilko
,
Mikhail Lebedev
,
Sergey A. Smolov
,
Georgi Gaydadjiev
High-Level Synthesis versus Hardware Construction.
DATE
(2023)
Gurgen Soghoyan
,
Artur Biktimirov
,
Nikita Piliugin
,
Ilya Chekh
,
Yury Matvienko
,
Mikhail Sintsov
,
Mikhail Lebedev
The analysis of electroneurographic and electromyographic activity recorded in the medial nerve of a transhumeral amputee during phantom finger movements.
NER
(2023)
Alexander S. Kamkin
,
Mikhail Lebedev
,
Sergey A. Smolov
An EFSM-driven and model checking-based approach to functional test generation for hardware designs.
EWDTS
(2016)
Denis Savenkov
,
Pavel Braslavski
,
Mikhail Lebedev
Search Snippet Evaluation at Yandex: Lessons Learned and Future Directions.
CLEF
(2011)