María-Emilia Cambronero

	2012
27		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): 290-313 (2012)
26		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 88(3): 349-364 (2012)
	2011
25		Enrique Martínez, María-Emilia Cambronero, Gregorio Díaz, Gerardo Schneider: Timed Automata Semantics for Visual e-Contracts FLACOS 2011: 7-21
24		Enrique Martínez, Gregorio Díaz, María-Emilia Cambronero: Contractually Compliant Service Compositions. ICSOC 2011: 636-644
23		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. 80(1): 25-49 (2011)
22		María-Emilia Cambronero, Valentín Valero Ruiz, Enrique Martínez: Design and Generation of Web Services Choreographies with Time Constraints. J. UCS 17(13): 1800-1829 (2011)
	2010
21		Enrique Martínez, Gregorio Díaz, María-Emilia Cambronero, Gerardo Schneider: A Model for Visual Specification of E-contracts. IEEE SCC 2010: 1-8
20		César Andrés, María-Emilia Cambronero, Manuel Núñez: Formal Passive Testing of Service-Oriented Systems. IEEE SCC 2010: 610-613
19		César Andrés, María-Emilia Cambronero, Manuel Núñez: Passive Testing of Web Services. WS-FM 2010: 56-70
18		María-Emilia Cambronero, Valentín Valero Ruiz, Gregorio Díaz: Verification of real-time systems design. Softw. Test., Verif. Reliab. 20(1): 3-37 (2010)
	2009
17		María-Emilia Cambronero, Gregorio Díaz, Enrique Martínez, Valentin Valero: A Comparative Study between WSCI, WS-CDL, and OWL-S. ICEBE 2009: 377-382
16		Enrique Martínez, María-Emilia Cambronero, Gregorio Díaz, Valentin Valero: Design and Verification of Web Services Compositions. ICIW 2009: 395-400
15		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: 117-126
14		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. 78(5): 359-380 (2009)
13		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. 78(8): 730-748 (2009)
12		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
11		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: 99-110
	2007
10		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
9		María-Emilia Cambronero, Gregorio Díaz, Juan José Pardo, Valentin Valero: Using UML Diagrams to Model Real-Time Web Services. ICIW 2007: 24
8		María-Emilia Cambronero, Juan José Pardo, Gregorio Díaz, Valentin Valero: Using RT-UML for modelling web services. SAC 2007: 643-648
7		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
6		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
5		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: 131-139
4		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
3		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
2		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
1		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

Coauthor Index

1	César Andrés	[19] [20]
2	Diego Cazorla	[12]
3	Fernando Cuartero	[1] [2] [3] [4] [6] [7] [10] [12]
4	Gregorio Díaz (Gregorio Díaz Descalzo)	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [21] [23] [24] [25] [26] [27]
5	Hermenegilda Macià	[13] [14] [27]
6	Carmen Rosa Martínez	[15]
7	Enrique Martínez	[15] [16] [17] [21] [22] [23] [24] [25] [26]
8	Elena Navarro	[10]
9	Manuel Núñez	[19] [20]
10	Juan José Pardo	[1] [2] [3] [5] [6] [7] [8] [9] [27]
11	Fernando López Pelayo (Fernando L. Pelayo)	[5] [11]
12	Valentín Valero Ruiz (Valentin Valero)	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [13] [14] [15] [16] [17] [18] [22] [23] [26] [27]
13	Gerardo Schneider	[21] [25]
14	M. Llanos Tobarra	[4] [11] [12] [26]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page