| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|