Juan José Pardo

32 papers C 3Misc 7Journal 8Unranked 14

Year	Rank	Type	Title / Venue / Authors
2020	J	`jnl`	Analysis of a New MPI Process Distribution for the Weather Research and Forecasting (WRF) Model. Sci. Program. Raúl Moreno, Enrique Arias, Diego Cazorla, Juan José Pardo, Andrés Navarro, Tomás Rojo, Francisco J. Tapiador
2020	J	`jnl`	Seeking the best Weather Research and Forecasting model performance: an empirical score approach. J. Supercomput. Raúl Moreno, Enrique Arias, Diego Cazorla, Juan José Pardo, Francisco J. Tapiador
2019	J	`jnl`	Science for everyone (ScifE): A proposed framework for science as a service using interactive web technologies. Comput. Geosci. Raúl Moreno, F. J. Pérez-Gil, Juan José Pardo, Andrés Navarro, Francisco J. Tapiador
2015	Misc	`conf`	A Methodology for Designing Energy-aware Systems for Computational Science. ICCS Pablo C. Cañizares, Alberto Núñez, Manuel Núñez, Juan José Pardo
2014	J	`jnl`	Formal Study of Routing Protocols for Wireless Sensor Networks. J. Univers. Comput. Sci. José Antonio Mateo, M. Carmen Ruiz, Hermenegilda Macià, Juan José Pardo
2013	C	`conf`	Finding the Suitable Number of Resources to Maximize System Throughput. WorldCIST M. Carmen Ruiz, Diego Pérez Leándrez, Juan José Pardo, Diego Cazorla
2013	Misc	`conf`	Formal Study of a Novel Network Role-based Routing Intelligent Algorithm. ICCS José Antonio Mateo, Hermenegilda Macià, M. Carmen Ruiz, Juan José Pardo, A. M. Ortiz
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
2010	—	`conf`	BAL Tool in Flexible Manufacturing Systems. AMAST Diego Pérez Leándrez, M. Carmen Ruiz, Juan José Pardo, Diego Cazorla
2010	—	`conf`	Specification and Testing of E-Commerce Agents Described by Using UIOLTSs. FMOODS/FORTE Juan José Pardo, Manuel Núñez, M. Carmen Ruiz
2009	—	`conf`	A Novel Formalism to Represent Collective Intelligence in Multi-agent Systems. ICCCI (SCI Volume) Juan José Pardo, Manuel Núñez, M. Carmen Ruiz
2009	J	`jnl`	Nuevos Métodos de Enseñanza en Astronomía. Rev. Iberoam. de Tecnol. del Aprendiz. Fernando Cuartero, Jesús Ruíz Bueno, Juan José Pardo
2008	—	`conf`	Formal Verification of the Secure Sockets Layer Protocol. ICEIS (3-2) Llanos Tobarra, Diego Cazorla, Juan José Pardo, Fernando Cuartero
2008	—	`conf`	Modelling secure wireless sensor networks routing protocols with timed automata. PM2HW2N Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Juan José Pardo
2007	J	`jnl`	Model Checking Techniques applied to the design of Web Services. CLEI Electron. J. Gregorio Díaz, María-Emilia Cambronero, Juan José Pardo, Valentín Valero, Fernando Cuartero
2007	Misc	`conf`	Using RT-UML for modelling web services. SAC María-Emilia Cambronero, Juan José Pardo, Gregorio Díaz, Valentín Valero
2007	C	`conf`	Using UML Diagrams to Model Real-Time Web Services. ICIW María-Emilia Cambronero, Gregorio Díaz, Juan José Pardo, Valentín Valero
2006	Misc	`conf`	Analysis of the SET e-commerce protocol using a true concurrency process algebra. SAC M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo
2006	—	`conf`	Automatic generation of Correct Web Services Choreographies and Orchestrations with Model Checking Techniques. AICT/ICIW Gregorio Díaz, María-Emilia Cambronero, Juan José Pardo, Valentín Valero, Fernando Cuartero
2006	Misc	`conf`	Process Algebra Specification of Flexible Manufacturing Systems. SYNASC M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo
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
2006	—	`conf`	Specification and performance evaluation of Flexible Manufacturing Systems using a Bounded True Concurrent Process Algebra. CIMCA/IAWTIC M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo
2005	Misc	`conf`	A Formal Specification and Performance Evaluation of the Purchase Phase in the SET Protocol. SYNASC M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo
2005	Misc	`conf`	An approach to handle real time and probabilistic behaviors in e-commerce: validating the SET protocol. SAC Gregorio Díaz, Kim Guldstrand Larsen, Juan José Pardo, Fernando Cuartero, Valentín Valero
2005	—	`conf`	Automatic Translation of WS-CDL Choreographies to Timed Automata. EPEW/WS-FM Gregorio Díaz, Juan José Pardo, María-Emilia Cambronero, Valentín Valero, 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
2005	—	`conf`	Verification of Web Services with Timed Automata. WWV Gregorio Díaz, Juan José Pardo, María-Emilia Cambronero, Valentín Valero, Fernando Cuartero
2005	—	`conf`	Verification of Web Services with Timed Automata. WWV Gregorio Díaz, Juan José Pardo, María-Emilia Cambronero, Valentín Valero, Fernando Cuartero
2004	—	`conf`	A Bounded True Concurrency Process Algebra for Performance Evaluation. FORTE Workshops M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo, Hermenegilda Macià
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
2002	—	`conf`	Translating TPAL Specifications into Timed-Arc Petri Nets. ICATPN Valentín Valero Ruiz, Juan José Pardo, Fernando Cuartero
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