Juan José Pardo

According to our database, Juan José Pardo authored at least 31 papers between 2001 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Seeking the best Weather Research and Forecasting model performance: an empirical score approach.

Raúl Moreno, Enrique Arias, Diego Cazorla, Juan José Pardo, Francisco J. Tapiador

J. Supercomput., 2020

Analysis of a New MPI Process Distribution for the Weather Research and Forecasting (WRF) Model.

Raúl Moreno, Enrique Arias, Diego Cazorla, Juan José Pardo, Andrés Navarro, Tomás Rojo, Francisco J. Tapiador

Sci. Program., 2020

2019

Science for everyone (ScifE): A proposed framework for science as a service using interactive web technologies.

Raúl Moreno, F. J. Pérez-Gil, Juan José Pardo, Andrés Navarro, Francisco J. Tapiador

Comput. Geosci., 2019

2015

A Methodology for Designing Energy-aware Systems for Computational Science.

Pablo C. Cañizares, Alberto Núñez, Manuel Núñez, Juan José Pardo

Proceedings of the International Conference on Computational Science, 2015

2014

Formal Study of Routing Protocols for Wireless Sensor Networks.

José Antonio Mateo, M. Carmen Ruiz, Hermenegilda Macià, Juan José Pardo

J. Univers. Comput. Sci., 2014

2013

Finding the Suitable Number of Resources to Maximize System Throughput.

M. Carmen Ruiz, Diego Pérez Leándrez, Juan José Pardo, Diego Cazorla

Proceedings of the Advances in Information Systems and Technologies [WorldCIST'13, 2013

Formal Study of a Novel Network Role-based Routing Intelligent Algorithm.

José Antonio Mateo, Hermenegilda Macià, M. Carmen Ruiz, Juan José Pardo, A. M. Ortiz

Proceedings of the International Conference on Computational Science, 2013

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

Sci. Comput. Program., 2012

2010

Specification and Testing of E-Commerce Agents Described by Using UIOLTSs.

Juan José Pardo, Manuel Núñez, M. Carmen Ruiz

Proceedings of the Formal Techniques for Distributed Systems, 2010

BAL Tool in Flexible Manufacturing Systems.

Diego Pérez Leándrez, M. Carmen Ruiz, Juan José Pardo, Diego Cazorla

Proceedings of the Algebraic Methodology and Software Technology, 2010

2009

Nuevos Métodos de Enseñanza en Astronomía.

Fernando Cuartero, Jesús Ruíz Bueno, Juan José Pardo

Rev. Iberoam. de Tecnol. del Aprendiz., 2009

A Novel Formalism to Represent Collective Intelligence in Multi-agent Systems.

Juan José Pardo, Manuel Núñez, M. Carmen Ruiz

Proceedings of the New Challenges in Computational Collective Intelligence [selected papers from the 1st International Conference on Collective Intelligence, 2009

2008

Modelling secure wireless sensor networks routing protocols with timed automata.

Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Juan José Pardo

Proceedings of the 3rd ACM Workshop on Performance Monitoring and Measurement of Heterogeneous Wireless and Wired Networks, 2008

Formal Verification of the Secure Sockets Layer Protocol.

Llanos Tobarra, Diego Cazorla, Juan José Pardo, Fernando Cuartero

Proceedings of the ICEIS 2008, 2008

2007

Model Checking Techniques applied to the design of Web Services.

Gregorio Díaz, María-Emilia Cambronero, Juan José Pardo, Valentín Valero, Fernando Cuartero

CLEI Electron. J., 2007

Using RT-UML for modelling web services.

María-Emilia Cambronero, Juan José Pardo, Gregorio Díaz, Valentín Valero

Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

Using UML Diagrams to Model Real-Time Web Services.

María-Emilia Cambronero, Gregorio Díaz, Juan José Pardo, Valentín Valero

Proceedings of the International Conference on Internet and Web Applications and Services (ICIW 2007), 2007

2006

Process Algebra Specification of Flexible Manufacturing Systems.

M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo

Proceedings of the 8th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2006), 2006

RT-UML for modeling Real-Time Web Services.

María-Emilia Cambronero, Gregorio Díaz, Juan José Pardo, Valentín Valero Ruiz, Fernando L. Pelayo

Proceedings of the 2006 IEEE Services Computing Workshops (SCW 2006), 2006

Analysis of the SET e-commerce protocol using a true concurrency process algebra.

M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo

Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

Specification and performance evaluation of Flexible Manufacturing Systems using a Bounded True Concurrent Process Algebra.

M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo

Proceedings of the 2006 International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2006), International Conference on Intelligent Agents, Web Technologies and Internet Commerce (IAWTIC 2006), 29 November, 2006

Automatic generation of Correct Web Services Choreographies and Orchestrations with Model Checking Techniques.

Gregorio Díaz, María-Emilia Cambronero, Juan José Pardo, Valentín Valero, Fernando Cuartero

Proceedings of the Advanced International Conference on Telecommunications and International Conference on Internet and Web Applications and Services (AICT/ICIW 2006), 2006

2005

Verification of Web Services with Timed Automata.

Gregorio Díaz, Juan José Pardo, María-Emilia Cambronero, Valentín Valero, Fernando Cuartero

Proceedings of the International Workshop on Automated Specification and Verification of Web Sites, 2005

A Formal Specification and Performance Evaluation of the Purchase Phase in the SET Protocol.

M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo

Proceedings of the Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2005), 2005

An approach to handle real time and probabilistic behaviors in e-commerce: validating the SET protocol.

Gregorio Díaz, Kim Guldstrand Larsen, Juan José Pardo, Fernando Cuartero, Valentín Valero

Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

Automatic Translation of WS-CDL Choreographies to Timed Automata.

Gregorio Díaz, Juan José Pardo, María-Emilia Cambronero, Valentín Valero, Fernando Cuartero

Proceedings of the Formal Techniques for Computer Systems and Business Processes, 2005

Obtaining Probabilistic Dynamic State Graphs for TPPAL Processes.

Juan José Pardo, Valentín Valero Ruiz, M. Carmen Ruiz, Fernando Cuartero, Gregorio Díaz

Proceedings of the 16th Australian Software Engineering Conference (ASWEC 2005), 31 March, 2005

2004

A Bounded True Concurrency Process Algebra for Performance Evaluation.

M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo, Hermenegilda Macià

Proceedings of the Applying Formal Methods: Testing, Performance and M/ECommerce, 2004

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

2002

Translating TPAL Specifications into Timed-Arc Petri Nets.

Valentín Valero Ruiz, Juan José Pardo, Fernando Cuartero

Proceedings of the Applications and Theory of Petri Nets 2002, 2002

2001

Automatic Translation of a Timed Process Algebra into Dynamic State Graphs.

Juan José Pardo, Valentín Valero Ruiz, Fernando Cuartero, Diego Cazorla

Proceedings of the 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 2001