Searching - TalTech Research Portal

Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles

Research Groups

Help and information

Advanced search

formal methods (keyword)

—

—

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..

Loading..

TTÜ department

Loading..

Loading..

Loading..

name of the person

Loading..

Loading..

Clear

Number of records 12
Look more.. (1/116)
Export

export all inquiry results (12)
Save TXT fail

Save PDF 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
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 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
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 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
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 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
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 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
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 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 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
10

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
11

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
12

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

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

vaste

sort

Otsing
Valikud 0

year of publication

author

TTÜ department

subject term

series

name of the person

keyword

TalTech Library

Akadeemia tee 1

13519

TalTech homepage TalTech Library homepage Digikogu Digiteek Repository

6203551

data@taltech.ee

TalTech Raamatukogu