 | 2011 |
| 49 |  | Fernando L. Pelayo,
Fernando Cuartero,
Diego Cazorla:
Looking for a Cheaper ROSA.
IWANN (2) 2011: 380-387 |
| 2010 |
| 48 |  | Fernando López Pelayo,
Jose C. Valverde,
Maria L. Pelayo,
Fernando Cuartero:
Discrete Dynamical Systems for encoding Concurrent Computing Systems.
IEEE ICCI 2010: 252-256 |
| 2009 |
| 47 |  | Fernando L. Pelayo,
Luis de la Ossa,
Fernando Cuartero,
Maria L. Pelayo,
Juan Luis García Guirao:
Towards the Evolutionary Process Algebra.
IEEE ICCI 2009: 69-76 |
| 46 |  | Fernando Cuartero,
Jesús Ruíz Bueno,
Juan José Pardo:
Nuevos Métodos de Enseñanza en Astronomía.
IEEE-RITA 4(4): 259-268 (2009) |
| 45 |  | Enrique Arias,
Angelines Alberto,
Jesús Montesinos,
Tomás Rojo,
Fernando Cuartero,
Jesús Benet:
A mathematical model of the static pantograph/catenary interaction.
Int. J. Comput. Math. 86(2): 333-340 (2009) |
| 44 |  | M. Carmen Ruiz,
Diego Cazorla,
Fernando Cuartero,
Hermenegilda Macià:
Improving performance in flexible manufacturing systems.
J. Log. Algebr. Program. 78(4): 260-273 (2009) |
| 43 |  | M. Llanos Tobarra,
Diego Cazorla,
Fernando Cuartero,
Gregorio Díaz,
María-Emilia Cambronero:
Model checking wireless sensor network security protocols: TinySec + LEAP + TinyPK.
Telecommunication Systems 40(3-4): 91-99 (2009) |
| 2008 |
| 42 |  | M. Llanos Tobarra,
Diego Cazorla,
Juan José Pardo,
Fernando Cuartero:
Formal Verification of the Secure Sockets Layer Protocol.
ICEIS (3-2) 2008: 246-252 |
| 41 |  | M. Llanos Tobarra,
Diego Cazorla,
Fernando Cuartero,
Juan José Pardo:
Modelling secure wireless sensor networks routing protocols with timed automata.
PM2HW2N 2008: 51-58 |
| 40 |  | Hermenegilda Macià,
Valentín Valero Ruiz,
Fernando Cuartero,
David de Frutos-Escrig:
A congruence relation for sPBC.
Formal Methods in System Design 32(2): 85-128 (2008) |
| 39 |  | Hermenegilda Macià,
Valentin Valero,
Fernando Cuartero,
M. Carmen Ruiz:
sPBC: A Markovian Extension of Petri Box Calculus with Immediate Multiactions.
Fundam. Inform. 87(3-4): 367-406 (2008) |
| 38 |  | Angelines Alberto,
Jesús Benet,
Enrique Arias,
David Cebrián,
Tomás Rojo,
Fernando Cuartero:
A high performance tool for the simulation of the dynamic pantograph-catenary interaction.
Mathematics and Computers in Simulation 79(3): 652-667 (2008) |
| 2007 |
| 37 |  | Gregorio Díaz,
Elena Navarro,
María-Emilia Cambronero,
Valentin Valero,
Fernando Cuartero:
Testing Time Goal-Driven Requirements with Model Checking Techniques.
ECBS 2007: 503-514 |
| 36 |  | M. Llanos Tobarra,
Diego Cazorla,
Fernando Cuartero,
Gregorio Díaz:
Analysis of Web Services Secure Conversation with Formal Methods.
ICIW 2007: 27 |
| 35 |  | Maria L. Pelayo,
Fernando L. Pelayo,
Fernando Cuartero,
Valentin Valero,
Gregorio Díaz,
Elena Nieto:
Does ROSA provide a good view of the Memorizing Process?
IEEE ICCI 2007: 273-283 |
| 34 |  | M. Llanos Tobarra,
Diego Cazorla,
Fernando Cuartero:
Formal Analysis of Sensor Network Encryption Protocol (SNEP).
MASS 2007: 1-6 |
| 33 |  | David Cebrián,
Valentín Valero Ruiz,
Fernando Cuartero:
Automation of Avionic Systems Testing.
TestCom/FATES 2007: 28-40 |
| 32 |  | Gregorio Díaz,
María-Emilia Cambronero,
Juan José Pardo,
Valentin Valero,
Fernando Cuartero:
Model Checking Techniques applied to the design of Web Services.
CLEI Electron. J. 10(2): (2007) |
| 2006 |
| 31 |  | 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.
AICT/ICIW 2006: 186 |
| 30 |  | 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: 46 |
| 29 |  | 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: 879-886 |
| 28 |  | M. Carmen Ruiz,
Diego Cazorla,
Fernando Cuartero,
Juan José Pardo:
Process Algebra Specification of Flexible Manufacturing Systems.
SYNASC 2006: 181-186 |
| 27 |  | Gregorio Díaz,
María-Emilia Cambronero,
M. Llanos Tobarra,
Valentin Valero,
Fernando Cuartero:
Analysis and Verification of Time Requirements Applied to the Web Services Composition.
WS-FM 2006: 178-192 |
| 26 |  | Gregorio Díaz,
Juan José Pardo,
María-Emilia Cambronero,
Valentin Valero,
Fernando Cuartero:
Verification of Web Services with Timed Automata.
Electr. Notes Theor. Comput. Sci. 157(2): 19-34 (2006) |
| 2005 |
| 25 |  | 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: 118-127 |
| 24 |  | M. Llanos Tobarra,
Diego Cazorla,
Fernando Cuartero,
Gregorio Díaz:
Application of Formal Methods to the Analysis of Web Services Security.
EPEW/WS-FM 2005: 215-229 |
| 23 |  | Gregorio Díaz,
Juan José Pardo,
María-Emilia Cambronero,
Valentin Valero,
Fernando Cuartero:
Automatic Translation of WS-CDL Choreographies to Timed Automata.
EPEW/WS-FM 2005: 230-242 |
| 22 |  | Fernando L. Pelayo,
Fernando Cuartero,
Valentin Valero,
Maria L. Pelayo,
Mercedes G. Merayo:
How does the memory work? By timed-arc Petri nets.
IEEE ICCI 2005: 128-135 |
| 21 |  | 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.
SAC 2005: 815-820 |
| 20 |  | 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: 239-244 |
| 19 |  | Gregorio Díaz,
Juan José Pardo,
María-Emilia Cambronero,
Valentin Valero,
Fernando Cuartero:
Verification of Web Services with Timed Automata.
WWV 2005: 177-191 |
| 18 |  | Antonio Bueno,
Valentín Valero Ruiz,
Fernando Cuartero:
A translation of TPALp into a class of timed-probabilistic Petri nets.
Theor. Comput. Sci. 338(1-3): 350-392 (2005) |
| 2004 |
| 17 |  | Hermenegilda Macià,
Valentín Valero Ruiz,
Diego Cazorla,
Fernando Cuartero:
Introducing the Iteration in sPBC.
FORTE 2004: 292-309 |
| 16 |  | M. Carmen Ruiz,
Diego Cazorla,
Fernando Cuartero,
Juan José Pardo,
Hermenegilda Macià:
A Bounded True Concurrency Process Algebra for Performance Evaluation.
FORTE Workshops 2004: 143-155 |
| 15 |  | Fernando L. Pelayo,
Fernando Cuartero,
Valentín Valero Ruiz,
Hermenegilda Macià,
Maria L. Pelayo:
Applying Timed-Arc Petri Nets to improve the performance of the MPEG-2 Encoding Algorithm.
MMM 2004: 49-56 |
| 14 |  | Gregorio Díaz,
Fernando Cuartero,
Valentín Valero Ruiz,
Fernando L. Pelayo:
Automatic verification of the TLS handshake protocol.
SAC 2004: 789-794 |
| 2003 |
| 13 |  | Hermenegilda Macià,
Valentín Valero Ruiz,
Fernando Cuartero,
Fernando L. Pelayo:
A New Synchronization in Finite Stochastic Petri Box Calculus.
ACSD 2003: 216-225 |
| 12 |  | Fernando L. Pelayo,
Fernando Cuartero,
Valentín Valero Ruiz,
Diego Cazorla:
Analysis of the MPEG-2 Encoding Algorithm with ROSA1.
Electr. Notes Theor. Comput. Sci. 80: 185-202 (2003) |
| 11 |  | Diego Cazorla,
Fernando Cuartero,
Valentín Valero Ruiz,
Fernando L. Pelayo,
Juan José Pardo:
Algebraic theory of probabilistic and nondeterministic processes.
J. Log. Algebr. Program. 55(1-2): 57-103 (2003) |
| 2002 |
| 10 |  | Valentín Valero Ruiz,
Juan José Pardo,
Fernando Cuartero:
Translating TPAL Specifications into Timed-Arc Petri Nets.
ICATPN 2002: 414-433 |
| 9 |  | Valentín Valero Ruiz,
Fernando L. Pelayo,
Fernando Cuartero,
Diego Cazorla:
Specification and Analysis of the MPEG--2 Video Encoder with Timed-Arc Petri Nets.
Electr. Notes Theor. Comput. Sci. 66(2): 120-131 (2002) |
| 2001 |
| 8 |  | Juan José Pardo,
Valentín Valero Ruiz,
Fernando Cuartero,
Diego Cazorla:
Automatic Translation of a Timed Process Algebra into Dynamic State Graphs.
APSEC 2001: 63-70 |
| 7 |  | Diego Cazorla,
Fernando Cuartero,
Valentín Valero Ruiz,
Fernando L. Pelayo:
A process algebra for probabilistic and nondeterministic processes.
Inf. Process. Lett. 80(1): 15-23 (2001) |
| 2000 |
| 6 |  | Diego Cazorla,
Fernando Cuartero,
Valentín Valero Ruiz,
Fernando L. Pelayo:
A Denotational Model for Probabilistic and Nondeterministic Processes.
ICDCS Workshop on Distributed System Validation and Verification 2000: E41-E48 |
| 5 |  | Fernando L. Pelayo,
Fernando Cuartero,
Valentín Valero Ruiz,
Diego Cazorla:
An example of performance evaluation by using the stochastic process algebra: ROSA.
RTCSA 2000: 271-278 |
| 1997 |
| 4 |  | Antonio Bueno,
Valentín Valero Ruiz,
Fernando Cuartero:
TPAL: A Timed-Probabilistic Model for Concurrent Processes.
APSEC 1997: 475-484 |
| 3 |  | Fernando Cuartero,
David de Frutos-Escrig,
Valentín Valero Ruiz:
A Sound and Complete Proof System for Probabilistic Processes.
ARTS 1997: 340-352 |
| 1995 |
| 2 |  | Valentín Valero Ruiz,
David de Frutos-Escrig,
Fernando Cuartero:
Timed Processes of Timed Petri Nets.
Application and Theory of Petri Nets 1995: 490-509 |
| 1991 |
| 1 |  | Valentín Valero Ruiz,
David de Frutos-Escrig,
Fernando Cuartero:
Simulation of Timed Petri Nets by Ordinary Petri Nets and Applications to Decidability of the Timed Reachability Problem and other Related Problems.
PNPM 1991: 154-163 |