BibTeX records: Samary Baranov

• > Home > Persons > Samary Baranov

@inproceedings{DBLP:conf/latw/JenihhinBRT12,
  author       = {Maksim Jenihhin and
                  Samary Baranov and
                  Jaan Raik and
                  Valentin Tihhomirov},
  title        = {{PSL} assertion checkers synthesis with {ASM} based {HLS} tool {ABELITE}},
  booktitle    = {13th Latin American Test Workshop, {LATW} 2012, Quito, Ecuador, April
                  10-13, 2012},
  pages        = {1--6},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/LATW.2012.6261251},
  doi          = {10.1109/LATW.2012.6261251},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/latw/JenihhinBRT12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ewdts/ViilukasJRUB11,
  author       = {Taavi Viilukas and
                  Maksim Jenihhin and
                  Jaan Raik and
                  Raimund Ubar and
                  Samary Baranov},
  editor       = {Vladimir Hahanov and
                  Yervant Zorian},
  title        = {Automated test bench generation for high-level synthesis flow {ABELITE}},
  booktitle    = {9th East-West Design {\&} Test Symposium, {EWDTS} 2011, Sevastopol,
                  Ukraine, September 9-12, 2011},
  pages        = {13--16},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/EWDTS.2011.6116601},
  doi          = {10.1109/EWDTS.2011.6116601},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ewdts/ViilukasJRUB11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iolts/BaranovLKK09,
  author       = {Samary Baranov and
                  Ilya Levin and
                  Osnat Keren and
                  Mark G. Karpovsky},
  title        = {Designing fault tolerant {FSM} by nano-PLA},
  booktitle    = {15th {IEEE} International On-Line Testing Symposium {(IOLTS} 2009),
                  24-26 June 2009, Sesimbra-Lisbon, Portugal},
  pages        = {229--234},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/IOLTS.2009.5196021},
  doi          = {10.1109/IOLTS.2009.5196021},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iolts/BaranovLKK09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/euromicro/Baranov98,
  author       = {Samary Baranov},
  title        = {Minimization of Algorithmic State Machines},
  booktitle    = {24th {EUROMICRO} '98 Conference, Engineering Systems and Software
                  for the Next Decade, 25-27 August 1998, Vesteras, Sweden},
  pages        = {10176--10179},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/EURMIC.1998.711793},
  doi          = {10.1109/EURMIC.1998.711793},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/euromicro/Baranov98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fpl/Baranov98,
  author       = {Samary Baranov},
  editor       = {Reiner W. Hartenstein and
                  Andres Keevallik},
  title        = {{CAD} System for {ASM} and {FSM} Synthesis},
  booktitle    = {Field-Programmable Logic and Applications, From FPGAs to Computing
                  Paradigm, 8th International Workshop, FPL'98, Tallinn, Estonia, August
                  31 - September 3, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1482},
  pages        = {119--128},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0055239},
  doi          = {10.1007/BFB0055239},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/fpl/Baranov98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}