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