Publicaciones en las que colabora con MANUEL ISIDORO CAPEL TUÑÓN (15)

2009

  1. Compositional model-checking verification of critical systems

    Lecture Notes in Business Information Processing, Vol. 19, pp. 213-225

2008

  1. Automatic verification of business process integrity

    International Journal of Simulation and Process Modelling, Vol. 4, Núm. 3-4, pp. 167-182

2007

  1. A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models

    Science of Computer Programming, Vol. 65, Núm. 1, pp. 41-56

  2. An interpretation of behavioral consistency of UML-RT diagrams in terms of CSP+T

    Proceedings of the 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - MSVVEIS 2007; In Conjunction with ICEIS 2007

  3. Checking behavioural consistency of UML-RT models through trace-based semantics

    ICEIS 2007 - 9th International Conference on Enterprise Information Systems, Proceedings

  4. Checking behavioural consistency of UML-RT models through trace-based semantics

    ICEIS 2007: PROCEEDINGS OF THE NINTH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS

  5. Towards UML-RT behavioural consistency

    ICEIS 2007: PROCEEDINGS OF THE NINTH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS

  6. Towards uml-rt behavioural consistency

    ICEIS 2007 - 9th International Conference on Enterprise Information Systems, Proceedings

2006

  1. Design of real-time systems by systematic transformation of UML/RT models into simple timed process algebra system specifications

    ICEIS 2006 - 8th International Conference on Enterprise Information Systems, Proceedings

  2. Formal specification of real-time systems by transformation of UML-RT design models

    Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2006 - In Conjunction with ICEIS 2006

2005

  1. Combining the Description Features of UML-RT and CSP plus T Specifications Applied to a Complete Design of Real-Time Systems

    PROCEEDINGS OF WORLD ACADEMY OF SCIENCE, ENGINEERING AND TECHNOLOGY, VOL 7

2003

  1. FBT (FIL to Büchi automaton translator): herramienta para especificar y verificar sistemas concurrentes mediante fórmulas de intervalos

    Concurrencia y sistemas distribuidos: actas de las XI Jornadas de Concurrencia

2001

  1. Automata generation for on-the-fly automatic verification using formulas of an interval logic

    Proceedings - International Conference on Application of Concurrency to System Design, ACSD

  2. Verificación automatizada eficiente de sistemas concurrentes especificando sus propiedades con fórmulas de una lógica de intervalos

    JISBD 2001. Jornadas de ingeniería del software y bases de datos: 21 y 23 de noviembre de 2001. Almagro (Ciudad Real)

1997

  1. Implementación de una herramienta de especificación y validación para sistemas reactivos

    III Jornadas de Informática. Actas: El Puerto de Santa María (Cádiz), 14 al 18 de julio 1.997 [sic]