Paulo Borba

	2012
66		Claus Brabrand, Márcio Ribeiro, Társis Tolêdo, Paulo Borba: Intraprocedural dataflow analysis for software product lines. AOSD 2012: 13-24
65		Márcio Ribeiro, Társis Tolêdo, Johnni Winther, Claus Brabrand, Paulo Borba: Emergo: a tool for improving maintainability of preprocessor-based product lines. AOSD (Companion) 2012: 23-26
64		Paulo Borba: Special issue with selected papers from the 23rd Brazilian Symposium on Software Engineering. Journal of Systems and Software 85(2): 215 (2012)
63		Fernanda d'Amorim, Paulo Borba: Modularity analysis of use case implementations. Journal of Systems and Software 85(4): 1012-1027 (2012)
	2011
62		Paulo Borba, Shigeru Chiba: Companion Volume of the 10th International Conference on Aspect-Oriented Software Development, AOSD 2011, Porto de Galinhas, Brazil, March 21-25, 2011 ACM 2011
61		Paulo Borba, Shigeru Chiba: Proceedings of the 10th International Conference on Aspect-Oriented Software Development, AOSD 2011, Porto de Galinhas, Brazil, March 21-25, 2011 ACM 2011
60		Rodrigo Andrade, Márcio Ribeiro, Vaidas Gasiunas, Lucas Satabin, Henrique Rebêlo, Paulo Borba: Assessing Idioms for Implementing Features with Flexible Binding Times. CSMR 2011: 231-240
59		Márcio Ribeiro, Felipe Queiroz, Paulo Borba, Társis Tolêdo, Claus Brabrand, Sérgio Soares: On the impact of feature dependencies when maintaining preprocessor-based software product lines. GPCE 2011: 23-32
58		Laís Neves, Leopoldo Teixeira, Demóstenes Sena, Vander Alves, Uirá Kulesza, Paulo Borba: Investigating the safe evolution of software product lines. GPCE 2011: 33-42
57		Leopoldo Teixeira, Paulo Borba, Rohit Gheyi: Safe Composition of Configuration Knowledge-Based Software Product Lines. SBES 2011: 263-272
56		Christina Chavez, Uirá Kulesza, Sérgio Soares, Paulo Borba, Carlos José Pereira de Lucena, Paulo Cesar Masiero, Cláudio Sant'Anna, Eduardo Piveta, Fabiano Cutigi Ferrari, Fernando Castor, Roberta Coelho, Lyrene Fernandes da Silva, Vander Alves, Nabor C. Mendonça, Eduardo Figueiredo, Valter Vieira de Camargo, Carla T. L. L. Silva, Paulo F. Pires, Thaís Vasconcelos Batista, Nélio Cacho, Arndt von Staa, Julio Cesar Sampaio do Prado Leite, Fabio Silveira, Otávio Augusto Lazzarini Lemos, Rosangela Penteado, Flávia Coimbra Delicato, Rosana T. V. Braga, Marco Tulio Valente, Ricardo Argenton Ramos, Rodrigo Bonifácio, Fernanda M. R. Alencar, Jaelson Castro: The AOSD Research Community in Brazil and Its Crosscutting Impact. SBES 2011: 72-81
55		Rohit Gheyi, Tiago Massoni, Paulo Borba: Automatically Checking Feature Model Refactorings. J. UCS 17(5): 684-711 (2011)
	2010
54		Paulo Borba, Ana Cavalcanti, Augusto Sampaio, Jim Woodcock: Testing Techniques in Software Engineering, Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures Springer 2010
53		Mário Henrique C. Torres, Uirá Kulesza, Matheus Sousa, Thaís Vasconcelos Batista, Leopoldo Teixeira, Paulo Borba, Elder Cirilo, Carlos José Pereira de Lucena, Rosana T. V. Braga, Paulo Cesar Masiero: Assessment of product derivation tools in the evolution of software product lines: an empirical study. FOSD 2010: 10-17
52		Paulo Borba, Leopoldo Teixeira, Rohit Gheyi: A Theory of Software Product Line Refinement. ICTAC 2010: 15-43
51		Tiago Massoni, Rohit Gheyi, Paulo Borba: Synchronizing Model and Program Refactoring. SBMF 2010: 96-111
50		Márcio Ribeiro, Humberto Pacheco, Leopoldo Teixeira, Paulo Borba: Emergent feature modularization. SPLASH/OOPSLA Companion 2010: 11-18
49		Márcio Ribeiro, Paulo Borba: Towards feature modularization. SPLASH/OOPSLA Companion 2010: 225-226
	2009
48		Rodrigo Bonifácio, Paulo Borba: Modeling scenario variability as crosscutting mechanisms. AOSD 2009: 125-136
47		Márcio de Medeiros Ribeiro, Paulo Borba: Improving Guidance when Restructuring Variabilities in Software Product Lines. CSMR 2009: 79-88
46		Paulo Borba: An Introduction to Software Product Line Refactoring. GTTSE 2009: 1-26
45		Rohit Gheyi, Tiago Massoni, Paulo Borba, Augusto Sampaio: A Complete Set of Object Modeling Laws for Alloy. SBMF 2009: 204-219
	2008
44		Tiago Massoni, Rohit Gheyi, Paulo Borba: Formal Model-Driven Program Refactoring. FASE 2008: 362-376
43		Eduardo Aranha, Paulo Borba: Using Process Simulation to Assess the Test Design Effort Reduction of a Model-Based Testing Approach. ICSP 2008: 282-293
42		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
41		Márcio de Medeiros Ribeiro, Pedro Matos Jr., Paulo Borba: A decision model for implementing product lines variabilities. SAC 2008: 276-277
40		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
39		Rodrigo Bonifácio, Paulo Borba: Towards a Crosscutting Approach for Variability Management. SPLC (2) 2008: 353-360
38		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)
37		Rohit Gheyi, Tiago Massoni, Paulo Borba: Algebraic Laws for Feature Models. J. UCS 14(21): 3573-3591 (2008)
	2007
36		Sérgio Soares, Paulo Borba, Ricardo Massa Ferreira Lima: Concurrency Control Modularization with Aspect-Oriented Programming. COMPSAC (1) 2007: 295-300
35		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
34		Eduardo Aranha, Paulo Borba: An Estimation Model for Test Execution Effort. ESEM 2007: 107-116
33		Sérgio Soares, Paulo Borba: Towards reusable and modular aspect-oriented concurrency control. SAC 2007: 1293-1294
32		Fernando Calheiros, Vilmar Nepomuceno, Paulo Borba, Sérgio Soares, Vander Alves: Product Line Variability Refactoring Tool. WRT 2007: 32-33
31		Roberta Arcoverde, Sérgio Soares, Patrícia Lustosa, Paulo Borba: AJaTS: AspectJ Transformation System. WRT 2007: 34-35
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: 30-37 (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	Fernanda M. R. Alencar	[56]
2	Vander Alves	[19] [21] [27] [28] [29] [32] [40] [42] [56] [58]
3	Carlos Andrade	[13]
4	Rodrigo Andrade	[60]
5	Eduardo Aranha	[26] [34] [43]
6	Roberta Arcoverde	[31]
7	Thiago T. Bartolomei (Thiago Tonelli Bartolomei)	[35]
8	Thaís Vasconcelos Batista	[53] [56]
9	Rodrigo Bonifácio	[39] [48] [56]
10	Claus Brabrand	[59] [65] [66]
11	Rosana T. V. Braga	[53] [56]
12	Nélio Cacho	[35] [56]
13	Fernando Calheiros	[32] [40] [42]
14	Valter Vieira de Camargo	[56]
15	Ivan Cardim	[21]
16	Jaelson Brelaz de Castro (Jaelson Castro)	[56]
17	Ana Cavalcanti	[12] [54]
18	Christina von Flach G. Chavez (Christina Chavez)	[56]
19	Shigeru Chiba	[61] [62]
20	Elder Cirilo	[53]
21	Roberta Coelho	[56]
22	Leonardo Cole	[17] [19] [23] [29]
23	Márcio Cornélio	[5] [11] [12]
24	Alexandre L. G. Damasceno	[21]
25	Ayla Dantas	[9] [15]
26	Flávia Coimbra Delicato	[56]
27	Marcos Dósea	[35]
28	Fabiano Cutigi Ferrari	[56]
29	Eduardo Figueiredo (Eduardo Magno Lages Figueiredo)	[35] [56]
30	Fernando Castor Filho (Fernando Castor)	[56]
31	Alessandro F. Garcia (Alessandro Garcia)	[27] [35]
32	Vaidas Gasiunas	[60]
33	Rohit Gheyi	[14] [18] [20] [22] [25] [28] [30] [37] [38] [44] [45] [51] [52] [55] [57]
34	Phil Greenwood	[35]
35	Ralph E. Johnson	[15]
36	Uirá Kulesza	[27] [28] [35] [53] [56] [58]
37	Eduardo Laureano	[6] [24]
38	Julio Cesar Sampaio do Prado Leite	[56]
39	Otávio Augusto Lazzarini Lemos	[56]
40	José Lima	[26]
41	Ricardo Massa Ferreira Lima	[36]
42	Carlos José Pereira de Lucena	[27] [28] [53] [56]
43	Patrícia Lustosa	[31]
44	Paulo Cesar Masiero (Paulo César Masiero)	[53] [56]
45	Tiago Massoni	[18] [20] [22] [25] [28] [30] [37] [38] [44] [45] [51] [55]
46	Pedro Matos	[29]
47	Pedro Matos Jr.	[19] [41]
48	Silvio Romero de Lemos Meira (Silvio R. L. Meira)	[1] [2]
49	Nabor C. Mendonça	[56]
50	Andrea Menezes	[40] [42]
51	Alexandre Mota (Alexandre Cabral Mota)	[7]
52	Vilmar Nepomuceno	[32] [40] [42]
53	Laís Neves	[58]
54	Humberto Pacheco	[50]
55	Rosângela Dellosso Penteado (Rosangela Penteado)	[56]
56	Paulo F. Pires	[56]
57	Eduardo Piveta	[56]
58	Felipe Queiroz	[59]
59	Geber Ramalho	[19] [21] [29]
60	Ricardo Argenton Ramos	[56]
61	Awais Rashid	[35]
62	Henrique Rebêlo	[60]
63	Márcio Ribeiro (Márcio de Medeiros Ribeiro)	[41] [47] [49] [50] [59] [60] [65] [66]
64	Augusto Sampaio	[4] [7] [11] [12] [16] [45] [54]
65	Pedro H. M. Sampaio	[21]
66	Cláudio Sant'Anna	[35] [56]
67	André L. M. Santos (André Santos)	[13]
68	Lucas Satabin	[60]
69	Demóstenes Sena	[58]
70	Carla T. L. L. Silva	[56]
71	Lyrene Fernandes da Silva	[56]
72	Fabio Silveira	[56]
73	Sérgio Soares (Sérgio C. B. Soares)	[6] [8] [10] [24] [31] [32] [33] [35] [36] [40] [42] [56] [59]
74	Matheus Sousa	[53]
75	Arndt von Staa	[56]
76	Leopoldo Teixeira	[50] [52] [53] [57] [58]
77	Társis Tolêdo	[59] [65] [66]
78	Mário Henrique C. Torres (Mário Henrique Cruz Torres)	[53]
79	Marco Tulio Valente (Marco Tulio de Oliveira Valente)	[56]
80	Alexandre Marcos Lins de Vasconcelos (Alexandre Vasconcelos)	[29]
81	Heitor Vital	[21]
82	Johnni Winther	[65]
83	Jim Woodcock (J. C. P. Woodcock)	[54]
84	Joseph W. Yoder	[15]
85	Fernanda d'Amorim	[63]

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