Treffer 1 - 20 von 79 für Suche 'D'ANTONI LORIS', Suchdauer: 1,00s Treffer weiter einschränken
  1. 1
    Streaming Tree Transducers

    Streaming Tree Transducers von Alur, Rajeev, D'antoni, Loris

    Veröffentlicht in Journal of the ACM

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Automatic repair of regular expressions

    Automatic repair of regular expressions von Pan, Rong, Hu, Qinheping, Xu, Gaowei, D'Antoni, Loris


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    The Power of Symbolic Automata and Transducers

    The Power of Symbolic Automata and Transducers von D’Antoni, Loris, Veanes, Margus


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Solving Program Sketches with Large Integer Values

    Solving Program Sketches with Large Integer Values von Hu, Qinheping, Singh, Rishabh, D’Antoni, Loris


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Static Analysis of String Encoders and Decoders

    Static Analysis of String Encoders and Decoders von D’Antoni, Loris, Veanes, Margus


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  6. 6
    FairSquare: probabilistic verification of program fairness

    FairSquare: probabilistic verification of program fairness von Albarghouthi, Aws, D'Antoni, Loris, Drews, Samuel, Nori, Aditya V.


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Extended symbolic finite automata and transducers

    Extended symbolic finite automata and transducers von D’Antoni, Loris, Veanes, Margus

    Veröffentlicht in Formal methods in system design

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Repairing Decision-Making Programs Under Uncertainty

    Repairing Decision-Making Programs Under Uncertainty von Albarghouthi, Aws, D’Antoni, Loris, Drews, Samuel


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  9. 9
    QLOSE: Program Repair with Quantitative Objectives

    QLOSE: Program Repair with Quantitative Objectives von D’Antoni, Loris, Samanta, Roopsha, Singh, Rishabh


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Unrealizability Logic

    Unrealizability Logic von Kim, Jinwoo, D'Antoni, Loris, Reps, Thomas


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Synthesizing Specifications

    Synthesizing Specifications von Park, Kanghee, D'Antoni, Loris, Reps, Thomas


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Learning Symbolic Automata

    Learning Symbolic Automata von Drews, Samuel, D’Antoni, Loris


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Semantics-guided synthesis

    Semantics-guided synthesis von Kim, Jinwoo, Hu, Qinheping, D'Antoni, Loris, Reps, Thomas


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Streaming Tree Transducers

    Streaming Tree Transducers von Alur, Rajeev, D’Antoni, Loris


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Synthesis of Fault-Tolerant Distributed Router Configurations

    Synthesis of Fault-Tolerant Distributed Router Configurations von Subramanian, Kausik, D'Antoni, Loris, Akella, Aditya


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Fast: A Transducer-Based Language for Tree Manipulation

    Fast: A Transducer-Based Language for Tree Manipulation von D'antoni, Loris, Veanes, Margus, Livshits, Benjamin, Molnar, David


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Forward Bisimulations for Nondeterministic Symbolic Finite Automata

    Forward Bisimulations for Nondeterministic Symbolic Finite Automata von D’Antoni, Loris, Veanes, Margus


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Symbolic Visibly Pushdown Automata

    Symbolic Visibly Pushdown Automata von D’Antoni, Loris, Alur, Rajeev


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  19. 19
    LOUD: Synthesizing Strongest and Weakest Specifications

    LOUD: Synthesizing Strongest and Weakest Specifications von Park, Kanghee, Peng, Xuanyu, D'Antoni, Loris

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Automating Unrealizability Logic: Hoare-Style Proof Synthesis for Infinite Sets of Programs

    Automating Unrealizability Logic: Hoare-Style Proof Synthesis for Infinite Sets of Programs von Nagy, Shaan, Kim, Jinwoo, Reps, Thomas, D’Antoni, Loris


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: