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
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..
Kirjeid leitud
17
Vaata veel..
(0/0)
Ekspordi
ekspordi kõik päringu tulemused
(17)
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 ajakirjas
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
artikkel ajakirjas
2
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
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
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
http://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
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
7
artikkel kogumikus
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
artikkel kogumikus
8
artikkel kogumikus
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
artikkel kogumikus
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
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
artikkel kogumikus
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 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
13
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
14
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
15
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, Xinhu
;
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
16
artikkel ajakirjas
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.
artikkel ajakirjas
17
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 17, kuvan
1 - 17
×
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