Javier Cámara

	2012
28		Javier Cámara, Gwen Salaün, Carlos Canal, Meriem Ouederni: Interactive specification and verification of behavioral adaptation contracts. Information & Software Technology 54(7): 701-723 (2012)
	2011
27		Javier Cámara, Antoine Girard, Gregor Gößler: Safety controller synthesis for switched systems using multi-scale symbolic models. CDC-ECE 2011: 520-525
26		Javier Cámara, Antoine Girard, Gregor Gößler: Synthesis of switching controllers using approximately bisimilar multiscale abstractions. HSCC 2011: 191-200
25		Miguel A. Prez-Toledano, Carlos E. Cuesta, Renaud Pawlak, Javier Cámara: VADER 2011 PC Co-chairs' Message. OTM Workshops 2011: 609-611
24		Javier Cámara, Rogério de Lemos, Carlo Ghezzi, Antónia Lopes: Workshop on assurances for self-adaptive systems (ASAS 2011). SIGSOFT FSE 2011: 516-517
	2010
23		Javier Cámara, Carlos Canal, Gwen Salaün: Proceedings International Workshop on Component and Service Interoperability WCSI 2010
22		Javier Cámara, José Antonio Martín, Gwen Salaün, Carlos Canal, Ernesto Pimentel: A Case Study in Model-Based Adaptation of Web Services. ISoLA (2) 2010: 112-126
21		Javier Cámara, Carlos E. Cuesta, Miguel Ángel Pérez Toledano: Workshop on Autonomic and Self-Adaptive Systems (WASELF, 3ª ed.). JISBD 2010: 355
20		Javier Cámara, Howard Foster, Carlos E. Cuesta, Miguel Ángel Pérez Toledano: AVYTAT'10 - PC Co-chairs Message. OTM Workshops 2010: 55-56
19		Javier Cámara, Carlos Canal, Nikolay Vasilev: A Framework for Run-Time Behavioural Service Adaptation in Ubiquitous Computing. OTM Workshops 2010: 67-76
18		Javier Cámara, José Antonio Martín, Gwen Salaün, Carlos Canal, Ernesto Pimentel: Semi-Automatic Specification of Behavioural Service Adaptation Contracts. Electr. Notes Theor. Comput. Sci. 264(1): 19-34 (2010)
	2009
17		Javier Cámara, José Antonio Martín, Gwen Salaün, Javier Cubo, Meriem Ouederni, Carlos Canal, Ernesto Pimentel: ITACA: An integrated toolbox for the automatic composition and adaptation of Web services. ICSE 2009: 627-630
16		Javier Cámara, Alfred Kobsa: Facilitating Controlled Tests of Website Design Changes: A Systematic Approach. ICWE 2009: 370-378
15		Javier Cámara, Carlos E. Cuesta, Miguel Ángel Pérez Toledano: Autonomic and SELF-adaptive Systems (WASELF, 2ª edición). JISBD 2009: 430-430
14		Javier Cámara, Gwen Salaün, Carlos Canal, Meriem Ouederni: Interactive Specification and Verification of Behavioural Adaptation Contracts. QSIC 2009: 65-75
13		Javier Cámara, Carlos Canal, Gwen Salaün: Behavioural self-adaptation of services in ubiquitous computing environments. SEAMS 2009: 28-37
12		Javier Cámara, Alfred Kobsa: Facilitating Controlled Tests of Website Design Changes Using Aspect-Oriented Software Development and Software Product Lines. T. Large-Scale Data- and Knowledge-Centered Systems 1: 116-135 (2009)
	2008
11		Javier Cámara, Gwen Salaün, Carlos Canal: Clint: A Composition Language Interpreter (Tool Paper). FASE 2008: 423-427
10		Javier Cámara, Carlos Canal, Gwen Salaün: Multiple Concern Adaptation for Run-time Composition in Context-Aware Systems. Electr. Notes Theor. Comput. Sci. 215: 111-130 (2008)
9		Javier Cámara, Gwen Salaün, Carlos Canal: Composition and Run-time Adaptation of Mismatching Behavioural Interfaces. J. UCS 14(13): 2182-2211 (2008)
	2007
8		Javier Cubo, Gwen Salaün, Javier Cámara, Carlos Canal, Ernesto Pimentel: Context-Based Adaptation of Component Behavioural Interfaces. COORDINATION 2007: 305-323
7		Javier Cámara, Carlos Canal, Javier Cubo, Juan Manuel Murillo: Enabling Adaptivity in User Interfaces. ECSA 2007: 106-114
6		Javier Cámara, Gwen Salaün, Carlos Canal: Run-time Composition and Adaptation of Mismatching Behavioural Transactions. SEFM 2007: 381-390
5		Antonio Brogi, Javier Cámara, Carlos Canal, Javier Cubo, Ernesto Pimentel: Dynamic Contextual Adaptation. Electr. Notes Theor. Comput. Sci. 175(2): 81-95 (2007)
4		Javier Cámara, Carlos Canal, Javier Cubo, Juan Manuel Murillo: An Aspect-Oriented Adaptation Framework for Dynamic Component Evolution. Electr. Notes Theor. Comput. Sci. 189: 21-34 (2007)
	2006
3		Javier Cámara, Carlos Canal, Javier Cubo, Juan Manuel Murillo Rodriguez: An Aspect-Oriented Adaptation Framework for Dynamic Component Evolution. RAM-SE 2006: 59-70
2		Javier Cámara, Carlos Canal, Javier Cubo, Antonio Vallecillo: Formalizing WSBPEL Business Processes Using Process Algebra. Electr. Notes Theor. Comput. Sci. 154(1): 159-173 (2006)
	2003
1		Mike Mannion, Javier Cámara: Theorem Proving for Product Line Model Verification. PFE 2003: 211-224

Coauthor Index

1	Antonio Brogi	[5]
2	Carlos Canal (Carlos Canal Velasco)	[2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [13] [14] [17] [18] [19] [22] [23] [28]
3	Javier Cubo	[2] [3] [4] [5] [7] [8] [17]
4	Carlos E. Cuesta (Carlos Enrique Cuesta Quintero)	[15] [20] [21] [25]
5	Howard Foster	[20]
6	Carlo Ghezzi	[24]
7	Antoine Girard	[26] [27]
8	Gregor Gößler (Gregor Goessler)	[26] [27]
9	Alfred Kobsa	[12] [16]
10	Rogério de Lemos	[24]
11	Antónia Lopes	[24]
12	Mike Mannion	[1]
13	José Antonio Martín	[17] [18] [22]
14	Juan Manuel Murillo (Juan Manuel Murillo Rodriguez)	[3] [4] [7]
15	Meriem Ouederni	[14] [17] [28]
16	Renaud Pawlak	[25]
17	Ernesto Pimentel	[5] [8] [17] [18] [22]
18	Miguel A. Prez-Toledano	[25]
19	Gwen Salaün	[6] [8] [9] [10] [11] [13] [14] [17] [18] [22] [23] [28]
20	Miguel Ángel Pérez Toledano	[15] [20] [21]
21	Antonio Vallecillo (Antonio Vallecillo Moreno)	[2]
22	Nikolay Vasilev	[19]

Colors in the list of coauthors

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