Searching - TalTech Research Portal

Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles

Research Groups

Help and information

Searching

formal methods (keyword)

—

—

—

—

Add criteria Advanced search filter

Clear

types of item

book ..

journal article ..

newspaper article ..

book article ..

dissertation ..

Open Access ..

Scientific publications ..

year

year of publication

Loading..

Loading..

TalTech department

Loading..

Loading..

Loading..

name of the person

Loading..

Loading..

Clear

Number of records 14
Look more.. (1/136)
Export

export all inquiry results (14)
Save TXT fail

print
Open for editing with marked entries my bookmarks

display

sort
1

journal article EST / journal article 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

journal article EST / journal article ENG
Related publications 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 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

book article
Related publications 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 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

journal article EST / journal article ENG
Related publications 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 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

book article
Related publications 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 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

book article
6

journal article EST / journal article 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

journal article EST / journal article ENG
7

book article

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

book article
Related publications 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 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

book article EST / book article ENG
9

book article

Leakage-free probabilistic Jasmin programsAlmeida, José Bacelar; Firsov, Denis; Oliveira, Tiago; Unruh, DominiqueCPP '25 : Proceedings of 14th ACM SIGPLAN International Conference on Certified Programs and Proofs2025 / p. 3-16 https://doi.org/10.1145/3703595.3705871 Article at Scopus Article at WOS

book article
10

book article EST / book article 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

book article EST / book article ENG
11

book article

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

book article
12

book article

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

book article
13

book article EST / book article 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

book article EST / book article ENG
14

journal article EST / journal article 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

journal article EST / journal article ENG

Number of records 14, displaying 1 - 14

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

match

sort

Otsing
Valikud 0

year of publication

author

TalTech department

subject term

series

name of the person

keyword

TalTech Library

Akadeemia tee 1

13519

TalTech homepage TalTech Library homepage Digital Collection of TalTech Library Digiteek Repository

6203551

data@taltech.ee

TalTech Raamatukogu