Treffer 1 - 20 von 240 für Suche 'Namjoshi, Kedar', Suchdauer: 1,22s Treffer weiter einschränken
  1. 1
    Static Analysis: 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17-19, 2021, Proceedings

    Static Analysis: 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17-19, 2021, Proceedings von ăgoi, Cezara, Mukherjee, Suvam, Namjoshi, Kedar


    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Securing a compiler transformation

    Securing a compiler transformation von Deng, Chaoqiang, Namjoshi, Kedar S.

    Veröffentlicht in Formal methods in system design

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Local proofs for global safety properties

    Local proofs for global safety properties von Cohen, Ariel, Namjoshi, Kedar S.

    Veröffentlicht in Formal methods in system design

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Automata as abstractions

    Automata as abstractions von Dams, Dennis, Namjoshi, Kedar S.


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  5. 5
    The inherent difficulty of timely primary-backup replication

    The inherent difficulty of timely primary-backup replication von Koppol, Pramod, Namjoshi, Kedar S., Stathopoulos, Thanos, Wilfong, Gordon T.

    Veröffentlicht in Bell Labs technical journal

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Hardware and Software: Verification and Testing : 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers

    Hardware and Software: Verification and Testing : 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers von Namjoshi, Kedar, Zeller, Andreas, Ziv, Avi

    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Certifying Model Checkers

    Certifying Model Checkers von Namjoshi, Kedar S.


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings

    Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings von Namjoshi, Kedar S, Yoneda, Tomohiro, Higashino, Teruo

    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Formalization and Automated Verification of RESTful Behavior

    Formalization and Automated Verification of RESTful Behavior von Klein, Uri, Namjoshi, Kedar S.


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Abstraction for Branching Time Properties

    Abstraction for Branching Time Properties von Namjoshi, Kedar S.


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Orion: High-Precision Methods for Static Error Analysis of C and C++ Programs

    Orion: High-Precision Methods for Static Error Analysis of C and C++ Programs von Dams, Dennis R., Namjoshi, Kedar S.


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Model Checking in Bits and Pieces

    Model Checking in Bits and Pieces von Namjoshi, Kedar S.


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Feature specification and automated conflict detection

    Feature specification and automated conflict detection von Felty, Amy P., Namjoshi, Kedar S.


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Verification, Model Checking, and Abstract Interpretation: 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings

    Verification, Model Checking, and Abstract Interpretation: 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings von Emerson, E. Allen, Namjoshi, Kedar S

    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Synthesis of coordination programs from linear temporal specifications

    Synthesis of coordination programs from linear temporal specifications von Bansal, Suguman, Namjoshi, Kedar S., Sa'ar, Yaniv


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  16. 16
    A Self-certifying Compilation Framework for WebAssembly

    A Self-certifying Compilation Framework for WebAssembly von Namjoshi, Kedar S., Xue, Anton


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Incremental Algorithms for Inter-procedural Analysis of Safety Properties

    Incremental Algorithms for Inter-procedural Analysis of Safety Properties von Conway, Christopher L., Namjoshi, Kedar S., Dams, Dennis, Edwards, Stephen A.


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  18. 18
    The existence of finite abstractions for branching time model checking

    The existence of finite abstractions for branching time model checking von Dams, D., Namjoshi, K.S.


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Telco meets the web: Programming shared-experience services

    Telco meets the web: Programming shared-experience services von Arlein, Robert M., Dams, Dennis R., Hull, Richard B., Letourneau, John, Namjoshi, Kedar S.

    Veröffentlicht in Bell Labs technical journal

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  20. 20
    A Multilanguage Static Analysis of Python Programs with Native C Extensions

    A Multilanguage Static Analysis of Python Programs with Native C Extensions von Monat, Raphaël, Ouadjaout, Abdelraouf, Miné, Antoine


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: