|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 38 occurrences of 25 keywords
|
|
|
|
|
Results
Found 50 publication records. Showing 50 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | José Antonio Mateo, Valentin Valero, Gregorio Díaz |
BPEL-RF: A formal framework for BPEL orchestrations integrating distributed resources  |
CoRR  |
2012 |
DBLP BibTeX RDF |
|
| 1 | 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. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | María-Emilia Cambronero, Gregorio Díaz, Enrique Martínez, Valentín Valero Ruiz, M. Llanos Tobarra |
WST: a tool supporting timed composite Web Services Model transformation. |
Simulation |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | María-Emilia Cambronero, Gregorio Díaz, Valentin Valero, Enrique Martínez |
Validation and verification of Web services choreographies by using timed automata. |
J. Log. Algebr. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernesto Pimentel, Valentin Valero (eds.) |
Proceedings Fifth Workshop on Formal Languages and Analysis of Contract-Oriented Software |
FLACOS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | José Antonio Mateo, Valentin Valero, Gregorio Díaz |
An Operational Semantics of BPEL Orchestrations Integrating Web Services Resource Framework. |
WS-FM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | María-Emilia Cambronero, Valentín Valero Ruiz, Enrique Martínez |
Design and Generation of Web Services Choreographies with Time Constraints. |
J. UCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | María-Emilia Cambronero, Valentín Valero Ruiz, Gregorio Díaz |
Verification of real-time systems design. |
Softw. Test., Verif. Reliab. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hermenegilda Macià, M. Isabel González-Sánchez, Valentín Valero Ruiz, Edelmira Valero |
Applying Petri Nets for the Analysis of the GSH-ASC Cycle in Chloroplasts. |
ACSD/Petri Nets Workshops |
2010 |
DBLP BibTeX RDF |
|
| 1 | Valentin Valero, María-Emilia Cambronero, Gregorio Díaz, Hermenegilda Macià |
A Petri net approach for the design and analysis of Web Services Choreographies. |
J. Log. Algebr. Program. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Valentin Valero, Gregorio Díaz, María-Emilia Cambronero, Hermenegilda Macià |
A barred operational semantics for a subset of WS-CDL with time restrictions. |
J. Log. Algebr. Program. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrique Martínez, María-Emilia Cambronero, Gregorio Díaz, Valentin Valero |
Design and Verification of Web Services Compositions. |
ICIW |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | María-Emilia Cambronero, Gregorio Díaz, Enrique Martínez, Valentin Valero |
A Comparative Study between WSCI, WS-CDL, and OWL-S. |
ICEBE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrique Martínez, Gregorio Díaz, Carmen Rosa Martínez, María-Emilia Cambronero, Valentín Valero Ruiz |
Time Ordering Architecture in SCA. |
TAMoCo |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hermenegilda Macià, Valentin Valero, Fernando Cuartero, M. Carmen Ruiz |
sPBC: A Markovian Extension of Petri Box Calculus with Immediate Multiactions. |
Fundam. Inform. |
2008 |
DBLP BibTeX RDF |
|
| 1 | Hermenegilda Macià, Valentín Valero Ruiz, Fernando Cuartero, David de Frutos-Escrig |
A congruence relation for sPBC. |
Formal Methods in System Design |
2008 |
DBLP DOI BibTeX RDF |
Petri box calculus, Operational semantics, Stochastic Petri nets, Stochastic process algebras |
| 1 | Gregorio Díaz, María-Emilia Cambronero, M. Llanos Tobarra, Valentín Valero Ruiz, Fernando L. Pelayo |
Enhancing the expressivity of PADL for specifying Web Services Architectures. |
TAMoCo |
2008 |
DBLP BibTeX RDF |
|
| 1 | 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. |
2007 |
DBLP BibTeX RDF |
|
| 1 | María-Emilia Cambronero, Gregorio Díaz, Juan José Pardo, Valentin Valero |
Using UML Diagrams to Model Real-Time Web Services. |
ICIW |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregorio Díaz, Elena Navarro, María-Emilia Cambronero, Valentin Valero, Fernando Cuartero |
Testing Time Goal-Driven Requirements with Model Checking Techniques. |
ECBS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | María-Emilia Cambronero, Juan José Pardo, Gregorio Díaz, Valentin Valero |
Using RT-UML for modelling web services. |
SAC |
2007 |
DBLP DOI BibTeX RDF |
RT-UML, web services, modeling, WS-BPEL, transformation rules |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | David Cebrián, Valentín Valero Ruiz, Fernando Cuartero |
Automation of Avionic Systems Testing. |
TestCom/FATES |
2007 |
DBLP DOI BibTeX RDF |
grammar testing, Real time systems, Testing, Avionics systems |
| 1 | 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. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregorio Díaz, Juan José Pardo, María-Emilia Cambronero, Valentin Valero, Fernando Cuartero |
Verification of Web Services with Timed Automata. |
WWV |
2005 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
authentication protocols and model checking, system verification and model checking, security, e-commerce, authentication protocols |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Bueno, Valentín Valero Ruiz, Fernando Cuartero |
A translation of TPALp into a class of timed-probabilistic Petri nets. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Hermenegilda Macià, Valentín Valero Ruiz, Diego Cazorla, Fernando Cuartero |
Introducing the Iteration in sPBC. |
FORTE |
2004 |
DBLP DOI BibTeX RDF |
Petri Box Calculus, Performance Evaluation, Stochastic Petri Nets, Stochastic Process Algebra |
| 1 | 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 |
DBLP DOI BibTeX RDF |
Timed-Arc Petri Net, MPEG-2 Video Encoder, Performance Evaluation, Formal Methods |
| 1 | Gregorio Díaz, Fernando Cuartero, Valentín Valero Ruiz, Fernando L. Pelayo |
Automatic verification of the TLS handshake protocol. |
SAC |
2004 |
DBLP DOI BibTeX RDF |
authentication protocols and model checking, system verification and model checking, security, e-Commerce, authentication protocols |
| 1 | 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. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Hermenegilda Macià, Valentín Valero Ruiz, Fernando Cuartero, Fernando L. Pelayo |
A New Synchronization in Finite Stochastic Petri Box Calculus. |
ACSD |
2003 |
DBLP DOI BibTeX RDF |
Petri Box Calculus, Performance Evaluation, Stochastic Petri Nets, Stochastic Process Algebra |
| 1 | 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. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Valentín Valero Ruiz, Juan José Pardo, Fernando Cuartero |
Translating TPAL Specifications into Timed-Arc Petri Nets. |
ICATPN |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Cazorla, Fernando Cuartero, Valentín Valero Ruiz, Fernando L. Pelayo |
A process algebra for probabilistic and nondeterministic processes. |
Inf. Process. Lett. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan José Pardo, Valentín Valero Ruiz, Fernando Cuartero, Diego Cazorla |
Automatic Translation of a Timed Process Algebra into Dynamic State Graphs. |
APSEC |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | David de Frutos-Escrig, Valentín Valero Ruiz, Olga Marroquín Alonso |
Decidability of Properties of Timed-Arc Petri Nets. |
ICATPN |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
ROSA, algebraic language, performance indexes, Reasoning On Stochastic Algebras, average time to send a message, performance evaluation, performance evaluation, fault tolerance, real-time systems, formal methods, temporal logic, case studies, specification languages, process algebra, algebraic specification, stochastic process algebra, real-time requirements, designs specifications, Alternating Bit Protocol, temporal requirements |
| 1 | Antonio Bueno, Valentín Valero Ruiz, Fernando Cuartero |
TPAL: A Timed-Probabilistic Model for Concurrent Processes. |
APSEC |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Fernando Cuartero, David de Frutos-Escrig, Valentín Valero Ruiz |
A Sound and Complete Proof System for Probabilistic Processes. |
ARTS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Valentín Valero Ruiz, David de Frutos-Escrig, Fernando Cuartero |
Timed Processes of Timed Petri Nets. |
Application and Theory of Petri Nets |
1995 |
DBLP DOI BibTeX RDF |
|
| 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 |
DBLP BibTeX RDF |
|
Displaying result #1 - #50 of 50 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")