Paulo Borba

	2009
44		Rodrigo Bonifácio, Paulo Borba: Modeling scenario variability as crosscutting mechanisms. AOSD 2009: 125-136
43		Márcio de Medeiros Ribeiro, Paulo Borba: Improving Guidance when Restructuring Variabilities in Software Product Lines. CSMR 2009: 79-88
42		Rohit Gheyi, Tiago Massoni, Paulo Borba, Augusto Sampaio: A Complete Set of Object Modeling Laws for Alloy. SBMF 2009: 204-219
	2008
41		Tiago Massoni, Rohit Gheyi, Paulo Borba: Formal Model-Driven Program Refactoring. FASE 2008: 362-376
40		Eduardo Aranha, Paulo Borba: Using Process Simulation to Assess the Test Design Effort Reduction of a Model-Based Testing Approach. ICSP 2008: 282-293
39		Sérgio Soares, Fernando Calheiros, Vilmar Nepomuceno, Andrea Menezes, Paulo Borba, Vander Alves: Supporting software product lines development: FLiP - product line derivation tool. OOPSLA Companion 2008: 737-738
38		Márcio de Medeiros Ribeiro, Pedro Matos Jr., Paulo Borba: A decision model for implementing product lines variabilities. SAC 2008: 276-277
37		Vander Alves, Fernando Calheiros, Vilmar Nepomuceno, Andrea Menezes, Sérgio Soares, Paulo Borba: FLiP: Managing Software Product Line Extraction and Reaction with Aspects. SPLC 2008: 354
36		Rodrigo Bonifácio, Paulo Borba: Towards a Crosscutting Approach for Variability Management. SPLC (2) 2008: 353-360
35		Tiago Massoni, Rohit Gheyi, Paulo Borba: A Framework for Establishing Formal Conformance between Object Models and Object-Oriented Programs. Electr. Notes Theor. Comput. Sci. 195: 189-209 (2008)
	2007
34		Sérgio Soares, Paulo Borba, Ricardo Massa Ferreira Lima: Concurrency Control Modularization with Aspect-Oriented Programming. COMPSAC (1) 2007: 295-300
33		Phil Greenwood, Thiago T. Bartolomei, Eduardo Figueiredo, Marcos Dósea, Alessandro F. Garcia, Nélio Cacho, Cláudio Sant'Anna, Sérgio Soares, Paulo Borba, Uirá Kulesza, Awais Rashid: On the Impact of Aspectual Decompositions on Design Stability: An Empirical Study. ECOOP 2007: 176-200
32		Eduardo Aranha, Paulo Borba: An Estimation Model for Test Execution Effort. ESEM 2007: 107-116
31		Sérgio Soares, Paulo Borba: Towards reusable and modular aspect-oriented concurrency control. SAC 2007: 1293-1294
30		Rohit Gheyi, Tiago Massoni, Paulo Borba: A Static Semantics for Alloy and its Impact in Refactorings. Electr. Notes Theor. Comput. Sci. 184: 209-233 (2007)
29		Vander Alves, Pedro Matos, Leonardo Cole, Alexandre Vasconcelos, Paulo Borba, Geber Ramalho: Extracting and Evolving Code in Product Lines with Aspect-Oriented Programming. T. Aspect-Oriented Software Development 4: 117-142 (2007)
	2006
28		Vander Alves, Rohit Gheyi, Tiago Massoni, Uirá Kulesza, Paulo Borba, Carlos José Pereira de Lucena: Refactoring product lines. GPCE 2006: 201-210
27		Uirá Kulesza, Vander Alves, Alessandro F. Garcia, Carlos José Pereira de Lucena, Paulo Borba: Improving Extensibility of Object-Oriented Frameworks with Aspect-Oriented Programming. ICSR 2006: 231-245
26		Eduardo Aranha, Paulo Borba, José Lima: Model Simulation for Test Execution Capacity Estimation. ISSRE 2006: 231-236
25		Tiago Massoni, Rohit Gheyi, Paulo Borba: An Approach to Invariant-based Program Refactoring. ECEASST 3: (2006)
24		Sérgio Soares, Paulo Borba, Eduardo Laureano: Distribution and persistence as aspects. Softw., Pract. Exper. 36(7): 711-759 (2006)
	2005
23		Leonardo Cole, Paulo Borba: Deriving refactorings for AspectJ. AOSD 2005: 123-134
22		Rohit Gheyi, Tiago Massoni, Paulo Borba: A rigorous approach for proving model refactorings. ASE 2005: 372-375
21		Vander Alves, Ivan Cardim, Heitor Vital, Pedro H. M. Sampaio, Alexandre L. G. Damasceno, Paulo Borba, Geber Ramalho: Comparative Analysis of Porting Strategies in J2ME Games. ICSM 2005: 123-132
20		Tiago Massoni, Rohit Gheyi, Paulo Borba: A model-driven approach to formal refactoring. OOPSLA Companion 2005: 124-125
19		Vander Alves, Pedro Matos Jr., Leonardo Cole, Paulo Borba, Geber Ramalho: Extracting and Evolving Mobile Games Product Lines. SPLC 2005: 70-81
18		Rohit Gheyi, Tiago Massoni, Paulo Borba: An Abstract Equivalence Notion for Object Models. Electr. Notes Theor. Comput. Sci. 130: 3-21 (2005)
	2004
17		Leonardo Cole, Paulo Borba: Deriving refactorings for aspectJ. OOPSLA Companion 2004: 202-203
16		Augusto Sampaio, Paulo Borba: Transformation Laws for Sequential Object-Oriented Programming. PSSE 2004: 18-63
15		Ayla Dantas, Joseph W. Yoder, Paulo Borba, Ralph E. Johnson: Using Aspects to Make Adaptive Object-Models Adaptable. RAM-SE 2004: 9-19
14		Rohit Gheyi, Paulo Borba: Refactoring Alloy Specifications. Electr. Notes Theor. Comput. Sci. 95: 227-243 (2004)
13		Carlos Andrade, André Santos, Paulo Borba: AspectH: Uma Extensão Orientada a Aspectos de Haskel. RITA 11(2): 21-32 (2004)
12		Paulo Borba, Augusto Sampaio, Ana Cavalcanti, Márcio Cornélio: Algebraic reasoning for object-oriented programming. Sci. Comput. Program. 52: 53-100 (2004)
	2003
11		Paulo Borba, Augusto Sampaio, Márcio Cornélio: A Refinement Algebra for Object-Oriented Programming. ECOOP 2003: 457-482
10		Sérgio Soares, Paulo Borba: Aspect-oriented implementation method: progressive or non-progressive approach? OOPSLA Companion 2003: 128-129
9		Ayla Dantas, Paulo Borba: Developing Adaptive J2ME Applications Using AspectJ. J. UCS 9(8): 935-955 (2003)
	2002
8		Sérgio Soares, Paulo Borba: Concurrency Control with Java and Relational Databases. COMPSAC 2002: 843-849
7		Alexandre Mota, Paulo Borba, Augusto Sampaio: Mechanical Abstraction of CSPZ Processes. FME 2002: 163-183
6		Sérgio Soares, Eduardo Laureano, Paulo Borba: Implementing distribution and persistence aspects with aspectJ. OOPSLA 2002: 174-190
	2000
5		Márcio Cornélio, Paulo Borba: Structuring Meachanisms for an Object-Oriented Formal Specification Language. ICSR 2000: 402-419
4		Paulo Borba, Augusto Sampaio: Basic Laws of ROOL: an object-oriented language. RITA 7(1): 49-68 (2000)
	1998
3		Paulo Borba: Systematic Development of Concurrent Object-Oriented Programs. Electr. Notes Theor. Comput. Sci. 14: (1998)
	1997
2		Paulo Borba, Silvio Romero de Lemos Meira: A System for Translating Executable VDM Specifiactions into Lazy ML. Softw., Pract. Exper. 27(3): 271-289 (1997)
	1993
1		Paulo Borba, Silvio Romero de Lemos Meira: From VDM specifications to functional prototypes. Journal of Systems and Software 21(3): 267-278 (1993)

Coauthor Index

1	Vander Alves	[19] [21] [27] [28] [29] [37] [39]
2	Carlos Andrade	[13]
3	Eduardo Aranha	[26] [32] [40]
4	Thiago T. Bartolomei	[33]
5	Rodrigo Bonifácio	[36] [44]
6	Nélio Cacho	[33]
7	Fernando Calheiros	[37] [39]
8	Ivan Cardim	[21]
9	Ana Cavalcanti	[12]
10	Leonardo Cole	[17] [19] [23] [29]
11	Márcio Cornélio	[5] [11] [12]
12	Alexandre L. G. Damasceno	[21]
13	Ayla Dantas	[9] [15]
14	Marcos Dósea	[33]
15	Eduardo Figueiredo	[33]
16	Alessandro F. Garcia (Alessandro Garcia)	[27] [33]
17	Rohit Gheyi	[14] [18] [20] [22] [25] [28] [30] [35] [41] [42]
18	Phil Greenwood	[33]
19	Ralph E. Johnson	[15]
20	Uirá Kulesza	[27] [28] [33]
21	Eduardo Laureano	[6] [24]
22	José Lima	[26]
23	Ricardo Massa Ferreira Lima	[34]
24	Carlos José Pereira de Lucena	[27] [28]
25	Tiago Massoni	[18] [20] [22] [25] [28] [30] [35] [41] [42]
26	Pedro Matos	[29]
27	Pedro Matos Jr.	[19] [38]
28	Silvio Romero de Lemos Meira (Silvio R. L. Meira)	[1] [2]
29	Andrea Menezes	[37] [39]
30	Alexandre Mota (Alexandre Cabral Mota)	[7]
31	Vilmar Nepomuceno	[37] [39]
32	Geber Ramalho	[19] [21] [29]
33	Awais Rashid	[33]
34	Márcio Ribeiro (Márcio de Medeiros Ribeiro)	[38] [43]
35	Augusto Sampaio	[4] [7] [11] [12] [16] [42]
36	Pedro H. M. Sampaio	[21]
37	Cláudio Sant'Anna	[33]
38	André L. M. Santos (André Santos)	[13]
39	Sérgio Soares	[6] [8] [10] [24] [31] [33] [34] [37] [39]
40	Alexandre Vasconcelos	[29]
41	Heitor Vital	[21]
42	Joseph W. Yoder	[15]

Colors in the list of coauthors