Juan José Pardo

Publication Activity (10 Years)

Years Active: 2001-2020
Publications (10 Years): 3

Top Topics

Computational Science

Wireless Sensor Networks

Top Venues

Sci. Comput. Program.

Comput. Geosci.

Publications

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