Toggle navigation
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Otsing
Valitud kirjed
0
verifikatsioon (märksõna)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Lisa tingimus
Liitotsing
filter
Tühista
×
teaviku laadid
raamat
..
artikkel ajakirjas
..
artikkel ajalehes
..
artikkel kogumikus
..
dissertatsioon
..
Open Access
..
Teaduspublikatsioon
..
aasta
ilmumisaasta
Toon andmeid..
autor
Toon andmeid..
TTÜ struktuuriüksus
Toon andmeid..
märksõna
Toon andmeid..
seeria-sari
Toon andmeid..
tema kohta
Toon andmeid..
võtmesõna
Toon andmeid..
Tühista
Kirjeid leitud
53
Vaata veel..
(1/1)
Ekspordi
ekspordi kõik päringu tulemused
(53)
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
pealkiri kasvavalt
pealkiri kahanevalt
26
artikkel ajalehes
Mikk Raud: Eestil on aeg oma kiibipotentsiaal ellu äratada
Arjakas, Merili
diplomaatia.ee
2023
artikkel ajalehes
27
artikkel kogumikus
Model verification for analysis of wind power impact to transient stability in isolated power system using combined relay protection and dynamics modelling approach
Maripuu, Rain
;
Tsernobrovkin, Oleg
;
Palu, Ivo
;
Kilter, Jako
PQ2012 : 8th International Conference : 2012 Electric Power Quality and Supply Reliability : June 11-13, 2012, Tartu, Estonia : conference proceedings
2012
/
p. 169-174 : ill
https://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=6256222
artikkel kogumikus
28
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
A model-based approach for design and verification of Industrial Internet of Things
Muthukumar, Natarajan
;
Sriniavsan, Seshadhri
;
Ramkumar, Kannan
;
Pal, Deepak
;
Vain, Jüri
;
Ramaswamy, Srini
Future generation computer systems
2019
/
p. 354-363 : ill
https://doi.org/10.1016/j.future.2018.12.012
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
29
artikkel ajakirjas
Model-based verification with error localization and error correction for C designs
Repinski, Urmas
Программные продукты и системы = Programmnye produkty i sistemy = Software & systems
2012
/
p. 221-229 : ill
artikkel ajakirjas
30
artikkel kogumikus
Multi-modal biometric system security and privacy
Essen, Akim
;
Sorell, Matthew
;
Maennel, Olaf Manuel
Proceedings of the 5th Interdisciplinary Cyber Research Conference 2019 : 29th of June 2019, Tallinn University of Technology
2019
/
p. 30-32
https://www.ester.ee/record=b5238490*est
artikkel kogumikus
31
dissertatsioon
Mutation-based verification and error correction in high-level designs = Mutatsioonidel põhinev verifitseerimine ja vigade parandamine kõrgtaseme skeemides
Hantson, Hanno
2015
dissertatsioon
32
artikkel kogumikus
On reusability of verification assertions for testing
Jenihhin, Maksim
;
Raik, Jaan
Info- ja kommunikatsioonitehnoloogia doktorikooli IKTDK kolmanda aastakonverentsi artiklite kogumik : 25.-26. aprill 2008, Voore külalistemaja
2008
/
p. 43-46 : ill
artikkel kogumikus
33
artikkel kogumikus
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
34
artikkel kogumikus
On verification of the software development process
Kumlander, Deniss
Innovations and advances in computing, informatics, systems sciences, networking and engineering
2015
/
p. 339-343
http://dx.doi.org/10.1007/978-3-319-06773-5_45
artikkel kogumikus
35
artikkel ajakirjas
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
https://pld.ttu.ee/home/maksim/phd_papers/%5B11%5D%20latw%2708.pdf
artikkel ajakirjas
36
artikkel kogumikus
PSL assertions based verification with HLDD tools
Jenihhin, Maksim
Info- ja kommunikatsioonitehnoloogia doktorikooli IKTDK teise aastakonverentsi artiklite kogumik : 11.-12. mai 2007, Viinistu kunstimuuseum
2007
/
lk. 17-20 : ill
artikkel kogumikus
37
artikkel kogumikus
Reusing verification assertions as security checkers for Hardware Trojan detection
Eslami, Mohammad
;
Ghasempouri, Tara
;
Pagliarini, Samuel Nascimento
2022 23rd International Symposium on Quality Electronic Design (ISQED), Santa Clara, CA, USA : 06-07 April 2022
2022
/
p. 1-6 : ill
https://doi.org/10.1109/ISQED54688.2022.9806292
artikkel kogumikus
38
artikkel kogumikus
A security verification template to assess cache architecture vulnerabilities
Ghasempouri, Tara
;
Raik, Jaan
;
Paul, Kolin
;
Reinbrecht, Cezar
;
Hamdioui, Said
;
Taouil, M.
2020 23rd International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS), April 22nd – 24th 2020 Novi Sad, Serbia : Proceedings
2020
/
art. 9095707, 6 p
https://doi.org/10.1109/DDECS50862.2020.9095707
artikkel kogumikus
39
dissertatsioon
Selected issues of modeling, verification and testing of digital systems
Jutman, Artur
2004
https://www.ester.ee/record=b1989760*est
dissertatsioon
40
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Self-aware cyber-physical systems
Bellman, K.
;
Landauer, C.
;
Dutt, N.
;
Tammemäe, Kalle
ACM transactions on cyber-physical systems
2020
/
p. 1−26
https://doi.org/10.1145/3375716
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
41
dissertatsioon
Simulation-based hardware verification with high-level decision diagrams = Simuleerimisel põhinev riistvara verifitseerimine kõrgtaseme otsustusdiagrammidel
Jenihhin, Maksim
2008
https://www.ester.ee/record=b2431332*est
dissertatsioon
42
artikkel kogumikus
Situation awareness for networked systems
Preden, Jürgo-Sören
;
Mõtus, Leo
;
Meriste, Merik
;
Riid, Andri
2011 IEEE International Multi-Disciplinary Conference on Cognitive Methods in Situation Awareness and Decision Support : CogSIMA : Miami, USA, 22-24 Februar 2011
2011
/
p. 123-130 : ill
artikkel kogumikus
43
artikkel kogumikus
Testability analysis of digital design verification
Hahanov, V.
;
Kaminska, M.
;
Fomina, Jelena
BEC 2006 : 2006 International Baltic Electronics Conference : Tallinn University of Technology, October 2-4, 2006, Tallinn, Estonia : proceedings of the 10th Biennial Baltic Electronics Conference
2006
/
p. 171-174 : ill
artikkel kogumikus
44
artikkel kogumikus
Towards middleware based situation awareness
Mõtus, Leo
;
Meriste, Merik
;
Preden, Jürgo-Sören
Military Communications Conference - 2009 : MILCOM 2009 : 18-21 October 2009. 5th IEEE Workshop on Situation Management : SIMA 2009 : Boston, 19-21 October
2009
/
[7] p
https://ieeexplore.ieee.org/document/5379986
artikkel kogumikus
45
dissertatsioon
Two state space reduction techniques for explicit state model checking = Kaks olekuruumi kahandamise tehnikat olekute otseesitusega mudelikontrollis
Ernits, Juhan-Peep
2007
https://digi.lib.ttu.ee/i/?162
dissertatsioon
46
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Understanding multidimensional verification : where functional meets non-functional
Lai, Xinhui
;
Balakrishnan, Aneesh
;
Lange, Thomas
;
Jenihhin, Maksim
;
Ghasempouri, Tara
;
Raik, Jaan
;
Alexandrescu, Dan
Microprocessors and microsystems
2019
/
art. 102867, 13 p. : ill
https://doi.org/10.1016/j.micpro.2019.102867
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Seotud publikatsioonid
2
A synthetic, hierarchical approach for modelling and managing complex systems' quality and reliability = Sünteetiline, hierarhiline lähenemine keerukate süsteemide kvaliteedi ja töökindluse modelleerimiseks ja haldamiseks
Approaches to extra-functional verification of security and reliability aspects in hardware designs = Riistvaraprojektide turva- ja töökindlusaspektide ekstrafunktsionaalse verifitseerimise lähenemisviisid
47
artikkel kogumikus
Using test pattern generation tool decider in hardware verification
Viilukas, Taavi
;
Raik, Jaan
Info- ja kommunikatsioonitehnoloogia doktorikooli IKTDK teise aastakonverentsi artiklite kogumik : 11.-12. mai 2007, Viinistu kunstimuuseum
2007
/
lk. 166-169 : ill
artikkel kogumikus
48
artikkel ajakirjas
Validation, verification and testing of object-oriented programs
Tepandi, Jaak
;
Trausan-Matu, S.
Studies and researches in computers and informatics
1990
/
1, p. 113-128
artikkel ajakirjas
49
artikkel kogumikus
Verifiability experiences in government online voting systems
Puiggali, Jordi
;
Cucurull, Jordi
;
Guasch, Sandra
;
Krimmer, Robert Johannes
Electronic Voting : Second International Joint Conference, E-Vote-ID 2017 : Bregenz, Austria, October 24-27, 2017 : proceedings
2017
/
p. 248-263 : ill
http://dx.doi.org/10.1007/978-3-319-68687-5_15
artikkel kogumikus
50
raamat
Verification and error correction on High-Level Decision Diagrams
Karputkin, Anton
2013
raamat
Kirjeid leitud 53, kuvan
26 - 50
eelmine
1
2
3
järgmine
märksõna
1
1.
verifikatsioon
×
vaste
algab
lõpeb
sisaldab
reasta
Relevantsuse alusel
kasvavalt
kahanevalt
ilmumisaasta
autor
TTÜ struktuuriüksus
märksõna
seeria-sari
tema kohta
võtmesõna
Otsing
Valikud
0
ilmumisaasta
AND
OR
NOT
autor
AND
OR
NOT
TTÜ struktuuriüksus
AND
OR
NOT
märksõna
AND
OR
NOT
seeria-sari
AND
OR
NOT
tema kohta
AND
OR
NOT
võtmesõna
AND
OR
NOT