Simulation of Timed Petri Nets by Ordinary Petri Nets and Applications to Decidability of the Timed Reachability Problem and other Related Problems. - Valentín Valero Ruiz; David de Frutos-Escrig; Fernando Cuartero (PNPM, 1991)

Decidability of the strict reachability problem for TPN's with rational and real durations. - Valentín Valero Ruiz; David de Frutos-Escrig; Fernando Cuartero Gómez (PNPM, 1993)

Timed Processes of Timed Petri Nets. - Valentín Valero Ruiz; David de Frutos-Escrig; Fernando Cuartero (Application and Theory of Petri Nets, 1995)

A simulation tool of parallel architectures for digital image processing applications based on DLX processors. - Valentín Valero Ruiz; Fernando Cuartero; Antonio Jose Garrido del Solo; Francisco J. Quiles 001 (ICIP (3), 1995)

TPAL: A Timed-Probabilistic Model for Concurrent Processes. - Antonio Bueno; Valentín Valero Ruiz; Fernando Cuartero (APSEC, 1997)

A Sound and Complete Proof System for Probabilistic Processes. - Fernando Cuartero; David de Frutos-Escrig; Valentín Valero Ruiz (ARTS, 1997)

On non-decidability of reachability for timed-arc Petri nets. - Valentín Valero Ruiz; David de Frutos-Escrig; Fernando Cuartero Gómez (PNPM, 1999)

Decidability of Properties of Timed-Arc Petri Nets. - David de Frutos-Escrig; Valentín Valero Ruiz; Olga Marroquín Alonso (ICATPN, 2000)

A Denotational Model for Probabilistic and Nondeterministic Processes. - Diego Cazorla; Fernando Cuartero; Valentín Valero Ruiz; Fernando L. Pelayo (ICDCS Workshop on Distributed System Validation and Verification, 2000)

An example of performance evaluation by using the stochastic process algebra: ROSA. - Fernando L. Pelayo; Fernando Cuartero; Valentín Valero Ruiz; Diego Cazorla (RTCSA, 2000)

Automatic Translation of a Timed Process Algebra into Dynamic State Graphs. - Juan José Pardo; Valentín Valero Ruiz; Fernando Cuartero; Diego Cazorla (APSEC, 2001)

sPBC: A Markovian Extension of Finite Petri box calculus. - Hermenegilda Macià; Valentín Valero; David de Frutos-Escrig (PNPM, 2001)

A process algebra for probabilistic and nondeterministic processes. - Diego Cazorla; Fernando Cuartero; Valentín Valero Ruiz; Fernando L. Pelayo (Inf. Process. Lett., 2001)

Translating TPAL Specifications into Timed-Arc Petri Nets. - Valentín Valero Ruiz; Juan José Pardo; Fernando Cuartero (ICATPN, 2002)

Specification and Analysis of the MPEG–2 Video Encoder with Timed-Arc Petri Nets. - Valentín Valero Ruiz; Fernando L. Pelayo; Fernando Cuartero; Diego Cazorla (FMICS, 2002)

A New Synchronization in Finite Stochastic Petri Box Calculus. - Hermenegilda Macià; Valentín Valero Ruiz; Fernando Cuartero; Fernando L. Pelayo (ACSD, 2003)

Analysis of the MPEG-2 Encoding Algorithm with ROSA1. - Fernando L. Pelayo; Fernando Cuartero; Valentín Valero Ruiz; Diego Cazorla (FMICS, 2003)

Algebraic theory of probabilistic and nondeterministic processes. - Diego Cazorla; Fernando Cuartero; Valentín Valero Ruiz; Fernando L. Pelayo; Juan José Pardo (J. Log. Algebraic Methods Program., 2003)

Introducing the Iteration in sPBC. - Hermenegilda Macià; Valentín Valero Ruiz; Diego Cazorla; Fernando Cuartero (FORTE, 2004)

Applying Timed-Arc Petri Nets to improve the performance of the MPEG-2 Encoding Algorithm. - Fernando L. Pelayo; Fernando Cuartero; Valentín Valero Ruiz; Hermenegilda Macià; Maria L. Pelayo (MMM, 2004)

Automatic verification of the TLS handshake protocol. - Gregorio Díaz 001; Fernando Cuartero; Valentín Valero Ruiz; Fernando L. Pelayo (SAC, 2004)

How does the memory work? By timed-arc Petri nets. - Fernando L. Pelayo; Fernando Cuartero; Valentín Valero; Maria L. Pelayo; Mercedes G. Merayo (IEEE ICCI, 2005)

Obtaining Probabilistic Dynamic State Graphs for TPPAL Processes. - Juan José Pardo; Valentín Valero Ruiz; M. Carmen Ruiz; Fernando Cuartero; Gregorio Díaz 001 (Australian Software Engineering Conference, 2005)

Automatic Translation of WS-CDL Choreographies to Timed Automata. - Gregorio Díaz 001; Juan José Pardo; María-Emilia Cambronero; Valentín Valero; Fernando Cuartero (EPEW/WS-FM, 2005)

An approach to handle real time and probabilistic behaviors in e-commerce: validating the SET protocol. - Gregorio Díaz 001; Kim Guldstrand Larsen; Juan José Pardo; Fernando Cuartero; Valentín Valero (SAC, 2005)

Verification of Web Services with Timed Automata. - Gregorio Díaz 001; Juan José Pardo; María-Emilia Cambronero; Valentín Valero; Fernando Cuartero (WWV, 2005)

A translation of TPALp into a class of timed-probabilistic Petri nets. - Antonio Bueno; Valentín Valero Ruiz; Fernando Cuartero (Theor. Comput. Sci., 2005)

Automatic generation of Correct Web Services Choreographies and Orchestrations with Model Checking Techniques. - Gregorio Díaz 001; María-Emilia Cambronero; Juan José Pardo; Valentín Valero; Fernando Cuartero (AICT/ICIW, 2006)

RT-UML for modeling Real-Time Web Services. - María-Emilia Cambronero; Gregorio Díaz 001; Juan José Pardo; Valentín Valero Ruiz; Fernando L. Pelayo (SCW, 2006)

Analysis and Verification of Time Requirements Applied to the Web Services Composition. - Gregorio Díaz 001; María-Emilia Cambronero; Llanos Tobarra; Valentín Valero; Fernando Cuartero (WS-FM, 2006)

Does ROSA provide a good view of the Memorizing Process? - Maria L. Pelayo; Fernando L. Pelayo; Fernando Cuartero; Valentín Valero; Gregorio Díaz 001; Elena Nieto (IEEE ICCI, 2007)

Testing Time Goal-Driven Requirements with Model Checking Techniques. - Gregorio Díaz 001; Elena Navarro 001; María-Emilia Cambronero; Valentín Valero; Fernando Cuartero (ECBS, 2007)

Using UML Diagrams to Model Real-Time Web Services. - María-Emilia Cambronero; Gregorio Díaz 001; Juan José Pardo; Valentín Valero (ICIW, 2007)

Automation of Avionic Systems Testing. - David Cebrián; Valentín Valero Ruiz; Fernando Cuartero (TestCom/FATES, 2007)

Using RT-UML for modelling web services. - María-Emilia Cambronero; Juan José Pardo; Gregorio Díaz 001; Valentín Valero (SAC, 2007)

Model Checking Techniques applied to the design of Web Services. - Gregorio Díaz 001; María-Emilia Cambronero; Juan José Pardo; Valentín Valero; Fernando Cuartero (CLEI Electron. J., 2007)

Enhancing the expressivity of PADL for specifying Web Services Architectures. - Gregorio Díaz 001; María-Emilia Cambronero; Llanos Tobarra; Valentín Valero Ruiz; Fernando L. Pelayo (TAMoCo, 2008)

A congruence relation for sPBC. - Hermenegilda Macià; Valentín Valero Ruiz; Fernando Cuartero; David de Frutos-Escrig (Formal Methods Syst. Des., 2008)

sPBC: A Markovian Extension of Petri Box Calculus with Immediate Multiactions. - Hermenegilda Macià; Valentín Valero; Fernando Cuartero; M. Carmen Ruiz (Fundam. Informaticae, 2008)

A Comparative Study between WSCI, WS-CDL, and OWL-S. - María-Emilia Cambronero; Gregorio Díaz 001; Enrique Martínez; Valentín Valero (ICEBE, 2009)

Design and Verification of Web Services Compositions. - Enrique Martínez; María-Emilia Cambronero; Gregorio Díaz 001; Valentín Valero (ICIW, 2009)

Time Ordering Architecture in SCA. - Enrique Martínez; Gregorio Díaz 001; Carmen Rosa Martínez; María-Emilia Cambronero; Valentín Valero Ruiz (TAMoCo, 2009)

A Petri net approach for the design and analysis of Web Services Choreographies. - Valentín Valero; María-Emilia Cambronero; Gregorio Díaz 001; Hermenegilda Macià (J. Log. Algebraic Methods Program., 2009)

A barred operational semantics for a subset of WS-CDL with time restrictions. - Valentín Valero; Gregorio Díaz 001; María-Emilia Cambronero; Hermenegilda Macià (J. Log. Algebraic Methods Program., 2009)

Applying Petri Nets for the Analysis of the GSH-ASC Cycle in Chloroplasts. - Hermenegilda Macià; María-Isabel González-Sánchez; Valentín Valero Ruiz; Edelmira Valero (ACSD/Petri Nets Workshops, 2010)

Verification of real-time systems design. - María-Emilia Cambronero; Valentín Valero Ruiz; Gregorio Díaz 001 (Softw. Test. Verification Reliab., 2010)

An Operational Semantics of BPEL Orchestrations Integrating Web Services Resource Framework. - José Antonio Mateo; Valentín Valero; Gregorio Díaz 001 (WS-FM, 2011)

Validation and verification of Web services choreographies by using timed automata. - María-Emilia Cambronero; Gregorio Díaz 001; Valentín Valero; Enrique Martínez (J. Log. Algebraic Methods Program., 2011)

Design and Generation of Web Services Choreographies with Time Constraints. - María-Emilia Cambronero; Valentín Valero Ruiz; Enrique Martínez (J. Univers. Comput. Sci., 2011)

BPEL-RF: A formal framework for BPEL orchestrations integrating distributed resources - José Antonio Mateo; Valentín Valero; Gregorio Díaz 001 (CoRR, 2012)

Conformance Verification of Normative Specifications using C-O Diagrams - Gregorio Díaz 001; Luis Llana; Valentín Valero Ruiz; José Antonio Mateo (FLACOS, 2012)

Discrete Time Stochastic Petri Box Calculus with Immediate Multiactions dtsiPBC. - Igor V. Tarasyuk; Hermenegilda Macià; Valentín Valero Ruiz (PASM/PDMC, 2012)

Transforming Web Services Choreographies with priorities and time constraints into prioritized-time colored Petri nets. - Valentín Valero Ruiz; Hermenegilda Macià; Juan José Pardo; María-Emilia Cambronero; Gregorio Díaz 001 (Sci. Comput. Program., 2012)

WST: a tool supporting timed composite Web Services Model transformation. - María-Emilia Cambronero; Gregorio Díaz 001; Enrique Martínez; Valentín Valero Ruiz; Llanos Tobarra (Simul., 2012)

Modelling Distributed Service Systems with Resources Using UML. - María-Emilia Cambronero; Valentín Valero (ICCS, 2013)

Guest Editors' Foreword. - Ernesto Pimentel 001; Valentín Valero (J. Log. Algebraic Methods Program., 2013)

A Coloured Petri Net Approach to Model and Analyse Stateful Workflows Based on WS-BPEL and WSRF. - José Antonio Mateo; Valentín Valero Ruiz; Hermenegilda Macià; Gregorio Díaz 001 (SEFM Workshops, 2014)

Performance analysis of concurrent systems in algebra dtsiPBC. - Igor V. Tarasyuk; Hermenegilda Macià; Valentín Valero Ruiz (Program. Comput. Softw., 2014)

Colored Petri Net Modeling of the Publish/Subscribe Paradigm in the Context of Web Services Resources. - Valentín Valero; Hermenegilda Macià; Gregorio Díaz 001; María-Emilia Cambronero (FMICS, 2015)

Model-checking verification of publish-subscribe architectures in web service contexts. - Gregorio Díaz 001; María-Emilia Cambronero; Hermenegilda Macià; Valentín Valero Ruiz (SAC, 2015)

Complex Event Processing Modeling by Prioritized Colored Petri Nets. - Hermenegilda Macià; Valentín Valero; Gregorio Díaz 001; Juan Boubeta-Puig; Guadalupe Ortiz 001 (IEEE Access, 2016)

Intelligent Transportation System to Control Air Pollution in Cities Using Complex Event Processing and Colored Petri Nets. - Gregorio Díaz 001; Hermenegilda Macià; Valentín Valero; Fernando Cuartero (IWANN (2), 2017)

Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC. - Igor V. Tarasyuk; Hermenegilda Macià; Valentín Valero Ruiz (CoRR, 2017)

Timed Automata Modeling and Verification for Publish-Subscribe Structures Using Distributed Resources. - Valentín Valero; Gregorio Díaz 001; María-Emilia Cambronero (IEEE Trans. Software Eng., 2017)

Modeling and Analysis of the 1-Wire Communication Protocol Using Timed Colored Petri Nets. - María-Emilia Cambronero; Hermenegilda Macià; Valentín Valero Ruiz; Luis Orozco-Barbosa (IEEE Access, 2018)

Strong behavioral similarities in timed-arc Petri nets. - Valentín Valero (Appl. Math. Comput., 2018)

Combining Fuzzy Logic and CEP Technology to Improve Air Quality in Cities. - Hermenegilda Macià; Gregorio Díaz 001; Juan Boubeta-Puig; Edelmira Valero; Valentín Valero (ICCS (5), 2019)

An Intelligent System Integrating CEP and Colored Petri Nets for Helping in Decision Making About Pollution Scenarios. - Gregorio Díaz 001; Enrique Brazález; Hermenegilda Macià; Juan Boubeta-Puig; Valentín Valero (IWANN (1), 2019)

A Framework for Modeling Cloud Infrastructures and User Interactions. - Adrian Bernal; María-Emilia Cambronero; Valentín Valero Ruiz; Alberto Nuñez; Pablo C. Cañizares (IEEE Access, 2019)

MEdit4CEP-CPN: An approach for complex event processing modeling by prioritized colored petri nets. - Juan Boubeta-Puig; Gregorio Díaz 001; Hermenegilda Macià; Valentín Valero; Guadalupe Ortiz 001 (Inf. Syst., 2019)

Profiling the publish/subscribe paradigm for automated analysis using colored Petri nets. - Abel Gómez 001; Ricardo J. Rodríguez; María-Emilia Cambronero; Valentín Valero (Softw. Syst. Model., 2019)

Facilitating the Quantitative Analysis of Complex Events through a Computational Intelligence Model-Driven Tool. - Gregorio Díaz 001; Hermenegilda Macià; Valentín Valero; Juan Boubeta-Puig; Guadalupe Ortiz 001 (Sci. Program., 2019)

Improving cloud architectures using UML profiles and M2T transformation techniques. - Adrian Bernal; María-Emilia Cambronero; Alberto Núñez; Pablo C. Cañizares; Valentín Valero (J. Supercomput., 2019)

An Intelligent Transportation System to control air pollution and road traffic in cities integrating CEP and Colored Petri Nets. - Gregorio Díaz 001; Hermenegilda Macià; Valentín Valero; Juan Boubeta-Puig; Fernando Cuartero (Neural Comput. Appl., 2020)

Studying the Impact of the User Subscription Times in Different Cloud Configurations. - Hernán-Indibil de la Cruz; María-Emilia Cambronero; Valentín Valero; Pablo C. Cañizares; Adrian Bernal; Alberto Núñez (SEKE, 2021)

Analyzing the Cloud Performance Using Different User Subscription Times. - Adrian Bernal; María-Emilia Cambronero; Pablo C. Cañizares; Alberto Núñez; Valentín Valero; Hernán-Indibil de la Cruz (Int. J. Softw. Eng. Knowl. Eng., 2021)

Profiling SLAs for cloud system infrastructures and user interactions. - María-Emilia Cambronero; Adrian Bernal; Valentín Valero; Pablo C. Cañizares; Alberto Núñez (PeerJ Comput. Sci., 2021)

Modeling and simulation of the IEEE 802.11e wireless protocol with hidden nodes using Colored Petri Nets. - Estefanía Coronado; Valentín Valero; Luis Orozco-Barbosa; María-Emilia Cambronero; Fernando L. Pelayo (Softw. Syst. Model., 2021)

greenITS: a proposal to compute low-pollution routes. - Hermenegilda Macià; Gregorio Díaz 001; Valentín Valero; Edelmira Valero; Enrique Brazález; Juan Boubeta-Puig (FNC/MobiSPC/SEIT, 2022)

FUME: An air quality decision support system for cities based on CEP technology and fuzzy logic. - Enrique Brazález; Hermenegilda Macià; Gregorio Díaz 001; María-Teresa Baeza-Romero; Edelmira Valero; Valentín Valero (Appl. Soft Comput., 2022)

PITS: An Intelligent Transportation System in pandemic times. - Enrique Brazález; Hermenegilda Macià; Gregorio Díaz 001; Valentín Valero; Juan Boubeta-Puig (Eng. Appl. Artif. Intell., 2022)

GDPRValidator: a tool to enable companies using cloud services to be GDPR compliant. - María-Emilia Cambronero; Miguel A. Martínez 003; José Luis de la Vara; David Cebrián; Valentín Valero (PeerJ Comput. Sci., 2022)

Evaluating cloud interactions with costs and SLAs. - Adrian Bernal; María-Emilia Cambronero; Alberto Núñez; Pablo C. Cañizares; Valentín Valero (J. Supercomput., 2022)

A Compositional Approach for Complex Event Pattern Modeling and Transformation to Colored Petri Nets with Black Sequencing Transitions. - Valentín Valero; Gregorio Díaz 001; Juan Boubeta-Puig; Hermenegilda Macià; Enrique Brazález (IEEE Trans. Software Eng., 2022)

An Intelligent Transportation System for Tsunamis Combining CEP, CPN and Fuzzy Logic. - Gregorio Díaz 001; Hermenegilda Macià; Enrique Brazález; Juan Boubeta-Puig; M. Carmen Ruiz; Valentín Valero (ICCS (1), 2023)

Designing a Fault Detection System for Wind Turbine Control Monitoring Using CEP. - Enrique Brazález; Gregorio Díaz 001; Hermenegilda Macià; Valentín Valero (IWANN (2), 2023)

Modelling, simulation and performance evaluation of the IEEE 802.11e protocol with station mobility. - Estefanía Coronado; Valentín Valero; María-Emilia Cambronero; Luis Orozco-Barbosa (PeerJ Comput. Sci., 2023)

ITS4Tsunamis: An Intelligent Transportation System for tsunami emergencies. - Gregorio Díaz 001; Hermenegilda Macià; Enrique Brazález; Juan Boubeta-Puig; M. Carmen Ruiz; Valentín Valero (J. Comput. Sci., 2024)