Otsing - TalTech teadusportaal

kuva

reasta

1

artikkel ajakirjas

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

artikkel ajakirjas

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

3

artikkel ajakirjas

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

artikkel ajakirjas

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

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

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

artikkel ajakirjas

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

8

artikkel kogumikus

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

artikkel kogumikus

9

artikkel kogumikus

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

artikkel kogumikus

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 http://dx.doi.org/10.1145/3497775.3503693

artikkel kogumikus

11

artikkel kogumikus

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

artikkel kogumikus

12

artikkel ajakirjas

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 / 24 p.: ill., art. nr. 119857 http://doi.org/10.1016/j.eswa.2023.119857

artikkel ajakirjas

formal methods (võtmesõna)

teaviku laadid

võtmesõna 98