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
Advanced search
My bookmarks
0
formaalsed meetodid (informaatika) (subject term)
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
Add criteria
Simple 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
8
Look more..
(4/38)
Export
export all inquiry results
(8)
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
journal article EST
/
journal article 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
journal article EST
/
journal article ENG
Seotud publikatsioonid
1
Methods to optimize functional safety assessment for automotive integrated circuits = Meetodid autotööstuse kiipide funktsionaalse ohutuse hindamise optimeerimiseks
2
book article
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
book article
Seotud publikatsioonid
1
Methods to optimize functional safety assessment for automotive integrated circuits = Meetodid autotööstuse kiipide funktsionaalse ohutuse hindamise optimeerimiseks
3
journal article EST
/
journal article 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
journal article EST
/
journal article 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
book article
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
book article
Seotud publikatsioonid
1
Methods to optimize functional safety assessment for automotive integrated circuits = Meetodid autotööstuse kiipide funktsionaalse ohutuse hindamise optimeerimiseks
5
book article
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
book article
Seotud publikatsioonid
1
Methods to optimize functional safety assessment for automotive integrated circuits = Meetodid autotööstuse kiipide funktsionaalse ohutuse hindamise optimeerimiseks
6
book article
Model checking in planning resource-sharing based manufacturing
Otto, Tauno
;
Vain, Jüri
Information Control Problems in Manufacturing 2006 : a proceedings volume from the 12th IFAC International Symposium : St.Etienne, France. 2
2006
/
p. 523-528
https://www.sciencedirect.com/science/article/pii/S1474667015359991
book article
7
book article
Model checking in planning resource-sharing based manufacturing
Otto, Tauno
;
Vain, Jüri
12th IFAC Symposium on Information Control Problems in Manufacturing : preprints. Vol. II, Industrial Engineering
2006
/
p. 535-540
https://www.sciencedirect.com/science/article/pii/S1474667015359991
book article
8
book article
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
book article
Number of records 8, displaying
1 - 8
subject term
33
1.
formaalsed meetodid (informaatika)
2.
analüütilised meetodid
3.
deduktiivsed meetodid
4.
elektromagnetilised meetodid
5.
empiirilised meetodid
6.
füüsikalised meetodid
7.
geokeemilised meetodid
8.
graafilised meetodid
9.
matemaatilised meetodid
10.
meetodid
11.
mitteparameetrilised meetodid
12.
Monte Carlo meetodid
13.
objektorienteeritud meetodid
14.
optilised meetodid
15.
parameetrilised meetodid
16.
seismilised meetodid
17.
statistilised meetodid
18.
arhetüübid (informaatika)
19.
Eesti Teaduste Akadeemia. Informaatika ja tehnikateaduste osakond
20.
hiired (informaatika)
21.
informaatika
22.
jõudlus (informaatika)
23.
komponendid (informaatika)
24.
konverteerimine (informaatika)
25.
lähtekood (informaatika)
26.
ontoloogiad (informaatika)
27.
sidumine (informaatika)
28.
silumine (informaatika)
29.
skriptid (informaatika)
30.
sortimine (informaatika)
31.
teegid (informaatika)
32.
tehingutöötlus (informaatika)
33.
tulemüürid (informaatika)
TTÜ department
3
1.
informaatika ja arvutustehnika täiendusõppeteaduskond
2.
informaatika kateeder
3.
informaatika täiendusõppeteaduskond
keyword
1
1.
makroökonoomika meetodid
author
1
1.
Jürgenson, Rein (informaatika)
×
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