Toggle navigation
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Databases
Publications
Searching
My bookmarks
0
verifikatsioon (subject term)
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
Add criteria
Advanced search
filter
Clear
×
types of item
book
..
journal article
..
newspaper article
..
book article
..
dissertation
..
Open Access
..
Scientific publication
..
year
year of publication
Loading..
author
Loading..
TTÜ department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
70
Look more..
(1/1)
Export
export all inquiry results
(70)
Save TXT fail
Save PDF fail
print
Open for editing with marked entries
my bookmarks
display
Bibliographic view
Short view
sort
author ascending
author descending
year of publication ascending
year of publication descending
title ascending
title descending
1
book article
An automatic approach to evaluate assertions' quality based on data-mining metrics
Ghasempouri, Tara
;
Niazmand, Behrad
;
Raik, Jaan
Proceedings 2nd IEEE International Test Conference in Asia : ITC-Asia 2018, 15-17 August 2018, Harbin, China
2018
/
p. 61-66 : ill
https://doi.org/10.1109/ITC-Asia.2018.00021
book article
2
journal article
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
journal article
3
dissertation
Approaches to extra-functional verification of security and reliability aspects in hardware designs = Riistvaraprojektide turva- ja töökindlusaspektide ekstrafunktsionaalse verifitseerimise lähenemisviisid
Lai, Xinhui
2022
https://doi.org/10.23658/taltech.29/2022
https://digikogu.taltech.ee/et/Item/cff1aeb9-b0b2-49ce-b81a-bfb9dc25fd56
https://www.ester.ee/record=b5502807*est
dissertation
Seotud publikatsioonid
5
Towards multidimensional verification : where functional meets non-functional
PASCAL : timing SCA resistant design and verification flow
Early RTL analysis for SCA vulnerability in fuzzy extractors of memory-based PUF enabled devices
On antagonism between side-channel security and soft-error reliability in BNN inference engines
Understanding multidimensional verification : where functional meets non-functional
4
book article
ARTmine : automatic association rule mining with temporal behavior for hardware verification
Heidari Iman, Mohammad Reza
;
Jervan, Gert
;
Ghasempouri, Tara
2024 Design, Automation & Test in Europe Conference & Exhibition (DATE) : Valencia, Spain, 25-27 March 2024 : proceedings
2024
/
p. 1-6 : ill
https://ieeexplore.ieee.org/document/10546742
book article
Seotud publikatsioonid
1
Enhancing assertion-based verification in hardware designs through data mining algorithms = Andmekaeve algoritmide kasutamine riistvarasüsteemide väidete-põhise verifitseerimise parendamiseks
5
book article
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
https://pld.ttu.ee/~maksim/phd_papers/%5B12%5D%20wrtlt%2707.pdf
book article
6
journal article EST
/
journal article ENG
An automated method for mining high-quality assertion sets
Heidari Iman, Mohammad Reza
;
Raik, Jaan
;
Jenihhin, Maksim
;
Jervan, Gert
;
Ghasempouri, Tara
Microprocessors and microsystems
2023
/
art. 104773
https://doi.org/10.1016/j.micpro.2023.104773
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Seotud publikatsioonid
1
Enhancing assertion-based verification in hardware designs through data mining algorithms = Andmekaeve algoritmide kasutamine riistvarasüsteemide väidete-põhise verifitseerimise parendamiseks
7
book article
Autonomous driving validation and verification using digital twins
Pikner, Heiko
;
Malayjerdi, Mohsen
;
Bellone, Mauro
;
Baykara, Baris Cem
;
Sell, Raivo
Proceedings of the 10th International Conference on Vehicle Technology and Intelligent Transport Systems - VEHITS. Vol. 1
2024
/
p. 204-211
https://doi.org/10.5220/0012546400003702
book article
Seotud publikatsioonid
1
Cyber-physical control system for self-driving vehicles = Isejuhtivate sõidukite küberfüüsikaline juhtsüsteem
8
book article
Between qualification and certification : specifying and verifying model transformations in an embedded code generator
Toom, Andres
Info- ja kommunikatsioonitehnoloogia doktorikooli IKTDK neljanda aastakonverentsi artiklite kogumik : 26.-27. novembril 2010, Essu mõis
2010
/
lk. 109-112 : ill
book article
9
book article
Code coverage analysis on high level decision diagrams
Reinsalu, Uljana
Info- ja kommunikatsioonitehnoloogia doktorikooli IKTDK teise aastakonverentsi artiklite kogumik : 11.-12. mai 2007, Viinistu kunstimuuseum
2007
/
lk. 56-59 : ill
book article
10
book article
Comparison of different expert system verification criteria
Tepandi, Jaak
Abstracts of ECAI'90 Workshop on Verification and Test of Knowledge-Based Systems, Stockholm, August 7, 1990
1990
book article
11
book article
Comparison of different expert system verification criteria
Tepandi, Jaak
Validation, verification, and test of knowledge-based systems
1991
/
p. 49-62
book article
12
book article
Data exchange for shared situation awareness
Preden, Jürgo-Sören
;
Mõtus, Leo
;
Pahtma, Raido
;
Meriste, Merik
CogSIMA 2012 : 2012 IEEE International Multi-Disciplinary Conference on Cognitive Methods in Situation Awareness and Decision Support : [proceedings]
2012
/
p. 198-201 : ill
https://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=6188380
book article
13
book article
Development and verification of control and protection algorithms for the special purpose high power converters
Roasto, Indrek
;
Vinnikov, Dmitri
;
Vodovozov, Valery
Intelligent Technologies in Logistics and Mechatronics Systems : ITELMS'2008 : proceedings of the 3rd International Workshop : May 22-23, 2008, Panevežys, Lithuania
2008
/
p. 23-27 : ill
book article
14
book article
Development of a validation regime for an autonomous campus shuttle
Medrano-Berumen, Christopher
;
Malayjerdi, Mohsen
;
Ilhan Akbas, Mustafa
;
Sell, Raivo
IEEE SoutheastCon 2020, Raleigh, NC, 28-29 March 2020 : IEEE Region 3's annual conference : virtual : proceedings
2020
/
8 p
https://doi.org/10.1109/SoutheastCon44009.2020.9249692
book article
Seotud publikatsioonid
1
Scenario-based validation of safety and performance of an autonomous vehicle by a software in loop simulation method = Autonoomse sõiduki ohutuse ja jõudluse stsenaariumipõhine valideerimine tsüklisimulatsiooni meetodi abil
15
book article
Diagnosis and correction of multiple design errors using critical path tracing and mutation analysis
Hantson, Hanno
;
Repinski, Urmas
;
Raik, Jaan
;
Jenihhin, Maksim
;
Ubar, Raimund-Johannes
LATW 2012 : 13th IEEE Latin-American Test Workshop proceedings : April 10th-13th, 2012, Quito, Ecuador
2012
/
[6 p.] : ill
https://ieeexplore.ieee.org/document/6261234
book article
16
dissertation
Enhancing assertion-based verification in hardware designs through data mining algorithms = Andmekaeve algoritmide kasutamine riistvarasüsteemide väidete-põhise verifitseerimise parendamiseks
Heidari Iman, Mohammad Reza
2024
https://digikogu.taltech.ee/et/Item/622f3660-e890-454d-aa85-7cc505557f77
https://doi.org/10.23658/taltech.37/2024
https://www.ester.ee/record=b5694015*est
dissertation
Seotud publikatsioonid
5
An automated method for mining high-quality assertion sets
IMMizer : an innovative cost-effective method for minimizing assertion sets
Processor vulnerability detection with the aid of assertions : RISC-V case study
ADAssure : debugging methodology for autonomous driving control algorithms
ARTmine : automatic association rule mining with temporal behavior for hardware verification
17
book article
Experiments with travelling wave transients for verification of suitability of sensor
Kütt, Lauri
;
Järvik, Jaan
11th International Symposium "Topical Problems in the Field of Electrical and Power Engineering." Doctoral School of Energy and Geotechnology II : Pärnu, Estonia, January 16-21, 2012
2012
/
p. 149-152 : ill
book article
18
book article
Exploiting aspects in model-based testing
Sarna, Külli
;
Vain, Jüri
FOAL'12 : proceedings of the eleventh workshop on Foundations of Aspect-Oriented Languages : March 26, 2012, Potsdam, German
2012
/
p. 45-47 : ill
https://www.researchgate.net/publication/254007794_Exploiting_aspects_in_model-based_testing
book article
19
dissertation
Fault simulation and code coverage analysis of RTL designs using high-level decision diagrams = Rikete simuleerimine ja koodikatte analüüs register-siirde tasemel kasutades kõrgtaseme otsustusdiagramme
Reinsalu, Uljana
2013
https://www.ester.ee/record=b2963595*est
dissertation
20
book
Formal Techniques for Networked and Distributed Systems - FORTE 2007 : 27th IFIP WG 6.1 International Conference : Tallinn, Estonia, June 27-29, 2007 : proceedings
Derrick, John
;
Vain, Jüri
2007
https://www.ester.ee/record=b2286028*est
book
21
dissertation
Formal verification and error correction on high-level decision diagrams = Formaalne verifitseerimine ja vigade parandamine kõrgtasemelistel otsustusdiagrammidel
Karputkin, Anton
2012
dissertation
22
book article EST
/
book article ENG
Formal verification of COLREG-Based Navigation of maritime autonomous systems
Shokri-Manninen, Fatima
;
Vain, Jüri
;
Walden, Marina
Software Engineering and Formal Methods : 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14-18, 2020 : Proceedings
2020
/
p. 41-59
https://doi.org/10.1007/978-3-030-58768-0_3
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
book article EST
/
book article ENG
23
journal article
Formal verification of the binary exponential backoff protocol
Hooman, Jozef
Proceedings of the Estonian Academy of Sciences. Engineering
1998
/
2, p. 89-105
journal article
24
journal article
A framework for modelling, verification and transformation of concurrent imperative programs
Bortin, Maksym
arXiv.org
2020
/
57 p
https://arxiv.org/abs/2007.02261
https://doi.org/10.48550/arXiv.2007.02261
journal article
25
journal article EST
/
journal article ENG
A global survey of standardization and industry practices of automotive cybersecurity validation and verification testing processes and tools
Roberts, Andrew
;
Marksteiner, Stefan
;
Soyturk, Mujdat
;
Yaman, Berkay
;
Yang, Yi
SAE international journal of connected and automated vehicles
2023
/
art. 12-07-02-0013
https://doi.org/10.4271/12-07-02-0013
Journal metrics at Scopus
Article at Scopus
journal article EST
/
journal article ENG
Number of records 70, displaying
1 - 25
previous
1
2
3
next
subject term
1
1.
verifikatsioon
×
vaste
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TTÜ department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TTÜ department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT