Browsing by Contributor "Rubio Gimeno, Alberto"

Now showing items 1-9 of 9

    • Automatic inductive equational reasoning 

      Mas Rovira, Jan (Universitat Politècnica de Catalunya, 2018-06)
      Master thesis
      Open Access
      We present Phileas, an automatic theorem prover focused on structural induction. Phileas is capable of automatically proving properties about inductively defined data types in Haskell anb reporting a proof in a human ...

    • Automatic program analysis using Max-SMT 

      Larraz Hurtado, Daniel (Universitat Politècnica de Catalunya, 2015-07-28)
      Doctoral thesis
      Open Access
      This thesis addresses the development of techniques to build fully-automatic tools for analyzing sequential programs written in imperative languages like C or C++. In order to do the reasoning about programs, the approach ...

    • Developing an Smart EPG from several sources 

      Álvarez Pons, David (Universitat Politècnica de Catalunya, 2013-06-21)
      Bachelor thesis
      Restricted access - confidentiality agreement

    • Engineering and developing a custom domain specific language 

      López Agudo, Joel (Universitat Politècnica de Catalunya, 2016)
      Bachelor thesis
      Restricted access - confidentiality agreement

    • Entorn per a l'anàlisi de terminació de programes 

      Castells Diumenjó, Pau (Universitat Politècnica de Catalunya, 2014-06-30)
      Bachelor thesis
      Open Access
      [CATALÀ] Aquest projecte presenta una eina que comprova si els resultats d'anàlisi de terminació generats pel programa CppInv són correctes o no. També presenta una web que permet als usuaris realitzar anàlisis de terminació ...

    • Estimador de calidad en sistemas de reconocimiento facial 

      Espejo Caballero, Daniel (Universitat Politècnica de Catalunya, 2015-01-27)
      Bachelor thesis
      Restricted access - confidentiality agreement

    • Graphical Animation of Transition Systems Behaviour 

      Cortada Ballester, Albert (Universitat Politècnica de Catalunya, 2014-04-25)
      Bachelor thesis
      Open Access
      [CATALÀ] Aquest treball presenta una aplicació gràfica d'escriptori, que s'encarrega de dues tasques. Per una banda, permet representar sistemes de transicions en forma de graf. D'altra banda, permet simular una execució ...

    • Reconstrucción del front-end y back-end de un juez automático de teoría de la computación 

      Pascual Torres, Jaime (Universitat Politècnica de Catalunya, 2016-06-20)
      Bachelor thesis
      Open Access
      En este proyecto hemos reconstruido una aplicación usada por los profesores y alumnos de dos asignaturas, Teoría de la Computación y Compiladores, que se imparten en el Grado de Ingeniería Informática, en la Facultad de ...

    • Verification of temporal properties of infinite state systems 

      Luengo Agulló, Cristina (Universitat Politècnica de Catalunya, 2015-06-29)
      Bachelor thesis
      Open Access
      No es ningún secreto que tanto los sistemas software como hardware generalmente presentan errores. Los métodos de testeo y simulación pueden identificar muchos problemas importantes, pero para sistemas que tienen ...