Marieke

Results: 262



#Item
11Specification and verification of GPGPU programs Stefan Blom, Marieke Huisman and Matej Mihelˇci´c University of Twente, Enschede, The Netherlands {s.c.c.blom,m.huisman}@utwente.nl November 8, 2013

Specification and verification of GPGPU programs Stefan Blom, Marieke Huisman and Matej Mihelˇci´c University of Twente, Enschede, The Netherlands {s.c.c.blom,m.huisman}@utwente.nl November 8, 2013

Add to Reading List

Source URL: eprints.eemcs.utwente.nl

- Date: 2013-11-07 12:44:35
    12VerifyThis 2016 A Program Verification Competition Marieke Huisman1 , Rosemary Monahan2 , Peter Müller3 , Erik Poll4 1 2 3

    VerifyThis 2016 A Program Verification Competition Marieke Huisman1 , Rosemary Monahan2 , Peter Müller3 , Erik Poll4 1 2 3

    Add to Reading List

    Source URL: eprints.eemcs.utwente.nl

    - Date: 2016-06-24 10:42:26
      13CVPP: A Tool Set for Compositional Verification of Control–Flow Safety Properties Marieke Huisman1 and Dilian Gurov2, 1 2

      CVPP: A Tool Set for Compositional Verification of Control–Flow Safety Properties Marieke Huisman1 and Dilian Gurov2, 1 2

      Add to Reading List

      Source URL: www.csc.kth.se

      - Date: 2011-01-26 10:53:34
        14ProMoVer: Modular Verification of Temporal Safety Properties Siavash Soleimanifard1 , Dilian Gurov1 , and Marieke Huisman2 1 Royal Institute of Technology, Stockholm, Sweden

        ProMoVer: Modular Verification of Temporal Safety Properties Siavash Soleimanifard1 , Dilian Gurov1 , and Marieke Huisman2 1 Royal Institute of Technology, Stockholm, Sweden

        Add to Reading List

        Source URL: www.csc.kth.se

        - Date: 2011-09-08 09:55:22
          15Parallel Transaction Processing in Functional Languages Towards Practical Functional Databases Lesley Wevers1 , Marieke Huisman1 , and Ander de Keijzer2 1

          Parallel Transaction Processing in Functional Languages Towards Practical Functional Databases Lesley Wevers1 , Marieke Huisman1 , and Ander de Keijzer2 1

          Add to Reading List

          Source URL: eprints.eemcs.utwente.nl

          - Date: 2013-03-20 04:41:38
            16On the Organisation of Program Verification Competitions Marieke Huisman1 , Vladimir Klebanov2 , and Rosemary Monahan3 1 University of Twente, The Netherlands

            On the Organisation of Program Verification Competitions Marieke Huisman1 , Vladimir Klebanov2 , and Rosemary Monahan3 1 University of Twente, The Netherlands

            Add to Reading List

            Source URL: ceur-ws.org

            - Date: 2012-07-04 10:49:53
              17Prof. W.F. Admiraal, ICLON Miranda de Hei, Rineke Keijzer, Marieke Kroneman, Martin Reekers, Anne Sander Prof. J.A.A. Adriaanse, Rechtsgeleerdheid Ritsart Plantenga, Larissa Koupriouchna, Doris Dull, Ganna Demydyuk, Marc

              Prof. W.F. Admiraal, ICLON Miranda de Hei, Rineke Keijzer, Marieke Kroneman, Martin Reekers, Anne Sander Prof. J.A.A. Adriaanse, Rechtsgeleerdheid Ritsart Plantenga, Larissa Koupriouchna, Doris Dull, Ganna Demydyuk, Marc

              Add to Reading List

              Source URL: media.leidenuniv.nl

              - Date: 2016-05-19 10:06:06
                18Witnessing the Elimination of Magic Wands Stefan Blom and Marieke Huisman University of Twente November 8, 2013 Abstract. This paper discusses the use and verification of magic wands. Magic wands are used to specify

                Witnessing the Elimination of Magic Wands Stefan Blom and Marieke Huisman University of Twente November 8, 2013 Abstract. This paper discusses the use and verification of magic wands. Magic wands are used to specify

                Add to Reading List

                Source URL: eprints.eemcs.utwente.nl

                - Date: 2013-11-07 12:31:39
                  19CVPP: A Tool Set for Compositional Verification of Control–Flow Safety Properties Marieke Huisman1 and Dilian Gurov2, 1 2

                  CVPP: A Tool Set for Compositional Verification of Control–Flow Safety Properties Marieke Huisman1 and Dilian Gurov2, 1 2

                  Add to Reading List

                  Source URL: www.nada.kth.se

                  - Date: 2011-09-12 13:20:20
                    20Reducing Behavioural to Structural Properties of Programs with Procedures Dilian Gurov1? and Marieke Huisman2?? 1 Royal Institute of Technology, Stockholm, Sweden

                    Reducing Behavioural to Structural Properties of Programs with Procedures Dilian Gurov1? and Marieke Huisman2?? 1 Royal Institute of Technology, Stockholm, Sweden

                    Add to Reading List

                    Source URL: www.csc.kth.se

                    - Date: 2009-01-15 09:20:35