|
Search the dblp DataBase
Juan José Pardo:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Gregorio Díaz, María-Emilia Cambronero, Juan José Pardo, Valentin Valero, Fernando Cuartero
Automatic generation of Correct Web Services Choreographies and Orchestrations with Model Checking Techniques. [Citation Graph (0, 0)][DBLP] AICT/ICIW, 2006, pp:186- [Conf]
- Valentín Valero Ruiz, Juan José Pardo, Fernando Cuartero
Translating TPAL Specifications into Timed-Arc Petri Nets. [Citation Graph (0, 0)][DBLP] ICATPN, 2002, pp:414-433 [Conf]
- Juan José Pardo, Valentín Valero Ruiz, Fernando Cuartero, Diego Cazorla
Automatic Translation of a Timed Process Algebra into Dynamic State Graphs. [Citation Graph (0, 0)][DBLP] APSEC, 2001, pp:63-70 [Conf]
- Juan José Pardo, Valentín Valero Ruiz, M. Carmen Ruiz, Fernando Cuartero, Gregorio Díaz
Obtaining Probabilistic Dynamic State Graphs for TPPAL Processes. [Citation Graph (0, 0)][DBLP] Australian Software Engineering Conference, 2005, pp:118-127 [Conf]
- Gregorio Díaz, Juan José Pardo, María-Emilia Cambronero, Valentin Valero, Fernando Cuartero
Automatic Translation of WS-CDL Choreographies to Timed Automata. [Citation Graph (0, 0)][DBLP] EPEW/WS-FM, 2005, pp:230-242 [Conf]
- M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo, Hermenegilda Macià
A Bounded True Concurrency Process Algebra for Performance Evaluation. [Citation Graph (0, 0)][DBLP] FORTE Workshops, 2004, pp:143-155 [Conf]
- Gregorio Díaz, Kim Guldstrand Larsen, Juan José Pardo, Fernando Cuartero, Valentin Valero
An approach to handle real time and probabilistic behaviors in e-commerce: validating the SET protocol. [Citation Graph (0, 0)][DBLP] SAC, 2005, pp:815-820 [Conf]
- M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo
Analysis of the SET e-commerce protocol using a true concurrency process algebra. [Citation Graph (0, 0)][DBLP] SAC, 2006, pp:879-886 [Conf]
- María-Emilia Cambronero, Juan José Pardo, Gregorio Díaz, Valentin Valero
Using RT-UML for modelling web services. [Citation Graph (0, 0)][DBLP] SAC, 2007, pp:643-648 [Conf]
- Gregorio Díaz, Juan José Pardo, María-Emilia Cambronero, Valentin Valero, Fernando Cuartero
Verification of Web Services with Timed Automata. [Citation Graph (0, 0)][DBLP] WWV, 2005, pp:177-191 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] CIMCA/IAWTIC, 2006, pp:46- [Conf]
- M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo
Process Algebra Specification of Flexible Manufacturing Systems. [Citation Graph (0, 0)][DBLP] SYNASC, 2006, pp:181-186 [Conf]
- M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo
A Formal Specification and Performance Evaluation of the Purchase Phase in the SET Protocol. [Citation Graph (0, 0)][DBLP] SYNASC, 2005, pp:239-244 [Conf]
- Gregorio Díaz, Juan José Pardo, María-Emilia Cambronero, Valentin Valero, Fernando Cuartero
Verification of Web Services with Timed Automata. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2006, v:157, n:2, pp:19-34 [Journal]
- Diego Cazorla, Fernando Cuartero, Valentín Valero Ruiz, Fernando L. Pelayo, Juan José Pardo
Algebraic theory of probabilistic and nondeterministic processes. [Citation Graph (0, 0)][DBLP] J. Log. Algebr. Program., 2003, v:55, n:1-2, pp:57-103 [Journal]
- 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. [Citation Graph (0, 0)][DBLP] SCW, 2006, pp:131-139 [Conf]
Specification and Testing of E-Commerce Agents Described by Using UIOLTSs. [Citation Graph (, )][DBLP]
Formal Verification of the Secure Sockets Layer Protocol. [Citation Graph (, )][DBLP]
Modelling secure wireless sensor networks routing protocols with timed automata. [Citation Graph (, )][DBLP]
Using UML Diagrams to Model Real-Time Web Services. [Citation Graph (, )][DBLP]
A Novel Formalism to Represent Collective Intelligence in Multi-agent Systems. [Citation Graph (, )][DBLP]
Model Checking Techniques applied to the design of Web Services. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.003secs
|