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
formal methods (võtmesõna)
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
12
Vaata veel..
(1/108)
Ekspordi
ekspordi kõik päringu tulemused
(12)
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 EST
/
artikkel ajakirjas ENG
Automated identification of application-dependent safe faults in automotive systems-on-a-chips
Bagbaba, Ahmet Cagri
;
Augusto da Silva, Felipe
;
Sonza Reorda, Matteo
;
Hamdioui, Said
;
Jenihhin, Maksim
;
Sauer, Christian
Electronics
2022
/
art. 319
https://doi.org/10.3390/electronics11030319
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Seotud publikatsioonid
1
Methods to optimize functional safety assessment for automotive integrated circuits = Meetodid autotööstuse kiipide funktsionaalse ohutuse hindamise optimeerimiseks
2
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
3
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Design of Cyber Bio-analytical Physical Systems : formal methods, architectures, and multi-system interaction strategies
Ashraf, Kanwal
;
Le Moullec, Yannick
;
Pardy, Tamas
;
Rang, Toomas
Microprocessors and microsystems
2023
/
art. 104780, 14 p. : ill
https://doi.org/10.1016/j.micpro.2023.104780
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Seotud publikatsioonid
1
Co-design of wireless networked control systems : model-based architecture and joint optimization = Juhtmevabade võrgustatud juhtimissüsteemide koosdisain : mudelipõhine arhitektuur ja ühisoptimeerimine
4
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
5
artikkel kogumikus
Developing multi-view Contracts using Event-B and Uppaal Timed Automata
Vain, Jüri
;
Tsiopoulos, Leonidas
;
Guin, Jishu
2016 21st International Conference on Engineering of Complex Computer Systems : ICECCS 2016 : Dubai, United Arab Emirates, 6-8 November 2016 : proceedings
2016
/
p. 126-134 : ill
https://doi.org/10.1109/ICECCS.2016.024
artikkel kogumikus
6
artikkel ajakirjas
DTRON : a tool for distributed model-based testing of time critical applications
Anier, Aivo
;
Vain, Jüri
;
Tsiopoulos, Leonidas
Proceedings of the Estonian Academy of Sciences
2017
/
p. 75-88 : ill
https://doi.org/10.3176/proc.2017.1.08
http://www.ester.ee/record=b2355998*est
artikkel ajakirjas
7
artikkel kogumikus
Efficient methodology for ISO26262 functional safety verification
Augusto da Silva, Felipe
;
Bagbaba, Ahmet Cagri
;
Hamdioui, Said
;
Sauer, Christian
2019 IEEE 25th International Symposium on On-Line Testing and Robust System Design (IOLTS), 1-3 July 2019, Rhodes, Greece
2019
/
p. 255-256
https://doi.org/10.1109/IOLTS.2019.8854449
artikkel kogumikus
Seotud publikatsioonid
1
Methods to optimize functional safety assessment for automotive integrated circuits = Meetodid autotööstuse kiipide funktsionaalse ohutuse hindamise optimeerimiseks
8
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
9
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
10
artikkel kogumikus
Reflection, rewinding, and coin-toss in EasyCrypt
Firsov, Denis
;
Unruh, Dominique
CPP 2022 - Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2022
2022
/
p. 166-179
https://doi.org/10.1145/3497775.3503693
artikkel kogumikus
11
artikkel kogumikus EST
/
artikkel kogumikus ENG
Unsatisfiability of comparison-based non-malleability for commitments
Firsov, Denis
;
Laur, Sven
;
Zhuchko, Ekaterina
Theoretical Aspects of Computing - ICTAC 2022 : 19th International Colloquium, Tbilisi, Georgia, September 27-30, 2022 : proceedings
2022
/
p. 188–194
https://doi.org/10.1007/978-3-031-17715-6_13
Conference Proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
12
artikkel ajakirjas
Utilizing Continuous Time Markov Chain for analyzing video-on-demand streaming in multimedia systems
Ghosh, Debjani
;
Pandey, Mayank
;
Gautam, Chakrapani
;
Vidyarthi, Ankit
;
Sharma, Rahul
;
Draheim, Dirk
Expert Systems with Applications
2023
/
art. 119857, 24 p.: ill
https://doi.org/10.1016/j.eswa.2023.119857
artikkel ajakirjas
Kirjeid leitud 12, kuvan
1 - 12
võtmesõna
108
1.
formal methods
2.
Automata, Formal Verification
3.
Formal
4.
formal and combined safety elements
5.
formal and informal
6.
formal concept analysis
7.
formal education
8.
formal ferification
9.
formal language theory
10.
formal logic
11.
formal PMS
12.
formal rationality
13.
formal reasoning
14.
formal revolution
15.
formal semantics
16.
formal specification
17.
formal verification
18.
mandatory formal concepts
19.
non-formal education
20.
rigorous formal diagrammatic system
21.
top-K formal concepts
22.
active learning methods
23.
algebraic methods
24.
algebraic/geometric methods
25.
an ensemble of compression methods
26.
analysis methods
27.
analytical methods
28.
approximate methods
29.
approximation methods
30.
assessment methods
31.
Backstepping methods
32.
calculation methods
33.
Cesaro methods
34.
chemometric methods
35.
computational design methods
36.
control methods
37.
decontamination methods
38.
design methods
39.
diagnostics methods
40.
didactic methods
41.
digital methods
42.
Euler-Knopp methods
43.
excavation methods
44.
finite-element (FE) methods
45.
finite-element methods
46.
finite-element methods (FEM)
47.
flow assessment methods
48.
Gauss-Newton-type methods
49.
Gauss–Newton-type methods
50.
generalized Nörlund methods
51.
geometric methods
52.
integration methods
53.
interaction methods
54.
interactive teaching methods
55.
interpretation methods
56.
invasive methods
57.
inverse methods
58.
inverse methods for engineering applications
59.
linear and nonlinear unsupervised methods
60.
material characterization methods
61.
Mathematical methods
62.
matrix methods
63.
methods
64.
methods of measuring
65.
methods of study
66.
mixed methods
67.
mixed-methods
68.
model-free methods
69.
modulation methods
70.
Monte Carlo methods
71.
nearest neighbor methods
72.
numerical methods
73.
optimization methods
74.
outlier’s detection methods
75.
physico-chemical methods
76.
plan-driven methods
77.
polynomial methods
78.
practical teaching methods
79.
prediction methods
80.
pseudospectral methods
81.
qualitative methods
82.
qualitative research methods
83.
regular matrix methods
84.
research methods
85.
sampling methods
86.
selection methods
87.
separation methods
88.
shootthrough control methods
89.
shoot-through control methods
90.
stability prediction methods
91.
standardized methods
92.
state space methods
93.
Statistical methods
94.
statistics methods
95.
substation testing methods
96.
Taguchi methods
97.
teaching methods
98.
testing methods
99.
timber construction (construction methods)
100.
tracer gas methods
101.
transmission line matrix methods
102.
variational methods
103.
verification methods
104.
visual methods
105.
visualization design and evaluation methods
106.
X-ray methods
107.
X-ray methods B
108.
finite element 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