Toggle navigation
Otsi
Publikatsioonid
Profiilid
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Otsing
Valitud kirjed
0
Tšepurov, Anton (autor)
Kõikidelt väljadelt
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Lisa tingimus
Liitotsing
Tühista
Leitud autorid
Tšepurov, Anton
autor
teaviku laadid
raamat
artikkel ajakirjas
artikkel ajalehes
artikkel kogumikus
dissertatsioon
Open Access
Teaduspublikatsioon
aasta
Kirjeid leitud
28
Vaata veel..
(6/103)
Ekspordi
ekspordi kõik päringu tulemused
(28)
Salvesta TXT fail
Salvesta PDF fail
prindi
Märgitud kirjetega toimetamiseks ava
valitud kirjed
kuva
Bibliokirje
Lühikirje
reasta
autor kasvavalt
autor kahanevalt
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
nimi kasvavalt
nimi kahanevalt
pealkiri kasvavalt
pealkiri kahanevalt
1
A scalable model based RTL framework zamiaCAD for static analysis
Tšepurov, Anton
;
Jenihhin, Maksim
;
Raik, Jaan
;
Tihhomirov, Valentin
2012 IEEE/IFIP 20th International Conference on VLSI and System-on-Chip (VLSI-SoC) : October 7-10, 2012 Santa Cruz, USA Dream Inn, Santa Cruz, USA : [proceedings]
2012
/
p. 171-176 : ill
artikkel kogumikus
2
Application of high-level decision diagrams for simulation-based verification tasks
Jenihhin, Maksim
;
Raik, Jaan
;
Tšepurov, Anton
;
Ubar, Raimund-Johannes
Estonian journal of engineering
2010
/
1, p. 56-77 : ill
artikkel ajakirjas
3
Applications of the open source HW design framework zamiaCAD
Tšepurov, Anton
;
Tihhomirov, Valentin
;
Saif Abrar, Syed
;
Jenihhin, Maksim
;
Raik, Jaan
DATE 2012 University Booth : Design Automation and Test in Europe : Dresden, Germany, March 12-16, 2012
2012
/
1 p
artikkel kogumikus
4
APRICOT : a framework for teaching digital systems verification
Raik, Jaan
;
Jenihhin, Maksim
;
Tšepurov, Anton
;
Reinsalu, Uljana
;
Ubar, Raimund-Johannes
19th EAEEIE Annual Conference : June 29-July 2, 2008, Tallinn, Estonia : formal proceedings
2008
/
p. 172-177 : ill
http://dx.doi.org/10.1109/EAEEIE.2008.4610181
artikkel kogumikus
5
Assertion checking with PSL and high-level decision diagrams
Jenihhin, Maksim
;
Raik, Jaan
;
Tšepurov, Anton
;
Ubar, Raimund-Johannes
Digest of papers IEEE 8th Workshop on RTL and High Level Testing : WRTLT'07 : October 12-13, 2007, Beijing, China
2007
/
p. 105-110 : ill
artikkel kogumikus
6
Assessment of diagnostic test for automated bug localization
Tihhomirov, Valentin
;
Tšepurov, Anton
;
Jenihhin, Maksim
;
Raik, Jaan
;
Ubar, Raimund-Johannes
LATW2013 : 14th IEEE Latin-American Test Workshop, Cordoba, Argentina, April 3-5, 2013 : [proceedings]
2013
/
[6] p. : ill
artikkel kogumikus
7
Automated design error debug using high-level decision diagrams and mutation operators
Raik, Jaan
;
Repinski, Urmas
;
Tšepurov, Anton
;
Hantson, Hanno
;
Ubar, Raimund-Johannes
;
Jenihhin, Maksim
Microprocessors and microsystems
2013
/
p. 505-513 : ill
artikkel ajakirjas
8
Automated design error localization in RTL designs
Jenihhin, Maksim
;
Tšepurov, Anton
;
Tihhomirov, Valentin
;
Raik, Jaan
;
Hantson, Hanno
;
Ubar, Raimund-Johannes
;
Bartsch, Günter
;
Meza Escobar, Jorge Hernan
;
Wuttke, Heinz-Dietrich
IEEE design & test of computers
2014
/
p. 83-92 : ill
http://dx.doi.org/10.1109/MDAT.2013.2271420
artikkel ajakirjas
9
Automatic generation of EFSMs and HLDDs for functional ATPG
Tšepurov, Anton
;
Guglielmo, Giuseppe di
;
Raik, Jaan
;
Ubar, Raimund-Johannes
;
Viilukas, Taavi
BEC 2008 : 2008 International Biennial Baltic Electronics Conference : proceedings of the 11th Biennial Baltic Electronics Conference : Tallinn University of Technology : October 6-8, 2008, Tallinn, Estonia
2008
/
p. 143-146 : ill
artikkel kogumikus
10
BIST analyzer : a training platform for SoC testing [Electronic resource]
Jutman, Artur
;
Tšertov, Anton
;
Tšepurov, Anton
;
Aleksejev, Igor
;
Ubar, Raimund-Johannes
;
Wuttke, Heinz-Dietrich
37th Annual Frontiers in Education Conference : Global Engineering : Knowledge Without Borders, Opportunities Without Passports : Milwaukee, Wisconsin, October 10-13, 2007
2007
/
p. S3H-8-S3H-13 : ill. [CD-ROM]
http://dx.doi.org/10.1109/FIE.2007.4418125
artikkel kogumikus
11
Code coverage analysis for concurrent programming languages using high-level decision diagrams
Jenihhin, Maksim
;
Raik, Jaan
;
Tšepurov, Anton
;
Reinsalu, Uljana
;
Ubar, Raimund-Johannes
Proceedings of the 12th European Workshop on Dependable Computing : EWDC 2009 : Toulouse, France, May 14-15, 2009
2009
/
[4] p. : ill
https://hal.archives-ouvertes.fr/hal-00381559
artikkel kogumikus
12
Design error diagnosis using backtrace algorithm on decision diagrams
Repinski, Urmas
;
Raik, Jaan
;
Ubar, Raimund-Johannes
;
Jenihhin, Maksim
;
Tšepurov, Anton
Info- ja kommunikatsioonitehnoloogia doktorikooli IKTDK neljanda aastakonverentsi artiklite kogumik : 26.-27. novembril 2010, Essu mõis
2010
/
p. 93-96
artikkel kogumikus
13
E-learning environment for WEB-based study of testing
Ubar, Raimund-Johannes
;
Jutman, Artur
;
Raik, Jaan
;
Devadze, Sergei
;
Jenihhin, Maksim
;
Aleksejev, Igor
;
Tšepurov, Anton
;
Tšertov, Anton
;
Kostin, Sergei
;
Orasson, Elmet
;
Wuttke, Heinz-Dietrich
Proceedings of the 8th European Workshop on Microelectronics Education : EWME 2010 : Darmstadt, Germany, 10-12 May 2010
2010
/
p. 47-52 : ill
artikkel kogumikus
14
Generating directed tests for C programs using RTL ATPG
Raik, Jaan
;
Drenkhan, Tiia
;
Jenihhin, Maksim
;
Viilukas, Taavi
;
Karputkin, Anton
;
Tšepurov, Anton
;
Ubar, Raimund-Johannes
Proceedings of the IEEE 13th Workshop on RTL and High Level Testing (WRTLT'12)
2012
/
p. 1-6
artikkel kogumikus
15
Hardware modeling for design verification and debug = Riistvara modelleerimine disaini verifitseerimise ja silumise jaoks
Tšepurov, Anton
2013
dissertatsioon
16
High-Level Decision Diagram manipulations for code coverage analysis
Minakova, Karina
;
Reinsalu, Uljana
;
Tšepurov, Anton
;
Raik, Jaan
;
Jenihhin, Maksim
;
Ubar, Raimund-Johannes
;
Ellervee, Peeter
BEC 2008 : 2008 International Biennial Baltic Electronics Conference : proceedings of the 11th Biennial Baltic Electronics Conference : Tallinn University of Technology : October 6-8, 2008, Tallinn, Estonia
2008
/
p. 207-210 : ill
artikkel kogumikus
17
High-level decision diagrams based coverage metrics for verification and test
Jenihhin, Maksim
;
Raik, Jaan
;
Tšepurov, Anton
;
Reinsalu, Uljana
;
Ubar, Raimund-Johannes
LATW 2009 : 10th IEEE Latin American Test Workshop : Buzios, Rio de Janero, Brazil, March 2-5, 2009
2009
/
[6] p. : ill
http://dx.doi.org/10.1109/LATW.2009.4813792
artikkel kogumikus
18
High-level design error diagnosis using backtrace on decision diagrams
Raik, Jaan
;
Repinski, Urmas
;
Ubar, Raimund-Johannes
;
Jenihhin, Maksim
;
Tšepurov, Anton
28th Norchip Conference : Tampere, Finland, 15-16 November 2010 : conference program and papers
2010
/
[4] p. : ill
http://dx.doi.org/10.1109/NORCHIP.2010.5669486
artikkel kogumikus
19
Localization of bugs in processor designs using zamiaCAD framework
Tšepurov, Anton
;
Tihhomirov, Valentin
;
Jenihhin, Maksim
;
Raik, Jaan
13th International Workshop on Microprocessor Test and Verification (MTV 2012) Common Challenges and Solutions : Austin, USA, December 10–12, 2012
2012
/
p. 1-6
artikkel kogumikus
20
Mutation analysis with high-level decision diagrams
Hantson, Hanno
;
Raik, Jaan
;
Jenihhin, Maksim
;
Tšepurov, Anton
;
Ubar, Raimund-Johannes
;
Guglielmo, Giuseppe di
;
Fummi, Franco
LATW2010 : 11th Latin-American TestWorkshop, March 28-31, 2010, Punta del Este, Uruguay
2010
/
[6] p. [CD-ROM]
artikkel kogumikus
21
On reusability of verification assertions for testing
Jenihhin, Maksim
;
Raik, Jaan
;
Ubar, Raimund-Johannes
;
Tšepurov, Anton
BEC 2008 : 2008 International Biennial Baltic Electronics Conference : proceedings of the 11th Biennial Baltic Electronics Conference : Tallinn University of Technology : October 6-8, 2008, Tallinn, Estonia
2008
/
p. 151-154 : ill
artikkel kogumikus
22
PSL assertion checking using temporally extended high-level decision diagrams
Jenihhin, Maksim
;
Raik, Jaan
;
Tšepurov, Anton
;
Ubar, Raimund-Johannes
Journal of electronic testing : theory and applications
2009
/
6, p. 289-300 : ill
artikkel ajakirjas
23
PSL assertion checking with temporally extended high-level decision diagrams
Jenihhin, Maksim
;
Raik, Jaan
;
Tšepurov, Anton
;
Ubar, Raimund-Johannes
Proceedings of the 9th IEEE Latin-American Test Workshop : LATW2008 : February 17-20, 2008, Puebla, Mexico
2008
/
p. 49-54 : ill
artikkel kogumikus
24
Simulation-based verification with APRICOT framework using high-level decision diagrams
Jenihhin, Maksim
;
Raik, Jaan
;
Tšepurov, Anton
;
Ubar, Raimund-Johannes
East-West Design & Test Symposium : Moscow, September 18-21, 2009
2009
/
p. 13-16 : ill
artikkel kogumikus
25
zamiaCAD : open source platform for advanced hardware design
Tšepurov, Anton
;
Jenihhin, Maksim
;
Raik, Jaan
DATE 2011 University Booth : Design Automation and Test in Europe : Grenoble, France, March 14-18, 2011
2011
/
[2] p.: ill
artikkel kogumikus
Kirjeid leitud 28, kuvan
1 - 25
eelmine
1
2
järgmine
autor
45
1.
Tšepurov, Anton
2.
Aleksejev, Anton
3.
Anisimov, Anton S.
4.
Anton, Arvo
5.
Anton, Christian
6.
Anton, E.
7.
Anton, Eha
8.
Anton, Gaspar
9.
Anton, Grete
10.
Anton, H.
11.
Anton, Johan
12.
Anton, K.
13.
Anton, Lauri
14.
Anton, Maia-Liisa
15.
Anton, Mart
16.
Anton, Riina
17.
Anton, Riivo
18.
Arhipov, Anton
19.
Bergant, Anton
20.
Bogdanov, Anton
21.
Charnamord, Anton
22.
Chepurov, Anton
23.
Dijev, Anton
24.
Dmitrijev, Anton
25.
Hromov, Anton
26.
Jürisson, Anton
27.
Karputkin, Anton
28.
Keks, Anton
29.
Kott, Anton
30.
Kurakin, Anton
31.
Kuznetsov, Anton
32.
Kutser, Anton
33.
Laur, Anton
34.
Pashkevich, Anton
35.
Rassõlkin, Anton
36.
Rutkovski, Anton
37.
Savitš, Anton
38.
Smirnov, Anton
39.
Sokolov, Anton
40.
Timofejev, Anton
41.
Trnik, Anton
42.
Tšertov, Anton
43.
Vedeshin, Anton
44.
Vedešin, Anton
45.
Verchenko, Anton
pealkiri
25
1.
Kaitstud ja kaitsmisel väitekirjad : [filosoofiadoktori kraadi kaitsesid ka Uljana Reinsalu, Arkadi Zikin, Juri Mihhailov ja Tõnis Saar ning taotleb Anton Tšepurov TTÜst]
2.
12. energia- ja geotehnika-alane rahvusvaheline sümpoosion Kuressaares : [sümpoosionil kaitsesid oma doktoritööd Andrei Blinov, Zoja Raud, Veiko Karu, Heigo Mõlder ja Lauri Kütt, parima ettekande tunnustuse sai Anton Ras
3.
2009. a teaduspreemia innovaatilise tooteni viinud väljapaistva teadus- ja arendustöö "Integraalse fotoelastsusmeetodi teooria, mõõtmistehnoloogia ja aparatuuri väljatöötamine ja rakendamine jääkpingete mõõtmisel klaasit
4.
Anton Üksti : gümnaasiumidirektor Haapsalus 1918-1940
5.
Dipl.-ins. Anton Uesson 60-aastane : [ehitusinsener]
6.
Doktoritööd : [doktorikraadi kaitsesid Ants Koel, Jelena Priss, Jaan Übi, Anton Rassõlkin, Jelena Hruljova, Aare Aruniit ja Henrik Herranen]
7.
Džentelmenlik ehituskunst - Anton Soans 125
8.
Eesti Linnade Liidu esimees Tallinna linnapea Anton Uesson 60-aastane : [ehitusinsener]
9.
Hoonestuselt oli Ahju tänav üks kaunimaid linnas : [majade projektide autorid Anton Uesson, Artur Perna, Herbert Johanson jt.]
10.
Kahe tuhande üheksanda aasta teaduspreemia innovaatilise tooteni viinud väljapaistva teadus ja arendustöö Integraalse fotoelastsusmeetodi teooria mõõtmistehnoloogia ja aparatuuri väljatöötamine ja rakendamine jääkpingete
11.
Kaheteistkümnes energia- ja geotehnika-alane rahvusvaheline sümpoosion Kuressaares : [sümpoosionil kaitsesid oma doktoritööd Andrei Blinov, Zoja Raud, Veiko Karu, Heigo Mõlder ja Lauri Kütt, parima ettekande tunnustuse s
12.
Kaitsmisel väitekirjad : [filosoofiadoktori kraadi taotlevad Anton Tšertov ja Karin Viipsi TTÜst]
13.
Kaitstud ja kaitsmisel väitekirjad : [ka filosoofiadoktori kraadi taotlevad Tarmo Robal, Anton Karputkin, Ann Tiiman, Fabio Filipozzi, Mari Avarmaa, Martin Sarkans TTÜst]
14.
Kaubanduse ja tööstuse aktsiaselts Anton Heilmann'i põhikiri
15.
Kuidas Läänemaa mees Tallinna juhtis : [120 aastat Anton Uessoni sünnist]
16.
Küsige Anton Vedeshinilt, TTÜ parimate äriiideede meistrilt!
17.
Linnapea kogu iseseisvusaja : [Tallinna linnapea Anton Uesson]
18.
Mektory ärimudel LifeInU Ameerikas investoreid otsimas : [auhinnareisil käinud meeskonna juhi Anton Vedeshini muljed]
19.
Parim ärimudel : lapseootel naiste ööpäevaringne järelevalve : [ka intervjuu tudengite ärimudeli konkursi Mektory võitnud võistkonna esindaja Anton Vedeshiniga]
20.
Riigi teaduspreemia : [pikaajalise tulemusliku teadus-ja arendustöö eest akadeemik Dimitri Kaljo'le. Teaduspreemia innovaatilise tooteni viinud väljapaistva teadus- ja arendustöö eest : Hillar Aben (kollektiivi juht), Le
21.
Science Prize for outstanding research and development resulting in innovative products : [was awarded to Hillar Aben (head of team), Leo Ainola, Andrei Errapart, Johan Anton]
22.
Teaduspreemia innovaatilise tooteni viinud väljapaistva teadus- ja arendustöö "Integraalse fotoelastsusmeetodi teooria, mõõtmistehnoloogia ja aparatuuri väljatöötamine ja rakendamine jääkpingete mõõtmisel klaasitööstuses
23.
TTÜ tudeng Anton Savitš võitis aastase tööpraktika Tele2 tegevjuhi käe all
24.
Uuesson, Anton, ehitusinsener, Insenerikoja esimees
25.
Üksti, Anton
CV
17
1.
Anton, Johan 1973
2.
Anton, Mart 1979
3.
Anton, Riina
4.
Arhipov, Anton 1981
5.
Bogdanov, Anton 1916-1960
6.
Jürisson, Anton 1919-2001
7.
Kutser, Anton 1961
8.
Laur, Anton 1906-1989
9.
Laur, Anton 1951
10.
Rassõlkin, Anton 1985
11.
Soans, Anton Lembit 1885-1966
12.
Tammert, Anton 1902-1980
13.
Tammert, Anton Baldwin
14.
Tramberg, Anton
15.
Trampärk, Anton
16.
Tšertov, Anton
17.
Uesson, Anton 1879-1942
tema kohta
14
1.
Tšepurov, Anton
2.
Anton, Johan
3.
Anton, Maia-Liisa
4.
Anton, Mart, 1979-
5.
Bogdanov, Anton
6.
Karputkin, Anton
7.
Keks, Anton
8.
Rassõlkin, Anton
9.
Rassõlkin, Anton, 1985-
10.
Savitš, Anton
11.
Soans, Anton, 1885-1966
12.
Tšertov, Anton
13.
Uesson, Anton, 1879-1942
14.
Vedešin, Anton
märksõna
1
1.
Anton Heilmann, kaubanduse ja tööstuse aktsiaselts
juhendaja
1
1.
Tšertov, Anton