Workshop TOPI 2013 – Author Index

A B C D F G H J K L M P R S T W Y

	Araujo, Rodrigo Fraxino	TOPI '13: "A CPI Breakdown Model Plug-In ..." A CPI Breakdown Model Plug-In for Optimizing Application Performance Rodrigo Fraxino Araujo, Daniel Barboza, Rafael Sene, Rafael Teixeira, Renato João, and Wainer Santos Moschetta (IBM, Brazil) @InProceedings{TOPI13p31, author = {Rodrigo Fraxino Araujo and Daniel Barboza and Rafael Sene and Rafael Teixeira and Renato João and Wainer Santos Moschetta}, title = {A CPI Breakdown Model Plug-In for Optimizing Application Performance}, booktitle = {Proc.\ TOPI}, publisher = {IEEE}, pages = {31-30}, doi = {}, year = {2013}, } Article: icsews13topi-10-p (type: Full paper (6 pages)) doi:
	Barboza, Daniel	TOPI '13: "A CPI Breakdown Model Plug-In ..." A CPI Breakdown Model Plug-In for Optimizing Application Performance Rodrigo Fraxino Araujo, Daniel Barboza, Rafael Sene, Rafael Teixeira, Renato João, and Wainer Santos Moschetta (IBM, Brazil) @InProceedings{TOPI13p31, author = {Rodrigo Fraxino Araujo and Daniel Barboza and Rafael Sene and Rafael Teixeira and Renato João and Wainer Santos Moschetta}, title = {A CPI Breakdown Model Plug-In for Optimizing Application Performance}, booktitle = {Proc.\ TOPI}, publisher = {IEEE}, pages = {31-30}, doi = {}, year = {2013}, } Article: icsews13topi-10-p (type: Full paper (6 pages)) doi:
	Barnes, Jeffrey M.	TOPI '13: "Challenges in Developing a ..." Challenges in Developing a Software Architecture Evolution Tool as a Plug-In Jeffrey M. Barnes and David Garlan (CMU, USA) @InProceedings{TOPI13p13, author = {Jeffrey M. Barnes and David Garlan}, title = {Challenges in Developing a Software Architecture Evolution Tool as a Plug-In}, booktitle = {Proc.\ TOPI}, publisher = {IEEE}, pages = {13-12}, doi = {}, year = {2013}, } Article: icsews13topi-5-p (type: Full paper (6 pages)) doi:
	Bestavros, Azer	TOPI '13: "Towards Accessible Integration ..." Towards Accessible Integration and Deployment of Formal Tools and Techniques Andrei Lapets, Rick Skowyra, Azer Bestavros, and Assaf Kfoury (Boston University, USA) @InProceedings{TOPI13p19, author = {Andrei Lapets and Rick Skowyra and Azer Bestavros and Assaf Kfoury}, title = {Towards Accessible Integration and Deployment of Formal Tools and Techniques}, booktitle = {Proc.\ TOPI}, publisher = {IEEE}, pages = {19-18}, doi = {}, year = {2013}, } Article: icsews13topi-7-p (type: Full paper (6 pages)) doi:
	Carneiro, Tiago	TOPI '13: "TerraME GIMS: An Eclipse Plug-In ..." TerraME GIMS: An Eclipse Plug-In for Environmental Modeling Tiago Lima, Tiago Carneiro, Sergio Faria, Pablo Silva, and Miguel Pessoa (UFOP, Brazil; UFMG, Brazil) @InProceedings{TOPI13p37, author = {Tiago Lima and Tiago Carneiro and Sergio Faria and Pablo Silva and Miguel Pessoa}, title = {TerraME GIMS: An Eclipse Plug-In for Environmental Modeling}, booktitle = {Proc.\ TOPI}, publisher = {IEEE}, pages = {37-36}, doi = {}, year = {2013}, } Article: icsews13topi-12-p (type: Full paper (6 pages)) doi:
	Druk, Michael	TOPI '13: "ReFit: A Fit Test Maintenance ..." ReFit: A Fit Test Maintenance Plug-In for the Eclipse Refactoring Plug-In Michael Druk and Martin Kropp (Sapiens Int., Israel; FHNW, Switzerland) @InProceedings{TOPI13p7, author = {Michael Druk and Martin Kropp}, title = {ReFit: A Fit Test Maintenance Plug-In for the Eclipse Refactoring Plug-In}, booktitle = {Proc.\ TOPI}, publisher = {IEEE}, pages = {7-6}, doi = {}, year = {2013}, } Article: icsews13topi-3-p (type: Full paper (6 pages)) doi:
	Faria, Sergio	TOPI '13: "TerraME GIMS: An Eclipse Plug-In ..." TerraME GIMS: An Eclipse Plug-In for Environmental Modeling Tiago Lima, Tiago Carneiro, Sergio Faria, Pablo Silva, and Miguel Pessoa (UFOP, Brazil; UFMG, Brazil) @InProceedings{TOPI13p37, author = {Tiago Lima and Tiago Carneiro and Sergio Faria and Pablo Silva and Miguel Pessoa}, title = {TerraME GIMS: An Eclipse Plug-In for Environmental Modeling}, booktitle = {Proc.\ TOPI}, publisher = {IEEE}, pages = {37-36}, doi = {}, year = {2013}, } Article: icsews13topi-12-p (type: Full paper (6 pages)) doi:
	Fasie, Marieta V.	TOPI '13: "A Rigorous Methodology for ..." A Rigorous Methodology for Analyzing and Designing Plug-Ins Marieta V. Fasie, Anne E. Haxthausen, and Joseph R. Kiniry (DTU, Denmark) @InProceedings{TOPI13p49, author = {Marieta V. Fasie and Anne E. Haxthausen and Joseph R. Kiniry}, title = {A Rigorous Methodology for Analyzing and Designing Plug-Ins}, booktitle = {Proc.\ TOPI}, publisher = {IEEE}, pages = {49-48}, doi = {}, year = {2013}, } Article: icsews13topi-2-p (type: Short paper (2 pages)) doi:
	Garlan, David	TOPI '13: "Challenges in Developing a ..." Challenges in Developing a Software Architecture Evolution Tool as a Plug-In Jeffrey M. Barnes and David Garlan (CMU, USA) @InProceedings{TOPI13p13, author = {Jeffrey M. Barnes and David Garlan}, title = {Challenges in Developing a Software Architecture Evolution Tool as a Plug-In}, booktitle = {Proc.\ TOPI}, publisher = {IEEE}, pages = {13-12}, doi = {}, year = {2013}, } Article: icsews13topi-5-p (type: Full paper (6 pages)) doi:
	Haxthausen, Anne E.	TOPI '13: "A Rigorous Methodology for ..." A Rigorous Methodology for Analyzing and Designing Plug-Ins Marieta V. Fasie, Anne E. Haxthausen, and Joseph R. Kiniry (DTU, Denmark) @InProceedings{TOPI13p49, author = {Marieta V. Fasie and Anne E. Haxthausen and Joseph R. Kiniry}, title = {A Rigorous Methodology for Analyzing and Designing Plug-Ins}, booktitle = {Proc.\ TOPI}, publisher = {IEEE}, pages = {49-48}, doi = {}, year = {2013}, } Article: icsews13topi-2-p (type: Short paper (2 pages)) doi:
	João, Renato	TOPI '13: "A CPI Breakdown Model Plug-In ..." A CPI Breakdown Model Plug-In for Optimizing Application Performance Rodrigo Fraxino Araujo, Daniel Barboza, Rafael Sene, Rafael Teixeira, Renato João, and Wainer Santos Moschetta (IBM, Brazil) @InProceedings{TOPI13p31, author = {Rodrigo Fraxino Araujo and Daniel Barboza and Rafael Sene and Rafael Teixeira and Renato João and Wainer Santos Moschetta}, title = {A CPI Breakdown Model Plug-In for Optimizing Application Performance}, booktitle = {Proc.\ TOPI}, publisher = {IEEE}, pages = {31-30}, doi = {}, year = {2013}, } Article: icsews13topi-10-p (type: Full paper (6 pages)) doi:
	Kfoury, Assaf	TOPI '13: "Towards Accessible Integration ..." Towards Accessible Integration and Deployment of Formal Tools and Techniques Andrei Lapets, Rick Skowyra, Azer Bestavros, and Assaf Kfoury (Boston University, USA) @InProceedings{TOPI13p19, author = {Andrei Lapets and Rick Skowyra and Azer Bestavros and Assaf Kfoury}, title = {Towards Accessible Integration and Deployment of Formal Tools and Techniques}, booktitle = {Proc.\ TOPI}, publisher = {IEEE}, pages = {19-18}, doi = {}, year = {2013}, } Article: icsews13topi-7-p (type: Full paper (6 pages)) doi:
	Kiniry, Joseph R.	TOPI '13: "A Rigorous Methodology for ..." A Rigorous Methodology for Analyzing and Designing Plug-Ins Marieta V. Fasie, Anne E. Haxthausen, and Joseph R. Kiniry (DTU, Denmark) @InProceedings{TOPI13p49, author = {Marieta V. Fasie and Anne E. Haxthausen and Joseph R. Kiniry}, title = {A Rigorous Methodology for Analyzing and Designing Plug-Ins}, booktitle = {Proc.\ TOPI}, publisher = {IEEE}, pages = {49-48}, doi = {}, year = {2013}, } Article: icsews13topi-2-p (type: Short paper (2 pages)) doi:
	Kroening, Daniel	TOPI '13: "A Visual Studio Plug-In for ..." A Visual Studio Plug-In for CProver Mohamed Nassim Seghir and Daniel Kroening (University of Oxford, UK) @InProceedings{TOPI13p43, author = {Mohamed Nassim Seghir and Daniel Kroening}, title = {A Visual Studio Plug-In for CProver}, booktitle = {Proc.\ TOPI}, publisher = {IEEE}, pages = {43-42}, doi = {}, year = {2013}, } Article: icsews13topi-13-p (type: Full paper (6 pages)) doi:
	Kropp, Martin	TOPI '13: "ReFit: A Fit Test Maintenance ..." ReFit: A Fit Test Maintenance Plug-In for the Eclipse Refactoring Plug-In Michael Druk and Martin Kropp (Sapiens Int., Israel; FHNW, Switzerland) @InProceedings{TOPI13p7, author = {Michael Druk and Martin Kropp}, title = {ReFit: A Fit Test Maintenance Plug-In for the Eclipse Refactoring Plug-In}, booktitle = {Proc.\ TOPI}, publisher = {IEEE}, pages = {7-6}, doi = {}, year = {2013}, } Article: icsews13topi-3-p (type: Full paper (6 pages)) doi:
	Lapets, Andrei	TOPI '13: "Towards Accessible Integration ..." Towards Accessible Integration and Deployment of Formal Tools and Techniques Andrei Lapets, Rick Skowyra, Azer Bestavros, and Assaf Kfoury (Boston University, USA) @InProceedings{TOPI13p19, author = {Andrei Lapets and Rick Skowyra and Azer Bestavros and Assaf Kfoury}, title = {Towards Accessible Integration and Deployment of Formal Tools and Techniques}, booktitle = {Proc.\ TOPI}, publisher = {IEEE}, pages = {19-18}, doi = {}, year = {2013}, } Article: icsews13topi-7-p (type: Full paper (6 pages)) doi:
	Lima, Tiago	TOPI '13: "TerraME GIMS: An Eclipse Plug-In ..." TerraME GIMS: An Eclipse Plug-In for Environmental Modeling Tiago Lima, Tiago Carneiro, Sergio Faria, Pablo Silva, and Miguel Pessoa (UFOP, Brazil; UFMG, Brazil) @InProceedings{TOPI13p37, author = {Tiago Lima and Tiago Carneiro and Sergio Faria and Pablo Silva and Miguel Pessoa}, title = {TerraME GIMS: An Eclipse Plug-In for Environmental Modeling}, booktitle = {Proc.\ TOPI}, publisher = {IEEE}, pages = {37-36}, doi = {}, year = {2013}, } Article: icsews13topi-12-p (type: Full paper (6 pages)) doi:
	McKenzie, Reid D.	TOPI '13: "Lightweight Tool Coordination: ..." Lightweight Tool Coordination: Path* - A Minimal Framework for Tool Coordination Reid D. McKenzie and Dewayne E. Perry (University of Texas at Austin, USA) @InProceedings{TOPI13p55, author = {Reid D. McKenzie and Dewayne E. Perry}, title = {Lightweight Tool Coordination: Path* - A Minimal Framework for Tool Coordination}, booktitle = {Proc.\ TOPI}, publisher = {IEEE}, pages = {55-54}, doi = {}, year = {2013}, } Article: icsews13topi-11-p (type: Short paper (2 pages)) doi:
	Montrieux, Lionel	TOPI '13: "Developing a Domain-Specific ..." Developing a Domain-Specific Plug-In for a Modelling Platform: The Good, the Bad, the Ugly Lionel Montrieux, Yijun Yu, and Michel Wermelinger (Open University, UK) @InProceedings{TOPI13p1, author = {Lionel Montrieux and Yijun Yu and Michel Wermelinger}, title = {Developing a Domain-Specific Plug-In for a Modelling Platform: The Good, the Bad, the Ugly}, booktitle = {Proc.\ TOPI}, publisher = {IEEE}, pages = {1-0}, doi = {}, year = {2013}, } Article: icsews13topi-1-p (type: Full paper (6 pages)) doi:
	Moschetta, Wainer Santos	TOPI '13: "A CPI Breakdown Model Plug-In ..." A CPI Breakdown Model Plug-In for Optimizing Application Performance Rodrigo Fraxino Araujo, Daniel Barboza, Rafael Sene, Rafael Teixeira, Renato João, and Wainer Santos Moschetta (IBM, Brazil) @InProceedings{TOPI13p31, author = {Rodrigo Fraxino Araujo and Daniel Barboza and Rafael Sene and Rafael Teixeira and Renato João and Wainer Santos Moschetta}, title = {A CPI Breakdown Model Plug-In for Optimizing Application Performance}, booktitle = {Proc.\ TOPI}, publisher = {IEEE}, pages = {31-30}, doi = {}, year = {2013}, } Article: icsews13topi-10-p (type: Full paper (6 pages)) doi:
	Perry, Dewayne E.	TOPI '13: "Lightweight Tool Coordination: ..." Lightweight Tool Coordination: Path* - A Minimal Framework for Tool Coordination Reid D. McKenzie and Dewayne E. Perry (University of Texas at Austin, USA) @InProceedings{TOPI13p55, author = {Reid D. McKenzie and Dewayne E. Perry}, title = {Lightweight Tool Coordination: Path* - A Minimal Framework for Tool Coordination}, booktitle = {Proc.\ TOPI}, publisher = {IEEE}, pages = {55-54}, doi = {}, year = {2013}, } Article: icsews13topi-11-p (type: Short paper (2 pages)) doi:
	Pessoa, Miguel	TOPI '13: "TerraME GIMS: An Eclipse Plug-In ..." TerraME GIMS: An Eclipse Plug-In for Environmental Modeling Tiago Lima, Tiago Carneiro, Sergio Faria, Pablo Silva, and Miguel Pessoa (UFOP, Brazil; UFMG, Brazil) @InProceedings{TOPI13p37, author = {Tiago Lima and Tiago Carneiro and Sergio Faria and Pablo Silva and Miguel Pessoa}, title = {TerraME GIMS: An Eclipse Plug-In for Environmental Modeling}, booktitle = {Proc.\ TOPI}, publisher = {IEEE}, pages = {37-36}, doi = {}, year = {2013}, } Article: icsews13topi-12-p (type: Full paper (6 pages)) doi:
	Reiss, Steven P.	TOPI '13: "Integrating S6 Code Search ..." Integrating S6 Code Search and Code Bubbles Steven P. Reiss (Brown University, USA) @InProceedings{TOPI13p25, author = {Steven P. Reiss}, title = {Integrating S6 Code Search and Code Bubbles}, booktitle = {Proc.\ TOPI}, publisher = {IEEE}, pages = {25-24}, doi = {}, year = {2013}, } Article: icsews13topi-8-p (type: Full paper (6 pages)) doi:
	Seghir, Mohamed Nassim	TOPI '13: "A Visual Studio Plug-In for ..." A Visual Studio Plug-In for CProver Mohamed Nassim Seghir and Daniel Kroening (University of Oxford, UK) @InProceedings{TOPI13p43, author = {Mohamed Nassim Seghir and Daniel Kroening}, title = {A Visual Studio Plug-In for CProver}, booktitle = {Proc.\ TOPI}, publisher = {IEEE}, pages = {43-42}, doi = {}, year = {2013}, } Article: icsews13topi-13-p (type: Full paper (6 pages)) doi:
	Sene, Rafael	TOPI '13: "A CPI Breakdown Model Plug-In ..." A CPI Breakdown Model Plug-In for Optimizing Application Performance Rodrigo Fraxino Araujo, Daniel Barboza, Rafael Sene, Rafael Teixeira, Renato João, and Wainer Santos Moschetta (IBM, Brazil) @InProceedings{TOPI13p31, author = {Rodrigo Fraxino Araujo and Daniel Barboza and Rafael Sene and Rafael Teixeira and Renato João and Wainer Santos Moschetta}, title = {A CPI Breakdown Model Plug-In for Optimizing Application Performance}, booktitle = {Proc.\ TOPI}, publisher = {IEEE}, pages = {31-30}, doi = {}, year = {2013}, } Article: icsews13topi-10-p (type: Full paper (6 pages)) doi:
	Silva, Pablo	TOPI '13: "TerraME GIMS: An Eclipse Plug-In ..." TerraME GIMS: An Eclipse Plug-In for Environmental Modeling Tiago Lima, Tiago Carneiro, Sergio Faria, Pablo Silva, and Miguel Pessoa (UFOP, Brazil; UFMG, Brazil) @InProceedings{TOPI13p37, author = {Tiago Lima and Tiago Carneiro and Sergio Faria and Pablo Silva and Miguel Pessoa}, title = {TerraME GIMS: An Eclipse Plug-In for Environmental Modeling}, booktitle = {Proc.\ TOPI}, publisher = {IEEE}, pages = {37-36}, doi = {}, year = {2013}, } Article: icsews13topi-12-p (type: Full paper (6 pages)) doi:
	Skowyra, Rick	TOPI '13: "Towards Accessible Integration ..." Towards Accessible Integration and Deployment of Formal Tools and Techniques Andrei Lapets, Rick Skowyra, Azer Bestavros, and Assaf Kfoury (Boston University, USA) @InProceedings{TOPI13p19, author = {Andrei Lapets and Rick Skowyra and Azer Bestavros and Assaf Kfoury}, title = {Towards Accessible Integration and Deployment of Formal Tools and Techniques}, booktitle = {Proc.\ TOPI}, publisher = {IEEE}, pages = {19-18}, doi = {}, year = {2013}, } Article: icsews13topi-7-p (type: Full paper (6 pages)) doi:
	Teixeira, Rafael	TOPI '13: "A CPI Breakdown Model Plug-In ..." A CPI Breakdown Model Plug-In for Optimizing Application Performance Rodrigo Fraxino Araujo, Daniel Barboza, Rafael Sene, Rafael Teixeira, Renato João, and Wainer Santos Moschetta (IBM, Brazil) @InProceedings{TOPI13p31, author = {Rodrigo Fraxino Araujo and Daniel Barboza and Rafael Sene and Rafael Teixeira and Renato João and Wainer Santos Moschetta}, title = {A CPI Breakdown Model Plug-In for Optimizing Application Performance}, booktitle = {Proc.\ TOPI}, publisher = {IEEE}, pages = {31-30}, doi = {}, year = {2013}, } Article: icsews13topi-10-p (type: Full paper (6 pages)) doi:
	Wermelinger, Michel	TOPI '13: "Developing a Domain-Specific ..." Developing a Domain-Specific Plug-In for a Modelling Platform: The Good, the Bad, the Ugly Lionel Montrieux, Yijun Yu, and Michel Wermelinger (Open University, UK) @InProceedings{TOPI13p1, author = {Lionel Montrieux and Yijun Yu and Michel Wermelinger}, title = {Developing a Domain-Specific Plug-In for a Modelling Platform: The Good, the Bad, the Ugly}, booktitle = {Proc.\ TOPI}, publisher = {IEEE}, pages = {1-0}, doi = {}, year = {2013}, } Article: icsews13topi-1-p (type: Full paper (6 pages)) doi:
	Yu, Yijun	TOPI '13: "Developing a Domain-Specific ..." Developing a Domain-Specific Plug-In for a Modelling Platform: The Good, the Bad, the Ugly Lionel Montrieux, Yijun Yu, and Michel Wermelinger (Open University, UK) @InProceedings{TOPI13p1, author = {Lionel Montrieux and Yijun Yu and Michel Wermelinger}, title = {Developing a Domain-Specific Plug-In for a Modelling Platform: The Good, the Bad, the Ugly}, booktitle = {Proc.\ TOPI}, publisher = {IEEE}, pages = {1-0}, doi = {}, year = {2013}, } Article: icsews13topi-1-p (type: Full paper (6 pages)) doi:

30 authors

proc time: 0.05