Arie

Results: 427



#Item
111Craig Interpretation Aws Albarghouthi1 , Arie Gurfinkel2 , and Marsha Chechik1 1 2 Department of Computer Science, University of Toronto, Canada

Craig Interpretation Aws Albarghouthi1 , Arie Gurfinkel2 , and Marsha Chechik1 1 2 Department of Computer Science, University of Toronto, Canada

Add to Reading List

Source URL: www.cs.utoronto.ca

Language: English - Date: 2012-06-24 21:50:08
    112From Under-approximations to Over-approximations and Back Aws Albarghouthi1 , Arie Gurfinkel2 , and Marsha Chechik1 1 2

    From Under-approximations to Over-approximations and Back Aws Albarghouthi1 , Arie Gurfinkel2 , and Marsha Chechik1 1 2

    Add to Reading List

    Source URL: www.cs.utoronto.ca

    Language: English - Date: 2012-01-11 09:50:00
      113Model-Checking Software Using Precise Abstractions Marsha Chechik and Arie Gurfinkel Department of Computer Science, University of Toronto, Toronto, ON M5S 3G4, Canada. Email: chechik,arie @cs.toronto.edu 

      Model-Checking Software Using Precise Abstractions Marsha Chechik and Arie Gurfinkel Department of Computer Science, University of Toronto, Toronto, ON M5S 3G4, Canada. Email: chechik,arie @cs.toronto.edu 

      Add to Reading List

      Source URL: vstte.ethz.ch

      Language: English - Date: 2005-10-11 03:37:02
        114Aktuelles vom Verband der Personaldienstleister der Schweiz Hier bloggt Arie Joehro Neue Studie zeigt:

        Aktuelles vom Verband der Personaldienstleister der Schweiz Hier bloggt Arie Joehro Neue Studie zeigt:

        Add to Reading List

        Source URL: blog.swissstaffing.ch

        Language: German - Date: 2015-03-27 03:39:11
          115Symbolic Optimization with SMT Solvers Aws Albarghouthi / UToronto Marsha Chechik / UToronto Arie Gurfinkel / CMU Zachary Kincaid / UToronto

          Symbolic Optimization with SMT Solvers Aws Albarghouthi / UToronto Marsha Chechik / UToronto Arie Gurfinkel / CMU Zachary Kincaid / UToronto

          Add to Reading List

          Source URL: www.cs.utoronto.ca

          Language: English - Date: 2014-01-27 11:54:42
            116Whale: An Interpolation-based Algorithm for Inter-procedural Verification Aws Albarghouthi1 , Arie Gurfinkel2 , and Marsha Chechik1 1 2

            Whale: An Interpolation-based Algorithm for Inter-procedural Verification Aws Albarghouthi1 , Arie Gurfinkel2 , and Marsha Chechik1 1 2

            Add to Reading List

            Source URL: www.cs.utoronto.ca

            Language: English - Date: 2012-05-01 12:40:03
              117Departamento de Financiamiento Institucional Unidad de Análisis y Convenios de Desempeño Protocolo Visita de Seguimiento Convenio de Desempeño UC1203 Nombre Negociador Encargado de • Arie Aizman (AA), Encargado de S

              Departamento de Financiamiento Institucional Unidad de Análisis y Convenios de Desempeño Protocolo Visita de Seguimiento Convenio de Desempeño UC1203 Nombre Negociador Encargado de • Arie Aizman (AA), Encargado de S

              Add to Reading List

              Source URL: mecesup.uc.cl

              Language: Spanish - Date: 2015-04-13 11:59:17
                118Computer tailored persuasion: effectiveness and side-effects Arie Dijkstra University of Groningen The Netherlands

                Computer tailored persuasion: effectiveness and side-effects Arie Dijkstra University of Groningen The Netherlands

                Add to Reading List

                Source URL: chcr.umich.edu

                Language: English - Date: 2008-08-04 20:20:09
                  119Departamento de Financiamiento Institucional Unidad de Análisis y Convenios de Desempeño Protocolo Visita de Seguimiento Convenio de Desempeño UC1203 Nombre Negociador Encargado de  Arie Aizman (AA), Encargado de S

                  Departamento de Financiamiento Institucional Unidad de Análisis y Convenios de Desempeño Protocolo Visita de Seguimiento Convenio de Desempeño UC1203 Nombre Negociador Encargado de  Arie Aizman (AA), Encargado de S

                  Add to Reading List

                  Source URL: mecesup.uc.cl

                  Language: Spanish - Date: 2015-06-15 08:01:45
                    120Synthesizing Safe Bit-Precise Invariants? Arie Gurfinkel, Anton Belov and Joao Marques-Silva Abstract. Bit-precise software verification is an important and difficult problem. While there has been an amazing progress in

                    Synthesizing Safe Bit-Precise Invariants? Arie Gurfinkel, Anton Belov and Joao Marques-Silva Abstract. Bit-precise software verification is an important and difficult problem. While there has been an amazing progress in

                    Add to Reading List

                    Source URL: arieg.bitbucket.org

                    Language: English - Date: 2016-02-12 11:17:00