يعرض 1 - 10 نتائج من 67 نتيجة بحث عن '"Moy, Yannick"', وقت الاستعلام: 1.03s تنقيح النتائج
  1. 1
    مؤتمر
    Classification for Avionics Capabilities Enabled by Artificial Intelligence

    المؤلفون: Schweiger, Andreas, Annighoefer, Bjoern, Reich, Marina, Regli, Christoph, Moy, Yannick, Soodt, Thomas, de Cacqueray, Alexis, Redon, Romaric

    المصدر: 2021 IEEE/AIAA 40th Digital Avionics Systems Conference (DASC) Digital Avionics Systems Conference (DASC), 2021 IEEE/AIAA 40th. :1-10 Oct, 2021

    Relation: 2021 IEEE/AIAA 40th Digital Avionics Systems Conference (DASC)

    Full Text Finder
    أضف إلى المفضلة
  2. 2
    مؤتمر
    Layered Formal Verification of a TCP Stack

    المؤلفون: Cluzel, Guillaume, Georgiou, Kyriakos, Moy, Yannick, Zeller, Clement

    المصدر: 2021 IEEE Secure Development Conference (SecDev) SECDEV Secure Development Conference (SecDev), 2021 IEEE. :86-93 Oct, 2021

    Relation: 2021 IEEE Secure Development Conference (SecDev)

    أضف إلى المفضلة
  3. 3
    Does Rust SPARK Joy? Safe Bindings from Rust to SPARK, Applied to the BBQueue Library

    المؤلفون: Maiga, Aïssata, Artho, Cyrille, Gilcher, Florian, Moy, Yannick

    المصدر: FTSCS 2023 - Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, Co-located: SPLASH 2023. :37-47

    مصطلحات موضوعية: embedded systems, foreign function interface, language bindings, Rust, safety-critical code, SPARK

    وصف الملف: print

    URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-340536
    https://doi.org/10.1145/3623503.3623534

    أضف إلى المفضلة
  4. 4
    تقرير
    Security-Hardening Software Libraries with Ada and SPARK -- A TCP Stack Use Case

    المؤلفون: Georgiou, Kyriakos, Cluzel, Guillaume, Butcher, Paul, Moy, Yannick

    مصطلحات موضوعية: Computer Science - Cryptography and Security, D.2.4

    URL الوصول: http://arxiv.org/abs/2109.10347

    أضف إلى المفضلة
  5. 5
    تقرير
    How the Analyzer can Help the User Help the Analyzer

    المؤلفون: Moy, Yannick

    المصدر: EPTCS 338, 2021, pp. 97-104

    مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Human-Computer Interaction, Computer Science - Software Engineering

    URL الوصول: http://arxiv.org/abs/2108.02969

    أضف إلى المفضلة
  6. 6
    دورية
    Co-Developing Programs and Their Proof of Correctness.

    المؤلفون: Chapman, Roderick, Dross, Claire, Matthews, Stuart, Moy, Yannick

    المصدر: Communications of the ACM; Mar2024, Vol. 67 Issue 3, p84-94, 11p

    مصطلحات موضوعية: SPARK (Computer program language), PROGRAMMING languages, ELECTRONIC data processing, COMPUTER programming, COMPUTER software development, COMPUTER software correctness

    View Record from ACM Digital Library
    أضف إلى المفضلة
  7. 7
    مؤتمر
    Tutorial: A Practical Introduction to Formal Development and Verification of High-Assurance Software with SPARK

    المؤلفون: Brosgol, Benjamin M., Dross, Claire, Moy, Yannick

    المصدر: 2019 IEEE Cybersecurity Development (SecDev) Cybersecurity Development (SecDev), 2019 IEEE. :1-2 Sep, 2019

    Relation: 2019 IEEE Secure Development (SecDev)

    أضف إلى المفضلة
  8. 8
    تقرير
    Lightweight Interactive Proving inside an Automatic Program Verifier

    المؤلفون: Dailler, Sylvain, Marché, Claude, Moy, Yannick

    المصدر: EPTCS 284, 2018, pp. 1-15

    مصطلحات موضوعية: Computer Science - Software Engineering, Computer Science - Logic in Computer Science, Computer Science - Programming Languages

    URL الوصول: http://arxiv.org/abs/1811.10814

    أضف إلى المفضلة
  9. 9
    تقرير
    Borrowing Safe Pointers from Rust in SPARK

    المؤلفون: Jaloyan, Georges-Axel, Moy, Yannick, Paskevich, Andrei

    مصطلحات موضوعية: Computer Science - Programming Languages

    URL الوصول: http://arxiv.org/abs/1805.05576

    أضف إلى المفضلة
  10. 10
    كتاب إلكتروني
    Verification of Programs with Pointers in SPARK

    المؤلفون: Jaloyan, Georges-AxelAff11, Aff12, Dross, ClaireAff13, Maalej, MarouaAff13, Moy, YannickAff13, Paskevich, AndreiAff14, Aff15

    المساهمون: Goos, Gerhard, Founding EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Woeginger, Gerhard, Editorial Board MemberAff6, Yung, Moti, Editorial Board MemberAff7, Lin, Shang-Wei, editorAff8, Hou, Zhe, editorAff9, Mahony, Brendan, editorAff10

    المصدر: Formal Methods and Software Engineering : 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings. 12531:55-72

    أضف إلى المفضلة
أدوات البحث: أحصل على تغذية RSS – أرسل هذا البحث بالبريد الإلكتروني – حفظ البحث – جدول التنبيهات: لا شيء