Valentín Valero Ruiz

40 papers B 2C 5Misc 2Journal 12Unranked 19

Year	Rank	Type	Title / Venue / Authors
2019	J	`jnl`	A Framework for Modeling Cloud Infrastructures and User Interactions. IEEE Access Adrian Bernal, María-Emilia Cambronero, Valentín Valero Ruiz, Alberto Nuñez, Pablo C. Cañizares
2018	J	`jnl`	Modeling and Analysis of the 1-Wire Communication Protocol Using Timed Colored Petri Nets. IEEE Access María-Emilia Cambronero, Hermenegilda Macià, Valentín Valero Ruiz, Luis Orozco-Barbosa
2017	J	`jnl`	Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC. CoRR Igor V. Tarasyuk, Hermenegilda Macià, Valentín Valero Ruiz
2015	Misc	`conf`	Model-checking verification of publish-subscribe architectures in web service contexts. SAC Gregorio Díaz, María-Emilia Cambronero, Hermenegilda Macià, Valentín Valero Ruiz
2014	—	`conf`	A Coloured Petri Net Approach to Model and Analyse Stateful Workflows Based on WS-BPEL and WSRF. SEFM Workshops José Antonio Mateo, Valentín Valero Ruiz, Hermenegilda Macià, Gregorio Díaz
2014	J	`jnl`	Performance analysis of concurrent systems in algebra dtsiPBC. Program. Comput. Softw. Igor V. Tarasyuk, Hermenegilda Macià, Valentín Valero Ruiz
2012	—	`conf`	Conformance Verification of Normative Specifications using C-O Diagrams FLACOS Gregorio Díaz, Luis Llana, Valentín Valero Ruiz, José Antonio Mateo
2012	—	`conf`	Discrete Time Stochastic Petri Box Calculus with Immediate Multiactions dtsiPBC. PASM/PDMC Igor V. Tarasyuk, Hermenegilda Macià, Valentín Valero Ruiz
2012	J	`jnl`	Transforming Web Services Choreographies with priorities and time constraints into prioritized-time colored Petri nets. Sci. Comput. Program. Valentín Valero Ruiz, Hermenegilda Macià, Juan José Pardo, María-Emilia Cambronero, Gregorio Díaz
2012	J	`jnl`	WST: a tool supporting timed composite Web Services Model transformation. Simul. María-Emilia Cambronero, Gregorio Díaz, Enrique Martínez, Valentín Valero Ruiz, Llanos Tobarra
2011	J	`jnl`	Design and Generation of Web Services Choreographies with Time Constraints. J. Univers. Comput. Sci. María-Emilia Cambronero, Valentín Valero Ruiz, Enrique Martínez
2010	—	`conf`	Applying Petri Nets for the Analysis of the GSH-ASC Cycle in Chloroplasts. ACSD/Petri Nets Workshops Hermenegilda Macià, María-Isabel González-Sánchez, Valentín Valero Ruiz, Edelmira Valero
2010	J	`jnl`	Verification of real-time systems design. Softw. Test. Verification Reliab. María-Emilia Cambronero, Valentín Valero Ruiz, Gregorio Díaz
2009	—	`conf`	Time Ordering Architecture in SCA. TAMoCo Enrique Martínez, Gregorio Díaz, Carmen Rosa Martínez, María-Emilia Cambronero, Valentín Valero Ruiz
2008	J	`jnl`	A congruence relation for sPBC. Formal Methods Syst. Des. Hermenegilda Macià, Valentín Valero Ruiz, Fernando Cuartero, David de Frutos-Escrig
2008	—	`conf`	Enhancing the expressivity of PADL for specifying Web Services Architectures. TAMoCo Gregorio Díaz, María-Emilia Cambronero, Llanos Tobarra, Valentín Valero Ruiz, Fernando L. Pelayo
2007	—	`conf`	Automation of Avionic Systems Testing. TestCom/FATES David Cebrián, Valentín Valero Ruiz, Fernando Cuartero
2006	—	`conf`	RT-UML for modeling Real-Time Web Services. SCW María-Emilia Cambronero, Gregorio Díaz, Juan José Pardo, Valentín Valero Ruiz, Fernando L. Pelayo
2005	J	`jnl`	A translation of TPAL Theor. Comput. Sci. Antonio Bueno, Valentín Valero Ruiz, Fernando Cuartero
2005	—	`conf`	Obtaining Probabilistic Dynamic State Graphs for TPPAL Processes. Australian Software Engineering Conference Juan José Pardo, Valentín Valero Ruiz, M. Carmen Ruiz, Fernando Cuartero, Gregorio Díaz
2004	B	`conf`	Applying Timed-Arc Petri Nets to improve the performance of the MPEG-2 Encoding Algorithm. MMM Fernando L. Pelayo, Fernando Cuartero, Valentín Valero Ruiz, Hermenegilda Macià, Maria L. Pelayo
2004	Misc	`conf`	Automatic verification of the TLS handshake protocol. SAC Gregorio Díaz, Fernando Cuartero, Valentín Valero Ruiz, Fernando L. Pelayo
2004	C	`conf`	Introducing the Iteration in sPBC. FORTE Hermenegilda Macià, Valentín Valero Ruiz, Diego Cazorla, Fernando Cuartero
2003	—	`conf`	A New Synchronization in Finite Stochastic Petri Box Calculus. ACSD Hermenegilda Macià, Valentín Valero Ruiz, Fernando Cuartero, Fernando L. Pelayo
2003	J	`jnl`	Algebraic theory of probabilistic and nondeterministic processes. J. Log. Algebraic Methods Program. Diego Cazorla, Fernando Cuartero, Valentín Valero Ruiz, Fernando L. Pelayo, Juan José Pardo
2003	C	`conf`	Analysis of the MPEG-2 Encoding Algorithm with ROSA1. FMICS Fernando L. Pelayo, Fernando Cuartero, Valentín Valero Ruiz, Diego Cazorla
2002	C	`conf`	Specification and Analysis of the MPEG--2 Video Encoder with Timed-Arc Petri Nets. FMICS Valentín Valero Ruiz, Fernando L. Pelayo, Fernando Cuartero, Diego Cazorla
2002	—	`conf`	Translating TPAL Specifications into Timed-Arc Petri Nets. ICATPN Valentín Valero Ruiz, Juan José Pardo, Fernando Cuartero
2001	J	`jnl`	A process algebra for probabilistic and nondeterministic processes. Inf. Process. Lett. Diego Cazorla, Fernando Cuartero, Valentín Valero Ruiz, Fernando L. Pelayo
2001	C	`conf`	Automatic Translation of a Timed Process Algebra into Dynamic State Graphs. APSEC Juan José Pardo, Valentín Valero Ruiz, Fernando Cuartero, Diego Cazorla
2000	—	`conf`	A Denotational Model for Probabilistic and Nondeterministic Processes. ICDCS Workshop on Distributed System Validation and Verification Diego Cazorla, Fernando Cuartero, Valentín Valero Ruiz, Fernando L. Pelayo
2000	B	`conf`	An example of performance evaluation by using the stochastic process algebra: ROSA. RTCSA Fernando L. Pelayo, Fernando Cuartero, Valentín Valero Ruiz, Diego Cazorla
2000	—	`conf`	Decidability of Properties of Timed-Arc Petri Nets. ICATPN David de Frutos-Escrig, Valentín Valero Ruiz, Olga Marroquín Alonso
1999	—	`conf`	On non-decidability of reachability for timed-arc Petri nets. PNPM Valentín Valero Ruiz, David de Frutos-Escrig, Fernando Cuartero Gómez
1997	—	`conf`	A Sound and Complete Proof System for Probabilistic Processes. ARTS Fernando Cuartero, David de Frutos-Escrig, Valentín Valero Ruiz
1997	C	`conf`	TPAL: A Timed-Probabilistic Model for Concurrent Processes. APSEC Antonio Bueno, Valentín Valero Ruiz, Fernando Cuartero
1995	—	`conf`	A simulation tool of parallel architectures for digital image processing applications based on DLX processors. ICIP (3) Valentín Valero Ruiz, Fernando Cuartero, Antonio Jose Garrido del Solo, Francisco J. Quiles
1995	—	`conf`	Timed Processes of Timed Petri Nets. Application and Theory of Petri Nets Valentín Valero Ruiz, David de Frutos-Escrig, Fernando Cuartero
1993	—	`conf`	Decidability of the strict reachability problem for TPN's with rational and real durations. PNPM Valentín Valero Ruiz, David de Frutos-Escrig, Fernando Cuartero Gómez
1991	—	`conf`	Simulation of Timed Petri Nets by Ordinary Petri Nets and Applications to Decidability of the Timed Reachability Problem and other Related Problems. PNPM Valentín Valero Ruiz, David de Frutos-Escrig, Fernando Cuartero