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 12
Vaata veel.. (1/129)
Ekspordi

ekspordi kõik päringu tulemused (12)
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 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
12

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 12, kuvan 1 - 12

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. Cesaro methods
38. chemometric methods
39. computational design methods
40. computational methods
41. computer aided methods
42. control methods
43. decontamination methods
44. deep learning methods
45. Design and assessment methods
46. design methods
47. detection methods
48. diagnostics methods
49. didactic methods
50. digital methods
51. electronic structure methods
52. ensemble methods
53. Euler-Knopp methods
54. excavation methods
55. extraction and detection methods
56. finite-element (FE) methods
57. finite-element methods
58. finite-element methods (FEM)
59. flow assessment methods
60. frontier methods
61. Gauss-Newton-type methods
62. Gauss–Newton-type methods
63. generalized Nörlund methods
64. geometric methods
65. graphic methods
66. integration methods
67. interaction methods
68. interactive teaching methods
69. interpretation methods
70. invasive methods
71. inverse methods
72. inverse methods for engineering applications
73. linear and nonlinear unsupervised methods
74. material characterization methods
75. Mathematical methods
76. matrix methods
77. methods
78. methods of measuring
79. methods of study
80. methods: data analysis
81. Methods: statistical
82. mixed methods
83. mixed-methods
84. model-free methods
85. modulation methods
86. Monte Carlo methods
87. multi-criteria decision-making methods
88. nearest neighbor methods
89. numerical methods
90. optimization methods
91. outlier’s detection methods
92. physico-chemical methods
93. phytoplankton detection methods
94. plan-driven methods
95. polynomial methods
96. practical teaching methods
97. prediction methods
98. pseudospectral methods
99. qualitative methods
100. qualitative research methods
101. quantitative methods
102. regular matrix methods
103. research methods
104. reversal methods
105. sampling methods
106. selection methods
107. separation methods
108. shootthrough control methods
109. shoot-through control methods
110. stability prediction methods
111. standardized methods
112. state space methods
113. Statistical methods
114. statistics methods
115. substation testing methods
116. Taguchi methods
117. teaching methods
118. testing methods
119. timber construction (construction methods)
120. tracer gas methods
121. transmission line matrix methods
122. Tree-based methods
123. variational methods
124. verification methods
125. visual methods
126. visualization design and evaluation methods
127. X-ray methods
128. X-ray methods B
129. ﬁ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