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
Searching
My bookmarks
0
formal methods (keyword)
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
Add criteria
Advanced 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
12
Look more..
(1/115)
Export
export all inquiry results
(12)
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
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
book article
6
journal article
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
journal article
7
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
8
book article EST
/
book article 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
book article EST
/
book article ENG
9
book article
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
book article
10
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
11
book article EST
/
book article 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
book article EST
/
book article ENG
12
journal article EST
/
journal article ENG
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
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Number of records 12, displaying
1 - 12
keyword
115
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.
ab-initio methods
23.
active learning methods
24.
algebraic methods
25.
algebraic/geometric methods
26.
an ensemble of compression methods
27.
analysis methods
28.
analytical methods
29.
approximate methods
30.
approximation methods
31.
assessment methods
32.
Backstepping methods
33.
calculation methods
34.
Cesaro methods
35.
chemometric methods
36.
computational design methods
37.
control methods
38.
decontamination methods
39.
Design and assessment methods
40.
design methods
41.
diagnostics methods
42.
didactic methods
43.
digital methods
44.
electronic structure methods
45.
Euler-Knopp methods
46.
excavation methods
47.
extraction and detection methods
48.
finite-element (FE) methods
49.
finite-element methods
50.
finite-element methods (FEM)
51.
flow assessment methods
52.
frontier methods
53.
Gauss-Newton-type methods
54.
Gauss–Newton-type methods
55.
generalized Nörlund methods
56.
geometric methods
57.
integration methods
58.
interaction methods
59.
interactive teaching methods
60.
interpretation methods
61.
invasive methods
62.
inverse methods
63.
inverse methods for engineering applications
64.
linear and nonlinear unsupervised methods
65.
material characterization methods
66.
Mathematical methods
67.
matrix methods
68.
methods
69.
methods of measuring
70.
methods of study
71.
Methods: statistical
72.
mixed methods
73.
mixed-methods
74.
model-free methods
75.
modulation methods
76.
Monte Carlo methods
77.
nearest neighbor methods
78.
numerical methods
79.
optimization methods
80.
outlier’s detection methods
81.
physico-chemical methods
82.
plan-driven methods
83.
polynomial methods
84.
practical teaching methods
85.
prediction methods
86.
pseudospectral methods
87.
qualitative methods
88.
qualitative research methods
89.
quantitative methods
90.
regular matrix methods
91.
research methods
92.
sampling methods
93.
selection methods
94.
separation methods
95.
shootthrough control methods
96.
shoot-through control methods
97.
stability prediction methods
98.
standardized methods
99.
state space methods
100.
Statistical methods
101.
statistics methods
102.
substation testing methods
103.
Taguchi methods
104.
teaching methods
105.
testing methods
106.
timber construction (construction methods)
107.
tracer gas methods
108.
transmission line matrix methods
109.
variational methods
110.
verification methods
111.
visual methods
112.
visualization design and evaluation methods
113.
X-ray methods
114.
X-ray methods B
115.
finite element methods
×
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