Otsing - TalTech teadusportaal

Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English

Publikatsioonid

Publikatsioonid

Otsing

Valitud kirjed 0

Repinski, Urmas (autor)

—

—

—

—

Lisa tingimus Liitotsing filter

Tühista

teaviku laadid

raamat ..

artikkel ajakirjas ..

artikkel ajalehes ..

artikkel kogumikus ..

dissertatsioon ..

Open Access ..

Teaduspublikatsioon ..

aasta

Toon andmeid..

Toon andmeid..

TTÜ struktuuriüksus

Toon andmeid..

Toon andmeid..

Toon andmeid..

Toon andmeid..

Toon andmeid..

Tühista

Kirjeid leitud 10
Vaata veel.. (3/113)
Ekspordi

ekspordi kõik päringu tulemused (10)
Salvesta TXT fail

Salvesta PDF fail

prindi
Märgitud kirjetega toimetamiseks ava valitud kirjed

kuva

reasta
1

artikkel ajakirjas

Automated design error debug using high-level decision diagrams and mutation operatorsRaik, Jaan; Repinski, Urmas; Tšepurov, Anton; Hantson, Hanno; Ubar, Raimund-Johannes; Jenihhin, MaksimMicroprocessors and microsystems2013 / p. 505-513 : ill

artikkel ajakirjas
2

artikkel kogumikus

Combining dynamic slicing and mutation operators for ESL correctionRepinski, Urmas; Hantson, Hanno; Jenihhin, Maksim; Raik, Jaan; Ubar, Raimund-JohannesProceedings : 2012 17th IEEE European Test Symposium (ETS) : May 28th-June 1st, 2012, Annecy, France2012 / [6] p. : ill https://ieeexplore.ieee.org/document/6233020

artikkel kogumikus
3

artikkel kogumikus

Comparison of model-based error localization algorithms for C designsRepinski, Urmas; Raik, JaanProceedings of IEEE East-West Design & Test Symposium (EWDTS’2012) : Kharkov, Ukraine, September 14–17, 20122012 / p. 42-45

artikkel kogumikus
4

artikkel kogumikus

Design error diagnosis using backtrace algorithm on decision diagramsRepinski, Urmas; Raik, Jaan; Ubar, Raimund-Johannes; Jenihhin, Maksim; Tšepurov, AntonInfo- ja kommunikatsioonitehnoloogia doktorikooli IKTDK neljanda aastakonverentsi artiklite kogumik : 26.-27. novembril 2010, Essu mõis2010 / p. 93-96

artikkel kogumikus
5

artikkel kogumikus

Diagnosis and correction of multiple design errors using critical path tracing and mutation analysisHantson, Hanno; Repinski, Urmas; Raik, Jaan; Jenihhin, Maksim; Ubar, Raimund-JohannesLATW 2012 : 13th IEEE Latin-American Test Workshop proceedings : April 10th-13th, 2012, Quito, Ecuador2012 / [6 p.] : ill https://ieeexplore.ieee.org/document/6261234

artikkel kogumikus
6

artikkel kogumikus

FoREnSiC– an automatic debugging environment for C programsBloem, Roderick; Raik, Jaan; Repinski, UrmasEighth Haifa Verification Conference : HVC 2012 : November 6-8, Haifa, Israel : [proceedings]2012 / p. 1-6 : ill

artikkel kogumikus
7

artikkel kogumikus

High-level decision diagram simulation for diagnosis and soft-error analysisRaik, Jaan; Repinski, Urmas; Jenihhin, Maksim; Chepurov, AntonDesign and test technology for dependable systems-on-chip2011 / p. 294-309 : ill https://www.igi-global.com/chapter/high-level-decision-diagram-simulation/51406

artikkel kogumikus
8

artikkel kogumikus

High-level design error diagnosis using backtrace on decision diagramsRaik, Jaan; Repinski, Urmas; Ubar, Raimund-Johannes; Jenihhin, Maksim; Tšepurov, Anton28th Norchip Conference : Tampere, Finland, 15-16 November 2010 : conference program and papers2010 / [4] p. : ill http://dx.doi.org/10.1109/NORCHIP.2010.5669486

artikkel kogumikus
9

artikkel ajakirjas

Model-based verification with error localization and error correction for C designsRepinski, UrmasПрограммные продукты и системы = Programmnye produkty i sistemy = Software & systems2012 / p. 221-229 : ill

artikkel ajakirjas
10

artikkel ajakirjas

Верификация на основе симуляции с нахождением и исправлением ошибок для С-дизайновRepinski, UrmasПрограммные продукты и системы = Programmnye produkty i sistemy = Software & systems2012 / с. 229-237 : ил

artikkel ajakirjas

Kirjeid leitud 10, kuvan 1 - 10

1. Arumäe, Urmas
2. Hallika, Urmas
3. Jüriorg, Urmas
4. Kivimäe, Urmas 1950-2006
5. Krusell, Urmas
6. Laurfeld, Urmas
7. Leppik, Urmas
8. Lips, Urmas
9. Muinasmaa, Urmas
10. Murd, Urmas
11. Murumets, Urmas
12. Mänd (Ment), Urmas
13. Mänd Ment, Urmas
14. Mänd, Urmas
15. Nagel, Urmas
16. Oagu, Urmas
17. Pauklin, Urmas
18. Raude, Urmas
19. Raudsepp, Urmas
20. Ross, Urmas
21. Ruuto, Urmas
22. Sepp, Urmas 1956-2002
23. Siitan, Urmas
24. Valdek, Urmas

1. Alender, Urmas, 1953-1994
2. Arumäe, Urmas, 1957-
3. Kuus, Urmas
4. Laanemets, Urmas
5. Lips, Urmas, 1960-
6. Murumets, Urmas
7. Ott, Urmas, 1955-2008
8. Raudsepp, Urmas
9. Reinsalu, Urmas, 1975-
10. Ruuto, Urmas
11. Saarma, Urmas, 1967-
12. Sepp, Urmas
13. Sisask, Urmas
14. Sõõrumaa, Urmas
15. Tanum, Urmas
16. Varblane, Urmas
17. Viilma, Urmas
18. Viilma, Urmas, 1973-

vaste

reasta

Otsing
Valikud 0

ilmumisaasta

autor

TTÜ struktuuriüksus

märksõna

seeria-sari

tema kohta

võtmesõna

TalTech Raamatukogu

Akadeemia tee 1

13519

TalTech koduleht TalTech Raamatukogu koduleht Digikogu Digiteek Teadusandmed

6203551

data@taltech.ee

TalTech Raamatukogu