Dietl

Results: 39



#Item
1Collaborative Verification of Information Flow for a High-Assurance App Store Michael D. Ernst, René Just, Suzanne Millstein, Werner Dietl*, Stuart Pernsteiner, Franziska Roesner, Karl Koscher, Paulo Barros, Ravi Bhoras

Collaborative Verification of Information Flow for a High-Assurance App Store Michael D. Ernst, René Just, Suzanne Millstein, Werner Dietl*, Stuart Pernsteiner, Franziska Roesner, Karl Koscher, Paulo Barros, Ravi Bhoras

Add to Reading List

Source URL: ravi.bhoraskar.com

Language: English - Date: 2018-06-07 17:42:59
    2Microsoft PowerPoint - Prof_Dietl_Seminar_flyer2016.pptx

    Microsoft PowerPoint - Prof_Dietl_Seminar_flyer2016.pptx

    Add to Reading List

    Source URL: gp-spin.tohoku.ac.jp

    Language: English - Date: 2016-06-16 04:18:56
      3Collaborative Verification of Information Flow for a High-Assurance App Store Michael D. Ernst, René Just, Suzanne Millstein, Werner Dietl*, Stuart Pernsteiner, Franziska Roesner, Karl Koscher, Paulo Barros, Ravi Bhoras

      Collaborative Verification of Information Flow for a High-Assurance App Store Michael D. Ernst, René Just, Suzanne Millstein, Werner Dietl*, Stuart Pernsteiner, Franziska Roesner, Karl Koscher, Paulo Barros, Ravi Bhoras

      Add to Reading List

      Source URL: homes.cs.washington.edu

      - Date: 2014-09-07 16:21:08
        4swiss economics Prof. Dr. Helmut Dietl Partner Contact Information

        swiss economics Prof. Dr. Helmut Dietl Partner Contact Information

        Add to Reading List

        Source URL: www.swiss-economics.ch

        Language: English - Date: 2014-03-24 06:19:35
        5swiss economics Dr. Markus Lang Project Manager Contact Information

        swiss economics Dr. Markus Lang Project Manager Contact Information

        Add to Reading List

        Source URL: www.swiss-economics.ch

        Language: English - Date: 2011-09-08 08:57:26
        6Auswirkungen der Initiative „Pro Service public“ Prof. Dr. Helmut Dietl Dr. Christian Jaag Dr. Urs Trinkner

        Auswirkungen der Initiative „Pro Service public“ Prof. Dr. Helmut Dietl Dr. Christian Jaag Dr. Urs Trinkner

        Add to Reading List

        Source URL: www.swiss-economics.ch

        Language: German - Date: 2016-05-11 03:17:10
          7Auswirkungen der Initiative „Pro Service public“ Prof. Dr. Helmut Dietl Dr. Christian Jaag Dr. Urs Trinkner

          Auswirkungen der Initiative „Pro Service public“ Prof. Dr. Helmut Dietl Dr. Christian Jaag Dr. Urs Trinkner

          Add to Reading List

          Source URL: www.swiss-economics.ch

          Language: German - Date: 2016-05-11 03:17:10
            8Koordination: Andrea Dietl E-Mail: Tel.: Ahaus, 04. Mai 2016

            Koordination: Andrea Dietl E-Mail: Tel.: Ahaus, 04. Mai 2016

            Add to Reading List

            Source URL: www.bwv-ahaus.de

            Language: German - Date: 2016-05-09 05:34:33
              9swiss economics Postal Regulation and Business Model Transformation Prof. Dr. Helmut Dietl Dr. Christian Jaag

              swiss economics Postal Regulation and Business Model Transformation Prof. Dr. Helmut Dietl Dr. Christian Jaag

              Add to Reading List

              Source URL: www.swiss-economics.ch

              Language: English - Date: 2010-09-20 10:12:48
              10EnerJ: Approximate Data Types for Safe and General Low-Power Computation Adrian Sampson Werner Dietl Emily Fortuna

              EnerJ: Approximate Data Types for Safe and General Low-Power Computation Adrian Sampson Werner Dietl Emily Fortuna

              Add to Reading List

              Source URL: adriansampson.net

              Language: English - Date: 2015-06-30 20:23:54