Treffer 1 - 20 von 569 für Suche 'BRAIN, Martin', Suchdauer: 1,01s Treffer weiter einschränken
  1. 1
    Incremental bounded model checking for embedded software

    Incremental bounded model checking for embedded software von Schrammel, Peter, Kroening, Daniel, Brain, Martin, Martins, Ruben, Teige, Tino, Bienmüller, Tom

    Veröffentlicht in Formal aspects of computing

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Deciding floating-point logic with abstract conflict driven clause learning

    Deciding floating-point logic with abstract conflict driven clause learning von Brain, Martin, D’Silva, Vijay, Griggio, Alberto, Haller, Leopold, Kroening, Daniel

    Veröffentlicht in Formal methods in system design

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Declarative Problem Solving Using Answer Set Semantics

    Declarative Problem Solving Using Answer Set Semantics von Brain, Martin


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Verifying Classic McEliece: Examining the Role of Formal Methods in Post-Quantum Cryptography Standardisation

    Verifying Classic McEliece: Examining the Role of Formal Methods in Post-Quantum Cryptography Standardisation von Brain, Martin, Cid, Carlos, Player, Rachel, Robson, Wrenna


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Safety Verification and Refutation by k-Invariants and k-Induction

    Safety Verification and Refutation by k-Invariants and k-Induction von Brain, Martin, Joshi, Saurabh, Kroening, Daniel, Schrammel, Peter


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Application of Abstract Interpretation to the Automotive Electronic Control System

    Application of Abstract Interpretation to the Automotive Electronic Control System von Yamaguchi, Tomoya, Brain, Martin, Ryder, Chirs, Imai, Yosikazu, Kawamura, Yoshiumi


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    A new-generation automated warehousing capability

    A new-generation automated warehousing capability von Wang, Q., McIntosh, R., Brain, M.


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Automatic music composition using answer set programming

    Automatic music composition using answer set programming von BOENN, GEORG, BRAIN, MARTIN, DE VOS, MARINA, FFITCH, JOHN


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  9. 9
    [artifact] Misconceptions About Loops in C

    [artifact] Misconceptions About Loops in C von Martin Brain, Mahdi Malkawi

    Volltext bestellen
    Dataset

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Automatic Generation of Propagation Complete SAT Encodings

    Automatic Generation of Propagation Complete SAT Encodings von Brain, Martin, Hadarean, Liana, Kroening, Daniel, Martins, Ruben


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  11. 11
    The Significance of Memory Costs in Answer Set Solver Implementation

    The Significance of Memory Costs in Answer Set Solver Implementation von Brain, Martin, De Vos, Marina


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  12. 12
    A Lightweight Technique for Distributed and Incremental Program Verification

    A Lightweight Technique for Distributed and Incremental Program Verification von Brain, Martin, Schanda, Florian


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Automatic music composition using answer set programming

    Automatic music composition using answer set programming von Boenn, Georg, Brain, Martin, De Vos, Marina, Ffitch, John


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Simplifying the Verification of Quantified Array Assertions via Code Transformation

    Simplifying the Verification of Quantified Array Assertions via Code Transformation von Seghir, Mohamed Nassim, Brain, Martin


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  15. 15
    TOAST: Applying Answer Set Programming to Superoptimisation

    TOAST: Applying Answer Set Programming to Superoptimisation von Brain, Martin, Crick, Tom, De Vos, Marina, Fitch, John


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Successful Use of Incremental BMC in the Automotive Industry

    Successful Use of Incremental BMC in the Automotive Industry von Schrammel, Peter, Kroening, Daniel, Brain, Martin, Martins, Ruben, Teige, Tino, Bienmüller, Tom


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  17. 17
    LAIMA : A Multi-agent Platform Using Ordered Choice Logic Programming

    LAIMA : A Multi-agent Platform Using Ordered Choice Logic Programming von DE VOS, Marina, CRICK, Tom, PADGET, Julian, BRAIN, Martin, CLIFFE, Owen, NEEDHAM, Jonathan


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Interpolation-Based Verification of Floating-Point Programs with Abstract CDCL

    Interpolation-Based Verification of Floating-Point Programs with Abstract CDCL von Brain, Martin, D’Silva, Vijay, Griggio, Alberto, Haller, Leopold, Kroening, Daniel


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Model and Proof Generation for Heap-Manipulating Programs

    Model and Proof Generation for Heap-Manipulating Programs von Brain, Martin, David, Cristina, Kroening, Daniel, Schrammel, Peter


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Verifying Reachability Properties in Markov Chains via Incremental Induction

    Verifying Reachability Properties in Markov Chains via Incremental Induction von Polgreen, Elizabeth, Brain, Martin, Fraenzle, Martin, Abate, Alessandro

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: