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
Liitotsing
Valitud kirjed
0
Porres, Ivan (autor)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
—
Lisa tingimus
Lihtotsing
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
4
Vaata veel..
(3/64)
Ekspordi
ekspordi kõik päringu tulemused
(4)
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
Early detection of network attacks using deep learning
Ahmad, Tanwir
;
Truscan, Dragos
;
Vain, Jüri
;
Porres, Ivan
2022 IEEE 15th International Conference on Software Testing, Verification andValidation Workshops : ICSTW 2022, 4–13 April 2022, Virtual Event : proceedings
2022
/
p. 30-39
https://doi.org/10.1109/ICSTW55395.2022.00020
https://arxiv.org/pdf/2201.11628.pdf
artikkel kogumikus
2
artikkel kogumikus EST
/
artikkel kogumikus ENG
Reconstructing timed symbolic traces from rtioco-based timed test sequences using backward induction
Iqbal, Junaid
;
Truscan, Dragos
;
Vain, Jüri
;
Porres, Ivan
Proceedings of the Fifth European Conference on the Engineering of Computer-Based Systems
2017
/
10 pages : ill
https://doi.org/10.1145/3123779.3123813
Conference proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
3
raamat
The Crisis Management System - a case study on aspect-oriented modelling with UPPAAL
Iqbal, Junaid
;
Truscan, Dragos
;
Porres, Ivan
;
Tsiopoulos, Leonidas
;
Vain, Jüri
2016
http://tucs.fi/publications/view/?pub_id=tIqTsTrVaPo16a
raamat
4
artikkel kogumikus
A two-phase metamorphic approach for testing industrial control systems
Sudheerbabu, Gaadha
;
Ahmad, Tanwir
;
Sebek, Filip
;
Truscan, Dragos
;
Vain, Jüri
;
Porres, Ivan
2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA) : proceedings
2022
/
4 p
https://doi.org/10.1109/ETFA52439.2022.9921439
artikkel kogumikus
Kirjeid leitud 4, kuvan
1 - 4
autor
45
1.
Porres, Ivan
2.
Bandurin, Ivan
3.
Bodnar, Ivan
4.
Boevsky, Ivan
5.
Borodavtšenko, Ivan
6.
Borozan, Ivan
7.
Brandic, Ivan
8.
Chodak, Ivan
9.
Dakov, Ivan
10.
Di Liberti, Ivan
11.
Giorgio, Ivan
12.
Halasz, Ivan
13.
Hlukhov, Ivan
14.
Ivan, Jozef
15.
Jegorov, Ivan
16.
Järving, Ivan
17.
Kaban, Ivan
18.
Kalinich, Ivan
19.
Karatnyk, Ivan
20.
Klevtsov, Ivan
21.
Knyzhnyk, Ivan
22.
Kohutek, Ivan
23.
Krivokorin, Ivan
24.
Kuprijanov, Ivan
25.
Kuznietsov, Ivan
26.
Lavrentjev, Ivan
27.
Lopes, Sergio Ivan
28.
Lopes, Sérgio Ivan
29.
Lozev, Ivan
30.
Mora-Sero, Ivan
31.
Ovchinnikov, Ivan
32.
Satsuta, Ivan
33.
Semenyuta, Ivan
34.
Semivelichenko, Ivan
35.
Sertakov, Ivan
36.
Shanenkov, Ivan
37.
Slobozhan, Ivan
38.
Sukhanov, Ivan
39.
Symotiuk, Ivan
40.
Sysak, Ivan
41.
Zaikin, Ivan
42.
Timko, Ivan
43.
Vargas Alvarez del Castillo, Carlos Ivan
44.
Vasilevsky, Ivan S.
45.
Wojsiat, Ivan Tito
CV
14
1.
Arutjunov, Ivan 1942
2.
Barinov, Ivan
3.
Dratšov, Ivan 1921-1989
4.
Godoy Torres, Boris Ivan 1975
5.
Klevtsov, Ivan 1947
6.
Krasavin, Ivan 1934
7.
Krivokorin, Ivan 1997
8.
Kuprijanov, Ivan 1986
9.
Podmogilnõi, Ivan 1920-1976
10.
Puumann, Ivan
11.
Shelykh, Ivan A.
12.
Sukhanov, Ivan 1992
13.
Tellinen, Ivan Ivani p
14.
Torres, Boris Ivan Godoy
tema kohta
5
1.
Reinwald, Ivan, (kuni 1935 Reinwaldt, Ivan), 1878-1941
2.
Illich, Ivan
3.
Klevtsov, Ivan
4.
Kuprijanov, Ivan
5.
Semivelichenko, Ivan
×
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