Helmut Veith

Results: 20



#Item
1A Guide to Quantified Propositional G¨ odel Logic Matthias Baaz? , Agata Ciabattoni?? , Norbert Preining? , and Helmut Veith ???

A Guide to Quantified Propositional G¨ odel Logic Matthias Baaz? , Agata Ciabattoni?? , Norbert Preining? , and Helmut Veith ???

Add to Reading List

Source URL: www.preining.info

Language: English - Date: 2005-04-12 18:14:34
    2What You Always Wanted to Know about Model Checking of Fault-Tolerant Distributed Algorithms? Igor Konnov, Helmut Veith, and Josef Widder TU Wien (Vienna University of Technology)

    What You Always Wanted to Know about Model Checking of Fault-Tolerant Distributed Algorithms? Igor Konnov, Helmut Veith, and Josef Widder TU Wien (Vienna University of Technology)

    Add to Reading List

    Source URL: forsyte.at

    - Date: 2016-03-08 09:52:31
      3Challenges in Model Checking of Fault-tolerant Designs in TLA+ Igor Konnov, Helmut Veith, and Josef Widder TU Wien (Vienna University of Technology) Abstract. Although, historically, fault tolerance is connected to safe

      Challenges in Model Checking of Fault-tolerant Designs in TLA+ Igor Konnov, Helmut Veith, and Josef Widder TU Wien (Vienna University of Technology) Abstract. Although, historically, fault tolerance is connected to safe

      Add to Reading List

      Source URL: multicore.doc.ic.ac.uk

      - Date: 2015-06-04 05:51:35
        4Helmut Veith “Und wenn Du dich getröstet hast, wirst Du froh sein, mich gekannt zu haben.

        Helmut Veith “Und wenn Du dich getröstet hast, wirst Du froh sein, mich gekannt zu haben.

        Add to Reading List

        Source URL: www.vcla.at

        - Date: 2016-03-30 04:05:46
          5On March 12th 2016, Prof. Helmut Veith has unexpectedly passed away after a short and severe illness. We, the students of the Doctoral College Logical Methods in Computer Science – LogiCS, are deeply moved by these dev

          On March 12th 2016, Prof. Helmut Veith has unexpectedly passed away after a short and severe illness. We, the students of the Doctoral College Logical Methods in Computer Science – LogiCS, are deeply moved by these dev

          Add to Reading List

          Source URL: www.vcla.at

          - Date: 2016-03-15 12:44:47
            6FACULTY OF INFORMATICS @ VIENNA UNIVERSITY OF TECHNOLOGY (TU WIEN) Science and Technology in the Information Age

            FACULTY OF INFORMATICS @ VIENNA UNIVERSITY OF TECHNOLOGY (TU WIEN) Science and Technology in the Information Age

            Add to Reading List

            Source URL: www.informatik.tuwien.ac.at

            Language: English - Date: 2016-01-13 02:47:31
            7How did You Specify Your Test Suite ? Andreas Holzer Michael Tautschnig Helmut Veith

            How did You Specify Your Test Suite ? Andreas Holzer Michael Tautschnig Helmut Veith

            Add to Reading List

            Source URL: christian.schallhart.net

            Language: English - Date: 2015-08-22 10:39:54
              8Verifolio:)A)Portfolio)for Software)Verification Yulia Demyanova,.Thomas) Pani, Helmut.Veith,.Florian.Zuleger Vienna.University.of.Technology AI4FM.2015.D.September. 1,.2015

              Verifolio:)A)Portfolio)for Software)Verification Yulia Demyanova,.Thomas) Pani, Helmut.Veith,.Florian.Zuleger Vienna.University.of.Technology AI4FM.2015.D.September. 1,.2015

              Add to Reading List

              Source URL: www.ai4fm.org

              Language: English - Date: 2015-09-02 07:29:35
              9VSL 2014 in aller Öffentlichkeit goes public konzipiert und kuratiert von devised and curated by Helmut Veith und and Oliver Lehmann Organized by In partnership with

              VSL 2014 in aller Öffentlichkeit goes public konzipiert und kuratiert von devised and curated by Helmut Veith und and Oliver Lehmann Organized by In partnership with

              Add to Reading List

              Source URL: vsl2014.logic.at

              - Date: 2014-07-09 05:24:39
                10FS HELL: Systematic Test Case Generation for Dynamic Analysis and Measurement ⋆ (Tool Paper) Andreas Holzer, Christian Schallhart, Michael Tautschnig, and Helmut Veith Technische Universit¨at Darmstadt, Germany Abstra

                FS HELL: Systematic Test Case Generation for Dynamic Analysis and Measurement ⋆ (Tool Paper) Andreas Holzer, Christian Schallhart, Michael Tautschnig, and Helmut Veith Technische Universit¨at Darmstadt, Germany Abstra

                Add to Reading List

                Source URL: www.tautschnig.net

                Language: English - Date: 2008-05-13 06:15:06