Now showing items 1-9 of 9

    • Combining structural and symbolic methods for the verification of concurrent systems 

      Cortadella, Jordi (Institute of Electrical and Electronics Engineers (IEEE), 1998)
      Conference report
      Open Access
      The contributions during the last few years on the structural theory of Petri nets can now be applied to formal verification. The structural theory provides methods to find efficient encoding schemes for symbolic representations ...
    • Implementación de un agente para la validación de dominios privados basado en el protocolo ACME 

      Terraga Gómez, Víctor (Universitat Politècnica de Catalunya, 2019-02)
      Bachelor thesis
      Restricted access - confidentiality agreement
      Covenantee:   Safelayer Secure Communications
      Este documento describe el protocolo ACME que una CA y un solicitante pueden usar para automatizar el proceso de verificación y emisión de certificados. El protocolo también proporciona facilidades para otras funciones de ...
    • Lightweight and static verification of UML executable models 

      Planas Hortal, Elena; Cabot, Jordi; Gómez Seoane, Cristina (2016-11)
      Article
      Open Access
      Executable models play a key role in many software development methods by facilitating the (semi)automatic implementation/execution of the software system under development. This is possible because executable models promote ...
    • Termination competition (termCOMP 2015) 

      Giesl, Jürgen; Mesnard, Frédéric; Rubio Gimeno, Alberto; Thiemann, René; Waldmann, Johannes (Springer, 2015)
      Conference report
      Open Access
      The termination competition focuses on automated termination analysis for all kinds of programming paradigms, including categories for term rewriting, imperative programming, logic programming, and functional programming. ...
    • Verificació de sistemes concurrents basada en Constraint-Programming 

      Royuela Alcazar, Josep Maria (Universitat Politècnica de Catalunya, 2010-07-12)
      Master thesis (pre-Bologna period)
      Open Access
      L'objectiu d'aquest projecte és la verificació de propietats temporals LTL en sistemes concurrents modelats amb xarxes de Petri mitjançant constraint programming.
    • Verificación de diagramas de clases UML mediante Constraint Programming 

      Fuente Arcas, Patricia de la (Universitat Politècnica de Catalunya, 2007-07-06)
      Master thesis (pre-Bologna period)
      Open Access
    • Verification of concurrent systems with parametric delays using octahedra 

      Clarisó Viladrosa, Robert; Cortadella, Jordi (Institute of Electrical and Electronics Engineers (IEEE), 2005)
      Conference report
      Open Access
      A technique for the verification of concurrent parametric timed systems is presented. In the systems under study, each action has a bounded delay where the bounds are either constants or parameters. Given a safety property, ...
    • Verifying action semantics specifications in UML behavioral models 

      Planas Hortal, Elena; Cabot Sagrera, Jordi; Gómez Seoane, Cristina (Springer Verlag, 2009)
      Conference report
      Restricted access - publisher's policy
      MDD and MDA approaches require capturing the behavior of UML models in sufficient detail so that the models can be automatically implemented/executed in the production environment. With this purpose, Action Semantics (AS) ...
    • Verifying consistency between structural and behavioral schemas in UML 

      Planas Hortal, Elena (Universitat Politècnica de Catalunya, 2008-06-25)
      Master thesis
      Open Access