Otsing - TalTech teadusportaal

Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English

Publikatsioonid

Publikatsioonid

Otsing

Valitud kirjed 0

formal methods (võtmesõna)

—

—

—

—

Lisa tingimus Liitotsing filter

Tühista

teaviku laadid

raamat ..

artikkel ajakirjas ..

artikkel ajalehes ..

artikkel kogumikus ..

dissertatsioon ..

Open Access ..

Teaduspublikatsioon ..

aasta

Toon andmeid..

Toon andmeid..

TTÜ struktuuriüksus

Toon andmeid..

Toon andmeid..

Toon andmeid..

Toon andmeid..

Toon andmeid..

Tühista

Kirjeid leitud 13
Vaata veel.. (1/134)
Ekspordi

ekspordi kõik päringu tulemused (13)
Salvesta TXT fail

Salvesta PDF fail

prindi
Märgitud kirjetega toimetamiseks ava valitud kirjed

kuva

reasta
1

artikkel ajakirjas EST / artikkel ajakirjas ENG

Automated identification of application-dependent safe faults in automotive systems-on-a-chipsBagbaba, Ahmet Cagri; Augusto da Silva, Felipe; Sonza Reorda, Matteo; Hamdioui, Said; Jenihhin, Maksim; Sauer, ChristianElectronics2022 / 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 verificationAugusto da Silva, Felipe; Bagbaba, Ahmet Cagri; Hamdioui, Said; Sauer, Christian2019 IEEE 28th Asian Test Symposium (ATS) : 10–13 December 2019, Kolkata, India : proceedings2019 / 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 strategiesAshraf, Kanwal; Le Moullec, Yannick; Pardy, Tamas; Rang, ToomasMicroprocessors and microsystems2023 / 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 designsAugusto da Silva, Felipe; Bagbaba, Ahmet Cagri; Sartoni, Sandro; Cantoro, Riccardo; Sonza Reorda, Matteo; Hamdioui, Said; Sauer, Christian2020 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 AutomataVain, Jüri; Tsiopoulos, Leonidas; Guin, Jishu2016 21st International Conference on Engineering of Complex Computer Systems : ICECCS 2016 : Dubai, United Arab Emirates, 6-8 November 2016 : proceedings2016 / p. 126-134 : ill https://doi.org/10.1109/ICECCS.2016.024

artikkel kogumikus
6

artikkel ajakirjas EST / artikkel ajakirjas ENG

DTRON : a tool for distributed model-based testing of time critical applicationsAnier, Aivo; Vain, Jüri; Tsiopoulos, LeonidasProceedings of the Estonian Academy of Sciences2017 / p. 75-88 : ill https://doi.org/10.3176/proc.2017.1.08 http://www.ester.ee/record=b2355998*est Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG
7

artikkel kogumikus

Efficient methodology for ISO26262 functional safety verificationAugusto da Silva, Felipe; Bagbaba, Ahmet Cagri; Hamdioui, Said; Sauer, Christian2019 IEEE 25th International Symposium on On-Line Testing and Robust System Design (IOLTS), 1-3 July 2019, Rhodes, Greece2019 / 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 MPSoCVain, Jüri; Tsiopoulos, Leonidas; Kharchenko, Vyacheslav; Apneet Kaur; Jenihhin, Maksim; Raik, Jaan; Nõmm, SvenGreen IT Engineering: Social, Business and Industrial Applications2019 / 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 EST / artikkel kogumikus ENG

Multi-fragment Markov model guided online test generation for MPSoCVain, Jüri; Tsiopoulos, Leonidas; Kharchenko, Vyacheslav; Apneet Kaur; Jenihhin, Maksim; Raik, JaanICTERI 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, 20172017 / 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 Conference proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG
10

artikkel kogumikus

Reflection, rewinding, and coin-toss in EasyCryptFirsov, Denis; Unruh, DominiqueCPP 2022 - Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 20222022 / p. 166-179 https://doi.org/10.1145/3497775.3503693

artikkel kogumikus
11

artikkel kogumikus

Zero-knowledge in EasyCryptFirsov, Denis; Unruh, Dominique2023 IEEE 36th Computer Security Foundations Symposium : CSF 2023 : proceedings2023 / 16 p. https://doi.org/10.1109/CSF57540.2023.00015

artikkel kogumikus
12

artikkel kogumikus EST / artikkel kogumikus ENG

Unsatisfiability of comparison-based non-malleability for commitmentsFirsov, Denis; Laur, Sven; Zhuchko, EkaterinaTheoretical Aspects of Computing - ICTAC 2022 : 19th International Colloquium, Tbilisi, Georgia, September 27-30, 2022 : proceedings2022 / 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
13

artikkel ajakirjas EST / artikkel ajakirjas ENG

Utilizing Continuous Time Markov Chain for analyzing video-on-demand streaming in multimedia systemsGhosh, Debjani; Pandey, Mayank; Gautam, Chakrapani; Vidyarthi, Ankit; Sharma, Rahul; Draheim, DirkExpert Systems with Applications2023 / 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

artikkel ajakirjas EST / artikkel ajakirjas ENG

Kirjeid leitud 13, kuvan 1 - 13

1. formal methods
2. Automata, Formal Verification
3. Formal
4. formal and combined safety elements
5. formal and informal
6. formal category theory
7. formal concept analysis
8. formal education
9. formal ferification
10. formal language theory
11. formal languages
12. formal logic
13. formal PMS
14. formal rationality
15. formal reasoning
16. formal revolution
17. formal semantics
18. formal specification
19. formal verification
20. mandatory formal concepts
21. non-formal education
22. rigorous formal diagrammatic system
23. top-K formal concepts
24. ab-initio methods
25. active learning methods
26. algebraic methods
27. algebraic/geometric methods
28. an ensemble of compression methods
29. analysis methods
30. analytical methods
31. approximate methods
32. approximation methods
33. assessment methods
34. Backstepping methods
35. biology experimental methods
36. calculation methods
37. casting methods
38. Cesaro methods
39. chemometric methods
40. computational design methods
41. computational methods
42. computer aided methods
43. computer vision-based methods
44. control methods
45. decontamination methods
46. deep learning methods
47. Design and assessment methods
48. design methods
49. detection methods
50. diagnostics methods
51. didactic methods
52. digital methods
53. electronic structure methods
54. ensemble methods
55. Euler-Knopp methods
56. excavation methods
57. extraction and detection methods
58. finite-element (FE) methods
59. finite-element methods
60. finite-element methods (FEM)
61. finite-element methods (FEMs)
62. flow assessment methods
63. frontier methods
64. Gauss-Newton-type methods
65. Gauss–Newton-type methods
66. generalized Nörlund methods
67. geometric methods
68. graphic methods
69. hybrid methods
70. integration methods
71. interaction methods
72. interactive teaching methods
73. interpretation methods
74. invasive methods
75. inverse methods
76. inverse methods for engineering applications
77. linear and nonlinear unsupervised methods
78. material characterization methods
79. Mathematical methods
80. matrix methods
81. methods
82. methods of measuring
83. methods of study
84. methods: data analysis
85. Methods: statistical
86. mixed methods
87. mixed-methods
88. model-free methods
89. modulation methods
90. Monte Carlo methods
91. multi-criteria decision-making methods
92. nearest neighbor methods
93. numerical methods
94. optic methods
95. optimization methods
96. outlier’s detection methods
97. physico-chemical methods
98. phytoplankton detection methods
99. plan-driven methods
100. polynomial methods
101. practical teaching methods
102. prediction methods
103. pseudospectral methods
104. qualitative methods
105. qualitative research methods
106. quantitative methods
107. regular matrix methods
108. research methods
109. reversal methods
110. sampling methods
111. selection methods
112. separation methods
113. shootthrough control methods
114. shoot-through control methods
115. stability prediction methods
116. standardized methods
117. state space methods
118. Statistical methods
119. statistics methods
120. substation testing methods
121. Taguchi methods
122. teaching methods
123. testing methods
124. timber construction (construction methods)
125. tracer gas methods
126. transmission line matrix methods
127. Tree-based methods
128. variational methods
129. verification methods
130. visual methods
131. visualization design and evaluation methods
132. X-ray methods
133. X-ray methods B
134. ﬁnite element methods

vaste

reasta

Otsing
Valikud 0

ilmumisaasta

autor

TTÜ struktuuriüksus

märksõna

seeria-sari

tema kohta

võtmesõna

TalTech Raamatukogu

Akadeemia tee 1

13519

TalTech koduleht TalTech Raamatukogu koduleht Digikogu Digiteek Teadusandmed

6203551

data@taltech.ee

TalTech Raamatukogu