Manuel Barrio-Solórzano

2006
15	EE	Carlos Enrique Cuesta Quintero, María del Pilar Romay, Pablo de la Fuente, Manuel Barrio-Solórzano: Temporal Superimposition of Aspects for Dynamic Software Architecture. FMOODS 2006: 93-107
14	EE	Carlos E. Cuesta, María Pilar Romay Rodríguez, Pablo de la Fuente, Manuel Barrio-Solórzano: Coordination as an Architectural Aspect. Electr. Notes Theor. Comput. Sci. 154(1): 25-41 (2006)
13	EE	Carlos E. Cuesta, María Pilar Romay Rodríguez, Pablo de la Fuente, Manuel Barrio-Solórzano, Houman Younessi: Coordination in Architectural Connection. Reflective and Aspectual Introduction. L'OBJET 12(1): 127-151 (2006)
2005
12	EE	Carlos Enrique Cuesta Quintero, María Pilar Romay Rodríguez, Pablo de la Fuente, Manuel Barrio-Solórzano: Architectural Aspects of Architectural Aspects. EWSA 2005: 247-262
11		Carlos E. Cuesta, María Pilar Romay Rodríguez, Pablo de la Fuente, Manuel Barrio-Solórzano: Modelos estructurales de aspectos para arquitectura de software. JISBD 2005: 91-98
10	EE	Maria Encarnación Beato Gutiérrez, Manuel Barrio-Solórzano, Carlos Enrique Cuesta Quintero, Pablo de la Fuente: UML Automatic Verification Tool with Formal Methods. Electr. Notes Theor. Comput. Sci. 127(4): 3-16 (2005)
9	EE	Carlos E. Cuesta, Pablo de la Fuente, Manuel Barrio-Solórzano, Maria Encarnación Beato Gutiérrez: An "abstract process" approach to algebraic dynamic architecture description. J. Log. Algebr. Program. 63(2): 177-214 (2005)
2004
8	EE	Carlos Enrique Cuesta Quintero, María Pilar Romay Rodríguez, Pablo de la Fuente, Manuel Barrio-Solórzano: Reflection-Based, Aspect-Oriented Software Architecture. EWSA 2004: 43-56
2002
7	EE	Carlos Enrique Cuesta Quintero, Pablo de la Fuente, Manuel Barrio-Solórzano, Maria Encarnación Beato Gutiérrez: Coordination in a Reflective Architecture Description Language. COORDINATION 2002: 141-148
6		Carlos Enrique Cuesta Quintero, Pablo de la Fuente, Manuel Barrio-Solórzano, Maria Encarnación Beato Gutiérrez: Introducing Reflection in Architecture Description Languages. WICSA 2002: 143-156
2001
5	EE	Manuel Barrio-Solórzano, Maria Encarnación Beato Gutiérrez, Carlos Enrique Cuesta Quintero, Pablo de la Fuente: Formal Verification of Coherence for a Shared Memory Multiprocessor Model. PaCT 2001: 17-26
4	EE	Carlos Enrique Cuesta Quintero, Pablo de la Fuente, Manuel Barrio-Solórzano: Dynamic coordination architecture through the use of reflection. SAC 2001: 134-140
2000
3		Carlos Enrique Cuesta Quintero, Pablo de la Fuente, Manuel Barrio-Solórzano, Maria Encarnación Beato Gutiérrez: Arquitectura de Software Dinámica Basada en Reflexión. JISBD 2000: 203-216
1997
2	EE	Manuel Barrio-Solórzano, Pablo de la Fuente: A Formal Model of Concurrency for Distributed Object-Oriented Systems. APSEC 1997: 466-474
1	EE	Manuel Barrio-Solórzano, Pablo de la Fuente: Software Architecture: Object vs. Process Approach. SCCC 1997: 9-15

Coauthor Index

1	Carlos E. Cuesta	[9] [11] [13] [14]
2	Pablo de la Fuente	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15]
3	Maria Encarnación Beato Gutiérrez	[3] [5] [6] [7] [9] [10]
4	Carlos Enrique Cuesta Quintero	[3] [4] [5] [6] [7] [8] [10] [12] [15]
5	María Pilar Romay Rodríguez	[8] [11] [12] [13] [14]
6	María del Pilar Romay	[15]
7	Houman Younessi	[13]