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
verification (võtmesõ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
18
Vaata veel..
(1/30)
Ekspordi
ekspordi kõik päringu tulemused
(18)
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
1
artikkel kogumikus
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
artikkel kogumikus
2
artikkel kogumikus
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
artikkel kogumikus
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
3
artikkel kogumikus
Combining fault analysis technologies for ISO26262 functional safety verification
Augusto da Silva, Felipe
;
Bagbaba, Ahmet Cagri
;
Hamdioui, Said
;
Sauer, Christian
2019 IEEE 28th Asian Test Symposium (ATS) : 10–13 December 2019, Kolkata, India : proceedings
2019
/
p. 129–134 : ill
https://doi.org/10.1109/ATS47505.2019.00024
artikkel kogumikus
Seotud publikatsioonid
1
Methods to optimize functional safety assessment for automotive integrated circuits = Meetodid autotööstuse kiipide funktsionaalse ohutuse hindamise optimeerimiseks
4
artikkel kogumikus
Design understanding : from logic to specification
Fey, Goerschwin
;
Ghasempouri, Tara
;
Jacobs, Swen
;
Raik, Jaan
Proceedings of the 2018 IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC) : October 8-10, 2018, Verona, Italy
2018
/
p. 172–175 : ill
https://doi.org/10.1109/VLSI-SoC.2018.8644732
artikkel kogumikus
5
artikkel kogumikus
Determined-safe faults identification : a step towards ISO26262 hardware compliant designs
Augusto da Silva, Felipe
;
Bagbaba, Ahmet Cagri
;
Sartoni, Sandro
;
Cantoro, Riccardo
;
Sonza Reorda, Matteo
;
Hamdioui, Said
;
Sauer, Christian
2020 25th IEEE European Test Symposium (ETS)
2020
/
6 p. : ill
https://doi.org/10.1109/ETS48528.2020.9131568
artikkel kogumikus
Seotud publikatsioonid
1
Methods to optimize functional safety assessment for automotive integrated circuits = Meetodid autotööstuse kiipide funktsionaalse ohutuse hindamise optimeerimiseks
6
artikkel kogumikus
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
artikkel kogumikus
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
7
artikkel kogumikus EST
/
artikkel kogumikus ENG
Energy-efficient multi-fragment Markov model guided online model-based testing for MPSoC
Vain, Jüri
;
Tsiopoulos, Leonidas
;
Kharchenko, Vyacheslav
;
Apneet Kaur
;
Jenihhin, Maksim
;
Raik, Jaan
;
Nõmm, Sven
Green IT Engineering: Social, Business and Industrial Applications
2019
/
p. 273-297
https://doi.org/10.1007/978-3-030-00253-4_12
Article collection at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
8
artikkel kogumikus EST
/
artikkel kogumikus 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
artikkel kogumikus EST
/
artikkel kogumikus ENG
9
artikkel kogumikus
A hierarchical approach for devising area efficient concurrent online checkers
Niazmand, Behrad
;
Azad, Siavoosh Payandeh
;
Ghasempouri, Tara
;
Raik, Jaan
;
Jervan, Gert
Proceedings 2nd IEEE International Test Conference in Asia : ITC-Asia 2018, 15-17 August 2018, Harbin, China
2018
/
p. 139-144 : ill
https://doi.org/10.1109/ITC-Asia.2018.00034
artikkel kogumikus
10
artikkel kogumikus EST
/
artikkel kogumikus ENG
Integration of iUML-B and UPPAAL timed automata for development of real-time systems with concurrent processes
Shokri-Manninen, Fatima
;
Tsiopoulos, Leonidas
;
Vain, Jüri
;
Walden, Marina
Rigorous State-Based Methods 7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020 : proceedings
2020
/
p. 186-202
https://doi.org/10.1007/978-3-030-48077-6_13
Conference proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
11
artikkel kogumikus
Model checking in pattern based control systems design [Electronic resource]
Vain, Jüri
;
Ernits, Juhan-Peep
Proceedings of the 15th IFAC World Congress : Barcelona, Spain, 2002
2002
/
[6] p. : ill. [CD-ROM]
artikkel kogumikus
12
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
13
artikkel kogumikus
Multi-fragment Markov model guided online test generation for MPSoC
Vain, Jüri
;
Tsiopoulos, Leonidas
;
Kharchenko, Vyacheslav
;
Apneet Kaur
;
Jenihhin, Maksim
;
Raik, Jaan
ICTERI 2017 : ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer : proceedings of the 13th International Conference on ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer, Kyiv, Ukraine, May 15-18, 2017
2017
/
p. 594-607 : ill
http://www.scopus.com/inward/record.uri?eid=2-s2.0-85020540459&partnerID=40&md5=af226e25c344c52689f23bf5c39cc267
http://ceur-ws.org/Vol-1844/10000594.pdf
artikkel kogumikus
14
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
15
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
16
artikkel kogumikus
RESCUE EDA Toolset for interdependent aspects of reliability, security and quality in nanoelectronic systems design
Gürsoy, Cemil Cem
;
Cardoso Medeiros, Guilherme
;
Chen, Juanho
;
Balakrishnan, Aneesh
;
Lai, Xinhui
;
Bagbaba, Ahmet Cagri
;
Raik, Jaan
;
Jenihhin, Maksim
DATE 2019
2019
/
1 p. : ill
https://doi.org/10.5281/zenodo.3362529
https://past.date-conference.com/
artikkel kogumikus
17
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
18
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
Kirjeid leitud 18, kuvan
1 - 18
võtmesõna
30
1.
verification, assertion-based verification, automatic assertion mining, data mining, association rule mining
2.
assertion-based verification
3.
Automata, Formal Verification
4.
Automatic Security Verification
5.
automatic speaker verification
6.
compliance verification
7.
compositional verification
8.
deductive verification
9.
extra-functional verification
10.
forecast verification
11.
formal verification
12.
functional verification
13.
grid verification
14.
Hardware Verification
15.
model verification
16.
model-based verification
17.
power verification
18.
program verification
19.
reliability verification
20.
RISC-V Security Verification
21.
security verification
22.
simple payment verification (SVP)
23.
simulation-based verification
24.
speaker verification
25.
timing verification
26.
validation and verification
27.
verification
28.
verification and validation
29.
verification by model checking
30.
verification methods
×
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